Assembly of components based on interface automata and {UML} component model

Samir Chouali (1) , Sebti Mouelhi (1) , Hassan Mountassir (1)

1 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)

We propose an approach which combines component UML model and interface automata in order to assemble components and to verify their interoperability. We specify component based system architecture with component UML model, and component interfaces with interface automata. Interface automata is a common Input Output (I/O) automata-based formalism intended to specify the signature and the protocol level of component interfaces. We improve interface automata approach by component UML model, in order to consider system architecture, in component composition and interoperability verification methods. Therefore, we handle in interface automata, the connection between components, and the hierarchical connections between composite components and their subcomponents.

Domaines: Génie logiciel [cs.SE]; Modélisation et simulation

Samir Chouali, Sebti Mouelhi, Hassan Mountassir. Assembly of components based on interface automata and {UML} component model. CAL'10, 4e Conf. Francophone sur les Architectures Logicielles, 2010, France. pp.73--85. ⟨hal-00563328⟩