We present an OCL framework and tool for the description and verification of consistency rules of extra-functional properties (EFPs) in component and connector (C&C) models. The framework is based on our previously defined structure of EFP consistency rules using selection, aggregation, and comparison operators, and provides C&C specific OCL functions and configurations that allow engineers to succinctly express EFP consistency rules for C&C models. Further, the extension of OCL is twofold. First, constraints may contain C&C specific expressions and second, expressions natively support measurement units as required in specifications of EFPs. We have extended the OCL verification process to support the novel extensions and to automatically generate meaningful positive and negative witnesses for consistency and inconsistency. We implemented the approach within the MontiCore framework for the C&C modeling language MontiArc. Initial evaluation shows that it is expressive and scales to large, industrial sized C&C models.
|Number of pages||7|
|Journal||CEUR Workshop Proceedings|
|State||Published - 2017|
|Event||2017 MODELS Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations, MODEL-SSE 2017 - Austin, United States|
Duration: 17 Sep 2017 → 22 Sep 2017