Report of the 4th international workshop on principles of engineering service-oriented systems (PESOS 2012): internet of services and the quest for case studies

in SIGSOFT Softw. Eng. Notes (2013), 38(1), 35--38

Proceedings of 2013 5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)

Book published by IEEE (2013)

5th international workshop on principles of engineering service-oriented systems (PESOS 2013)

in Proceedings of the 2013 International Conference on Software Engineering (ICSE '13), San Francisco, CA USA (2013)

Open-world Software: Specification, Verification and Beyond

Doctoral thesis (2012)

Open-world software systems are built by composing heterogeneous,third-party components, whose behavior and interactions cannot be fully controlled or predicted; moreover, the environment they interact ... [more ▼]

Open-world software systems are built by composing heterogeneous,third-party components, whose behavior and interactions cannot be fully controlled or predicted; moreover, the environment they interact with is characterized by frequent, unexpected, and welcome changes. This class of software exhibits new features that often demand for rethinking and extending the traditional methodologies and the accompanying methods and techniques. In this thesis we deal with a particular class of open- world software, represented by service-based applications (SBAs). We focus on three specific aspects related to the development and provisioning of SBAs: specification, verification, and reputation management. With respect to these aspects, we provide methods and techniques that are i) suitable to deal with aspects such as change, evolution, and reliance on third- parties, and ii) able to improve the overall quality of the systems they are applied to. More specifically, concerning specification, we report on the findings of a study that analyzed requirements specifications of SBAs developed in research settings and in industrial settings. These findings have then driven the design of SOLOIST, a language used to specify the interactions of SBAs. Regarding verification, our contribution is twofold; we propose: i) a technique for automatically generating the behavioral interfaces of the partner services of a service composition, by decomposing the requirements specification of the composite service; ii) a framework for the definition of verification procedures (encoded as synthesis of semantic attributes associated with a grammar) that are made incremental using an approach based on incremental parsing and attributes evaluation techniques. Finally, as for reputation management, we present a reputation-aware service execution infrastructure, which manages the reputation of services used by composite SBAs in an automated and transparent manner. [less ▲]

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) (2012)

Interface Decomposition for Service Compositions

in Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011) (2011)

Automated Performance Assessment for Service-Oriented Middleware: a Case Study on BPEL engines

in Proceedings of the 19th International Conference on World Wide Web (WWW 2010) (2010)

Keep It Small, Keep It Real: Efficient Run-time Verification of Web Service Compositions

in Proceedings of IFIP international conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2009) (2009)

ReMan: A Pro-active Reputation Management Infrastructure for Composite Web Services

in Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada (2009)

Towards a methodology for lifelong validation of service compositions

in Proceedings of the 2nd International Workshop on Systems Development in SOA Environments (SDSOA 2008), co-located with ICSE 2008 (2008)