A methodology for specifying and analyzing consistency of object-oriented behavioral models

  • Authors:

  • Gregor Engels;Jochem M. Küster;Reiko Heckel;Luuk Groenewegen

  • Affiliations:

  • Department of Computer Science, University of Paderborn, D-33095 Paderborn, Germany;Department of Computer Science, University of Paderborn, D-33095 Paderborn, Germany;Department of Computer Science, University of Paderborn, D-33095 Paderborn, Germany;LIACS, Leiden University, P.O. Box 9512, NL-2300 RA Leiden, The Netherlands

  • Venue:
  • Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

Object-oriented modeling favors the modeling of object behavior from different viewpoints and the successive refinement of behavioral models in the development process. This gives rise to consistency problems of behavioral models. The absence of a formal semantics for UML models and the numerous possibilities of employing behavioral models within the development process lead to the rise of a number of different consistency notions. In this paper, we discuss the issue of consistency of behavioral models in the UML and present a general methodology how consistency problems can be dealt with. According to the methodology, those aspects of the models relevant to the consistency are mapped to a semantic domain in which precise consistency tests can be formulated. The choice of the semantic domain and the definition of consistency conditions can be used to construct different consistency notions. We show the applicability of our methodology by giving an example of a concrete consistency problem of concurrent object-oriented models.