Home           Contact us           FAQs           
     Journal Home     |     Aim & Scope    |    Author(s) Information      |     Editorial Board     |     MSP Download Statistics
2013 (Vol. 6, Issue: 15)
Article Information:

Towards Formalizing Time-Constrained System Models in TCOZ

Kong Xiangying, Chen yanhui and Zhuang Yi
Corresponding Author:  Kong Xiangying 

Key words:  Mapping rules, MARTE, TCOZ, TCS, UML, ,
Vol. 6 , (15): 2777-2783
Submitted Accepted Published
December 28, 2012 February 18, 2013 August 20, 2013

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.
Abstract PDF HTML
  Cite this Reference:
Kong Xiangying, Chen yanhui and Zhuang Yi, 2013. Towards Formalizing Time-Constrained System Models in TCOZ.  Research Journal of Applied Sciences, Engineering and Technology, 6(15): 2777-2783.
    Advertise with us
ISSN (Online):  2040-7467
ISSN (Print):   2040-7459
Submit Manuscript
   Current Information
   Sales & Services
Home  |  Contact us  |  About us  |  Privacy Policy
Copyright © 2015. MAXWELL Scientific Publication Corp., All rights reserved