云南高校图书馆联盟文献共享服务平台- 曹永知

曹永知: 作品数：1被引量：0H指数：0; 导出分析报告; 供职机构：北京大学信息科学技术学院更多>>; 发文主题：MARTE顺序图并发程序更多>>; 发文领域：自动化与计算机技术更多>>; 发文期刊：《武汉大学学报（理学版）》更多>>; 所获基金：国家自然科学基金国家重点基础研究发展计划更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

时序π演算及其对MARTE顺序图的建模: 《武汉大学学报（理学版）》2011年第6期506-510,共5页金暐王捍贫曹永知朱梅霞; 国家重点基础研究发展计划(973)项目(82009CB320701;2010CB328103);国家自然科学基金资助项目(60873061;60821003;61033006); MARTE是统一建模语言UML在实时和嵌入式方面的一个扩展.本文给出π演算的一个带时序的变体来对MARTE顺序图的主要元素进行建模.相对于传统的π演算来说,时序π演算中增加了时间算子,可以对时间的流逝和计时器事件进行描述.同时,给出了...; 关键词：时序π演算 MARTE 顺序图