Towards verification of computation orchestration
type: Item
instance of: scholarly article
title: Towards verification of computation orchestration
zbMATH Open document ID: 1342.68209
author: Yang Liu
author: Jun Sun
author: Xian Zhang
author: Jin-Song Dong
published in: Formal Aspects of Computing
publication date: 2016-08-05T00:00:00Z
full work available at URL: https://ink.library.smu.edu.sg/sis_research/4977
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68M11
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 6609451
zbMATH Keywords: Orc
zbMATH Keywords: web service orchestration
zbMATH Keywords: verification
zbMATH Keywords: timed automata
zbMATH Keywords: Uppaal
zbMATH Keywords: constraint logic programming
zbMATH Keywords: \(\mathrm{CLP}(R)\)
describes a project that uses: Uppaal
describes a project that uses: Dist-Orc
describes a project that uses: LTSA-WS
describes a project that uses: PAT
describes a project that uses: LoLA
MaRDI profile type: Publication
OpenAlex ID: W2138133565
cites work: A theory of timed automata
cites work: Q4654724
cites work: Executable rewriting logic semantics of Orc and formal analysis of Orc programs
cites work: Uppaal in a nutshell
cites work: Integrated Formal Methods
cites work: Timed CSP = closed timed automata
cites work: Symbolic model checking for real-time systems
cites work: Q3777424
cites work: Logic Programming
cites work: A Language for Task Orchestration and Its Semantic Properties
cites work: Model-checking for real-time systems
cites work: Q4508304
cites work: A Denotational Semantical Model for Orc Language
cites work: Q3992568
cites work: Q4248252
cites work: Q2766586
cites work: A brief history of Timed CSP
cites work: A timed semantics of Orc
cites work: Modeling and model checking web services
cites work: CONCUR 2005 – Concurrency Theory
DOI: 10.1007/S00165-013-0280-9
Wikidata QID: Q130993132
description: scientific article; zbMATH DE number 6609451