Configuration programming-a framework for the development of distributable systems

Kramer, Jeff

doi:10.1109/cmpeur.1990.113648

Cited by 59 publications

(27 citation statements)

References 41 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…[2], coordination languages, e.g. [3] and configuration languages [4]. All these works rely on the distinction between behaviour of individual components and their coordination in the overall system organization.…”

Section: Introductionmentioning

confidence: 99%

Configuration logics: Modeling architecture styles

Mavridou

Baranov

Bliudze

et al. 2017

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification of architectures as generic coordination schemes involving a configuration of interactions between typed components; and 2) configuration logics for the specification of architecture styles as sets of interaction configurations. The presented results build on previous work on architecture modelling in BIP. We show how propositional interaction logic can be extended into a corresponding configuration logic by adding new operators on sets of interaction configurations. In addition to the usual set-theoretic operators, configuration logic is equipped with a coalescing operator + to express combination of configuration sets. We provide a complete axiomatization of propositional configuration logic as well as decision procedures for checking that an architecture satisfies given logical specifications. To allow genericity of specifications, we study first-order and second-order extensions of the propositional configuration logic. First-order logic formulas involve quantification over component variables. Second-order logic formulas involve additional quantification over sets of components. We provide several examples illustrating the application of the results to the characterisation of various architecture styles. We also provide an experimental evaluation using the Maude rewriting system to implement the decision procedure for the propositional flavour of the logic.

show abstract

Section: Introductionmentioning

confidence: 99%

Configuration logics: Modeling architecture styles

Mavridou

Baranov

Bliudze

et al. 2017

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

show abstract

“…Descriptions of the constituent software components and their interconnection patterns provide a clear and concise level at which to specify and design systems, and can be used directly by construction tools to generate the system itself. This approach has been variously referred to as "programming-in-the-large" [3], component-based system building using module interconnection languages [9,20], and "configuration programming" [15,18]. Furthermore, evolution of the system can be achieved by making extensions or changes to the system configuration by the addition or replacement of components [16].…”

Section: Learning From Software Configurationmentioning

confidence: 99%

“…Configuration programming [18] advocates the use of the interconnected-component model for software design and construction through to evolution. The description of system structure (configuration), as a set of components and their interconnections, is separated from the functional description of individual component behaviour.…”

Section: Learning From Software Configurationmentioning

confidence: 99%

A configurable framework for method and tool integration

Kramer

Finkelsteiin

1991

Software Development Environments and CASE Technology

View full text Add to dashboard Cite

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 and management support for the software development process is provided. This paper argues that there is much to be learnt from proven practical techniques for software construction, particularly those that support distributed software integration, heterogeneity and software management. Configuration Programming is one such approach which advocates the use of a separate, declarative configuration language for the description of system structure. It has been used in the Conic Environment for the development of distributable software, and is being extended for the configuration of heterogeneous components programmed in different programming languages. A number of software tools exist for the development, construction and management of Conic systems. This paper shows how an analogous set of the principles, practice and tools from configuration programming can be combined with recent work on ViewPoints 1 to provide a configurable framework for method and tool integration.

show abstract

“…Its discipline makes it a distinguished language for architectural design in coordination programming [10], configuration programming [11], and software architecture [12,13]. Some of the Gamma's applications in modeling distributed systems can be found in [14][15][16].…”

Section: The Chemical Reaction Metaphormentioning

confidence: 99%

Specifying distributed multi-agent systems in chemical reaction metaphor

Lin

Yang²

2006

Appl Intell

View full text Add to dashboard Cite

This paper presents an application of Chemical Reaction Metaphor (CRM) in distributed multi-agent systems (MAS). The suitability of using CRM to model multiagent systems is justified by CRM's capacity in specifying dynamic features of multi-agent systems. A case study in an agent-based e-learning system (course material updating) demonstrates how the CRM based language, Gamma, can be used to specify the architectures of multi-agent systems. The effectiveness of specifying multi-agent systems in CRM from the view point of software engineering is further justified by introducing a transformational method for implementing the specified multi-agent systems. A computation model with a tree-structured architecture is proposed to base the design of the specified multi-agent system during the implementation phase. A module language based on the computation model is introduced as an intermediate language to facilitate the translation of the specification of multi-agent systems. The multicast networking technology pragmatizes the implementation of communications and synchronization among distributed agents. The paper also discusses the feasibility of implementing an automatic translation from the Gamma specification to a program in the module language.

show abstract

Configuration programming-a framework for the development of distributable systems

Cited by 59 publications

References 41 publications

Configuration logics: Modeling architecture styles

Configuration logics: Modeling architecture styles

A configurable framework for method and tool integration

Specifying distributed multi-agent systems in chemical reaction metaphor

Contact Info

Product

Resources

About