Titlebook: Correct Software in Web Applications and Web Services; Bernhard Thalheim,Klaus-Dieter Schewe,Bruno Buchbe Book 2015 Springer International

MEEK

Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof cts to handle internal and/or external runtime errors of the composed service. This situation particularly occurs for transactional services. However, the absence of a rigorous definition of these BPEL constructors makes it difficult to correctly define the transactional behaviour of a BPEL process.

使困惑

眨眼

整體

arrogant

Ganglion

Congeal

Formal Reliability Models for Web Services,us services. Reliability is one of the most important quality dimensions for Web services, since predicting their reliability is fundamental to appropriately drive the selection and the assembly of services. This chapter presents two approaches to predict the reliability of a Web service architectur

perjury

What Constitutes a Service on the Web?,ce is. In this chapter, we discuss the various attempts to develop a theory of services, identify aspects that have already been addressed and extract gaps. This leads us to propose the BDCM. framework capturing .ehaviour, .escription, .ontracting, .onitoring and .ediation. For the behavioural model

CAGE

Mitigate

Daniel Brugman,Christa Out,John C. Gibbsns that covers the scope, the fault and the compensation handlers introduced by the BPEL language specification. It also proposes a methodology showing how we can use Event-B method to design transactional BPEL processes. The proposed approach is illustrated by a case study.