A UTP semantic model for Orc language with execution status and fault handling

DOI10.1007/S11704-014-3385-2zbMath1403.68041OpenAlexW2008579629MaRDI QIDQ1633048

Yongxin Zhao, Qin Li, Jifeng He, Huibiao Zhu

Publication date: 19 December 2018

Published in: Frontiers of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11704-014-3385-2

zbMATH Keywords

operational semanticsdenotational semanticsservice-oriented computingunifying theories of programmingOrc language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Isabelle/Isar
• PVS
• PVM
• Isar
• Orc

Cites Work

• A timed semantics of Orc
• A lattice-theoretical fixpoint theorem and its applications
• A Denotational Semantical Model for Orc Language
• The Orc Programming Language
• A Language for Task Orchestration and Its Semantic Properties

This page was built for publication: A UTP semantic model for Orc language with execution status and fault handling