This paper discusses methodologies for the specification and analysis of performance related properties of components and assemblies of components, and outlines an original approach, called the CB-SPE. The proposed approach relies on, and adapts to a CB framework, the concepts and steps of the SPE technology and uses for modeling the standard RT-UML profile, reshaped according to the CB principles.
Bertolino and Mirandola REF propose an approach for the specification and analysis of performance related properties of AADL components using the RT-UML profile.
Modeling and Analysis of Non-functional Properties in Component-based Systems☆
Electron. Notes Theor. Comput. Sci.
Electron. Notes Theor. Comput. Sci.
Computer Science