TY - GEN
T1 - A denotational semantical model for Orc language
AU - Li, Qin
AU - Zhu, Huibiao
AU - He, Jifeng
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/78049446065
U2 - 10.1007/978-3-642-14808-8_8
DO - 10.1007/978-3-642-14808-8_8
M3 - 会议稿件
AN - SCOPUS:78049446065
SN - 3642148077
SN - 9783642148071
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 106
EP - 120
BT - Theoretical Aspects of Computing, ICTAC 2010 - 7th International Colloquium, Proceedings
T2 - 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010
Y2 - 1 September 2010 through 3 September 2010
ER -