Session details: SOAP - service-oriented architecture and programming track
Massimo Bartoletti, Hernán Melgratti, Maurice H. ter Beek, Luı́s Cruz-Filipe · 2017
The SOAP track aims to bring together researchers and practitioners with the objective of transforming service-oriented programming into a discipline with solid scientific foundations and mature software engineering development methodologies supported by dedicated tools. From the foundational point of view, many attempts to use formal methods for specification and verification in this setting have been made. Session correlation, service types, contract theories and communication patterns are only a few examples of the aspects that have been investigated. Moreover, several formal models based upon automata, Petri nets and algebraic approaches have been developed. However, most of these approaches concentrate on only a few features of service-oriented systems in isolation, and a comprehensive approach is still far from being achieved.