Introduction
For the past thirty years, the ACM Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2017 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will be held in Marrakech, Morocco.
Call for paper
Important date
From the foundational point of view, researchers have discussed widely in the last years, and 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 far from being achieved. Our track aims at bringing together researchers and practitioners having the common objective of transforming SOP into a mature discipline with both solid scientific foundations and mature software engineering development methodologies supported by dedicated tools. In particular, we will encourage works and discussions about what SOP still needs in order to achieve its original goal.
Submission Topics
Major topics of interest will include:
-
Formal methods for Service-Oriented Computing
-
Notations, models, and standards for Service-Oriented Computing
-
Tools and Middlewares for Service-Oriented Development
-
Service-Oriented Programming Languages
-
Service-Oriented Programming in dynamic Open Service Ecosystems
-
Service Choreographies and Protocol-Driven Service Development
-
Service Interfaces and Communication Technologies (e.g., REST)
-
Microservices and Scalable Service-Oriented Computing
-
Engineering methodologies and Patterns for Service-Oriented Software
-
Static Analysis and Testing of Service-Oriented applications
-
Adaptability, Dependability, and Fault handling in Service Systems
-
Security in Service-Oriented Architectures
-
Quality of Service and Performance Analysis
-
Industrial deployment of tools and methodologies, case studies
-
Service application case studies
-
Trust and Services
-
Sustainability and Services, Green Computing
-
Cloud Computing and Services
-
Services and Big Data
All Comments
Important Date
-
Conference Date
Apr 03
2017
toApr 07
2017
-
Sep 15 2016
Draft paper submission deadline
-
Nov 10 2016
Draft Paper Acceptance Notification
-
Dec 10 2016
Final Paper Deadline
-
Apr 07 2017
Registration deadline
Contact Information
- Maurice ter Beek
- ma******@ isti.cnr.it
- Hernán Melgratti
- hm******@ dc.uba.ar
- Luís Cruz-Filipe
- lc******@ imada.sdu.dk
Submit Comment