Aims and Scope
The component-based software development approach has emerged as a promising paradigm to cope with the complexity of present-day software systems by bringing sound engineering principles into software engineering. However, many challenging conceptual and technological issues still remain in component-based software development theory and practice. Moreover, the advent of service-oriented computing has brought to the fore new dimensions, such as quality of service and robustness to withstand inevitable faults, that require revisiting established component-based concepts in order to meet the new requirements of the service-oriented paradigm.
FACS 2011 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.
The symposium seeks to address the applications of formal methods in all aspects of software components and services. Specific topics include, but are not limited to:
- formal models for software components and their interaction
- formal aspects of services, service oriented architectures, and business processes
- design and verification methods for software components and services
- composition and deployment: models, calculi, languages
- formal methods and modeling languages for components and services
- model based and GUI based testing of components and services
- component/service re-engineering and reuse
- models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services
- components for real-time, safety-critical, secure, and/or embedded systems
- industrial or experience reports, and case studies
- update and reconfiguration of component and service architectures
- component systems evolution and maintenance
- autonomic components and self-managed applications
- formal and rigorous approaches to software adaptation and self-adaptive systems
FACS'11 is the eighth event in a series of events founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). The previous workshops in the FACS series were held in Pisa (September 2003, co-located with FM'03), Macau (October 2005), Prague (September 2006), Sophia-Antipolis (September 2007), Malaga (September 2008), Eindhoven (October 2009, held as part of the Formal Methods Week), and Guimaraes (October 2010).
We solicit high-quality submissions reporting on:
- A - original research contributions (18 pages max, LNCS format);
- B - applications and experiences (18 pages max, LNCS format);
- C - surveys, comparisons, and state-of-the-art reports (18 pages max, LNCS format);
- D - tool papers (6 pages max, LNCS format);
related to the topics mentioned above.
In addition, we also solicit submissions to the Doctoral Track of FACS 2011, in the form of abstracts (2 pages, LNCS format) concisely capturing PhD-work-in-progress, related theme, context, research questions, envisaged contributions, and partial results.
All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Papers should be formatted according to the guidelines for Springer LNCS papers (see this link for information for LNCS authors).
Paper submission will be done electronically via Easychair:
The final version of the paper must be prepared in LaTeX, adhering to the LNCS format.
All accepted papers will appear in the pre-proceedings of FACS 2011. Revised versions of accepted papers in the categories A-D above will appear in the post-proceedings of the symposium that will be published as a volume in the Springer's Lecture Notes in Computer Science series.
The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal.