Consistency of UML/SPT models

  • Authors:

  • Abdelouahed Gherbi;Ferhat Khendek

  • Affiliations:

  • Electrical and Computer Engineering Department, Concordia University, Montreal, Quebec, Canada;Electrical and Computer Engineering Department, Concordia University, Montreal, Quebec, Canada

  • Venue:
  • SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.