1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016)
July 4th, 2016, Wien, AU
to be held in conjunction with the STAF 2016 Software Technologies: Applications and Foundations
Nowadays, modern applications are increasingly realized as distributed systems composing existing pieces of software that autonomically cooperates to achieve a common goal. As a matter of fact, this calls for new software composition paradigms, and patterns, modeling and verification methods that are practical and usable on one hand and formal on the other. Despite the great interest in practical Software Composition and Formal Verification in their isolation, no common and integrated approaches have been established yet. VeryComp 2016 aims at attracting contributions related to the subject at different levels, from modelling to verification and analysis, from componentization to composition. Foundational contributions, as well as concrete application experiments are sought.
Nowadays, we are increasingly surrounded by existing software assets that can be composed to build new applications. Modern applications are increasingly realized as distributed systems reusing and composing existing pieces of software that autonomically cooperates to achieve a common goal. This situation radically changes the way software will be produced, verified and used, and calls for new software integration paradigms and patterns, flexible integration architectures and practical and usable, yet formal, modeling and verification methods. Despite the great interest in practical Software Composition and Formal Verification in their isolation, no common and integrated approaches have been established yet to encourage their integration. One of the main obstacles that hinder progressing in this direction is represented by the fact that the Formal Methods and Software Engineering communities are characterized by islands of research, sometimes with scarce communication and interaction with the rest of the world. Traditional conferences are becoming more and more specialized and restrictive in accepting papers. Works proposing novel methodologies that do not fit clearly inside an established area have difficulties to find space in the programs, and discussion between people with different backgrounds is difficult to stimulate.
VeryComp 2016 aims at counteract the specialization of traditional venues by bringing together researchers and practitioners from different areas concerning software verification and composition, to fill the gap between the requirements of modern applications and current verification and composition methods. In particular, VeryComp 2016 aims at attracting contributions related to the subject at different levels, from modelling to verification and analysis, from componentization to composition. Foundational contributions, as well as concrete application experiments are sought.
This workshop constitutes a forum for scientists and engineers in academia and industry to present and discuss their latest ongoing research as well as radical new research directions that represent challenging innovations, which can advance the status quo of software verification and composition approaches when projected to the next future. We believe that STAF attendees and, in particular, SEFM attendees might be interested in attending this workshop because of the relevance of its themes and goals to the SE and FM communities.
The interplay between SE and FM is by nature tightly intertwined with VeryComp 2016. That is, in order to enable the transition from formal to practical software verification and composition approaches their maturity level must be elevated to the readiness level required for their adoption in practical software industry contexts. Novel and formally grounded SE and FM approaches, methods and tools are required, especially when automation and verified correctness of the desired composition is of paramount importance. With this premise in mind, we believe that STAF 2016, in general and SEFM 2016, in particular, constitute the right place for this workshop where researchers and practitioners coming from the SE and FM community can meet, disseminate and exchange ideas, challenges and problems, further identifying and discussing on key issues, sharing knowledge and experiences towards devising together possible solutions and synchronizing on coming future efforts from both FM and SE perspective.
The workshop is partially supported by the H2020 EU project CHOReVOLUTION, whose specific challenge is the definition and realization of a development process to support the effective design, development, deployment and enactment of FI service compositions. To this extent, manyfold collaborations and profitable concertation of efforts within the SEFM community can help reaching ambitious research and innovation objectives in the fields of FM and SE for software composition.
VeryComp 2016 is a follow-up workshop merging the following previous events: