Can I read A Methodology for Specifying and Analyzing Consistency of Object-oriented Behavioral Models on EtoBox?

A Methodology for Specifying and Analyzing Consistency of Object-oriented Behavioral Models by Engels, Gregor; Küster, Jochem M.; Heckel, Reiko; Groenewegen, Luuk is a Computer Science article available to read on EtoBox.

What is A Methodology for Specifying and Analyzing Consistency of Object-oriented Behavioral Models about?

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.

Who reads A Methodology for Specifying and Analyzing Consistency of Object-oriented Behavioral Models?

Author

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

Publisher

Association for Computing Machinery; Association for Computing Machinery (ACM) (ISSN 0163-5948)

Published

2001

Language

EN

Field

Computer Science (Physical Sciences)