Service-Oriented Architectures and Programming track of the 32st ACM/SIGAPP Symposium On Applied Computing SOAP@SAC 2017

征稿已开启

已截稿

注册已开启

已截止

活动简介

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.

征稿信息

重要日期

2016-09-15

初稿截稿日期

2016-11-10

初稿录用日期

2016-12-10

终稿截稿日期

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.