Composition for component-based modeling

We propose a framework for component-based modeling that bring some answers to the component-based design problems. The framework uses an abstract layered model of components. It integrates and simplifies results about modeling timed systems by using timed automata with dynamic priorities. A component is the superposition of three models: a behavioral model, an interaction model, and an execution model. Our framework differs from existing ones in two ways: 1) It distinguishes clearly between three different and orthogonal aspects of systems modeling: behavior, interaction and execution. 2) An associative and commutative composition operator is defined on components, which preserves deadlock-freedom


Published in:
Formal Methods for Components and Objects. First International Symposium, FMCO 2003. Revised Lectures (Lecture Notes in Comput. Sci. Vol.2852), 443 - 66
Presented at:
Formal Methods for Components and Objects. First International Symposium, FMCO 2003. Revised Lectures (Lecture Notes in Comput. Sci. Vol.2852), Berlin, Germany
Year:
2003
Keywords:
Laboratories:




 Record created 2013-03-14, last modified 2018-12-03

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)