Verification of orchestration systems using compositional partial order reduction

Verification of orchestration systems using compositional partial order reduction

Orc is a computation orchestration language which is designed to specify computational services, such as distributed communication and data manipulation, in a concise and elegant way. Four concurrency primitives allow programmers to orchestrate site calls to achieve a goal, while managing timeouts,...

Full description

Saved in:
Bibliographic Details
Main Authors: TAN, Tian Huat, LIU, Yang, SUN, Jun, DONG, Jin Song
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2011
Subjects:
Model Check
State Object
Operational Semantic
Linear Temporal Logic
Label Transition System
Programming Languages and Compilers
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/5028
https://ink.library.smu.edu.sg/context/sis_research/article/6031/viewcontent/Verification_of_Orchestration.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/5028
https://ink.library.smu.edu.sg/context/sis_research/article/6031/viewcontent/Verification_of_Orchestration.pdf

Similar Items