Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model

G. Engels, R. Heckel, J. Küster, in: Proceedings of the Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada), Springer, Berlin/Heidelberg, 2001, pp. 272–287.

Download
No fulltext has been uploaded.
Conference Paper | English
Author
Engels, GregorLibreCat; Heckel, Reiko; Küster, Jochen
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.
Publishing Year
Proceedings Title
Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada)
Volume
2185
Page
272-287
LibreCat-ID

Cite this

Engels G, Heckel R, Küster J. Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. In: Proceedings of the Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada). Vol 2185. Berlin/Heidelberg: Springer; 2001:272-287. doi:http://dx.doi.org/10.1007/3-540-45441-1_21
Engels, G., Heckel, R., & Küster, J. (2001). Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. In Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada) (Vol. 2185, pp. 272–287). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45441-1_21
@inproceedings{Engels_Heckel_Küster_2001, place={Berlin/Heidelberg}, title={Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model}, volume={2185}, DOI={http://dx.doi.org/10.1007/3-540-45441-1_21}, booktitle={Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko and Küster, Jochen}, year={2001}, pages={272–287} }
Engels, Gregor, Reiko Heckel, and Jochen Küster. “Rule-Based Specification of Behavioral Consistency Based on the UML Meta-Model.” In Proceedings of the Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada), 2185:272–87. Berlin/Heidelberg: Springer, 2001. http://dx.doi.org/10.1007/3-540-45441-1_21.
G. Engels, R. Heckel, and J. Küster, “Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model,” in Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada), 2001, vol. 2185, pp. 272–287.
Engels, Gregor, et al. “Rule-Based Specification of Behavioral Consistency Based on the UML Meta-Model.” Proceedings of the Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada), vol. 2185, Springer, 2001, pp. 272–87, doi:http://dx.doi.org/10.1007/3-540-45441-1_21.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar