Verifying consistency between activity diagrams and their corresponding OCL contracts

Christoph Hilken; Julia Seiter; Robert Wille; Ulrich Kuhne; Rolf Drechsler

doi:10.1109/FDL.2014.7119340

Verifying consistency between activity diagrams and their corresponding OCL contracts

Christoph Hilken, Julia Seiter, Robert Wille, Ulrich Kuhne, Rolf Drechsler

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

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.

Original language	English
Title of host publication	FDL 2014 - Proceedings of the 2014 Forum on Specification and Design Languages
Editors	Ana Pinzari, Adam Morawiec
Publisher	IEEE Computer Society
ISBN (Electronic)	9791092279078
DOIs	https://doi.org/10.1109/FDL.2014.7119340
State	Published - 5 Jun 2015
Externally published	Yes
Event	17th Forum on Specification and Design Languages, FDL 2014 - Munich, Germany Duration: 14 Oct 2014 → 16 Oct 2014

Publication series

Name	Forum on Specification and Design Languages
Volume	2015-June
ISSN (Print)	1636-9874

Conference

Conference	17th Forum on Specification and Design Languages, FDL 2014
Country/Territory	Germany
City	Munich
Period	14/10/14 → 16/10/14

Access to Document

10.1109/FDL.2014.7119340

Cite this

Hilken, C., Seiter, J., Wille, R., Kuhne, U., & Drechsler, R. (2015). Verifying consistency between activity diagrams and their corresponding OCL contracts. In A. Pinzari, & A. Morawiec (Eds.), FDL 2014 - Proceedings of the 2014 Forum on Specification and Design Languages Article 7119340 (Forum on Specification and Design Languages; Vol. 2015-June). IEEE Computer Society. https://doi.org/10.1109/FDL.2014.7119340

@inproceedings{c7f75aa8774940a6896628d37fd6eb60,

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",

}

Hilken, C, Seiter, J, Wille, R, Kuhne, U & Drechsler, R 2015, Verifying consistency between activity diagrams and their corresponding OCL contracts. in A Pinzari & A Morawiec (eds), FDL 2014 - Proceedings of the 2014 Forum on Specification and Design Languages., 7119340, Forum on Specification and Design Languages, vol. 2015-June, IEEE Computer Society, 17th Forum on Specification and Design Languages, FDL 2014, Munich, Germany, 14/10/14. https://doi.org/10.1109/FDL.2014.7119340

Verifying consistency between activity diagrams and their corresponding OCL contracts. / Hilken, Christoph; Seiter, Julia; Wille, Robert et al.
FDL 2014 - Proceedings of the 2014 Forum on Specification and Design Languages. ed. / Ana Pinzari; Adam Morawiec. IEEE Computer Society, 2015. 7119340 (Forum on Specification and Design Languages; Vol. 2015-June).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Verifying consistency between activity diagrams and their corresponding OCL contracts

AU - Hilken, Christoph

AU - Seiter, Julia

AU - Wille, Robert

AU - Kuhne, Ulrich

AU - Drechsler, Rolf

PY - 2015/6/5

Y1 - 2015/6/5

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84940526933&partnerID=8YFLogxK

U2 - 10.1109/FDL.2014.7119340

DO - 10.1109/FDL.2014.7119340

M3 - Conference contribution

AN - SCOPUS:84940526933

T3 - Forum on Specification and Design Languages

BT - FDL 2014 - Proceedings of the 2014 Forum on Specification and Design Languages

A2 - Pinzari, Ana

A2 - Morawiec, Adam

PB - IEEE Computer Society

T2 - 17th Forum on Specification and Design Languages, FDL 2014

Y2 - 14 October 2014 through 16 October 2014

ER -

Verifying consistency between activity diagrams and their corresponding OCL contracts

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this