ICT Call 2012ICT12-001

Supporting Containment Checking for UML Behaviour Diagrams (CONTAINER)

Supporting Containment Checking for UML Behaviour Diagrams (CONTAINER)
Principal Investigator:
Completed (01.01.2013 – 31.01.2017)
Funding volume:
€ 394,000


For many software systems today, models are used to describe the behavior of the system. High-level models are used for tasks such as defining core concepts and principles of a domain, enabling stakeholders to discuss the software design, or creating a common terminology. In addition low-level models are used to describe many details of the implemented system. As software implementations are created and evolve, the high-level models should be contained in the more detailed low-level models to make sure the implemented software is and stays consistent with the specification developed with the help of domain experts. To address this research problem, CONTAINER will develop and evaluate new automated containment checking techniques for the widely used UML behavior diagrams, including activity diagrams, sequence diagrams, and state charts.


We use cookies on our website. Some of them are technically necessary, while others help us to improve this website or provide additional functionalities. Further information