00000cab a22000003a 4500 UP-99796217608835914 Buklod 20231007234832.0 m |o d | ta 090525s xx d | ||r ||||| || DENGII eng Engels, Gregor A methodology for specifying and analyzing consistency of object-oriented behavioral models. pp. 186-195 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. Software. Software engineering. Design tools and techniques. Object oriented design methods. Programming languages. Language classifications. UML. Design. Languages. Verification. CSP. UML. Behavioral consistency. Object oriented modeling. Software engineering notes. 26, 5 (2001). FO UPD DENG-II Article