Abstract
A workflow is a collection of coordinated activities designed to carry out a well-defined complex process, such as trip planning, student registration, or a business process in a large enterprise. An activity in a workflow might be performed by a human, a device, or a program. Workflow management systems (or WfMS) provide a framework for capturing the interaction among the activities in a workflow and are recognized as a new paradigm for integrating disparate systems, including legacy systems. A large workflow system might involve many disparate activities that are coordinated in complex ways and are subject to many constraints. Thus, modeling such systems and ensuring that they perform according to the specifications is not an easy task. To be able to analyze the properties of workflows, the latter must be specified using a formalism with well-defined semantics. The popular formalisms in this area are the various logics, Petri Nets [1,35], Event-Condition-Action rules [23,15], and State Charts [36]. In this chapter we survey and compare a number of logic-based formalisms that were proposed in the literature.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References References
N.R. Adam, V. Atluri, and W.-K. Huang. Modeling and analysis of workflows using petri nets. In Journal of Intelligent Information Systems 10(2), 1998.
G. Alonso, D. Agrawal, A. El Abbadi, and C. Mohan. Functionality and limitations of current workflow management systems. In IEEE-Expert. Special issue on Cooperative Information Systems, 1997.
A. Ankolenkar, M. Burstein, J.R. Hobbs, O. Lassila, S.A. McIlraith D.L. Martin, S. Narayanan, M. Paolucci, T. Payne, K. Sycara, and H. Zeng. Daml-s: A semantic markup language for web services. In Intl. Semantic Web Working Symposium (SWWS), July 2001. http://www.semanticweb.org/SWWS/program/full/paper2.pdf.
P. Attie, M.P. Singh, A.P. Sheth, and M. Rusinkiewicz. Specifying and enforcing intertask dependencies. In Proceedings of the International Conference on Very Large Databases (VLDB), 1993.
C. Baral, J. Lobo, and G. Trajcevski. Formalizing workflows as collections of condition-action rules. In Proceedings of the International Conference on Cooperative Information Systems (CoopIS), 1996.
A.J. Bonner. Workflows, transactions and datalog. In Proceedings of the Symposium on Principles of Database Systems (PODS), 1999.
A.J. Bonner and M. Kifer. Concurrency and communication in transaction logic. In Joint Intl. Conference and Symposium on Logic Programming, pp. 142–156, Bonn, Germany, September 1996. MIT Press. Cambridge, MA.
A.J. Bonner and M. Kifer. A logic for programming database transactions. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, Chapter 5, pp. 117–166. Kluwer Academic Publishers, 1998.
R. Chinnici, M. Gudgin, J.-J. Moreau, and S. Weerawarana. Web services description language (wsdl) version 1.2. Technical report, W3C, July 2002.
P.K. Chrysanthis and K. Ramamritham. ACTA: The SAGA continues. In Transaction Models for Advanced Database Applications. Morgan Kaufman, San Francisco, CA, 1992.
F. Curbera, Y. Goland, J. Klein, F. Leymann, D. Roller, S. Thatte, and S. Weerawarana. Business process execution language for web services, version 1.0. Technical report, IBM, July 2002.
F. Curbera, W.A. Nagy, and S. Weerawarana. Web services: Why and how. In OOPSLA 2001 Workshop on Object-Oriented Web Services. ACM, 2001.
H. Davulcu, M. Kifer, C.R. Ramakrishnan, and LV. Ramakrishnan: Logic based modeling and analysis of workflows. In Proceedings of the Symposium on Principles of Database Systems (PODS), 1998.
H. Davulcu, M. Kifer, and LV. Ramakrishnan. A logic for modeling and coordinating multi-agent workflows. in preparation, 2003.
U. Dayal, M. Hsu, and R. Ladin. Organizing long running activities with triggers and transactions. In Proceedings of the International Conference on Management of Data (SIGMOD), 1990.
U. Dayal, M. Hsu, and R. Ladin. Organizing long-running activities with triggers and transactions. In ACM SIGMOD Conference on Management of Data, 1990.
E.A. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science, vol. B, 1990. Elsevier and MIT Press, Cambridge, MA.
X. Fu, T. Bultan, R. Hull, and J. Suo Verification of vortex workflows. In Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2001.
H. Garcia-Molina and K. Salem. Sagas. In Intl. Conference on Very Large Data Bases, pp. 249–259, May 1987.
D. Georgakopoulos, M. Hornick, and A. Sheth. An overview of workflow management: From process modeling to infrastructure for automation. Journal on Distributed and Parallel Database Systems, 3(2):119–153, April 1995.
R. Gunthor. Extended transaction processing based on dependency rules. In Proceedings of International Workshop on Research Issues in Data Engineering, 1993.
M. Huhns and M. Singh, editors. Readings in Agents. Morgan Kaufmann, San Francisco, CA, 1998.
R. Hull, F. Llirbat, E. Simon, J. Su, G. Dong, B. Kumar, and G. Zhou. Declarative workflows that support easy modification and dynamic browsing. In Proceedings of the International Joint Conference on Work Activities Coordination and Collaboration, 1999.
R. Hull, F. Llirbat, J. Su, G. Dong, B. Kumar, and G. Zhou. Adaptive execution of workflow: Analysis and optimization. Tech. Report, Bell Labs, 1999.
J. Klein. Advanced rule-driven transaction management. In IEEE COMPCON. IEEE, 1991.
F. Leymann. Web services flow language (wsfl1.0). Technical report, IBM, May 2001. http://www-4.ibm.com/software/solutions/webservices/pdf/WSFL.pdf.
B. McKee, D. Ehnbuske, and D. Rogers. UDDI Version 2.0 API Specification. Technical report, UDDLorg, June 2001. http://www.uddLorgj.
P. Senkul, M. Kifer, and LH. Toroslu. A logical framework for scheduling workflows under resource allocation constraints. In Intl. Conference on Very Large Data Bases, August 2002.
M.P. Singh. Semantical considerations on workflows: An algebra for intertask dependencies. In Proceedings of the International Workshop on Database Programming Languages, 1995.
T. Sollazzo, S. Handschuh, S. Staab, and M. Frank. Semantic web service architecture — evolving web service standards toward the semantic web. URL: http://citeseer.nj.nec.com/461405.html.
V.S. Subrahmanian, P. Bonatti, J. Dix, T. Eiter, and F. Ozcan. Heterogeneous Agent Systems. MIT Press, Cambridge, MA, 2000.
A.H.M. ter Hofstede, M.E. Orlowska, and J. Rajapakse. Verification problems in conceptual workflow specifications. In Proceedings of the International Conference on Conceptual Modeling, 1996.
In http://dmoz. org/Computers/Software/Workflow/Products/
W.M.P. van der Aalst. Verification of workflow nets. In Application and Theory of Petri Nets, 1997. Lecture Notes in Computer Science, vol. 1248. Springer Verlag, Berlin, Germany.
W.M.P. van der Aalst. The application of petri nets to workflow management. In The Journal of Circuits, Systems and Computers 1(8), 1998.
D. Wodtke and G. Weikum. A formal foundation for distributed workflow execution based on state charts. In Proceedings of the International Conference on Database Theory, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Mukherjee, S., Davulcu, H., Kifer, M., Senkul, P., Yang, G. (2004). Logic-Based Approaches to Workflow Modeling and Verification. In: Chomicki, J., van der Meyden, R., Saake, G. (eds) Logics for Emerging Applications of Databases. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18690-5_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-18690-5_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-62248-9
Online ISBN: 978-3-642-18690-5
eBook Packages: Springer Book Archive