Modeling MARTE Sequence Diagram by a Timing π-Calculus
Meixia Zhu · Journal of Wuhan University · 2011
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.