时序π演算及其对MARTE顺序图的建模 | |
金暐 ; 王捍贫 ; 曹永知 | |
2011 | |
英文摘要 | MARTE是统一建模语言UML的一个实时和嵌入式方面的扩展.本文给出了pi演算的一个带时序的变体来对MARTE顺序图的主要元素进行建模.相对于传统的pi演算来说,时序pi演算中增加了时间算子,可以对时间的流逝和计时器事件进行描述.; 0 |
语种 | 中文 |
内容类型 | 其他 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/24045] ![]() |
专题 | 信息科学技术学院 |
推荐引用方式 GB/T 7714 | 金暐,王捍贫,曹永知. 时序π演算及其对MARTE顺序图的建模. 2011-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论