Describing Web Service Architectures through Design-by-Contract

2010

Web services promise universal interoperability and integration of services developed by independent providers to execute business processes by discovering and composing services distributed over the Internet. This means that a key factor to build complex and valuable processes among cooperating organizations relies on the efficiency of discovering appropriate Web services and composing them. The increasing availability of Web services that offer similar I want to thank my supervisor Prof. Flavio De Paoli for giving me the opportunity to work on this thesis, and for his precious advice and ideas. A special thank goes to Prof. Carlo Batini for giving me the opportunity to work in an inspiring research group. Thank to the SEQUOIAS colleagues, and friends, Matteo Palmonari, Andrea Maurino and Luca Panziera for the joint works on the PCM and on the PoliMaR tool. Thank to the colleagues, and friends, of the SITI2 Lab Simone Grega, Gianluigi Viscusi, Giuseppe Frisoni and Pei Li that make easier to work in complex projects with strict time constraints. Thank to Prof. Shahram Dustdar who gave me the chance to be a visiting student in the Distributed Systems Group of the Vienna University of Technology (TU Wien) where I found precious insights for my dissertation. A special thank goes to Hong-Linh Truong for the joint work on the SeCO 2 and for his advise during my visiting in TU Wien. Thank to all the researchers, and friends, of the VitaLab: Emmanuel, Fei, Hung, Javier, Ernst, Martin V., Martin T., Lukasz and all the others.

Journal of Computer Science and Technology, 2006

2011

Abstract: The basic building blocks of SOA systems are web services. The domain specific language SOAL developed by the authors has a Java and C#-like syntax for describing web service interfaces and BPEL processes. The paper introduces an extended version of the language that supports Design by Contract. From the service contract specifications software artifacts are generated that check pre-and post-conditions on the server side at runtime, applying the delegation pattern. The proposed solution provides Design by Contract for ...

2017

Dienstorientierte Architekturen (SOA = Service Oriented Architecture) dienen dem Aufbau von lose miteinander verbundenen, verteilten Systemen, deren Komponenten eine minimale gemeinsame Systemsicht haben. Die wichtigsten Bausteine der SOA sind Dienste. Dienste sind selbstbeschreibende, eigenständige, plattform-unabhängige und frei verfügbare Komponenten, die über das Netzwerk interagieren. Das Hauptziel der SOA ist die transparente, flexible und dynamische Interaktion von Diensten und deren Benutzern innerhalb mehrerer zusammenhängender Domänen. Während die nativen Fähigkeiten von dienstorientierten Architekturen, wie Beschreibung, Entdeckung, Kommunikation und Bindung, bereits gut erfasst und standardisiert worden sind, ist das Problem der Dienstkomposition bisher noch nicht zufriedenstellend gelöst worden. Diese Dissertation hinterfragt die Grundvoraussetzung der SOA, die darin besteht, dass lediglich die Grundfunktionsweise von Diensten offen gelegt werden sollte, und demonstrier...

Citeseer

Design by contract is a well-established paradigm in software engineering. Bertrand Meyer first introduced the rigorous distinction between the responsibilities of service provider and service consumer for fine grain software artifacts (classes). This paper considers service contracts in the context of service-oriented architecture for complex enterprise information infrastructures. Identifying dependencies between applications with service contracts may help to master the complexity of numerous interconnected information systems and to ease evolution towards a service-oriented architecture. This paper proposes both a model and a methodology to systematically apply the notion of contract for structuring relationships and identifying dependencies between applications in a service oriented architecture.