Projekt

Zurück zur Übersicht

CLAVOS - Continuous Lifelong Analysis and Verification of Open Services

Titel Englisch CLAVOS - Continuous Lifelong Analysis and Verification of Open Services
Gesuchsteller/in Pautasso Cesare
Nummer 125337
Förderungsinstrument Projektförderung (Abt. I-III)
Forschungseinrichtung Facoltà di scienze informatiche Università della Svizzera italiana
Hochschule Università della Svizzera italiana – USI
Hauptdisziplin Informatik
Beginn/Ende 01.04.2009 - 31.03.2011
Bewilligter Betrag 98'530.00
Alle Daten anzeigen

Keywords (4)

Software Engineering; Service Oriented Computing; Web Services; Verification

Lay Summary (Englisch)

Lead
Lay summary
The Continuous and Lifelong Analysis and Verification of Open Services (CLAVOS) project aims at consolidating current service-oriented design methodologies and modeling languages in a rigorous software engineering context. The project revolves around the notion of analysis and verification applied continuously during the whole lifecycle of open systems built out of the composition of services. Services represent reusable software components that provide specific functionality to many clients delivering it through standardized network and middleware infrastructure. In this project we see services as the ultimate state of the evolution of software components. The main difference with respect to a traditional component-based approach concerns the open, dynamic, and flexible nature of service-oriented architectures. A deployed component-based application is owned by a single authority, who has full control over the deployed system and its possible evolution. Service-based systems, instead, involve multiple stakeholders. The developers, who compose a system out of existing services, must rely on parts that are owned and managed by other organizations. The overall quality of the composite service largely depends on the quality of its composing services. To guarantee the required quality, it is not sufficient to perform verification of the composite services at design time. Since autonomous services may change independently, it is also necessary to continuously check the quality of the composite service at run time. Indeed, only a lifelong approach to analysis and verification can ensure that the required functional and non-functional properties are delivered by a service-oriented system.The research goals of CLAVOS target the control of the evolution, and the improvement of the quality of today's service-oriented systems. A key role in CLAVOS is played by a specification language, which should be able to represent multiple views over the architecture of a service composition. These include both functional and non-functional properties of structural and behavioral models. Formal specifications of service compositions enable their lifelong verification. Design-time verification helps to ensure that services fit within a composition model based on their functional and non-functional specifications, described only at the abstract interface level. Verification is also needed at run time, when actual bindings are resolved, to ensure the detection of problems that may arise in the open world and to react accordingly to fulfill the goal of guaranteeing the required quality of service.
Direktlink auf Lay Summary Letzte Aktualisierung: 21.02.2013

Verantw. Gesuchsteller/in und weitere Gesuchstellende

Mitarbeitende

Name Institut

Verbundene Projekte

Nummer Titel Start Förderungsinstrument
135051 CLAVOS - Continuous Lifelong Analysis and Verification of Open Services 01.04.2011 Projektförderung (Abt. I-III)

Abstract

The Continuous and Lifelong Analysis and Verification of Open Services (CLAVOS) project aims at consolidating current service-oriented design methodologies and modeling languages in a rigorous software engineering context. The project revolves around the notion of analysis and verification applied continuously during the whole lifecycle of open systems built out of the composition of services. Services represent reusable software components that provide specific functionality to many clients delivering it through standardized network and middleware infrastructure. In this project we see services as the ultimate state of the evolution of software components. This enables us to tailor and extend existing advanced software engineering techniques for the analysis and verification of software systems.The main difference with respect to a traditional component-based approach concerns the open, dynamic, and flexible nature of service-oriented architectures. A deployed component-based application is owned by a single authority, who has full control over the deployed system and its possible evolution. Service-based systems, instead, involve multiple stakeholders. The developers, who compose a system out of existing services, must rely on parts that are owned and managed by other organizations. The overall quality of the composite service largely depends on the quality of its composing services. To guarantee the required quality, it is not sufficient to perform verification of the composite services at design time. Since autonomous services may change independently, it is also necessary to continuously check the quality of the composite service at run time. Indeed, only a lifelong approach to analysis and verification can ensure that the required functional and non-functional properties are delivered by a service-oriented system.The research goals of CLAVOS target the management of the complexity, the control of the evolution, and the improvement of the quality of today’s service-oriented systems and applications. A key role in CLAVOS is played by a specification language, which should be able to represent multiple views over the architecture of a service composition. These include both functional and non-functional properties of structural and behavioral models. Formal specifications of service compositions enable their lifelong verification, which extends from design time to also cover run time. Design-time verification helps to ensure that services fit within a composition model based on their functional and non-functional specifications, described only at the abstract interface level. The bindings from the composite service to concrete component services may in fact be unknown at design time and may change dynamically. They are established at run time, when component services are invoked. Verification is needed at run time, when actual bindings are resolved, to ensure the detection of problems that may arise in the open world and to react accordingly (for example, changing the bindings), to fulfill the goal of guaranteeing the required quality of service.
-