Project

Back to overview

CLAVOS - Continuous Lifelong Analysis and Verification of Open Services

English title CLAVOS - Continuous Lifelong Analysis and Verification of Open Services
Applicant Pautasso Cesare
Number 135051
Funding scheme Project funding (Div. I-III)
Research institution Istituto del Software (SI) Facoltà di scienze informatiche
Institution of higher education Università della Svizzera italiana - USI
Main discipline Information Technology
Start/End 01.04.2011 - 28.02.2013
Approved amount 106'258.00
Show all

Keywords (4)

Software Engineering; Service Oriented Computing; Web Services; Verification

Lay Summary (English)

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 applies the notion of analysis and verification 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 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 existing advanced software engineering techniques and extend them for the analysis and verification of service-oriented systems.

Considering the recent emergence of REST as a novel approach to the design and
delivery of Web services, in this project extension, we aim at studying how and to which extent we can apply verification and validation techniques to RESTful Web services. Given the emphasis of REST on dynamic discovery, loose coupling, contract-less design, as well as dynamic typing we believe a continuous lifelong approach to analysis and verification can make an important contribution. Our research will target the verification of basic RESTful services by selecting and applying suitable static program analysis techniques, as well as compositions of RESTful services.

As our work on service lifecycles and continuous verification has matured, the
project extension will also include activities explicitly directed towards the evaluation of the final project results. To do so we plan to design new benchmarks for the assessment of the verification and monitoring techniques developed within the project. The effort will focus on building a reusable collection of artifacts (services, contracts and composition models together with the corresponding functional and non-functional specifications) which will assist us in evaluating the expressive power, the range of applicability, and the performance overhead of the developed verification and monitoring techniques. We intend to share such collection of benchmark problems with the service engineering community to drive future developments of service verification tools and service composition engines.
Direct link to Lay Summary Last update: 21.02.2013

Responsible applicant and co-applicants

Employees

Name Institute

Publications

Publication
The Tale of SOLOIST: a Specification Language for Service Compositions Interactions
Domenico Bianculli, Carlo Ghezzi, Pierluigi San Pietro (2012), The Tale of SOLOIST: a Specification Language for Service Compositions Interactions, in Proceedings of the 9th International Symposium on Formal Aspects of Component Software (FACS'12), Mountain View, CA, USA.
Software Architectural Warehouse: live and collaborative architectural decision making
Marcin Nowak, Cesare Pautasso (2012), Software Architectural Warehouse: live and collaborative architectural decision making, in Demo at the Joint 10th Working IEEE/IFIP Conference on Software Architecture (WICSA) and the 6th Eur, Helsinki, Finland.
Open-world Software: Specification, Verification, and Beyond
Domenico Bianculli (2012), Open-world Software: Specification, Verification, and Beyond, USI, Lugano.
Reusable Decision Space for Mashup Tool Design
Aghaee Saeed, Nowak Marcin, Pautasso Cesare (2012), Reusable Decision Space for Mashup Tool Design, in Proc. of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2012).
Specification Patterns from Research to Industry: a Case Study in Service-based Applications
Bianculli Domenico, Ghezzi Carlo, Pautasso Cesare, Senti Patrick (2012), Specification Patterns from Research to Industry: a Case Study in Service-based Applications, in Proceedings of the 34th International Conference on Software Engineering (ICSE 2012).
Goals, Questions and Metrics for Architectural Decision Models
Nowak Marcin, Pautasso Cesare (2011), Goals, Questions and Metrics for Architectural Decision Models, in Proceedings of the 6th ICSE Workshop on Sharing and Reusing Architectural Knowledge (SHARK 2011), ACM.
Interface Decomposition for Service Compositions
Bianculli Domenico, Giannakopoulou Dimitra, Pasareanu Corina S. (2011), Interface Decomposition for Service Compositions, in Proc. of the Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), ACM.
Team Situational Awareness and Architectural Decision Making with use of the Software Architecture Warehouse
Marcin Nowak, Cesare Pautasso, Team Situational Awareness and Architectural Decision Making with use of the Software Architecture Warehouse, in Proc. of the 7th European Conference on Software Architecture (ECSA 2013), Montpellier, France.

Scientific events



Self-organised

Title Date Place

Knowledge transfer events

Active participation

Title Type of contribution Date Place Persons involved
S-Cube Industry workshop at Thales 24.02.2012 Paris, France


Use-inspired outputs

Software

Name Year
Software Architecture Warehouse 01.01.2013


Associated projects

Number Title Start Funding scheme
127386 SOSOA: Self-Organizing Service-Oriented Architectures 01.02.2010 Sinergia
125337 CLAVOS - Continuous Lifelong Analysis and Verification of Open Services 01.04.2009 Project funding (Div. I-III)

Abstract

The Continuous and Lifelong Analysis and Verification of Open Services(CLAVOS) project aims at consolidating current service-oriented designmethodologies and modeling languages in a rigorous softwareengineering context. The project applies the notion ofanalysis and verification continuously during the wholelifecycle of open systems built out of the composition ofservices. Services represent reusable software components that providespecific functionality to clients delivering it throughstandardized network and middleware infrastructure. In this project wesee services as the ultimate state of the evolution of softwarecomponents. This enables us to tailor existing advancedsoftware engineering techniques and extend them for the analysis and verification ofservice-oriented systems. In this proposal for a project extension we refine and update theobjectives and scope of the project based on our recent findings andthe evolution of the field of the past two years.Considering the recent emergence of REST as a novel approach tothe design and delivery of Web services, we aim at studyinghow and to which extent we can apply verification andvalidation techniques to RESTful Web services. Giventhe emphasis of REST on dynamic discovery, loose coupling,contract-less design, as well as dynamic typing we believe acontinuous lifelong approach to analysis and verification canmake an important contribution. Our research will target the verification of basic RESTful services by selecting and applying suitablestatic program analysis techniques, as well as compositionsof RESTful services.As our work on service lifecycles and continuous verificationhas matured, the project extension will also includeactivities explicitly directed towards the evaluation of thefinal project results. To do so we plan to design newbenchmarks for the assessment of the verification andmonitoring techniques developed within the project. Theeffort will focus on building a reusable collection ofartifacts (services, contracts and composition modelstogether with the corresponding functional and non-functionalspecifications) which will assist us in evaluating theexpressive power, the range of applicability, and theperformance overhead of the developed verification andmonitoring techniques. We intend to share such collection ofbenchmark problems with the service engineering community todrive future developments of service verification tools andservice composition engines.
-