---
res:
  bibo_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, w e 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.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Gregor
      foaf_name: Engels, Gregor
      foaf_surname: Engels
      foaf_workInfoHomepage: http://www.librecat.org/personId=107
  - foaf_Person:
      foaf_givenName: Jochen
      foaf_name: Küster, Jochen
      foaf_surname: Küster
  - foaf_Person:
      foaf_givenName: Luuk
      foaf_name: Groenewegen, Luuk
      foaf_surname: Groenewegen
  - foaf_Person:
      foaf_givenName: Reiko
      foaf_name: Heckel, Reiko
      foaf_surname: Heckel
  bibo_doi: http://dx.doi.org/10.1145/503271.503235
  bibo_issue: '5'
  bibo_volume: 26
  dct_date: 2001^xs_gYear
  dct_language: eng
  dct_publisher: ACM Press@
  dct_title: A methodology for specifying and analyzing consistency of object-oriented
    behavioral models@
...