Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Business Modeling and Software Design

BMSD 2012: Business Modeling and Software Design pp 16–42Cite as

Motivation and Guaranteed Completion in Workflow

  • Conference paper

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

Abstract

This paper presents an approach to designing interactive workflow to achieve guaranteed completion. The approach is based on the idea of modeling motivation, representing how the workflow solicits actions from its environment. The concept of motivation is used to differentiate between actions that are solicited by the workflow and actions that are not solicited, and happen spontaneously. We describe how to analyze progress in workflows that contain both solicited and spontaneous actions and establish guaranteed completion. We describe how to reason about time, and determine the maximum time a workflow requires to reach completion.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. McNeile, A.: Protocol Contracts with Application to Choreographed Multiparty Collaborations. Service Oriented Computing and Applications 4(2), 109–136 (2010)

    Article  Google Scholar 

  2. McNeile, A., Simons, N.: Protocol Modelling: A Modelling Approach that supports Reusable Behavioural Abstractions. Journal of Software and System Modeling 5(1), 91–107 (2006)

    Article  Google Scholar 

  3. McNeile, A., Simons, N.: A Typing Scheme for Behavioural Models. Journal of Object Technology 6(10), 81–94 (2007)

    Article  Google Scholar 

  4. Bettini, C., Sean Wang, X., Jajodia, S.: Temporal Reasoning in Workflow Systems. Distrib. Parallel Databases 11, 269–306 (2002)

    Article  Google Scholar 

  5. Hoare, C.: Communicating Sequential Processes. Prentice-Hall International (1985)

    Google Scholar 

  6. Giannakopoulou, D., Magee, J., Kramer, J.: Checking Progress with Action Priority: Is it Fair? In: Nierstrasz, O., Lemoine, M. (eds.) ESEC 1999 and FSE 1999. LNCS, vol. 1687, pp. 511–527. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  7. Kindler, E.: Safety and Liveness Properties: A Survey. EATCS Bulletin 53(53), 268–272 (1994)

    Google Scholar 

  8. Kindler, E., Martens, A., Reisig, W.: Inter-operability of Workflow Applications: Local Criteria for Global Soundness. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 235–253. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  9. Lanese, I., Guidi, C., Montesi, F., Zavattaro, G.: Bridging the Gap between Interaction- and Process-Oriented Choreographies. In: Proceedings of SEFM 2008, 6th IEEE International Conferences on Software Engineering and Formal Methods, pp. 323–332. IEEE Computer Society, Washington, DC (2008)

    Chapter  Google Scholar 

  10. Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. SIGPLAN Not. 43(1), 273–284 (2008)

    Article  Google Scholar 

  11. Larsen, K., Thomsen, B.: A Modal Process Logic. In: LICS, pp. 203–210 (1988)

    Google Scholar 

  12. D’Ippolito, N., Fishbein, D., Foster, H., Uchitel, S.: MTSA: Eclipse support for modal transition systems construction, analysis and elaboration. In: Eclipse 2007: Proceedings of the, OOPSLA Workshop on Eclipse Technology Exchange, pp. 6–10. ACM, New York (2007)

    Chapter  Google Scholar 

  13. Sidorova, N., Stahl, C., Trčka, N.: Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol. 6051, pp. 530–544. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  14. Marjanovic, O., Orlowska, M.: On Modeling and Verification of Temporal Constraints in Production Workflows. Knowl. Inf. Syst. 1(2), 157–192 (1999)

    Google Scholar 

  15. Object Management Group: UML 2.0 Superstructure Final Adopted Specification. OMG Document reference ptc/03-08-02 (August 2003)

    Google Scholar 

  16. Kazhamiakin, R., Pandya, P., Pistore, M.: Timed Modelling and Analysis in Web Service Compositions. In: International Conference on Availability, Reliability and Security, pp. 840–846. IEEE Computer Society Press, Los Alamitos (2006)

    Google Scholar 

  17. Owicki, S., Lamport, L.: Proving Liveness Properties of Concurrent Programs. ACM Trans. Program. Lang. Syst. 4(3), 455–495 (1982)

    Article  Google Scholar 

  18. UK Cabinet Office: OCG Books ITIL - Service Design. The UK Stationery Office (TSO) for The Office of Government Commerce, OGC (2011)

    Google Scholar 

  19. Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Form. Methods Syst. Des. 19(1), 45–80 (2001)

    Article  Google Scholar 

  20. van der Aalst, W.: Interval Timed Coloured Petri Nets and their Analysis. In: Proceedings of the 14th International Conference on Application and Theory of Petri Nets, pp. 453–472. Springer, London (1993)

    Google Scholar 

  21. van der Aalst, W.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems, and Computers 8(1), 21–66 (1998)

    Article  Google Scholar 

  22. van der Aalst, W., van Hee, K., ter Hofstede, A., Sidorova, N., Verbeek, H., Voorhoeve, M., Wynn, M.: Soundness of Workflow Nets: Classification, Decidability, and Analysis. Formal Aspects of Computing, 1–31 (2010)

    Google Scholar 

  23. Fu, X., Bultan, T., Su, J.: Conversation protocols: a Formalism for Specification and Verification of Reactive Electronic Services. Theoretical Computer Science 328(1-2), 19–37 (2004)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Metamaxim Ltd., 48 Brunswick Gardens, London, W8 4AN, UK

    Ashley McNeile

  2. Open University of the Netherlands, Postbus 2960, 6401DL, Heerlen, The Netherlands

    Ella Roubtsova

Authors
  1. Ashley McNeile
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ella Roubtsova
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Interdisciplinary Institute for Collaboration and Research on Enterprise Systems and Technology – IICREST, Sofia, Bulgaria

    Boris Shishkov

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

McNeile, A., Roubtsova, E. (2013). Motivation and Guaranteed Completion in Workflow. In: Shishkov, B. (eds) Business Modeling and Software Design. BMSD 2012. Lecture Notes in Business Information Processing, vol 142. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37478-4_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-37478-4_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-37477-7

  • Online ISBN: 978-3-642-37478-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation