Tuesday, February 8, 2011

Annotation, WJ5

Salvatore Distefano, Marco Scarpa, Antonio Puliafito, "From UML to Petri Nets: The
     PCM-Based Methodology," IEEE Transactions on Software Engineering, vol. 37, no.
     1, pp. 65-79, Jan./Feb. 2011


The paper presents a method to validate the performance of a UML model that represents a new software architecture. UML models are visual representations of a computer program. Certain specifications are collected such as schedulability, performance and time specifications. These specifications are collected through an intermediate model called a Performance Context Model (PCM). From this point a performance model is used to translate the specifications in the intermediate model which is then evaluated and used. The paper details how to use a PCM to derive a petrinet as a performance domain.

No comments:

Post a Comment