A Language for Task Orchestration and Its Semantic Properties

DOI10.1007/11817949_32zbMath1151.68360OpenAlexW1528588771WikidataQ60308242 ScholiaQ60308242MaRDI QIDQ5756609

William R. Cook, David Kitchin, Jayadev Misra

Publication date: 4 September 2007

Published in: CONCUR 2006 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11817949_32

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

A UTP semantic model for Orc language with execution status and fault handling, The computational complexity of QoS measures for orchestrations. The computational complexity of QoS measures, Data Centric Workflows for Crowdsourcing, A model of context-dependent component connectors, Reasoning about orchestrations of web services using partial correctness, A timed semantics of Orc, QoS-aware management of monotonic service orchestrations, Application of branching cells to QoS aware service orchestrations, A WSDL-based type system for asynchronous WS-BPEL processes, Channel-based coordination via constraint satisfaction, CaSPiS: a calculus of sessions, pipelines and services, Slicing for architectural analysis, Towards verification of computation orchestration, The stream-based service-centred calculus: a foundation for service-oriented programming, The Conversation Calculus: A Model of Service-Oriented Computation, The Orc Programming Language, Monotonicity in Service Orchestrations, Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines, Coordination Models Orc and Reo Compared, Executable rewriting logic semantics of Orc and formal analysis of Orc programs

Uses Software

• YAWL