Towards verification of computation orchestration

DOI10.1007/S00165-013-0280-9zbMATH Open1342.68209OpenAlexW2138133565WikidataQ130993132 ScholiaQ130993132MaRDI QIDQ736807FDOQ736807

Authors: Yang Liu, Jun Sun, Xian Zhang, Jin-Song Dong 

Publication date: 5 August 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://ink.library.smu.edu.sg/sis_research/4977

Recommendations

• Executable rewriting logic semantics of Orc and formal analysis of Orc programs
• A timed semantics of Orc
• A Language for Task Orchestration and Its Semantic Properties
• Simulation Using Orchestration
• A denotational semantical model for Orc language

zbMATH Keywords

verificationtimed automataconstraint logic programmingweb service orchestration\(\mathrm{CLP}(R)\)OrcUppaal

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60) Internet topics (68M11) Semantics in the theory of computing (68Q55)

Cites Work

• Uppaal in a nutshell
• A theory of timed automata
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Symbolic model checking for real-time systems
• Model-checking for real-time systems
• A timed semantics of Orc
• A brief history of Timed CSP
• Title not available (Why is that?)
• Modeling and model checking web services
• A Language for Task Orchestration and Its Semantic Properties
• Integrated Formal Methods
• A denotational semantical model for Orc language
• Timed CSP = closed timed automata
• Logic Programming
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• CONCUR 2005 – Concurrency Theory

Cited In (7)

• Title not available (Why is that?)
• A timed semantics of Orc
• The computational complexity of QoS measures for orchestrations. The computational complexity of QoS measures
• Abstract Processes in Orchestration Languages
• Simulation Using Orchestration
• Comparing goal-oriented and procedural service orchestration
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs

Uses Software

• LoLA
• Uppaal
• Dist-Orc
• LTSA-WS
• PAT

This page was built for publication: Towards verification of computation orchestration

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