Service-Oriented Computing (SOC) has been established as a major paradigm for system development, revolving around functional and autonomous building blocks that are available over the Internet and independent of platforms and programming languages. To support the SOC paradigm, infrastructures provide standard mechanisms and protocols for describing, locating and invoking services.
Cloud computing has seen a remarkable uptake and facilitates distributed computing based on virtualization. Here, abstractions centred on services, such as Software as a Service, Platform as a Service, and Infrastructure as a Service, enable dynamic sharing of resources and allow for tailoring service delivery to clients’ needs. As such, cloud computing provides a backbone for more effective and efficient service-oriented computing.
Formal methods can play a fundamental role in research on SOC, cloud computing, and their interplay. They can help us to define unambiguous semantics for the languages and protocols that underpin existing Web service infrastructures, and provide a basis for checking the conformance and compliance of bundled services. They can also empower dynamic discovery and binding with compatibility checks against behavioural properties and quality of service requirements. Formal analysis of security properties and performance is essential in cloud computing and in application areas including e-science, e-commerce, workflow, and business process management. Formal models further enable linking service abstractions to event-driven, reactive middle-ware and execution infrastructures. Moreover, the challenges raised by this area can offer opportunities for extending the state of the art in formal techniques.
The aim of the WS-FM:FASOCC workshop series is to bring together researchers working on SOC, cloud computing, and formal methods in order to catalyse fruitful collaboration. The scope of the workshop is not only limited to technological aspects. In fact, the workshop series has a strong tradition of attracting submissions on formal approaches to enterprise systems modelling in general, and business process modelling in particular. Potentially, this could have a significant impact on the ongoing standardization efforts for SOC and cloud computing technologies.
Main topics of interest include (but are not limited to):
- Mathematical foundations of service/processes-oriented and cloud computing
- Security, trust, and privacy in service-oriented and cloud computing
- Performance and dependability of services/clouds
- Multi-tenancy, adaptability and evolvability of processes and services in the cloud
- Model-driven development of services/clouds
- Quality of service and service-level agreements
- Web service coordination, transactions, and compositions
- Web service ontologies and semantic descriptions
- Semi-structured data management and XML technology
- Types and logics for web services/processes/clouds
- Verification, analysis, and testing of services/clouds
- Web services for business process management
- Process management in the cloud
- Formal approaches to business process modelling
- Contractual issues between service providers and consumers
- Innovative application scenarios for web services/clouds
- Data services and data-centric process modelling
- Event-driven models for service/process-oriented and cloud computing
- Event-based cloud infrastructures
- Standards and technologies for service/process-oriented and cloud computing
- Case studies on formal methods in service/process-oriented and cloud applications
- Case studies on formal methods in business process management
- Paper submission deadline: June 15, 2014 (extended)
- Author notification: July 9, 2014
- Camera-ready copy: August 4, 2014
- Workshop dates: September 11-12, 2014
Submissions must be original and should not have been published previously nor be under consideration for publication while being evaluated for this workshop. All papers must be in English and submitted at the following site, handled by EasyChair,
using the Springer LNCS style. Papers should not exceed 15 pages in length. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the programme committee. As in previous years, the post-workshop proceedings will be published shortly after the workshop as a volume in Springer’s Lecture Notes in Computer Science (LNCS).
Authors of selected papers of WS-FM:FASOCC 2014 will be invited to submit an extended paper for a special issue in Springer’s journal on Formal Aspects of Computing, which is indexed by SciSearch, Journal Citation Reports, SCOPUS, Google Scholar, Academic Search, ACM Digital Library, Computer Abstracts International Database, Computer Science Index, DBLP, EI-Compendex.