Towards a semantic framework for non-functional specifications of component-based systems

It is now widely recognized that the so-called nonfunctional or extra-functional properties of a software system are at least as important as its somewhat more classical functional properties and that they must be considered as early as possible in the development cycle in order to avoid costly failures. We define elements of a semantic framework for nonfunctional specifications of component-based systems. We focus on how the runtime environment uses components, whose nonfunctional properties have been specified, and the available system resources to provide a service with specified nonfunctional properties.

[1]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[2]  Steffen Zschaler,et al.  A software development process supporting non-functional properties , 2004, IASTED Conf. on Software Engineering.

[3]  Frank Eliassen,et al.  Quality of Service Semantics for Component-Based Systems , 2003, Middleware Workshops.

[4]  Bernhard Schätz,et al.  Service based Software Specification , 2002 .

[5]  Ingolf Krüger,et al.  Service specification with MSCs and roles , 2004, IASTED Conf. on Software Engineering.

[6]  Andrzej M. Goscinski,et al.  Distributed operating systems - the logical design , 1991 .

[7]  Gabriel A. Moreno,et al.  Packaging Predictable Assembly , 2002, Component Deployment.

[8]  Martín Abadi,et al.  An old-fashioned recipe for real time , 1994, TOPL.

[9]  Steffen Zschaler,et al.  Towards pervasive treatment of non-functional properties at design and run-time , 2003 .

[10]  Thomas F. Lawrence,et al.  Taxonomy for QoS specifications , 1997, Proceedings Third International Workshop on Object-Oriented Real-Time Dependable Systems.

[11]  John Daniels,et al.  UML Components: A Simple Process for Specifying Component-Based Software , 2000 .

[12]  Cliff B. Jones,et al.  Specification and Design of (Parallel) Programs , 1983, IFIP Congress.

[13]  Jonathan Walpole,et al.  A quality-of-service specification for multimedia presentations , 1995, Multimedia Systems.

[14]  Vincenzo Grassi,et al.  Towards automatic compositional performance analysis of component-based systems , 2004, WOSP '04.

[15]  Martín Abadi,et al.  Composing specifications , 1989, TOPL.

[16]  Steffen Zschaler,et al.  Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation , 2004, UML.

[17]  Marco Spuri,et al.  Implications of Classical Scheduling Results for Real-Time Systems , 1995, Computer.