Formal specification of non-functional properties of component-based software systems Export

@article{Zschaler09, 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.}, author = {Zschaler, Steffen}, citeulike-article-id = {4062797}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/s10270-009-0115-6}, citeulike-linkout-1 = {http://www.springerlink.com/content/j437xm453155w236}, doi = {10.1007/s10270-009-0115-6}, issn = {1619-1374}, journal = {Software and Systems Modeling}, keywords = {2009, framework, language, model-driven, non-functional, property, semantics, specification, tla}, posted-at = {2009-07-09 16:52:34}, priority = {2}, publisher = {Springer Berlin / Heidelberg}, title = {Formal specification of non-functional properties of component-based software systems}, url = {http://dx.doi.org/10.1007/s10270-009-0115-6}, year = {2009} }

TY - JOUR ID - Zschaler09 L3 - citeulike-article-id:4062797 N2 - 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. JF - Software and Systems Modeling SN - 1619-1374 TI - Formal specification of non-functional properties of component-based software systems PB - Springer Berlin / Heidelberg KW - 2009 KW - framework KW - language KW - model-driven KW - non-functional KW - property KW - semantics KW - specification KW - tla AU - Zschaler, Steffen PY - 2009/// UR - http://dx.doi.org/10.1007/s10270-009-0115-6 ER -