PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bartoletti M., Ter Beek M. H., Cruz-Filipe L., Melgratti H., (eds.) .. Editorial message - Special track on Service-Oriented Architectures and Programming (SOAP). In: 32nd Annual ACM Symposium on Applied Computing. Editorial, pp. 1309 - 1311. ACM, 2017.
 
 
Abstract
(English)
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. From the engineering point of view, there are open issues at many levels. At the system design level, both traditional approaches based on UML and approaches taking inspiration from business process modelling, like BPMN, are used. At the composition level, orchestration and choreography are continuously improved both formally and practically, with an evident need for their integration in the development process. At the description and discovery level, there are two separate communities pushing respectively the semantic approach (like ontologies and OWL) and the syntactic one (like WSDL). In particular, the role of discovery engines and protocols is not clear yet. In this respect, adopted standards are still to be achieved, taking features like Quality of Service, security and dependability into account.
URL: http://dl.acm.org/citation.cfm?id=3019612&picked=prox&CFID=633735993&CFTOKEN=79583697
Subject Service-Oriented Computing
Service-Oriented Programming
Service-Oriented Architectures
Specification and Verififcation
Quality of Service and Service-Level Agreements
Performance Analysis
Trust and Security
Cloud Computing
C.4 PERFORMANCE OF SYSTEMS
D.2 SOFTWARE ENGINEERING
D.3 PROGRAMMING LANGUAGES
F.3 LOGICS AND MEANINGS OF PROGRAMS


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional