This paper provides an overview of configuration-based programming, focusing primarily on
associated formal methods aimed at easing the development of correct distributed …

Software systems can be conveniently described, constructed and managed in terms of their
configuration, where configuration is the system structure defined as the set of constituent …

This volume contains the proceedings of the 2013 IFIP Joint International Conference on
Formal Techniques for Distributed Systems (33rd FORTE/15th FMOODS). The joint …

Current component-based approaches for software architecture factor a system into a set of
components, which encapsulate computation, and a set of connectors, which describe how …

Software components are a valuable programming abstraction that enables a compositional
design of complex applications. In distributed systems, components can also be used to …

There is an urgent need to provide a sound generic framework for method and tool
integration, where many differing notations are used, software development is distributed …

The central purpose of this paper is to present a novel framework supporting the
specification and the implementation of configuration management policies for distributed …

Distributed programming techniques have transformed applications into federations of
cooperating semi-autonomous components. Complex interactions between these …

Research in software architecture has emphasized compositional development. Typically,
software architectures are factored into a set of components, which encapsulate …

We present a framework integrating concepts from configuration management and process
management. A language, interpretable by the environment, is proposed in order to specify …