Abstract
Business process models and object life cycles can provide two different views on behavior of the same system, requiring that these models are consistent with each other. However, it is difficult to reason about consistency of these two types of models since their relation is not well-understood. We clarify this relation and propose an approach to establishing the required consistency. Object state changes are first made explicit in a business process model and then the process model is used to generate life cycles for each object type used in the process. We define two consistency notions for a process model and an object life cycle and express these in terms of conditions that must hold between a given life cycle and a life cycle generated from the process model.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
IBM WebSphere Business Modeler. http://www-306.ibm.com/software/integration/wbimodeler/
ACORD Life & Annuity Standard. ACORD Global Insurance Standards, Final Version 2.13.00 (September 2005)
UML2.0 Superstructure, formal/05-07-04. OMG Document (2005)
IBM Industry Models for Financial Services, The Information Framework (IFW) Process Models. IBM General Information Manual (2006)
Ebert, J., Engels, G.: Specialization of Object Life Cycle Definitions. Fachberichte Informatik 19/95, University of Koblenz-Landau (1997)
Engels, G., Küster, J.M., 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’01, pp. 186–195. ACM Press, New York (2001)
Fayez, A.-W.: Comparative Analysis of the Notions of Equivalence for Process Specifications. In: Proceedings of the 3rd IEEE Symposium on Computers & Communications - ISCC’98, Washington, DC, USA, p. 711. IEEE Computer Society Press, Los Alamitos (1998)
Küster, J.M.: Consistency Management of Object-Oriented Behavioral Models. PhD thesis, University of Paderborn (March 2004)
Küster, J.M., Stehr, J.: 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)
Litvak, B., Tyszberowicz, S., Yehudai, A.: Behavioral Consistency Validation of UML Diagrams. In: 1st International Conference on Software Engineering and Formal Methods - SEFM’03, p. 118 (2003)
Schrefl, M., Stumptner, M.: Behavior-Consistent Specialization of Object Life Cycles. ACM Transactions on Software Engineering and Methodology 11(1), 92–148 (2002)
Muccini, H.: An Approach for Detecting Implied Scenarios. In: Proceedings of the Workshop on Scenarios and State Machines: Models, Algorithms, and Tools - ICSE’02 (2002)
Ryndina, K., Küster, J.M., Gall, H.: 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)
Stumptner, M., Schrefl, M.: Behavior Consistent Inheritance in UML. In: Laender, A.H.F., Liddle, S.W., Storey, V.C. (eds.) ER 2000. LNCS, vol. 1920, pp. 527–542. Springer, Heidelberg (2000)
Uchitel, S., Kramer, J., Magee, J.: Detecting Implied Scenarios in Message Sequence Chart Specifications. In: Proceedings of European Software Engineering Conference - ESEC/FSE’01 (2001)
Uchitel, S., Kramer, J., Magee, J.: Synthesis of Behavioral Models from Scenarios. IEEE Transactions on Software Engineering 29(2), 99–115 (2003)
von der Beeck, M.: 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, Technical report 24/00-I (2000)
Whittle, J., Schumann, J.: Generating Statechart Designs from Scenarios. In: Proceedings of the 22nd International Conference on Software Engineering - ICSE’00, pp. 314–323. ACM Press, New York (2000)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Ryndina, K., Küster, J.M., Gall, H. (2007). Consistency of Business Process Models and Object Life Cycles. In: Kühne, T. (eds) Models in Software Engineering. MODELS 2006. Lecture Notes in Computer Science, vol 4364. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69489-2_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-69489-2_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69488-5
Online ISBN: 978-3-540-69489-2
eBook Packages: Computer ScienceComputer Science (R0)