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

G. Engels, J. Küster, L. Groenewegen, R. Heckel, in: Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria), ACM Press, New York, NY, USA, 2001, pp. 186–195.

Download
No fulltext has been uploaded.
Conference Paper | English
Author
; ; ;
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.
Publishing Year
Proceedings Title
Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria)
Volume
26
Issue
5
Page
186-195
LibreCat-ID

Cite this

Engels G, Küster J, Groenewegen L, Heckel R. A methodology for specifying and analyzing consistency of object-oriented behavioral models. In: Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria). Vol 26. New York, NY, USA: ACM Press; 2001:186-195. doi:http://dx.doi.org/10.1145/503271.503235
Engels, G., Küster, J., Groenewegen, L., & Heckel, R. (2001). A methodology for specifying and analyzing consistency of object-oriented behavioral models. In Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria) (Vol. 26, pp. 186–195). New York, NY, USA: ACM Press. http://dx.doi.org/10.1145/503271.503235
@inproceedings{Engels_Küster_Groenewegen_Heckel_2001, place={New York, NY, USA}, title={A methodology for specifying and analyzing consistency of object-oriented behavioral models}, volume={26}, DOI={http://dx.doi.org/10.1145/503271.503235}, number={5}, booktitle={Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria)}, publisher={ACM Press}, author={Engels, Gregor and Küster, Jochen and Groenewegen, Luuk and Heckel, Reiko}, year={2001}, pages={186–195} }
Engels, Gregor, Jochen Küster, Luuk Groenewegen, and Reiko Heckel. “A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models.” In Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria), 26:186–95. New York, NY, USA: ACM Press, 2001. http://dx.doi.org/10.1145/503271.503235.
G. Engels, J. Küster, L. Groenewegen, and R. Heckel, “A methodology for specifying and analyzing consistency of object-oriented behavioral models,” in Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria), 2001, vol. 26, no. 5, pp. 186–195.
Engels, Gregor, et al. “A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models.” Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria), vol. 26, no. 5, ACM Press, 2001, pp. 186–95, doi:http://dx.doi.org/10.1145/503271.503235.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar