Model based design, Integration Models, UML
CEA LIST DILS, France.
Modeling (and testing) the integration of multiple components is an important aspect in the design and development of "component based reactive systems". An integration model is aimed at modeling all aspects of the inter-component communication and their combined external behavior. It is very common find such systems in vital control systems used in the transport and telecommunication industry. This talk presents a formal framework (under development) that uses UML as a front-end for modeling these components and their interaction. The objective of this framework is to adapt a select set of UML components and profiles and give them formal semantics, which can then be used to achieve the testing or verification objectives.