Consistency of business process models and object life cycles

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

Volumn 4364 LNCS, Issue , 2007, Pages 80-90

  Ryndina, Ksenia ^a,b   Küster, Jochen M ^a   Gall, Harald ^b  

^a IBM RESEARCH ZURICH   (Switzerland)

^b UNIVERSITY OF ZURICH   (Switzerland)

Author keywords

Activity diagram; Business process model; Consistency; Object life cycle; State machine; UML

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; MATHEMATICAL MODELS; SOFTWARE ENGINEERING; UNIFIED MODELING LANGUAGE;

ACTIVITY DIAGRAM; STATE MACHINE;

OBJECT ORIENTED PROGRAMMING;

EID: 38049030831     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69489-2_11     Document Type: Conference Paper

References (18)

1. IBM WebSphere Business Modeler. http://www-306.ibm.com/software/integra tion/wbimodeler/.
2. ACORD Life & Annuity Standard. ACORD Global Insurance Standards, Final Version 2.13.00, September 2005.
3. UML2.0 Superstructure, formal/05-07-04. OMG Document, 2005.
4. IBM Industry Models for Financial Services, The Information Framework (IFW) Process Models. IBM General Information Manual, 2006.
5. J. Ebert and G. Engels. Specialization of Object Life Cycle Definitions. Fachberichte Informatik 19/95, University of Koblenz-Landau, 1997.
6. G. Engels, J. M. 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'01, pages 186-195. ACM Press, 2001.
7. A.-W. Fayez. Comparative Analysis of the Notions of Equivalence for Process Specifications. In Proceedings of the 3rd IEEE Symposium on Computers & Communications - ISCC'98, page 711, Washington, DC, USA, 1998. IEEE Computer Society.
8. J. M. Küster. Consistency Management of Object-Oriented Behavioral Models. PhD thesis, University of Paderborn, March 2004.
9. J. M. Küster and J. Stehr. Towards Explicit Behavioral Consistency Concepts in the UML. In Proceedings of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools - ICSE'03, 2003.
10. B. Litvak, S. Tyszberowicz, and A. Yehudai. Behavioral Consistency Validation of UML Diagrams. 1st International Conference on Software Engineering and Formal Methods - SEFM'03, page 118, 2003.
11. M. Schrefl and M. Stumptner. Behavior-Consistent Specialization of Object Life Cycles. ACM Transactions on Software Engineering and Methodology, 11(1):92-148, 2002.
12. H. Muccini. An Approach for Detecting Implied Scenarios. In Proceedings of the Workshop on Scenarios and State Machines: Models, Algorithms, and Tools ICSE'02, 2002.
13. K. Ryndina, J. M. Küster, and H. Gall. Consistency of Business Process Models and Object Life Cycles. In Proceedings of the 1st Workshop on Quality in Modeling co-located with MoDELS 2006, Technical report 0627, Technische Universiteit Eindhoven, 2006.
14. M. Stumptner and M. Schrefl. Behavior Consistent Inheritance in UML. In Proceedings of Conceptual Modeling - ER 2000, volume 1920 of LNCS, pages 527-542. Springer-Verlag, 2000.
15. S. Uchitel, J. Kramer, and J. Magee. Detecting Implied Scenarios in Message Sequence Chart Specifications. In Proceedings of European Software Engineering Conference - ESEC/FSE'01, 2001.
16. S. Uchitel, J. Kramer, and J. Magee. Synthesis of Behavioral Models from Scenarios. IEEE Transactions on Software Engineering, 29(2):99-115, 2003.
17. M. von der Beeck. Behaviour Specifications: Equivalence and Refinement Notions. In Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, 8. Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung, Universität Münster, 2000. Technical report 24/00-1.
18. J. Whittle and J. Schumann. Generating Statechart Designs from Scenarios. In Proceedings of the 22nd International Conference on Software Engineering ICSE'00, pages 314-323, New York, NY, USA, 2000. ACM Press.