Skip to main content
Springer Nature Link
Log in

Controllability in Temporal Conceptual Workflow Schemata

  • Conference paper
Business Process Management (BPM 2009)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 5701))

Included in the following conference series:

  • 2983 Accesses

Abstract

Workflow technology has emerged as one of the leading technologies in modelling, redesigning, and executing business processes. Currently available workflow management systems (WfMS) and research prototypes offer a very limited support for the definition, detection, and management of temporal constraints over business processes. In this paper, we propose a new advanced workflow conceptual model for expressing time constraints in business processes and, in particular, we introduce and discuss the concept of controllability for workflow schemata and its evaluation at process design time. Controllability refers to the capability of executing a workflow for any possible duration of tasks. Since in several situations durations of tasks cannot be decided by WfMSs, even tough the minimum and the maximum durations for each task are known, checking controllability is stronger than verifying the consistency of the workflow temporal constraints.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Workflow Management Coalition, Hollingsworth, D.: The workflow reference model (1995), http://www.wfmc.org/standards/framework.htm

  2. Object Management Group (OMG): Business process definition metamodel (bpdm), beta 1 (2007), http://www.omg.org/cgi-bin/doc?dtc/2007-07-01

  3. Eder, J., Panagos, E., Rabinovich, M.I.: Time constraints in workflow systems. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol. 1626, pp. 286–300. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  4. Eder, J., Panagos, E.: Managing time in workflow systems. In: Workflow Handbook 2001. Workflow Management Coalition (WfMC), pp. 109–132 (2000)

    Google Scholar 

  5. Bettini, C., Wang, X.S., Jajodia, S.: Temporal reasoning in workflow systems. Distributed and Parallel Databases 11, 269–306 (2002)

    Article  MATH  Google Scholar 

  6. Marjanovic, O., Orlowska, M.E.: On modeling and verification of temporal constraints in production workflows. Knowl. Inf. Syst. 1, 157–192 (1999)

    Article  Google Scholar 

  7. Combi, C., Gozzi, M., Juárez, J.M., Oliboni, B., Pozzi, G.: Conceptual modeling of temporal clinical workflows. In: TIME, pp. 70–81. IEEE Computer Society, Los Alamitos (2007)

    Google Scholar 

  8. Ede, J., Gruber, W., Panagos, E.: Temporal modeling of workflows with conditional execution paths. In: Ibrahim, M., Küng, J., Revell, N. (eds.) DEXA 2000. LNCS, vol. 1873, pp. 243–253. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  9. Vidal, T., Fargier, H.: Handling contingency in temporal constraint networks: from consistency to controllabilities. J. Exp. Theor. Artif. Intell. 11, 23–45 (1999)

    Article  MATH  Google Scholar 

  10. Morris, P.H., Muscettola, N.: Temporal dynamic controllability revisited. In: Veloso, M.M., Kambhampati, S. (eds.) AAAI, pp. 1193–1198. AAAI Press / The MIT Press (2005)

    Google Scholar 

  11. Casati, F., Ceri, S., Pernici, B., Pozzi, G.: Conceptual modelling of workflows. In: Papazoglou, M.P. (ed.) ER 1995 and OOER 1995. LNCS, vol. 1021, pp. 341–354. Springer, Heidelberg (1995)

    Chapter  Google Scholar 

  12. Mangan, P.J., Sadiq, S.W.: A constraint specification approach to building flexible workflows. Journal of Research and Practice in Information Technology 35, 21–39 (2003)

    Google Scholar 

  13. van der Aalst, W.M.P., Hirnschall, A., Verbeek, H.M.W(E.): An alternative way to analyze workflow graphs. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol. 2348, pp. 535–552. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  14. Goralwalla, I.A., Leontiev, Y., Özsu, M.T., Szafron, D., Combi, C.: Temporal granularity: Completing the puzzle. J. Intell. Inf. Syst. 16, 41–63 (2001)

    Article  MATH  Google Scholar 

  15. Antman, E.M., et al.: ACC/AHA guidelines for the management of patients with ST-elevation myocardial infarction. Circulation 110, 588–636 (2004)

    Article  Google Scholar 

  16. Dechter, R., Meiri, I., Pearl, J.: Temporal constraint networks. Artif. Intell. 49, 61–95 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  17. Morris, P.: A structural characterization of temporal dynamic controllability. In: Benhamou, F. (ed.) CP 2006. LNCS, vol. 4204, pp. 375–389. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  18. van der Aalst, W.M.P., Aldred, L., Dumas, M., ter Hofstede, A.H.M.: Design and implementation of the YAWL system. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 142–159. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università degli Studi di Verona, strada le Grazie 15, 37134, Verona, Italy

    Carlo Combi & Roberto Posenato

Authors
  1. Carlo Combi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Roberto Posenato
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Hewlett-Packard Laboratories, 1501 Page Mill Rd., 94304, Palo Alto, CA, USA

    Umeshwar Dayal

  2. Alps Adria University Klagenfurt, Universitätsstr. 65, 9020, Klagenfurt, Austria

    Johann Eder

  3. IBM Zurich Research Laboratory, Saeumerstr. 4, 8803, Rüschlikon, Switzerland

    Jana Koehler

  4. Eindhoven University of Technology, PO Box 513, 5600, Eindhoven, MB, The Netherlands

    Hajo A. Reijers

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Combi, C., Posenato, R. (2009). Controllability in Temporal Conceptual Workflow Schemata. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds) Business Process Management. BPM 2009. Lecture Notes in Computer Science, vol 5701. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03848-8_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-03848-8_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-03847-1

  • Online ISBN: 978-3-642-03848-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics