Unifying denotational semantics with operational semantics for web services

Huibiao Zhu; Jifeng He; Jing Li

doi:10.1007/978-3-540-77115-9_23

Unifying denotational semantics with operational semantics for web services

Huibiao Zhu^*, Jifeng He, Jing Li

^*Corresponding author for this work

Software Engineering Institute

East China Normal University

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

4 Scopus citations

Abstract

Web Services have become more and more important in these years, and BPEL4WS (BPEL) is a de facto standard for the web service composition and orchestration. It contains several distinct features, including the scope-based compensation and fault handling mechanism. The denotational semantics and operational semantics have been explored for BPEL. The two approaches should be consistent. This paper considers the unifying of these two semantics. Our approach is to derive the denotational semantics from operational semantics for BPEL, which aims for the consistency of the two models. Moreover, the derivation can be applied in exploring the program equivalence easily, especially for parallel programs.

Original language	English
Title of host publication	Distributed Computing and Internet Technology - 4th International Conference, ICDCIT 2007, Proceedings
Publisher	Springer Verlag
Pages	225-239
Number of pages	15
ISBN (Print)	9783540771128
DOIs	https://doi.org/10.1007/978-3-540-77115-9_23
State	Published - 2007
Event	4th International Conference on Distributed Computing and Internet Technology, ICDCIT 2007 - Bangalore, India Duration: 17 Dec 2007 → 20 Dec 2007

Publication series

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

Conference

Conference	4th International Conference on Distributed Computing and Internet Technology, ICDCIT 2007
Country/Territory	India
City	Bangalore
Period	17/12/07 → 20/12/07

Access to Document

10.1007/978-3-540-77115-9_23

Cite this

Zhu, H., He, J., & Li, J. (2007). Unifying denotational semantics with operational semantics for web services. In Distributed Computing and Internet Technology - 4th International Conference, ICDCIT 2007, Proceedings (pp. 225-239). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4882 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-77115-9_23

Zhu, Huibiao ; He, Jifeng ; Li, Jing. / Unifying denotational semantics with operational semantics for web services. Distributed Computing and Internet Technology - 4th International Conference, ICDCIT 2007, Proceedings. Springer Verlag, 2007. pp. 225-239 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{439d1fa150784bf7b1de98b2229d9efd,

title = "Unifying denotational semantics with operational semantics for web services",

abstract = "Web Services have become more and more important in these years, and BPEL4WS (BPEL) is a de facto standard for the web service composition and orchestration. It contains several distinct features, including the scope-based compensation and fault handling mechanism. The denotational semantics and operational semantics have been explored for BPEL. The two approaches should be consistent. This paper considers the unifying of these two semantics. Our approach is to derive the denotational semantics from operational semantics for BPEL, which aims for the consistency of the two models. Moreover, the derivation can be applied in exploring the program equivalence easily, especially for parallel programs.",

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

year = "2007",

doi = "10.1007/978-3-540-77115-9\_23",

language = "英语",

isbn = "9783540771128",

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

publisher = "Springer Verlag",

pages = "225--239",

booktitle = "Distributed Computing and Internet Technology - 4th International Conference, ICDCIT 2007, Proceedings",

address = "德国",

note = "4th International Conference on Distributed Computing and Internet Technology, ICDCIT 2007 ; Conference date: 17-12-2007 Through 20-12-2007",

}

Zhu, H , He, J & Li, J 2007, Unifying denotational semantics with operational semantics for web services. in Distributed Computing and Internet Technology - 4th International Conference, ICDCIT 2007, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4882 LNCS, Springer Verlag, pp. 225-239, 4th International Conference on Distributed Computing and Internet Technology, ICDCIT 2007, Bangalore, India, 17/12/07. https://doi.org/10.1007/978-3-540-77115-9_23

Unifying denotational semantics with operational semantics for web services. / Zhu, Huibiao ; He, Jifeng; Li, Jing.
Distributed Computing and Internet Technology - 4th International Conference, ICDCIT 2007, Proceedings. Springer Verlag, 2007. p. 225-239 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4882 LNCS).

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

TY - GEN

T1 - Unifying denotational semantics with operational semantics for web services

AU - Zhu, Huibiao

AU - He, Jifeng

AU - Li, Jing

PY - 2007

Y1 - 2007

N2 - Web Services have become more and more important in these years, and BPEL4WS (BPEL) is a de facto standard for the web service composition and orchestration. It contains several distinct features, including the scope-based compensation and fault handling mechanism. The denotational semantics and operational semantics have been explored for BPEL. The two approaches should be consistent. This paper considers the unifying of these two semantics. Our approach is to derive the denotational semantics from operational semantics for BPEL, which aims for the consistency of the two models. Moreover, the derivation can be applied in exploring the program equivalence easily, especially for parallel programs.

AB - Web Services have become more and more important in these years, and BPEL4WS (BPEL) is a de facto standard for the web service composition and orchestration. It contains several distinct features, including the scope-based compensation and fault handling mechanism. The denotational semantics and operational semantics have been explored for BPEL. The two approaches should be consistent. This paper considers the unifying of these two semantics. Our approach is to derive the denotational semantics from operational semantics for BPEL, which aims for the consistency of the two models. Moreover, the derivation can be applied in exploring the program equivalence easily, especially for parallel programs.

UR - https://www.scopus.com/pages/publications/38149040847

U2 - 10.1007/978-3-540-77115-9_23

DO - 10.1007/978-3-540-77115-9_23

M3 - 会议稿件

AN - SCOPUS:38149040847

SN - 9783540771128

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 225

EP - 239

BT - Distributed Computing and Internet Technology - 4th International Conference, ICDCIT 2007, Proceedings

PB - Springer Verlag

T2 - 4th International Conference on Distributed Computing and Internet Technology, ICDCIT 2007

Y2 - 17 December 2007 through 20 December 2007

ER -

Zhu H , He J, Li J. Unifying denotational semantics with operational semantics for web services. In Distributed Computing and Internet Technology - 4th International Conference, ICDCIT 2007, Proceedings. Springer Verlag. 2007. p. 225-239. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-77115-9_23

Unifying denotational semantics with operational semantics for web services

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this