PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Melgratti H., Torres Vieira H., (eds.) .. Editorial message - Special Track on Service-Oriented Architectures and Programming (SOAP). pp. 1588 - 1589. ACM, 2016.
 
 
Abstract
(English)
The SOAP track aims at bringing together researchers and practitioners having the common objective of transforming Service-Oriented Programming (SOP) into a mature discipline with both 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 only on a few features of service-oriented systems in isolation, and a comprehensive approach is still lacking. From the engineering point of view, there are open issues at many levels. Among others, at the system design level, both traditional approaches based on UML and approaches taking inspiration from Business Process Modelling, e.g. BPMN, are used. At the composition level, orchestration and choreography are continuously being 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. In this respect, adopted standards are still missing.
URL: http://dl.acm.org/citation.cfm?id=2851613&picked=prox
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