%0 Journal Article %1 Zschaler2010 %A Zschaler, Steffen %D 2010 %I Springer Berlin / Heidelberg %J Software and Systems Modeling %K %P 161-201 %T Formal specification of non-functional properties of component-based software systems %V 9 %X Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component markets, where more or less generic pieces of software are traded, to be combined into applications by third-party application developers. For such a component market to work successfully, all relevant properties of components must be precisely and formally described. This is especially true for non-functional properties, such as performance, memory foot print, or security. While the specification of functional properties is well understood, non-functional properties are only beginning to become a research focus. This paper discusses semantic concepts for the specification of non-functional properties, taking into account the specific needs of a component market. Based on these semantic concepts, we present a new specification language QML/CS that can be used to model non-functional product properties of components and component-based software systems.

@article{Zschaler2010, abstract = {Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component markets, where more or less generic pieces of software are traded, to be combined into applications by third-party application developers. For such a component market to work successfully, all relevant properties of components must be precisely and formally described. This is especially true for non-functional properties, such as performance, memory foot print, or security. While the specification of functional properties is well understood, non-functional properties are only beginning to become a research focus. This paper discusses semantic concepts for the specification of non-functional properties, taking into account the specific needs of a component market. Based on these semantic concepts, we present a new specification language QML/CS that can be used to model non-functional product properties of components and component-based software systems.}, added-at = {2012-12-17T14:51:49.000+0100}, author = {Zschaler, Steffen}, biburl = {https://www.bibsonomy.org/bibtex/23015b3cc2baa7b6415ea78c038b142e4/jabreftest}, file = {Zschaler2010.pdf:Zschaler2010.pdf:PDF}, groups = {public}, interhash = {42f6d53b1f292973ca23870f7242beed}, intrahash = {3015b3cc2baa7b6415ea78c038b142e4}, issue = {2}, journal = {Software and Systems Modeling}, keyword = {Computer Science}, keywords = {}, pages = {161-201}, publisher = {Springer Berlin / Heidelberg}, timestamp = {2013-01-29T10:45:29.000+0100}, title = {Formal specification of non-functional properties of component-based software systems}, username = {jabreftest}, volume = 9, year = 2010 }