Home           Contact us           FAQs           
 
   Journal Page   |   Aims & Scope   |   Author Guideline   |   Editorial Board   |   Search
    Abstract
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
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.
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
   Contact Information
  Executive Managing Editor
  Email: admin@maxwellsci.com
  Publishing Editor
  Email: support@maxwellsci.com
  Account Manager
  Email: faisalm@maxwellsci.com
  Journal Editor
  Email: admin@maxwellsci.com
  Press Department
  Email: press@maxwellsci.com
Home  |  Contact us  |  About us  |  Privacy Policy
Copyright © 2009. MAXWELL Science Publication, a division of MAXWELLl Scientific Organization. All rights reserved