A denotational semantical model for Orc language

Qin Li; Huibiao Zhu; Jifeng He

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

A denotational semantical model for Orc language

Qin Li^*
, Huibiao Zhu
, Jifeng He

^*Corresponding author for this work

Software Engineering Institute

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

6 Scopus citations

Abstract

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.

Original language	English
Title of host publication	Theoretical Aspects of Computing, ICTAC 2010 - 7th International Colloquium, Proceedings
Pages	106-120
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-642-14808-8_8
State	Published - 2010
Event	7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 - Natal, Brazil Duration: 1 Sep 2010 → 3 Sep 2010

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6255 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010
Country/Territory	Brazil
City	Natal
Period	1/09/10 → 3/09/10

Access to Document

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

Cite this

Li, Q., Zhu, H., & He, J. (2010). A denotational semantical model for Orc language. In Theoretical Aspects of Computing, ICTAC 2010 - 7th International Colloquium, Proceedings (pp. 106-120). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6255 LNCS). https://doi.org/10.1007/978-3-642-14808-8_8

@inproceedings{f591aa5c9f1b4be9a14bd63ebb7b430e,

title = "A denotational semantical model for Orc language",

abstract = "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.",

author = "Qin Li and Huibiao Zhu and Jifeng He",

year = "2010",

doi = "10.1007/978-3-642-14808-8\_8",

language = "英语",

isbn = "3642148077",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "106--120",

booktitle = "Theoretical Aspects of Computing, ICTAC 2010 - 7th International Colloquium, Proceedings",

note = "7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 ; Conference date: 01-09-2010 Through 03-09-2010",

}

Li, Q , Zhu, H & He, J 2010, A denotational semantical model for Orc language. in Theoretical Aspects of Computing, ICTAC 2010 - 7th International Colloquium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6255 LNCS, pp. 106-120, 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010, Natal, Brazil, 1/09/10. https://doi.org/10.1007/978-3-642-14808-8_8

A denotational semantical model for Orc language. / Li, Qin ; Zhu, Huibiao ; He, Jifeng.
Theoretical Aspects of Computing, ICTAC 2010 - 7th International Colloquium, Proceedings. 2010. p. 106-120 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6255 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 -

A denotational semantical model for Orc language

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this