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. The Framework named ComMA (Component Modeling and Analysis) 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.
Open source version
- Integrating Interface Modeling and Analysis in an Industrial Setting Proc. 5th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD 2017), pages 345-352, 2017
- Runtime Monitoring based on Interface Specifications ModelEd, TestEd, TrustEd, Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, LNCS 10500, pages 335-356, 2017
- Improving interface specifications with ComMA Bits & Chips Sept 2017.
- Article by Philips Healthcare in Codemotion Magazine: Domain-specific languages could scale up your code with ComMA
- ComMA interfaces open the door to reliable high-tech systems Bits & Chips Sept 2020.
Extended version for ESI partners and license holders
- Installation manual (version 8 April 2021) Installation requires a username and password, see the contact information below.
- Introductory ComMA Tutorial. It requires a ComMA plugin and example workspace, see the contact information below. It is based on the following material:
- Command Line Manual for ComMA 4.0.0
- Documentation of the .events files
- Guidelines on the layout of generated graphML files with yEd using the following three files:
- To gain access to ComMA, contact Jozef Hooman at ESI (TNO) (email@example.com).