A prolog-based language for workflow programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4467 LNCS, Issue , 2007, Pages 56-75

  Gregory, Steve ^a   Paschali, Martha ^a  

^a UNIVERSITY OF BRISTOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DISTRIBUTED PARAMETER CONTROL SYSTEMS;

WORKFLOW MANAGEMENT SYSTEMS; WORKFLOW PROGRAMMING; WORKFLOW PROLOG; WORKFLOW SYSTEMS;

PROLOG (PROGRAMMING LANGUAGE);

EID: 37149002526     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72794-1_4     Document Type: Conference Paper

References (29)

1. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases 14(1), 5-51 (2003)
2. van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Information Systems 30(4), 245-275 (June 2005)
3. Bi, H.H., Zhao, J.L.: Applying prepositional logic to workflow verification. In: Information Technology and Management 5(3-4), 293-318 (2004)
4. Chan, D., Leung, K.: Valmont: a language for workflow programming. In: Proc. 31st Annual Hawaii Int. Conf. on System Sciences, pp. 744-753. IEEE, NJ, New York (1998)
5. Clark, K.L., Gregory, S.: A relational language for parallel programming. In: Proc. Conf. on Functional Programming Languages and Computer Architecture, pp. 171-178. ACM Press, New York (1981)
6. Clark, K.L., Gregory, S.: Parallel programming in logic. In: ACM Trans. on Programming Languages and Systems, vol. 8(1), pp. 1-49. ACM Press, New York (January 1986)
7. Conlon, T.: Programming in Parlog. Addison-Wesley, London, UK (1989)
8. Cook, W., Patwardhan, S., Misra, J.: Workflow patterns in Ore. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 82-96. Springer, Heidelberg (2006)
9. Davulcu, H., Kifer, M., Ramakrishnan, C., Ramakrishnan, I.: Logic based modeling and analysis of workflows. In: Symp. on Principles of Database Systems, pp. 25-33 (1998)
10. Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. In: Communications of the ACM, vol. 18(8), pp. 453-457. ACM Press, New York (August 1975)
11. Duan, Y., Ma, H.: Modeling flexible workflow based on temporal logic. In: Proc. 9th Int. Conf. on Computer Supported Cooperative Work in Design, vol. 1, pp. 508-513. IEEE Computer Society Press, Washington (2005)
12. van Emden, M.H., de Lucena Filho, G.J.: Predicate logic as a language for parallel programming. In: Clark, Tärnlund (eds.) Logic Programming, pp. 189-198. Academic Press, London (1982)
13. Forst, A., Kühn, E., Bukhres, O.: General purpose work flow languages. Distributed and Parallel Databases 3(2), 187-218 (April 1995)
14. Halstead, R.: MULTILISP: a language for concurrent symbolic computation. In: ACM Trans, on Programming Languages and Systems, vol. 7(4), pp. 501-538. ACM Press, New York (October 1985)
15. Hermenegildo, M., Cabeza, D., Carro, M.: Using attributed variables in the implementation of concurrent and parallel logic programming systems. In: Proc. 1995 Int. Conf. on Logic Programming, pp. 631-645. MIT Press, Cambridge (1995)
16. Hoare, C.A.R.: Communicating sequential processes. In: Communications of the ACM, vol. 21(8), pp. 666-677. ACM Press, New York (August 1978)
17. Holzbaur, C.: Metastructures vs. attributed variables in the context of extensible unification. In: Bruynooghe, M., Wirsing, M. (eds.) PLILP 1992. LNCS, vol. 631, pp. 260-268. Springer, Heidelberg (1992)
18. Liu, D., Wang, J., Chan, S., Sun, J., Zhang, L.: Modeling workflow processes with colored Petri nets. In: Computers in Industry, vol. 49(3), pp. 267-281. Elsevier, Amsterdam (December 2002)
19. Ma., H.: A workflow model based on temporal logic. In: Proc. 8th Int. Conf. on Computer Supported Cooperative Work in Design, vol. 2, pp. 327-332. IEEE, NJ, New York (2004)
20. Omicini, A., Ricci, A., Zaghini, N.: Distributed workflow upon linkable coordination artifacts. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 228-246. Springer, Heidelberg (2006)
21. Pokorný, L., Ramakrishnan, C.: Modeling and Verification of Distributed Autonomous Agents Using Logic Programming. In: Leite, J.A., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 148-165. Springer, Heidelberg (2005)
22. Senkul, P., Kifer, M., Toroslu, I.: A logic framework for scheduling workflows under resource allocation constraints. In: Proc. 28th VLDB Conf, pp. 694-702 (2002)
23. Shapiro, E. Y.: The family of concurrent logic programming languages. In: ACM Computing Surveys, vol. 21(3), pp. 413-510. ACM, New York (1989)
24. Stefansen, C.: SMAWL: a small workflow language based on CCS. In: Proc. CAISE05 Forum (Porto) (2005)
25. Takeuchi, A., Furukawa, K.: Parallel logic programming languages. In: Shapiro, E. (ed.) 3rd International Conference on Logic Programming. LNCS, vol. 225, pp. 242-254. Springer, Heidelberg (1986)
26. Wang, Y., Fan, Y.: Using temporal logics for modeling and analysis of workflows. In: IEEE Int. Conf. on E-Commerce Technology for Dynamic E-Business, pp. 169-174. IEEE, NJ, New York (2004)
27. Workflow Management Coalition. WFMC specification: the workflow reference model. Document no. WFMC-TC-1003 (1995)
28. Workflow Management Coalition. WFMC specification: terminology and glossary. Document no. WFMC-TC-1011 (1999)
29. Workflow Patterns Home Page, http://www.workflowpatterns.com/