Communicating sequential processes
Communicating sequential processes
On Kleene algebras and closed semirings
MFCS '90 Proceedings on Mathematical foundations of computer science 1990
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Distributed processes and location failures
Theoretical Computer Science
Communication and Concurrency
Distributed and Parallel Databases
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'06 Proceedings of the 8th international conference on Coordination Models and Languages
Real-time rewriting semantics of orc
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Coordination Models Orc and Reo Compared
Electronic Notes in Theoretical Computer Science (ENTCS)
Reduction Semantics and Formal Analysis of Orc Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
A metamodel for distributed event based systems
Proceedings of the second international conference on Distributed event-based systems
Theoretical Computer Science
Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Security Types for Sessions and Pipelines
Web Services and Formal Methods
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
Monotonicity in Service Orchestrations
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Implementation of an Orchestration Language as a Haskell Domain Specific Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Monitoring probabilistic SLAs in web service orchestrations
IM'09 Proceedings of the 11th IFIP/IEEE international conference on Symposium on Integrated Network Management
COWS: a timed service-oriented calculus
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
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
The conversation calculus: a model of service-oriented computation
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
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
A WSDL-based type system for asynchronous WS-BPEL processes
Formal Methods in System Design
Channel-based coordination via constraint satisfaction
Science of Computer Programming
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Hiphop: a synchronous reactive extension for hop
Proceedings of the 1st ACM SIGPLAN international workshop on Programming language and systems technologies for internet clients
Statelets: coordination of social collaboration processes
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
QoS-aware management of monotonic service orchestrations
Formal Methods in System Design
| Hi-index | 0.00 |
Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. Orc provides constructs to orchestrate the concurrent invocation of services – while managing time-outs, priorities, and failure of services or communication. In this paper, we show a trace-based semantic model for Orc, which induces a congruence on Orc programs and facilitates reasoning about them. Despite the simplicity of the language and its semantic model, Orc is able to express a variety of useful orchestration tasks.