Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

CAISE
2008
Springer

favoriteEmaildiscussreport

121views Information Technology» more CAISE 2008»

Formal Modeling and Discrete-Time Analysis of BPEL Web Services

13 years 6 months ago

Formal Modeling and Discrete-Time Analysis of BPEL Web Services

Download hal.archives-ouvertes.fr

Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the Bpel language. The discrete-time transition systems modeling the behavior of Bpel descriptions are obtained by an exhaustive simulation based on a formalization of Bpel semantics using the Algebra of Timed Processes (Atp). These models are then analyzed by model checking value-based temporal logic properties using the Cadp toolbox. The approach is illustrated with the design of a Web service for Gps navigation.

Radu Mateescu, Sylvain Rampacek

Real-time Traffic

BPEL | Bpel Language | CAISE 2008 | Information Management | Web Service |

claim paper

Related Content

» Analysis of BPEL Data Dependencies

» A Formal Model of Human Workflow

» Verifying BPEL Workflows Under Authorisation Constraints

» Transforming BPEL to Petri Nets

» Toward a PiCalculus Based Verification Tool for Web Services Orchestrations

» ModelBased Analysis of Obligations in Web Service Choreography

» Analysis of Grid Service Composition with BPEL4WS

» Analysis of interacting BPEL web services

» Web Service Composition Approaches From Industrial Standards to Formal Methods

Post Info
More Details (n/a)

Added	12 Oct 2010
Updated	12 Oct 2010
Type	Conference
Year	2008
Where	CAISE
Authors	Radu Mateescu, Sylvain Rampacek

Comments (0)