Rule-based specification of behavioral consistency based on the UML meta-model

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2185, Issue , 2001, Pages 272-286

  Engels, Gregor ^a   Hecke, Reiko ^a   Malte K¨Uster, Jochen ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Behavioral consistency; Meta modeling; Model verification

Indexed keywords

FORMAL METHODS; SEMANTICS;

BEHAVIORAL CONSISTENCY; CONSISTENCY CONSTRAINTS; GENERAL METHODOLOGIES; LEVELS OF ABSTRACTION; META MODEL; MODEL VERIFICATION; OBJECT ORIENTED MODEL; RULE-BASED SPECIFICATION;

UNIFIED MODELING LANGUAGE;

EID: 84948991482     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45441-1_21     Document Type: Conference Paper

References (23)

1. L. Baresi and M. Pezzè. Improving UML with Petri nets. In A. Corradini and M. Bauderon, editors, Proc. ETAPS 2001 Workshop on Uniform Approaches to Graphical Process Specification Techniques (UniGra 2001), Genova, Italy, Electronic Notes in TCS 51. Elsevier Science, 2001
2. E. Boiten, H. Bowman, J. Derrick, and M. Steen. Viewpoint consistency in Z and LOTOS: A case study. In J. Fitzgerald, C. B. Jones, and P. Lucas, editors, Proc. 4th Intl. Symposium of Formal Methods Europe, Graz, Austria, LNCS 1313, pages 644-664. Springer-Verlag, 1997
3. B. Cheng, L. Campbell, and E. Wang. Enabling automated analysis through the formalization of object-oriented modeling diagrams. In Proc. IEEE Intl. Conference on Dependable Systems and Networks. IEEE Computer Society, 2000
4. J. Ebert and G. Engels. Structural and behavioral views of OMT-classes. In E. Bertino and S. Urban, editors, Proc. Object-Oriented Methodologies and Systems, LNCS 858, pages 142-157. Springer-Verlag, 1994
5. G. Engels and L. Groenewegen. Object-oriented modeling: A roadmap. In A. Finkelstein, editor, Future Of Software Engineering 2000, pages 105-116. ACM, 2000
6. G. Engels, R. H¨ucking, St. Sauer, and A.Wagner. UML collaboration diagrams and their transformation to Java. In R. France and B. Rumpe, editors, Proc. UML’99, Fort Collins, CO, USA, LNCS 1723, pages 473-488. Springer-Verlag, 1999
7. G. Engels, J.M. Küster, L. Groenewegen, and R. Heckel. A methodology for specifying and analyzing consistency of object-oriented behavioral models. In V. Gruhn, editor, Proc. European Software Engineering Conference (ESEC/FSE 2001), Vienna, Austria. To appear
8. Formal Systems Europe (Ltd). Failures-Divergence-Refinement: FDR2 User Manual, 1997
9. P. Fradet, D. Le Métayer, and M. Périn. 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
10. C. Ghezzi and B. A. Nuseibeh. Special Issue on Managing Inconsistency in Software Development (1). IEEE Transactions on Software Engineering, 24(11), November 1998
11. C. Ghezzi and B. A. Nuseibeh. Special Issue on Managing Inconsistency in Software Development (2). IEEE Transactions on Software Engineering, 25(11), November 1999
12. M. Große-Rhode. Algebra transformation systems and their compositions. In Proc. Fundamental Approaches to Software Engineering (FASE 1998), LNCS 1382, pages 107-122. Springer-Verlag, 1998
13. D. Harel and O. Kupferman. On the Inheritance of State-Based Object Behavior. Technical Report MCS99-12, Weizmann Institute of Science, Faculty of Mathematics and Computer Science, June 1999
14. C. A. R. Hoare. Communcating Sequential Processes. Prentice Hall, 1985
15. I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison Wesley, 1999
16. J. M. Küster and J. Stroop. Consistent design of embedded real-time systems with UML-RT. In Proc. 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC’2001), 2001
17. X. Li and J. Lilius. Timing analysis of UML sequence diagrams. In R. France and B. Rumpe, editors, Proc. UML’99, Fort Collins, CO, USA, LNCS 1723, pages 661-674. Springer-Verlag, 1999
18. A. Moreira and R. Clark. Combining object-oriented modeling and formal description techniques. In M. Tokoro and R. Pareschi, editors, Proc. 8th European Conference on Object-Oriented Programming (ECOOP’94), LNCS 821, pages 344-364. Springer-Verlag, 1994
19. Object Management Group. Analysis and design platform task force-white paper on the profile mechanism, April 1999. http://www.omg.org/pub/docs/ad/99-04-07.pdf
20. Object Management Group. UML specification version 1.4, 2001. http://www.omg.org
21. T. W. Pratt. Pair grammars, graph languages and string-to-graph translations. Journal of Computer and System Sciences, 5:560-595, 1971
22. Jean Louis Sourrouille. UML behavior: Inheritance and implementation in current object-oriented languages. In R. France and B. Rumpe, editors, Proc. UML’99, Fort Collins, CO, USA, LNCS 1723, pages 457-472. Springer-Verlag, 1999
23. Markus Stumptner and Michael Schrefl. Behavior consistent inheritance in UML. In A.H.F. Laender, S.W. Liddle, and V.C. Storey, editors, Proc. 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, LNCS 1920. pages 527-542. Springer-Verlag, 2000