Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Consistent extra-functional properties tagging for component and connector models

 
: Maoz, S.; Ringert, J.O.; Rumpe, B.; Wenckstern, M. von

:
Volltext (PDF; )

Ciccozzi, F.:
3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering, ModComp 2016. Proceedings. Online resource : Co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016); Saint-Malo, France, October 2nd, 2016
Saint-Malo, 2016 (CEUR Workshop Proceedings 1723)
http://ceur-ws.org/Vol-1723/
S.19-24
International Workshop on Interplay of Model-Driven and Component-Based Software Engineering (ModComp) <3, 2016, Saint-Malo>
International Conference on Model Driven Engineering Languages and Systems (MODELS) <19, 2016, Saint-Malo>
Englisch
Konferenzbeitrag, Elektronische Publikation
Fraunhofer FIT ()

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 arc hitecture description language MontiArc.

: http://publica.fraunhofer.de/dokumente/N-445011.html