Web Services: A Process Algebra Approach

Details Web Services: A Process Algebra Approach Web Services: A Process Algebra Approach

2004-06-28

arxiv.org/abs/cs/0406055v1

Computer Science

Artificial Intelligence

Scientific paper

It is now well-admitted that formal methods are helpful for many issues raised in the Web service area. In this paper we present a framework for the design and verification of WSs using process algebras and their tools. We define a two-way mapping between abstract specifications written using these calculi and executable Web services written in BPEL4WS. Several choices are available: design and correct errors in BPEL4WS, using process algebra verification tools, or design and correct in process algebra and automatically obtaining the corresponding BPEL4WS code. The approaches can be combined. Process algebra are not useful only for temporal logic verification: we remark the use of simulation/bisimulation both for verification and for the hierarchical refinement design method. It is worth noting that our approach allows the use of any process algebra depending on the needs of the user at different levels (expressiveness, existence of reasoning tools, user expertise).

Affiliated with

Also associated with

No associations

Rating

Web Services: A Process Algebra Approach does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Web Services: A Process Algebra Approach, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Web Services: A Process Algebra Approach will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-385519