Embedding continuous lifelong verification in service life cycles

Authors:
Domenico Bianculli;Carlo Ghezzi;Cesare Pautasso
Affiliations:
University of Lugano, Faculty of Informatics, Switzerland;Politecnico di Milano, DEEP-SE group - DEI, Italy;Politecnico di Milano, DEEP-SE group - DEI, Italy
Venue:
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Year:
2009

Citing 12
Cited 2

Test Driven Development: By Example

Test Driven Development: By Example
Service-Oriented Architecture: Concepts, Technology, and Design

Service-Oriented Architecture: Concepts, Technology, and Design
Toward Open-World Software: Issue and Challenges

Computer
A stakeholder-driven service life cycle model for SOA

2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting
Decomposing Composition: Service-Oriented Software Engineers

IEEE Software
Test and Analysis of Web Services

Test and Analysis of Web Services
Service-oriented design and development methodology

International Journal of Web Engineering and Technology
Towards a methodology for lifelong validation of service compositions

Proceedings of the 2nd international workshop on Systems development in SOA environments
A journey to highly dynamic, self-adaptive service-based applications

Automated Software Engineering
Model evolution by run-time parameter adaptation

ICSE '09 Proceedings of the 31st International Conference on Software Engineering
ASOP: An Agile Service-Oriented Process

Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07
Audition of web services for testing conformance to open specified protocols

Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components

Formal methods for web services: a taxonomic approach

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Interface decomposition for service compositions

Proceedings of the 33rd International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Service-oriented systems are an instantiation of open world software, which is characterized by high dynamism and decentralization. These properties strongly impact on how service-oriented systems are engineered, built, and operated, as well as verified. To address the challenges of applying verification to open service-oriented systems, in this position paper we propose to apply verification across the entire life cycle of a service and introduce a verification-oriented service life cycle.