@inproceedings{0698c1cc5f6f4ddc8d731fac7c8a363b,
title = "Verifying consistency between activity diagrams and their corresponding OCL contracts",
abstract = "Modeling languages such as SysML provide various description means for a precise specification of the desired system. As a system model typically uses multiple diagram types focusing on different aspects, it is crucial to keep them consistent to each other. In this paper, we propose a verification methodology which ensures the consistency between activity diagrams as blueprints for the implementation and their contracts from a block definition diagram. For this purpose, activity diagrams are transformed to OCL constraints that can be checked against pre-and postconditions. The proposed approach is evaluated in a case study based on an industrial specification.",
author = "Christoph Hilken and Julia Seiter and Robert Wille and Ulrich Kuhne and Rolf Drechsler",
note = "Publisher Copyright: {\textcopyright} 2014 ECSI.; 17th Forum on Specification and Design Languages, FDL 2014 ; Conference date: 14-10-2014 Through 16-10-2014",
year = "2015",
month = jun,
day = "5",
doi = "10.1109/FDL.2014.7119340",
language = "English",
series = "Forum on Specification and Design Languages",
publisher = "IEEE Computer Society",
editor = "Ana Pinzari and Adam Morawiec",
booktitle = "FDL 2014 - Proceedings of the 2014 Forum on Specification and Design Languages",
}