Consistent extra-functional properties tagging for component and connector models

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael Von Wenckstern

Research output: Contribution to journalConference articlepeer-review

5 Scopus citations

Abstract

We present a model-driven approach for adding extra-functional properties to component and connector (C&C) models. The approach is based on a tagging mechanism that allows non-invasive extensions of existing languages and their models, here C&C models, with attributes for extra-functional properties. Importantly, our language extension provides means for integrated formal analyses of the consistency of tagged values. Consistency ranges from type-safety and units of quantitative measures to complex dependencies across component hierarchies as well as between component definitions and their instances. We provide a framework for defining and checking rich consistency rules of extra-functional property values based on selection, aggregation, and comparison operators. Our work allows for independent definition and organization of tagged properties to support reuse across models and development stages. The approach is implemented within the MontiCore framework for the C&C architecture description language MontiArc.

Original languageEnglish
Pages (from-to)19-24
Number of pages6
JournalCEUR Workshop Proceedings
Volume1723
StatePublished - 2016
Event3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering, ModComp 2016 - Saint-Malo, France
Duration: 2 Oct 2016 → …

Funding

FundersFunder number
German-Israeli Foundation for Scientific Research and Development

    Fingerprint

    Dive into the research topics of 'Consistent extra-functional properties tagging for component and connector models'. Together they form a unique fingerprint.

    Cite this