Discovering timing feature interactions with timed UML 2 interactions

Harald Störrle, Alexander Knapp

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

132 Downloads (Pure)

Abstract

BACKGROUND: Timing properties are hard to specify, and even harder to analyse as interactions may arise from multiple independent properties. OBJECTIVE: We introduce the notion of timing feature interaction (TFI), and show how to automatically detect many TFIs. METHOD: We identify common structural patterns of timing specifications and show how they can be translated into UML 2 interactions with time constraints. We define a semantics that allows us to define and check coherence and consistency conditions of timing specifications. RESULTS: We provide a systematic process for mapping timing requirements into timed UML interactions and algorithms for checking their coherence and consistency. CONCLUSIONS: With our approach, it becomes easier to check and validate timing specifications. It is not our ambition to achieve complete coverage, i.e., discovering all timing specification defects. Instead, we focus on practical specifications that have numerous but comparatively simple properties.
Original languageEnglish
Title of host publicationProceedings of the 13th Workshop on Model-Driven Engineering, Verification and Validation
EditorsMichalis Famelis, Daniel Ratiu, Gehan M. K. Selim
Number of pages10
PublisherCEUR-WS
Publication date2016
Pages10-19
Publication statusPublished - 2016
Event13th Workshop on Model-Driven Engineering, Verification and Validation - Saint-Malo, France
Duration: 3 Oct 20163 Oct 2016
Conference number: 13

Workshop

Workshop13th Workshop on Model-Driven Engineering, Verification and Validation
Number13
Country/TerritoryFrance
CitySaint-Malo
Period03/10/201603/10/2016
SeriesCEUR Workshop Proceedings
Volume1713
ISSN1613-0073

Fingerprint

Dive into the research topics of 'Discovering timing feature interactions with timed UML 2 interactions'. Together they form a unique fingerprint.

Cite this