A timed semantics of Orc

DOI10.1016/J.TCS.2008.04.037MaRDI QIDQ935476zbMATH OpenOpenAlexWikidataFDO

Authors Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra

Publication date 6 August 2008

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2008.04.037

zbMATH Keywords

computation orchestrationconcurrencyOrcprocess algebrasemanticstimeweb services

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• A Language for Task Orchestration and Its Semantic Properties
• The Orc Programming Language
• A UTP semantic model for Orc language with execution status and fault handling
• Towards verification of computation orchestration
• A denotational semantical model for Orc language

Cites work

• A causal semantic for time Petri nets
• A Language for Task Orchestration and Its Semantic Properties
• A process algebra for timed systems
• A timed semantics of Orc
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• CONCUR 2004 - Concurrency Theory
• Discrete time process algebra
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs
• scientific article; zbMATH DE number 1701362 (Why is no real title available?)
• scientific article; zbMATH DE number 4210141 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 2182596 (Why is no real title available?)
• On the expressiveness of timed coordination models
• The algebra of timed processes, ATP: Theory and application
• The two-phase commitment protocol in an extended -calculus

Cited in

(18)

• 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
• Twenty years of rewriting logic
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs
• Computational aspects of uncertainty profiles and angel-daemon games
• A denotational semantic theory of concurrent systems
• The rewriting logic semantics project: a progress report
• The robustness of periodic orchestrations in uncertain evolving environments
• A denotational semantical model for Orc language
• The Orc Programming Language
• The rewriting logic semantics project: a progress report
• Reasoning about orchestrations of web services using partial correctness
• Orchestration combinators in Apla+ language
• Simulation Using Orchestration
• CaSPiS: a calculus of sessions, pipelines and services
• Towards verification of computation orchestration
• Modelling web-service uncertainty: the angel/daemon approach
• A timed semantics of Orc

Describes a project that uses

Uses Software

• Maude

This page was built for publication: A timed semantics of Orc

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