Output details

Formal Specification of Non-functional Properties of Component-Based Software Systems : A Semantic Framework and Some Applications Thereof

<07>This gives the first formal framework for generic specification of non-functional properties of components or services. Through providing such formal semantics, the paper identifies and overcomes a number of serious conceptual flaws in previous attempts at specifying QoS. Providing a generic approach rather than one specific to a particular property is important because it relieves developers from having to become experts in a number of different formalisms when developing component- or service-based systems. Earlier publications (e.g., Zschaler’s PhD dissertation) present some of the ideas, however, this is the first time they are tied together into a useable modelling language.