Compositional modeling and transformation of multi-clocked mode automata
Christian Brunette, Jean-Pierre Talpin · HAL (Le Centre pour la Communication Scientifique Directe) · 2005
This article presents the modeling and implementation of multi-clocked mode automata using the model-driven engineering tool GME(Generic Modeling Environment) and starting from a meta-model for the computer-aided embedded system design tool POLYCHRONY. The article presents the design of a meta-model in GME for the data-flow multi-clocked synchronous formalism Signal of POLYCHRONY, its extension to multi-clocked mode automata and the use of model transformation technologies of the GME environment to embed the latter extension in the former workbench. The complete model and transformation process is formalized and given a formal operational semantics.