Introduction to Functional Programming
Introduction to Functional Programming
Distributed and Parallel Databases
On Structured Workflow Modelling
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Reactive Petri nets for workflow modeling
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Using the π-calculus for formalizing workflow patterns
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Coordination Models Orc and Reo Compared
Electronic Notes in Theoretical Computer Science (ENTCS)
Theoretical Computer Science
Bristlecone: A Language for Robust Software Systems
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Software-Intensive Systems and New Computing Paradigms
Calculi for Service-Oriented Computing
Formal Methods for Web Services
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Implementation of an Orchestration Language as a Haskell Domain Specific Language
Electronic Notes in Theoretical Computer Science (ENTCS)
A prolog-based language for workflow programming
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Session types for orchestration charts
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
A compositional trace semantics for Orc
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Event structure semantics of Orc
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Bamboo: a data-centric, object-oriented approach to many-core software
PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Slicing for architectural analysis
Science of Computer Programming
A denotational semantical model for Orc language
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Recovery tasks: an automated approach to failure recovery
RV'10 Proceedings of the First international conference on Runtime verification
A WSDL-based type system for asynchronous WS-BPEL processes
Formal Methods in System Design
SCC: a service centered calculus
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
A language for task orchestration and its semantic properties
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
NOW: a workflow language for orchestration in nomadic networks
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
NOW: Orchestrating services in a nomadic network using a dedicated workflow language
Science of Computer Programming
QoS-aware management of monotonic service orchestrations
Formal Methods in System Design
Hi-index | 0.00 |
Van der Aalst recently proposed a set of workflow patterns to characterize the kinds of control flow that appear frequently in workflow processes. These patterns are useful for evaluating the capabilities of workflow systems and models. In this paper we provide implementations of the workflow patterns in Orc, a new process calculus for orchestrating wide-area computations. A key feature of the Orc implementations is that they are expressed as definitions that can be reused as needed.