SCART 2015 provides the opportunity for discussing how the FI affects the traditional SE methods and tools, and how facing its complexity in terms of scalability, heterogeneity, and dinamicity promotes the integration of FM within SE practices. We seek answers on how the rigorousness of FM assists software engineers while designing, developing, validating and operating software systems for the FI, which are build via correct-by-construction service composition. The workshop constitutes a forum for scientists and engineers in academia and industry to present and discuss their latest research and development.
SCART 2015 welcomes research papers, experience papers and tool presentations; nevertheless, papers describing novel research contributions and innovative applications are of particular interest.
A thematic series on Service Composition for the Future Internet in the Springer Journal of Internet Services and Applications (JISA) is devoted to SCART 2015. Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the thematic series.
Topics of interests of SCART 2015 Workshop include, but are not limited to:
- Specification, architecture, and design of software composition models
- Software quality assurance for software composition
- Verification and testing of software integration code
- Adaptive software composition
- Formal methods for automated software composition
- Service-oriented and Component-based software composition
- Non-functional properties of software composition
- Automated software composition and coordination
- Correct-by-construction software composition
- Automated synthesis of software integration code
- Model-driven software composition
- Compositional theories for software composition
- Patterns and frameworks for software composition engineering
- Tools and methods for software composition engineering
- Industrial experience in software composition
- Empirical studies in software composition
Please visit the submission page