Formalizing the specification and execution of workflows using the event calculus

Information Sciences

Volumn 176, Issue 15, 2006, Pages 2227-2267

  Cicekli, Nihan Kesim ^a   Cicekli, Ilyas ^b  

^a MIDDLE EAST TECHNICAL UNIVERSITY   (Turkey)

^b BILKENT UNIVERSITY   (Turkey)

Author keywords

Event calculus; Temporal reasoning; Workflow formalization

Indexed keywords

DATABASE SYSTEMS; FORMAL LOGIC; GRAPH THEORY; MATHEMATICAL MODELS; SEMANTICS; SYNCHRONIZATION;

EVENT CALCULUS; TEMPORAL REASONING; WORKFLOW FORMALIZATION;

LOGIC PROGRAMMING;

EID: 33646519216     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2005.10.007     Document Type: Article

References (35)

1. Alonso G., and Mohan C. WFMS: the next generation of distributed processing tools. In: Jajodia S., and Kerschberg L. (Eds). Advanced Transaction Models and Architectures (1997), Kluwer Academic Publishers 35-62
2. Baral C., Lobo J., and Trajcevski G. Formalizing and reasoning about the requirements specifications of workflow systems. International Journal of Intelligent Information Systems 10 4 (2001) 483-507
3. Barbara D., Mehrotra S., and Rusinkiewicz M. INCAs: managing dynamic workflows in distributed environments. Journal of Database Management 7 1 (1996) 5-15
4. Bettini C., Wang X., and Jajodia S. Temporal reasoning in workflow systems. Distributed and Parallel Databases 11 3 (2002) 269-306
5. C. Bussler, S. Jablonski, Implementing agent coordination for workflow management systems using active database systems, in: Proceedings of Fourth International Workshop on Research Issues in Data Engineering, Houston, 1994, pp. 53-59.
6. Cervesato I., Franceschet M., and Montanari A. A guided tour through some extensions of the event calculus. Computational Intelligence 16 2 (2000) 307-347
7. E. Christensen, F. Curbera, G. Meredith, S. Weerawarana, Web services description language (WSDL) 1.1. Available from: .
8. Business process execution language for web services version 1.1. Available from: .
9. Davulcu H., Kifer M., Ramakrishnan C.R., and Ramakrishnan I.V. Logic based modeling and analysis of workflows. Proceedings of ACM Symposium on Principles of Database Systems (1998), ACM Press, Seattle, Washington 25-33
10. Even S.J., Faase F.J., and de By R.A. Language features for cooperation in an object-oriented database environment. International Journal of Cooperative Information Systems 5 4 (1996) 469-500
11. Fernandez A.A., Williams M.H., and Paton N.W. A logic-based integration of active and deductive databases. New Generation Computing 15 (1997) 205-244
12. A. Geppert, M. Kradolfer, D. Tombros, Realization of cooperative agents using an active object-oriented database system, in: Proceedings of the Second International Workshop on Rules in Database Systems (RIDS), Athens, Greece, 1995, pp. 327-341.
13. Kesim F.N., and Sergot M. A logic programming framework for modelling temporal objects. IEEE Transactions on Knowledge and Data Engineering 8 5 (1996) 724-741
14. Kesim F.N., and Sergot M. Implementing an object-oriented deductive database using temporal reasoning. Journal of Database Management 7 4 (1996) 21-34
15. Kesim-Cicekli N. A temporal reasoning approach to model workflow activities. In: Pinter R.Y., and Tsur S. (Eds). Proceedings of NGITS'99. LNCS vol. 1649 (1999), Springer-Verlag, Berlin 256-266
16. Kesim-Cicekli N., and Yildirim Y. Formalizing workflows using the event calculus. In: Ibrahim M., Kung J., and Revell N. (Eds). The 11th International Workshop on Database and Expert Systems Applications (DEXA'00). LNCS vol. 1873 (2000), Springer-Verlag, Berlin 222-231
17. P. Koksal, N.K. Cicekli, H. Toroslu, Specification of workflow processes using the action description language C, in: AAAI Spring 2001 Symposium Series: Answer Set Programming, Palo Alto, California, 2001, pp. 103-109.
18. Kowalski R.A., and Sergot M.J. A logic-based calculus of events. New Generation Computing 4 (1986) 67-95
19. Kowalski R.A. Database updates in the event calculus. Journal of Logic Programming 12 1-2 (1992) 121-146
20. F. Leymann, Web services flow language (WSFL 1.0). Available from: .
21. S. McIlraith, T.C. Son, Adapting Golog for composition of semantic web services, in: D. Fensel, F. Giunchiglia, D. McGuinness, M.-A. Williams (Eds.), Proceedings of the 8th International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002, pp. 482-496.
22. Miller J.A., Palaniswami D., Sheth A.P., Kochut K., and Singh H. WebWork: METEOR 2's web-based workflow management system. Journal of Intelligent Information Systems 10 2 (1998) 185-215
23. Muth P., Wodtke D., Weissenfels J., Weikum G., and Dittrich A.K. Enterprise-wide workflow management based on state and activity charts. In: Dogac A., Kalinichenko L., Özsu T., and Sheth A. (Eds). NATO ASI Series: Workflow Management Systems and Interoperability (1998), Springer Verlag 281-303
24. P. Senkul, M. Kifer, I.H. Toroslu, A logical framework for scheduling workflows under resource allocation constraints, in: Proceedings of the 28th International Conference on Very Large Data Bases (VLDB 2002), Hong Kong, China, 2002, pp. 694-705.
25. Shanahan M.P. An abductive event calculus planner. Journal of Logic Programming 44 (2000) 207-239
26. M.P. Singh, G. Meredith, C. Tomlinson, P.C. Attie, An event algebra for specifying and scheduling workflows, in: Proceedings of the Fourth International Conference on Database Systems on Advanced Applications (DASFAA'95), Singapore, 1995, pp. 53-60.
27. B. Srivastava, J. Koehler, Web service composition-current solutions and open problems, in: Proceedings of ICAPS 2003 Workshop on Planning for Web Services, 2003, pp. 28-35.
28. B. Srivastava, Automatic web services composition using planning, in: Proceedings of International Conference on Knowledge Based Computer Systems (KBCS-2002), Navi Mumbai, India, 2002, pp. 467-477.
29. Staab S. Web services: been there, done that?. IEEE Intelligent Systems 18 1 (2003) 72-85
30. S. Thatte, XLANG: Web services for business process design, Available from: .
31. van der Aalst W.M.P. The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers 8 1 (1998) 21-66
32. van der Aalst W.M.P., and van Hee K.M. Workflow Management: Models, Methods, and Systems (2002), MIT press, Cambridge, MA
33. van der Aalst W.M.P., ter Hofstede A.H.M., Kiepuszewski B., and Barros A.P. Workflow patterns. Distributed and Parallel Databases 14 1 (2003) 5-51
34. Wachter H., and Reuter A. The ConTract model. In: Elmagarmid A.K. (Ed). Database Transaction Models for Advanced Applications (1992), Morgan Kaufmann 220-263
35. D. Hollingsworth, Workflow management coalition the workflow reference model. Available from: .