A Component Model for Architectural Programming

Baumeister, Hubert; Hacklinger, Florian; Hennicker, Rolf; Knapp, Alexander; Wirsing, Martin

doi:10.1016/j.entcs.2006.05.015

Cited by 29 publications

(33 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We also mention [7] which investigated deadlock-freedom in a setting that assumes architectural constraints. Note that [7] only considers systems composed of three components at most.…”

Section: Comparison With Other Compo-sitionality Results and Discus-sionmentioning

confidence: 99%

“…We present an example that shows how a banking system which is similar to the banking system described in [7] can be modeled using the concept of interaction systems. The example has been chosen as to be somewhat complex and realistic, but still simple enough to verify the results by hand.…”

Section: An Examplementioning

confidence: 99%

“…We present conditions that only refer to neighbors in the tree but ensure deadlockfreedom in the global system. A similar approach was taken in [7,8]. For example, the basic idea of [8] is that whenever a component cooperates with an inner node of the tree then the behavior of this inner node should not be confined by the cooperation.…”

Section: Introductionmentioning

confidence: 99%

“…Other approaches require certain conditions on the glue-code and on the components to be composed to ensure desired properties [1,3,21]. A first approach to use architectural constraints to address the problem of deadlock-freedom can be found in [7,8].…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Compositional analysis of deadlock-freedom for tree-like component architectures

Majster-Cederbaum

Martens

2008

Proceedings of the 8th ACM International Conference on Embedded Software

View full text Add to dashboard Cite

We study architectural constraints for component systems in order to be able to guarantee safety-properties. Representing safety-properties, we investigate deadlock-freedom. We present a compositional and hence polynomial time condition for deadlock-freedom for a class of component-systems whose architecture is tree-like. The architectural constraints that are developed can be understood as a design pattern that helps to construct systems satisfying safety-properties on the one hand. On the other hand, they might help to draw attention to potentially critical situations in a design. To model component-systems we use the formalism of interaction systems as proposed by Sifakis et al. The ideas can be transferred to other formal models where subsystems are cooperating via synchronous communication.

show abstract

“…We also mention [7] which investigated deadlock-freedom in a setting that assumes architectural constraints. Note that [7] only considers systems composed of three components at most.…”

Section: Comparison With Other Compo-sitionality Results and Discus-sionmentioning

confidence: 99%

Section: An Examplementioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Compositional analysis of deadlock-freedom for tree-like component architectures

Majster-Cederbaum

Martens

2008

Proceedings of the 8th ACM International Conference on Embedded Software

View full text Add to dashboard Cite

show abstract

“…Except for model-checking, where the complete global state space has to be analyzed, there are not many approaches that investigate generic properties of systems as deadlock-freedom, liveness, etc. In some previous work [5,8] the question of deadlock-freedom is addressed for special cases.…”

Section: Introductionmentioning

confidence: 99%

Robustness in Interaction Systems

Majster-Cederbaum

Martens

2007

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract.We treat the effect of absence/failure of ports or components on properties of component-based systems. We do so in the framework of interaction systems, a formalism for component-based systems that strictly separates the issues of local behavior and interaction, for which ideas to establish properties of systems were developed. We propose how to adapt these ideas to analyze how the properties behave under absence or failure of certain components or merely some ports of components. We demonstrate our approach for the properties local and global deadlockfreedom as well as liveness and local progress.

show abstract

Programming distributed and adaptable autonomous components-the GCM/ProActive framework

Baude

Henrio

Ruz

2014

Softw. Pract. Exper.

View full text Add to dashboard Cite

SUMMARYComponent oriented software has become a useful tool to build larger and more complex systems by describing the application in terms of encapsulated, loosely-coupled entities called components. At the same time, asynchronous programming patterns allow for the development of efficient distributed applications. While several component models and frameworks have been proposed, most of them tightly integrate the component model with the middleware they run upon. This intertwining is generally implicit and not discussed, leading to entangled, hard to maintain code. This article describes our efforts in the development of the GCM/ProActive framework for providing distributed and adaptable autonomous components. GCM/ProActive integrates a component model designed for execution on large scale environments, with a programming model based on active objects allowing a high degree of distribution and concurrency. This new integrated model provides a more powerful development, composition, and execution environment than other distributed component frameworks. We illustrate that GCM/ProActive is particularly adapted to the programming of autonomic component systems, and to the integration into a service oriented environment.

show abstract

A Component Model for Architectural Programming

Cited by 29 publications

References 9 publications

Compositional analysis of deadlock-freedom for tree-like component architectures

Compositional analysis of deadlock-freedom for tree-like component architectures

Robustness in Interaction Systems

Programming distributed and adaptable autonomous components-the GCM/ProActive framework

Contact Info

Product

Resources

About