|
|||||
|
|
| 时序π演算及其对MARTE顺序图的建模 | |
| 引用本文： | 金暐,王捍贫,曹永知,朱梅霞.时序π演算及其对MARTE顺序图的建模[J].武汉大学学报(理学版),2011,57(6). |
| 作者姓名： | 金暐 王捍贫 曹永知 朱梅霞 |
| 作者单位： | 北京大学信息科学技术学院,北京,100871 |
| 基金项目： | 国家重点基础研究发展计划(973)项目(82009CB320701,2010CB328103); 国家自然科学基金资助项目(60873061,60821003,61033006) |
| 摘 要： | MARTE是统一建模语言UML在实时和嵌入式方面的一个扩展.本文给出π演算的一个带时序的变体来对MARTE顺序图的主要元素进行建模.相对于传统的π演算来说,时序π演算中增加了时间算子,可以对时间的流逝和计时器事件进行描述.同时,给出了时序π演算的语法和语义,并定义了时序π进程间的强互模拟关系.基于时序π演算,定义了MARTE顺序图的形式化模型,从而给出了MARTE顺序图的完整语义,并为进一步的模型检测提供了理论基础. |
| 关 键 词： | 时序π演算 MARTE 顺序图 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |