Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communication and concurrency
A note on reliable full-duplex transmission over half-duplex links
Communications of the ACM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
SPNP: Stochastic Petri Net Package
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Performance Engineering Evaluation of Object-Oriented Systems with SPE*ED
Proceedings of the 9th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Information Requirements for Software Performance Engineering
MMB '95 Proceedings of the 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation: Quantitative Evaluation of Computing and Communication Systems
UML based performance modeling framework for object-oriented distributed systems
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A Probabilistic Extension of UML Statecharts
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
Performance prediction of J2EE applications using messaging protocols
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Performance engineering and stochastic modelling
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
A formal semantics of UML statecharts by means of timed petri nets
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Performance evaluation approaches for software architects
Component-Based Software Development for Embedded Systems
| Hi-index | 0.00 |
As hardware becomes faster and bandwidth greater, the determination of the performance of software based systems during design, known as Software Performance Engineering (SPE), is a growing concern. A recent seminar of experts at Dagstuhl and the First International Workshop on Software and Performance have both highlighted the need to bring performance evaluation into the software design process. The Unified Modelling Language (UML) has emerged in the last two years as a widely accepted standard notation for software design and it is an attractive vehicle for SPE. In this paper UML's Collaboration and Statechart diagrams are shown to allow systematic generation of Generalised Stochastic Petri Net (GSPN) models, which can be solved to find their throughput and other performance measures. Using the example of communication via the alternating bit protocol, such a mapping is demonstrated and the resulting GSPN solved using the SPNP package. The basis of a usable methodology for SPE is explored.