Skip to main content

Consistency of Business Process Models and Object Life Cycles

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNPSE,volume 4364)

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.

Keywords

  • consistency
  • business process model
  • object life cycle
  • activity diagram
  • state machine
  • UML

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-540-69489-2_11
  • Chapter length: 11 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   69.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-69489-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   89.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. IBM WebSphere Business Modeler. http://www-306.ibm.com/software/integration/wbimodeler/

  2. ACORD Life & Annuity Standard. ACORD Global Insurance Standards, Final Version 2.13.00 (September 2005)

    Google Scholar 

  3. UML2.0 Superstructure, formal/05-07-04. OMG Document (2005)

    Google Scholar 

  4. IBM Industry Models for Financial Services, The Information Framework (IFW) Process Models. IBM General Information Manual (2006)

    Google Scholar 

  5. Ebert, J., Engels, G.: Specialization of Object Life Cycle Definitions. Fachberichte Informatik 19/95, University of Koblenz-Landau (1997)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. Küster, J.M.: Consistency Management of Object-Oriented Behavioral Models. PhD thesis, University of Paderborn (March 2004)

    Google Scholar 

  9. 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)

    Google Scholar 

  10. 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)

    Google Scholar 

  11. Schrefl, M., Stumptner, M.: Behavior-Consistent Specialization of Object Life Cycles. ACM Transactions on Software Engineering and Methodology 11(1), 92–148 (2002)

    CrossRef  Google Scholar 

  12. 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)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. 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)

    CrossRef  Google Scholar 

  15. 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)

    Google Scholar 

  16. Uchitel, S., Kramer, J., Magee, J.: Synthesis of Behavioral Models from Scenarios. IEEE Transactions on Software Engineering 29(2), 99–115 (2003)

    CrossRef  Google Scholar 

  17. 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)

    Google Scholar 

  18. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)