Skip to main content
SpringerLink
Log in

A State-Based Context-Aware Declarative Process Model

  • Conference paper
Enterprise, Business-Process and Information Systems Modeling (BPMDS 2011, EMMSAD 2011)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 81))

Abstract

Declarative process models support process flexibility, which has been widely recognized as important, particularly for organizations that face frequent changes and variable stimuli from their environment. However, current declarative approaches emphasize activities and provide constraints addressing their existence and dependencies. This expressiveness is not capable of addressing the process context (namely, environment effects) and its goal. The paper proposes a declarative model which addresses activities as well as states, external events, and goals. As such, it explicitly addresses the context of a process. The model is based on the Generic Process Model (GPM), extended by a notion of activity, which includes a state change aspect and an intentional aspect. The achievement of the intention of an activity may depend on events in the environment and is hence not certain. The paper provides a formalization of the model and some conditions for verification. These are illustrated by an example from the medical domain.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language. Information Systems 30(4), 245–275 (2005)

    Article  Google Scholar 

  2. Andersson, B., Bider, I., Johannesson, P., Perjons, E.: Towards a Formal Definition of Goal-Oriented Business Process Patterns. Business Process Management Journal 11(6) (2005)

    Google Scholar 

  3. Awad, A., Decker, G., Weske, M.: Efficient compliance checking using BPMN-Q and temporal logic. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 326–341. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  4. Beck, K.: Test Driven Development: By Example. Addison-Wesley, Reading (2002)

    Google Scholar 

  5. Bunge, M.: Treatise on Basic Philosophy. Ontology I: The Furniture of the World, vol. 3. Reidel, Boston (1977)

    Book  Google Scholar 

  6. Ghattas, J., Soffer, P., Peleg, M.: A formal model for process context learning. In: Proc. BPI 2009, Ulm, Germany (2009)

    Google Scholar 

  7. Lamsweerde, A.: Goal-Oriented Requirements Engineering: A Guided Tour. In: 5th Int’l Symp. on RE, pp. 249–261. IEEE CS Press, Los Alamitos (2001)

    Google Scholar 

  8. Ly, L.T., Rinderle, S., Dadam, P.: Integration and veri_cation of semantic constraints in adaptive process management systems. Data and Knowledge Engineering 64, 3–23 (2008)

    Article  Google Scholar 

  9. Pesic, M., Schonenberg, M.H., Sidorova, N., van der Aalst, W.M.P.: Constraint-based workflow models: Change made easy. In: Chung, S. (ed.) OTM 2007, Part I. LNCS, vol. 4803, pp. 77–94. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  10. Regev, G., Bider, I., Wegmann, A.: Defining business process flexibility with the help of invariants. Software Process Improvement and Practice 12, 65–79 (2007)

    Article  Google Scholar 

  11. Reichert, M., Rinderle, S., Dadam, P.: ADEPT workflow management system: In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 370–379. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  12. Schonenberg, H., Mans, R., Russell, N., Mulyar, N., van der Aalst, W.M.P.: Process Flexibility: A Survey of Contemporary Approaches. In: Dietz, et al (eds.) CIAO! And EOMAS 2008. LNBIP, vol. 10, pp. 16–30. Springer, Berlin (2008)

    Google Scholar 

  13. Schonenberg, H., Weber, B., van Dongen, B.F., van der Aalst, W.M.P.: Supporting flexible processes through recommendations based on history. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 51–66. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  14. Soffer, P., Kaner, M., Wand, Y.: Assigning Ontology-Based Semantics to Workflow nets”. Journal of Database Management 21(3), 1–35 (2010)

    Article  Google Scholar 

  15. Soffer, P., Wand, Y.: On the Notion of Soft Goals in Business Process Modeling. Business Process Management Journal 11(6), 663–679 (2005)

    Article  Google Scholar 

  16. Soffer, P., Wand, Y.: Goal-driven multi-process analysis. Journal of the Association of Information Systems 8(3), 175–203 (2007)

    Google Scholar 

  17. Weber, B., Pinggera, J., Zugal, S., Wild, W.: Handling events during business process execution: An empirical test

    Google Scholar 

  18. Weber, B., Reijers, H.A., Zugal, S., Wild, W.: The declarative approach to business process execution: An empirical test. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 470–485. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  19. Zugal, S., Pinggera, J., Weber, B.: Toward Enhanced Life-Cycle Support for Declarative Processes. To appear in IJISMD

    Google Scholar 

  20. Ploesser, K., Janiesch, C., Recker, J., Rosemann, M.: Context Change Archetypes:Understanding the Impact of Context Change on Business Processes (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Carmel Mountain, University of Haifa, 31905, Haifa, Israel

    Pnina Soffer & Tomer Yehezkel

Authors
  1. Pnina Soffer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tomer Yehezkel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. INTI International University, Malaysia

    Terry Halpin

  2. IAE de Paris Sorbonne Graduate Business School, 21, rue Broca, 75005, Paris, France

    Selmin Nurcan

  3. Department of Computer and Information Science (IDI), Norwegian University of Science and Technology (NTNU), Trondheim, Norway

    John Krogstie

  4. MIS Department, Faculty of Social Science, Haifa University, Carmel Mountain, 35901, Haifa, Israel

    Pnina Soffer

  5. CRP Henri Tudor, 1855, Luxembourg-Kirchberg, Luxembourg

    Erik Proper

  6. HTW-Aalen, 73430, Aalen, Germany

    Rainer Schmidt

  7. IbisSoft AB, Box 19567, SE-10432, Stockholm, Sweden

    Ilia Bider

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Soffer, P., Yehezkel, T. (2011). A State-Based Context-Aware Declarative Process Model. In: Halpin, T., et al. Enterprise, Business-Process and Information Systems Modeling. BPMDS EMMSAD 2011 2011. Lecture Notes in Business Information Processing, vol 81. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21759-3_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-21759-3_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-21758-6

  • Online ISBN: 978-3-642-21759-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation