Abstract
|
Article Information:
Towards Formalizing Time-Constrained System Models in TCOZ
Kong Xiangying, Chen yanhui and Zhuang Yi
Corresponding Author: Kong Xiangying
Submitted: December 28, 2012
Accepted: February 18, 2013
Published: August 20, 2013 |
Abstract:
|
This study is concerned with using Unified Modeling Language (UML) model and the UML profile for Modeling and Analysis of Real-Time and Embedded (MARTE) systems to depict a Time-Constrained System (TCS). To perform system formal analysis, TCS models are transformed to Timed Communicating Object Z (TCOZ) specifications. The mapping rules for the modeling elements especially time-related issues are given at meta-model level. Static model, dynamic model and MARTE stereotypes in TCS models can be transformed to TCOZ models respectively. These models are composed together to complete specifications according to some rules. Hence the dependability of the TCS can be checked through the reasoning mechanism in TCOZ. A case study shows the applicability and feasibility of our approach.
Key words: Mapping rules, MARTE, TCOZ, TCS, UML, ,
|
Abstract
|
PDF
|
HTML |
|
Cite this Reference:
Kong Xiangying, Chen yanhui and Zhuang Yi, . Towards Formalizing Time-Constrained System Models in TCOZ. Research Journal of Applied Sciences, Engineering and Technology, (15): 2777-2783.
|
|
|
|
|
ISSN (Online): 2040-7467
ISSN (Print): 2040-7459 |
|
Information |
|
|
|
Sales & Services |
|
|
|