Consistency of UML/SPT Models

UML supports a multi-view modeling approach for overcoming software complexity. It consists of several diagrams, which allow for considering software systems from different perspectives: structure, behavior and deployment. However, this multi-view approach faces the challenging issue of consistency. Moreover, when UML is used for real-time systems, through its specialized profiles such as UML/SPT for instance, the consistency issue becomes more complex. New aspects, relevant for real-time systems design, should be taken into consideration. These include concurrency, time constraints and schedulability. In this paper, we present a consistency framework for UML/SPT models. This framework addresses incrementally the various aspects of consistency including syntactic, semantic, concurrency-related and time consistency. In this framework, we introduce an approach for checking time consistency between statecharts and sequence diagrams using schedulability analysis.

[1]  Reiko Heckel,et al.  A methodology for specifying and analyzing consistency of object-oriented behavioral models , 2001, ESEC/FSE-9.

[2]  Ursula Goltz,et al.  Timed Sequence Diagrams and Tool-Based Analysis - A Case Study , 1999, UML.

[3]  E. Erpenbach,et al.  Worst-case execution times and schedulability analysis of statecharts models , 1999, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

[4]  Bernhard Rumpe,et al.  «UML»’99 — The Unified Modeling Language , 2003, Lecture Notes in Computer Science.

[5]  Bran Selic,et al.  UML Modeling Languages and Applications , 2005 .

[6]  Jochen Malte Küster,et al.  Consistent design of embedded real-time systems with UML-RT , 2001, Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001.

[7]  Johan Lilius,et al.  Timing Analysis of UML Sequence Diagrams , 1999, UML.

[8]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[9]  Gianna Reggio,et al.  Consistency Problems in UML-Based Software Development , 2004, UML Satellite Activities.

[10]  Johan Lilius,et al.  Checking compositions of UML sequence diagrams for timing inconsistency , 2000, Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.

[11]  Johan Lilius,et al.  Formalising UML State Machines for Model Checking , 1999, UML.

[12]  Ferhat Khendek,et al.  Time consistency of MSC-2000 specifications , 2003, Comput. Networks.

[13]  Ferhat Khendek,et al.  From UML/SPT models to schedulability analysis: a metamodel-based transformation , 2006, Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06).

[14]  Stephan Merz,et al.  Model Checking - Timed UML State Machines and Collaborations , 2002, FTRTFT.

[15]  Gianna Reggio,et al.  An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint , 2002, WADT.

[16]  Manas Saksena,et al.  Designing for schedulability: integrating schedulability analysis with object-oriented design , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

[17]  Ferhat Khendek,et al.  Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency , 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).

[18]  Joost-Pieter Katoen,et al.  A probabilistic extension of UML statecharts: Specification and Verification. , 2002 .

[19]  Martin Wirsing,et al.  Extraction of Structured Programs from Specification Proofs , 1999, WADT.

[20]  Nancy A. Lynch,et al.  The generalized railroad crossing: a case study in formal verification of real-time systems , 1994, 1994 Proceedings Real-Time Systems Symposium.