Portal de Periódicos da CAPES

A Denotational Semantical Model for Orc Language

2010; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-642-14808-8_8

1611-3349

Qin Li, Huibiao Zhu, Jifeng He,

Semantic Web and Ontologies

Orc language is a concurrency calculus proposed to study the orchestration patterns in wide area computing. Its special properties such as high concurrency and asynchronism makes it a brilliant subject to study the distributed service oriented systems. This paper proposes a denotational semantical model for Orc language. Every Orc program is formalized to a predicate. Healthiness conditions are provided to make the program domain corresponding to a specific subset of predicate domain. This model gives the same semantical interpretation to the implementations and specifications. With the refinement principle, we are able to determine whether a program satisfies its specification, which can be illustrated by theorem provers.