SOA monitoring based on a formal workflow model with constraints
Proceedings of the 1st international workshop on Quality of service-oriented software systems
Model-based performance instrumentation of distributed applications
DAIS'08 Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Performance simulation of runtime reconfigurable component-based software architectures
ECSA'11 Proceedings of the 5th European conference on Software architecture
ESL Design and Verification: A Prescription for Electronic System Level Methodology
ESL Design and Verification: A Prescription for Electronic System Level Methodology
| Hi-index | 0.01 |
Software performance engineering [13] (SPE) proposes methods to evaluate performance of software systems early in the development process. A SPE accepted approach consists in deriving performance models from UML specifications, usually annotated according to the OMG Profile for Schedulability, Performance and Time Specification [12] (UML-SPT). Performance models use to be based on simulation environments or a given modelling formalism: (layered) queuing networks, stochastic Petri nets or stochastic process algebras. Some tools are being developed under this SPE approach [9, 4, 6, 5]. OMG has defined a framework for SPE tools, which is a standard for communicating information between tools, see Figure 1.