Gönczy László

University of Szeged

Verification of Reconfiguration Mechanisms in Service-Oriented1László GönczyAs the automated integration of heterogeneous software environments becomes wide-spread, there is a growing demand for resilient software architectures. The Service-OrientedArchitecture is an emerging paradigm in this field, however, in its present form, it does notcover the fault-tolerant aspects and no verifiable system reconfiguration mechanisms are mod-eled.As the configuration of the underlying services may often change, (e.g. consider a networkof mobile services), the system must be able to react to effects of the changes of the environ-ment by means of dynamic reconfiguration. On the other hand, certain properties (such as theavailability of the minimal number of service instances of a given service type, the presence ofa particular service or some quantitative requirements) must be guaranteed during the entirelifetime of the system. Therefore, the aim of my ongoing research is twofold:First, the components of a typical Service Oriented Architecture (services, ports, messages,etc.), their non-functional properties (such as the guaranteed response time or the acknowledge-ment options), the reconfiguration mechanisms (e.g. searching for and invoking a new serviceif a call fails or the response time decreases below a certain limit), and the fault model (e.g. aservice crashes or becomes overloaded) are described in a high-level model while the underly-ing technology, for instance, SOAP messages or Grid technologies will remain hidden [1]. Thebasis of the followed approach is discussed in [2].Second, I implemented a system for the verification of reconfiguration algorithms. Basedon the high-level, technology-independent system description, i) the state space of the modelwill be investigated by reachability analysis to generate the set of the possible succeeding systemconfigurations and ii) the fulfillment of the requirements against these configurations (and thetransient states) are verified. During this analysis, a graph transformation tool with a modelchecking support can be used, like Groove [3]. The most important future research task is theinvestigation of the applicability model-based synthesis of Service-Oriented Architectures andservice configurations.References[1] L. Gönczy and D. Varró. Modeling of Reliable Messaging in Service Oriented Architectures,In Proc. Intern. Workshop on Web Service Modeling and Testing (WS-MATE 2006), To appear.[2] L. Baresi, R. Heckel, S. Thöne, and D. Varró. Style-Based Modeling and Refinement ofService-Oriented Architectures - A graph transformation-based approach, To appear inSoftware and Systems Modeling - Springer-Verlag, 2006.[3] Graphs for Object-Oriented Verification (GROOVE project),http://groove.sourceforge.net/groove-index.html1This work was partially supported by the SENSORIA European project (IST-3-016004).52

Verification of reconfiguration mechanisms in service-oriented : [abstract]

http://acta.bibl.u-szeged.hu/59856/1/cscs_2006_052.pdf

Verification of reconfiguration mechanisms in service-oriented

Abstract

Similar works

Full text

Available Versions

University of Szeged