Component-based software emerged as a promising paradigm to deal
with the ever increasing need for mastering systems' complexity, for
enabling evolution and reuse, and for driving software engineering
into sound production and engineering standards. Soon, however, it
became a popular technology long before well understood and widely
adopted formal foundations have emerged. Issues like mathematical
models for components, their interaction and composition, or
rigorous approaches to verification, deployment, testing and
certification remain open research questions and challenging
opportunities for formal methods. Moreover, new challenges are
raised by applications of this paradigm to safety-critical, mobile,
or reconfigurable systems.
The objective of FACS'07 is to bring together researchers in the
areas of component software and formal methods to promote a deep
understanding of this paradigm and its applications.
The workshop will also be interested in defining the common aspects
of components and component-based development. It is expected that
formal paper presentations will be followed by lively debate in a
stimulating atmosphere. Possible topics include, but are not limited
to:
- formal models for software components and component interactio
- design and verification methods for component software
- component composition and deployment: models, calculi, languages
- component testing
- specification of extra-functional properties
in component software
- certification of components and software
architectures
- component software vs object orientation
- components for real-time, safety-critical,
secure and/or embedded systems
- standard models for software components (e.g. Fractal, GCM, etc.)
- experience reports and case studies in component
software
- partial behavior models for software components
- update and reconfiguration of component architectures
- component systems evolution
- formal methods and modeling languages
- trust models for components
FACS'07 is the fourth in a series of workshops, founded by the
International Institute for Software Technology of the United
Nations University (UNU-IIST). The first FACS workshop was held in
Pisa, Italy, in September 2003, co-located with FM'03. Next, FACS'05
was organized as a standalone event in October 2004 at UNU-IIST.
Then FACS'06 was hosted in Prague by Charles University.This has
been considered by the workshop participants as a very successful
meeting with collaborative atmosphere and friendly discussion.
Considering the persisting interest of the participants in the
topics, FACS'07 was scheduled again as a separate event, this time
to be hosted by INRIA in Sophia-Antipolis, France, in September
2007.
Abstract submission & paper registration deadline: June 4, 2007
Paper upload deadline: June 11, 2007.
Acceptance notification: July 16, 2007
Camera ready version due: Aug 17, 2007
Workshop: September 19-21, 2007
