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

  title={Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model},
  author={Gregor Engels and Reiko Heckel and Jochen Malte K{\"u}ster},
Object-oriented modeling favors the modeling of object behavior from di erent viewpoints and at di erent 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 di erent consistency notions. Therefore, general meta-level techniques are required for specifying, analyzing, and communicating… CONTINUE READING
Highly Cited
This paper has 138 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 78 extracted citations

Model-Driven Consistency Verification for Service-Oriented Applications

2015 IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA) • 2015
View 10 Excerpts
Highly Influenced

Consistency Maintenance of UML Models with Description Logics

Jocelyn Paola, Simmonds Wagemann, Brussels, Jocelyn Belgium, Simmonds
View 5 Excerpts
Highly Influenced

TraceME: A Traceability-Based Method for Conceptual Model Evolution

Lecture Notes in Business Information Processing • 2018
View 1 Excerpt

UML Diagram Synthesis Techniques: A Systematic Mapping Study

2018 IEEE/ACM 10th International Workshop on Modelling in Software Engineering (MiSE) • 2018
View 1 Excerpt

139 Citations

Citations per Year
Semantic Scholar estimates that this publication has 139 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 21 references

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

G. Engels, J. M. K uster, L. Groenewegen, R. Heckel
In V. Gruhn, editor, Proc. European Software Engineering Conference (ESEC/FSE • 2001
View 1 Excerpt


L. Baresi, M. Pezz
Improving UML with Petri nets. In A. Corradini and M. Bauderon, editors, Proc. ETAPS 2001 Workshop on Uniform Approaches to Graphical Process Speci cation Techniques (UniGra 2001), Genova, Italy, Electronic Notes in TCS 51. Elsevier Science, • 2001
View 1 Excerpt

Object-oriented modeling: a roadmap

ICSE - Future of SE Track • 2000
View 1 Excerpt


P. Fradet
Le M etayer, and M. P erin. Consistency checking for multiple view software architectures. In O. Nierstrasz and M. Lemoine, editors, Proc. European Software Engineering Conference (ESEC/FSE 1999), LNCS 1687, pages 410{428. Springer-Verlag / ACM Press, • 1999
View 1 Excerpt

On the Inheritance of State-Based Object Behavior

D. Harel, O. Kupferman
Technical Report MCS99-12, Weizmann Institute of Science, Faculty of Mathematics and Computer Science, June • 1999
View 2 Excerpts

Similar Papers

Loading similar papers…