The Unified Modeling Language user guide
The Unified Modeling Language user guide
Modelling with Generalized Stochastic Petri Nets
ACM SIGMETRICS Performance Evaluation Review - Special issue on Stochastic Petri Nets
From UML sequence diagrams and statecharts to analysable petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
IEEE Internet Computing
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Model-Based Performance Risk Analysis
IEEE Transactions on Software Engineering
Performance Analysis Using Stochastic Petri Nets
IEEE Transactions on Computers
A UML profile for dependability analysis of real-time embedded systems
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Performance evaluation of UML design with Stochastic Well-formed Nets
Journal of Systems and Software
Adding Dependability Analysis Capabilities to the MARTE Profile
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Modeling of the human body using stochastic Petri nets
MS '08 Proceedings of the 19th IASTED International Conference on Modelling and Simulation
A multiple system performance monitoring model for web services
ADMI'10 Proceedings of the 6th international conference on Agents and data mining interaction
A dependability profile within MARTE
Software and Systems Modeling (SoSyM)
On the integration of UML and petri nets in software development
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
ArgoSPE: model-based software performance engineering
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Dependability modeling and analysis of software systems specified with UML
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
Using a stochastic modeling approach based on the Unified Modeling Language and enriched with annotations that conform to the UML profile for schedulability, performance, and time, the authors propose a method for assessing quality of service (QoS) in fault-tolerant (FT) distributed systems. From the UML system specification, they produce a generalized stochastic Petri net (GSPN) performancemodel for assessing an FT application's QoS via stochastic analysis. The ArgoSPE tool provides support for the proposed technique, helping to automatically produce the GSPN model.