Fichiers

Résumé

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

Détails

Actions

Aperçu