A Chu spaces semantics of control flow in BPEL

Du, Xutao; Xing, Chunxiao; Zhou, Lizhu

doi:10.1109/apscc.2009.5394130

Cited by 4 publications

(3 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…First, the Chu spaces process algebra proposed in this paper can be revised or extended for the modeling of certain real-life concurrent programming languages with different characteristics. We have given a denotational semantics for a subset of WS-BPEL in [28][29] with modified versions of the Chu spaces process algebra.…”

Section: Discussionmentioning

confidence: 99%

Modeling and Verifying Concurrent Programs with Finite Chu Spaces

Xing

Zhou

2010

J. Comput. Sci. Technol.

View full text Add to dashboard Cite

Finite Chu spaces are proposed for the modeling and verification of concurrent programs. In order to model not only typical concurrent behaviors but also modern exception handling and synchronization mechanisms, we design an enriched process algebra of Chu spaces from a practical point of view. To illustrate the power of finite Chu spaces and the process algebra while abstracting away from language-specific details, an imaginary concurrent programming language (ICL) is designed. A denotational semantics of ICL is presented using finite Chu spaces and the enriched process algebra. The valuation functions are fairly straightforward since the carefully designed operators have done much of the job. The enriched process algebra is also used as the specification language for Chu spaces, with which process-algebraic properties can be specified. Verification algorithms are presented with their time complexities discussed.

show abstract

Section: Discussionmentioning

confidence: 99%

Modeling and Verifying Concurrent Programs with Finite Chu Spaces

Xing

Zhou

2010

J. Comput. Sci. Technol.

View full text Add to dashboard Cite

show abstract

“…The author acknowledges the Editor-in-Chief of the journal, Professor John Wang, the Guest Editors of this special issue, Dr. Kirchberg and Prof. Hung, and the anonymous reviewers for their important comments and suggestions that help improve the paper significantly. A preliminary version of this paper appeared as Du, Xing, and Zhou (2009b).…”

Section: Acknowledgmentsmentioning

confidence: 99%

Modeling Control Flow in WS-BPEL with Chu Spaces

Xing

Zhou

et al. 2011

International Journal of Information Systems in the Service Sector

Self Cite

View full text Add to dashboard Cite

This paper presents a Chu spaces semantics of typical control flow of WS-BPEL including fault handling and link semantics. BPEL-CF is proposed as a simplification of this subset of WS-BPEL. For the compositional modeling of BPEL, the authors present a Chu spaces process algebra. This algebra allows faults to be thrown at any point of execution and take link-based synchronization into consideration. The paper gives the abstract syntax of BPEL-CF, the semantic algebra, and the valuation functions for computing the Chu spaces denotations of BPEL-CF programs.

show abstract

“…[5]- [7]). Applications of Chu spaces include the modeling of RTL (Register Transfer Level) [8], Verilog [9], general concurrent programs [4], WS-BPEL [10], and physical systems [11]. However, there is no research on how to measure the degree of similarity between Chu spaces until now.…”

Section: Motivationmentioning

confidence: 99%