--- res: bibo_abstract: - Object-oriented modeling favors the modeling of object behavior from different viewpoints and at different levels of abstraction. This gives rise to consistency problems between overlapping or semantically related submodels. The absence of a formal semantics for the UML and the numerous ways of employing the language within the development process lead to a number of different consistency notions. Therefore, general meta-level techniques are required for specifying, analyzing, and communicating consistency constraints. In this paper, we discuss the issue of consistency of behavioral models in the UML and present techniques for specifying and analyzing consistency. Using meta-model rules we transform elements of UML models into a semantic domain. Then, consistency constraints can by specified and validated using the language and the tools of the semantic domain. This general methodology is exemplified by the problem of protocol statechart inheritance.@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: Reiko foaf_name: Heckel, Reiko foaf_surname: Heckel - foaf_Person: foaf_givenName: Jochen foaf_name: Küster, Jochen foaf_surname: Küster bibo_doi: http://dx.doi.org/10.1007/3-540-45441-1_21 bibo_volume: 2185 dct_date: 2001^xs_gYear dct_language: eng dct_publisher: Springer@ dct_title: Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model@ ...