ICT Call 2012ICT12-001

Supporting Containment Checking for UML Behaviour Diagrams (CONTAINER)

Supporting Containment Checking for UML Behaviour Diagrams (CONTAINER)
Principal Investigator:
Abgeschlossen (01.01.2013 – 31.01.2017)
€ 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.


Wir nutzen Cookies auf unserer Website. Einige von ihnen sind technisch notwendig, während andere uns helfen, diese Website zu verbessern oder zusätzliche Funktionalitäten zur Verfügung zu stellen. Weitere Informationen