Integrating Interface Modeling and Analysis in an Industrial Setting
Ivan Kurtev, Mathijs Schuts, Jozef Hooman, and Dirk-Jan Swagerman
Proc. 5th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD 2017), pages 345-352, 2017.
ABSTRACT
Precise specification of system component interfaces enables analysis of component behavior and checking of
conformance of an implementation to the interface specification. Very often component interfaces are only defined
by their signature and without a formal description of the admissible behavior and timing assumptions.
In this paper we present a framework named ComMA (Component Modeling and Analysis) that supports
model-based engineering (MBE) of high-tech systems by formalizing interface specifications. ComMA provides
a family of domain-specific languages that integrate existing techniques from formal behavioral and time
modeling and is easily extensible. It contains tools that support different phases of the development process
and can be integrated in the industrial way of working. The framework is applied in the context of the family
of interventional X-ray machines developed by Philips.
pdf