TY - JOUR
T1 - Consistent extra-functional properties tagging for component and connector models
AU - Maoz, Shahar
AU - Ringert, Jan Oliver
AU - Rumpe, Bernhard
AU - Von Wenckstern, Michael
N1 - Funding Information:
Part of this work was done while Shahar Maoz was on sabbatical as visiting scientist at MIT CSAIL. This research was supported by a Grant from the GIF, the German-Israeli Foundation for Scientific Research and Development.
PY - 2016
Y1 - 2016
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84996931619&partnerID=8YFLogxK
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.conferencearticle???
AN - SCOPUS:84996931619
SN - 1613-0073
VL - 1723
SP - 19
EP - 24
JO - CEUR Workshop Proceedings
JF - CEUR Workshop Proceedings
T2 - 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering, ModComp 2016
Y2 - 2 October 2016
ER -