Software Engineering; Service Oriented Computing; Web Services; Verification
(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.
(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.
(2012), Open-world Software: Specification, Verification, and Beyond
(2012), Reusable Decision Space for Mashup Tool Design, in Proc. of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2012)
(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)
(2011), Goals, Questions and Metrics for Architectural Decision Models, in Proceedings of the 6th ICSE Workshop on Sharing and Reusing Architectural Knowledge (SHARK 2011)
(2011), Interface Decomposition for Service Compositions, in Proc. of the Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011)
, 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.
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.