Multi-Viewpoint State Machines for Rich ComponentModels
Albert Benveniste, Benoı̂t Caillaud, Roberto Passerone · 2018
This chapter presents the modeling effort that sustains the workrelated to the IP-SPEEDS heterogeneous rich component (HRC) metamodel, its associated multiple viewpoint contract formalism, and the underlying mathematical model of machines supporting such contracts. We put the emphasis on combining different viewpoints and providing a simple and elegant notion of parallel composition.