From annotated software designs (UML SPT/MARTE) to model formalisms

  • Authors:

  • Murray Woodside

  • Affiliations:

  • Carleton University, Ottawa, Canada

  • Venue:
  • SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

The extraction of a performance model from an annotated software design is largely a matter of taking maximum advantage of the annotations. A serious issue is the fact that a design document directed to producing a product may not be the most convenient for annotation for any given evaluation; there may be a problem to capture the necessary information within the context of the document, without modifying it to clarify the performance concern. Sometimes such a clarification can be of value, but in general we do not wish to disturb the design, just to add the evaluation information. Approaches to using the SPT/MARTE annotations to capture important performance features are described in this paper. Features include completions of the design such as platform operations, composition of component submodels, four uses of state machine definitions, and four ways to describe communications costs and delays. The relationship of the annotated design model to the different kinds of performance model is also addressed.