MULTILISP: a language for concurrent symbolic computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
General purpose work flow languages
Distributed and Parallel Databases - Special issue on software support for work flow management
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Communicating sequential processes
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Modeling workflow processes with colored Petri nets
Computers in Industry
Distributed and Parallel Databases
Parallel Logic Programming Languages
Proceedings of the Third International Conference on Logic Programming
Metastructures versus Attributed Variables in the Context of Extensible Unification
PLILP '92 Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming
Valmont: A Language for Workflow Programming
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 7 - Volume 7
A relational language for parallel programming
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Applying Propositional Logic to Workflow Verification
Information Technology and Management
Using Temporal Logics for Modeling and Analysis of Workflows
CEC-EAST '04 Proceedings of the E-Commerce Technology for Dynamic E-Business, IEEE International Conference
YAWL: yet another workflow language
Information Systems
A logical framework for scheduling workflows under resource allocation constraints
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Modeling and verification of distributed autonomous agents using logic programming
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Distributed workflow upon linkable coordination artifacts
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Police Investigation Management System Based on the Workflow Technology
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
Achieving coordination through dynamic construction of open workflows
Proceedings of the 10th ACM/IFIP/USENIX International Conference on Middleware
Achieving coordination through dynamic construction of open workflows
Middleware'09 Proceedings of the ACM/IFIP/USENIX 10th international conference on Middleware
Norm compliance in business process modeling
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Statelets: coordination of social collaboration processes
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
| Hi-index | 0.00 |
Workflow management systems control activities that are performed in a distributed manner by a number of human or automated participants. There is a wide variety of workflow systems in use, mostly commercial products, and no standard language has been defined in which to express workflow specifications. In this paper we propose Workflow Prolog, a new extension of Prolog. The language allows workflow systems to be implemented in a novel declarative style, while preserving the existing properties of Prolog, such as its familiarity and efficiency. We then demonstrate the expressiveness of the language by showing how it can express each of the workflow patterns that have previously been identified as the requirements of a workflow language.