A Language for Task Orchestration and Its Semantic Properties

DOI10.1007/11817949_32MaRDI QIDQ5756609zbMATH OpenOpenAlexWikidataFDO

Authors David Kitchin, William R. Cook, 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)

Recommendations

• Towards a formal foundation to orchestration languages
• Abstract Processes in Orchestration Languages
• Theoretical aspects of coordination languages
• Operational semantics of task models
• A declarative coordination language
• scientific article; zbMATH DE number 2087402

Cited in

(29)

• 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
• NOW: orchestrating services in a nomadic network using a dedicated workflow language
• QoS-aware management of monotonic service orchestrations
• Application of branching cells to QoS aware service orchestrations
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs
• Coordination models Orc and Reo compared
• A denotational semantical model for Orc language
• The Orc Programming Language
• Monotonicity in Service Orchestrations
• A model of context-dependent component connectors
• Computation semantics of the functional scientific workflow language Cuneiform
• Reasoning about orchestrations of web services using partial correctness
• scientific article; zbMATH DE number 2090559 (Why is no real title available?)
• Orchestration combinators in Apla+ language
• Data centric workflows for crowdsourcing
• A WSDL-based type system for asynchronous WS-BPEL processes
• Channel-based coordination via constraint satisfaction
• The Conversation Calculus: A Model of Service-Oriented Computation
• Simulation Using Orchestration
• Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
• CaSPiS: a calculus of sessions, pipelines and services
• Comparing goal-oriented and procedural service orchestration
• Service Orchestration with Priority Constraints
• Towards verification of computation orchestration
• The stream-based service-centred calculus: a foundation for service-oriented programming
• A core calculus for correlation in orchestration languages
• A timed semantics of Orc
• Slicing for architectural analysis

Describes a project that uses

Uses Software

• YAWL

This page was built for publication: A Language for Task Orchestration and Its Semantic Properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756609)