A Model-Based Approach to the Verification and Adaptation of WF/.NET Components

Service-Oriented Computing

2014

Self Cite

Abstract. Software adaptation techniques aim at generating new components called adapters, which make a set of services work correctly together by compensating for existing mismatch. Most approaches assume that services interact synchronously using rendez-vous communication.In this paper, we focus on asynchronous communication, where services interact exchanging messages via buffers. We overview a method for automatically generating adapters in such asynchronous environments.

Section: Synchronous Adaptationmentioning

confidence: 99%

Adaptation of Asynchronously Communicating Software

Canal

Service-Oriented Computing

2014

Self Cite

“…S is a set of states, I ∈ S is the initial state, F ⊆ S are final states, and T : S × A → S is the transition function. Please refer to lines [15][16][17] in the BNF grammar presented in Figure 9 for the specific syntax of a VLTS.…”

Section: Definition 7 (Vlts) a Vector Lts Is A Tuplementioning

confidence: 99%

“…For the sake of conciseness, in the rest of this paper we will describe service interfaces only with their STS, making explicit argument types in STS labels. The STS formal model has been chosen because it is simple, graphical, and it can be easily derived from existing implementation languages (see for instance [12,13,14,15] where such abstractions for Web services were used for verification, composition or adaptation purposes). In particular, signature information can be obtained for our models using the information available in WSDL descriptions, whereas STS information is derived from the specification of a service expressed in a behavioural IDL such as Abstract BPEL or Abstract Windows Workflows (see Figure 6).…”

Section: Definition 3 (Sts)mentioning

confidence: 99%

“…In the former case, the implementation of executable adaptors from adaptor protocols can be achieved for instance using Pi4SOA technologies [24], or techniques presented in [9] and [15] for BPEL and Windows Workflow Foundation, respectively. In the latter case, each wrapper constrains the functionality of its service to make it respect the adaptation contract specification [25].…”

Section: Generation Of Adaptor Protocolsmentioning

confidence: 99%

See 1 more Smart Citation

Interactive Specification and Verification of Behavioural Adaptation Contracts

Cámara

2009 Ninth International Conference on Quality Software

Canal

et al. 2009

Self Cite

Context: Adaptation is a crucial issue when building new applications by reusing existing software services which were not initially designed to interoperate with each other. Adaptation contracts describe composition constraints and adaptation requirements among these services. The writing of this specification by a designer is a difficult and error-prone task, especially when interaction protocols are considered in service interfaces. Objective: In this article, we propose a tool-based, interactive approach to support the contract design process. Method: Our approach includes: (i) a graphical notation to define port bindings, and an interface compatibility measure to compare protocols and suggest some port connections to the designer, (ii) compositional and hierarchical techniques to facilitate the specification of adaptation contracts by building them incrementally, (iii) validation and verification techniques to check that the contract will make the involved services work correctly and as expected by the designer. Results: Our results show a reduction both in the amount of effort that the designer has to put into building the contract, as well as in the number of errors present in the final result (noticeably higher in the case of manual specification). Conclusion: We conclude that it is important to provide integrated tool support for the specification and verification of adaptation contracts, since their incorrect specification induces erroneous executions of the system. To the best of our knowledge, such tool support has not been provided by any other approach so far, and hence we consider the techniques described in this paper as an important contribution to the area of behavioural software adaptation.

“…Client and service protocols can be instantiated several times. At the user level, client and service interfaces can be specified using: (i) context information into XML files for context profiles, (ii) WSDL for signatures, and (iii) business processes defined in industrial platforms, such as Abstract BPEL (ABPEL) [2] or WF workflows (AWF) [12], for protocols. Here, we assume context information is inferred by means of the client requests (HTTP header of SOAP messages), and we consider processes (clients and services) implemented as business processes which provide the WSDL and protocol descriptions.…”

Section: Definition 1 (Ca-sts Label)mentioning

confidence: 99%

Handling Data-Based Concurrency in Context-Aware Service Protocols

Cubo

Pimentel

Electron. Proc. Theor. Comput. Sci.

et al. 2010

Self Cite

Dependency analysis is a technique to identify and determine data dependencies between service protocols. Protocols evolving concurrently in the service composition need to impose an order in their execution if there exist data dependencies. In this work, we describe a model to formalise context-aware service protocols. We also present a composition language to handle dynamically the concurrent execution of protocols. This language addresses data dependency issues among several protocols concurrently executed on the same user device, using mechanisms based on data semantic matching. Our approach aims at assisting the user in establishing priorities between these dependencies, avoiding the occurrence of deadlock situations. Nevertheless, this process is error-prone, since it requires human intervention. Therefore, we also propose verification techniques to automatically detect possible inconsistencies specified by the user while building the data dependency set. Our approach is supported by a prototype tool we have implemented.