Title
Runtime Verification of Compound Components with ComMA
Author
Schuts, M.
Alonso, M.
Hooman, J.
Publication year
2022
Abstract
The ComMA language has been developed to specify interfaces of software components, including protocol state machines, time and data constraints, and constraints on relations between events of multiple interfaces. The language has been devised in close collaboration with an industrial partner where it has been used to model a large number of interfaces. Based on a ComMA model, a number of artefacts can be generated such as documentation and test cases. Important is the generation of a monitor which is used to check if an implementation conforms to the specified model. This paper describes the ComMA monitoring algorithms. They are based on runtime verification techniques which have been extended to deal with the expressive ComMA language.
Subject
Interface modeling
Runtime Verification
Component-based development
To reference this document use:
http://resolver.tudelft.nl/uuid:6b0be2c1-c6ff-4085-9b85-2ff688b69bf4
DOI
https://doi.org/10.1007/978-3-031-15629-8_21
TNO identifier
978338
Publisher
Springer
ISBN
9783031156281
ISSN
0302-9743
Source
A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, 382-402
Series
Lecture Notes in Computer Science
Document type
conference paper