欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
MARTE是统一建模语言UML在实时和嵌入式方面的一个扩展.本文给出π演算的一个带时序的变体来对MARTE顺序图的主要元素进行建模.相对于传统的π演算来说,时序π演算中增加了时间算子,可以对时间的流逝和计时器事件进行描述.同时,给出了时序π演算的语法和语义,并定义了时序π进程间的强互模拟关系.基于时序π演算,定义了MARTE顺序图的形式化模型,从而给出了MARTE顺序图的完整语义,并为进一步的模型检测提供了理论基础.
英文摘要：
Modeling and Analysis of Real-Time and Embedded Systems（MARTE） are a profile of the Unified Modeling Language（UML） for model driven development of real-time and embedded systems.To describe the MARTE sequence diagrams（MARTE SD） formally,we introduce a new variant of the π-calculus,the timing π-calculus in this paper.With it,we can handle time elapse and timer events.The formalism given in this paper facilitates the reliability analysis and consistency analysis of MARTE SD design processes.
同期刊论文项目
同项目期刊论文
位置：