Quantitative system performance: computer system analysis using queueing network models
Quantitative system performance: computer system analysis using queueing network models
A symbolic reachability graph for coloured Petri nets
Theoretical Computer Science
Deriving a queueing network based performance model from UML diagrams
Proceedings of the 2nd international workshop on Software and performance
UML extensions for the specification and evaluation of latency constraints in architectural models
Proceedings of the 2nd international workshop on Software and performance
From UML sequence diagrams and statecharts to analysable petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models
ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
Efficient simulation of SWN models
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
On the success of stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
A Compositional Semantics for UML State Machines Aimed at Performance Evaluation
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
SWN Models of a Contact Center: A Case Study
PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
A simulation-based approach to software performance modeling
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Modeling Behavioral Patterns of Concurrent Software Architectures Using Petri Nets
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
Performance by unified model analysis (PUMA)
Proceedings of the 5th international workshop on Software and performance
Proceedings of the 5th international workshop on Software and performance
From UML to LQN by XML algebra-based model transformations
Proceedings of the 5th international workshop on Software and performance
QoS Assessment via Stochastic Analysis
IEEE Internet Computing
Rethinking the Use of Models in Software Architecture
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Automating Performance Analysis from Taverna Workflows
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Developing high quality software
International Journal of Parallel, Emergent and Distributed Systems - Papers from the Workshop on Dependable Parallel and Network-Centric Systems
Automatic synthesis of SRN models from system operation templates for availability analysis
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Rapid performance modeling by transforming use case maps to palladio component models
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
Hi-index | 0.00 |
The paper presents a method to compute performance metrics (response time, sojourn time, throughput) on Unified Modeling Language design. The method starts with UML design annotated according to the UML Profile for Schedulability, Performance and Time. The UML design is transformed into a performance model where to compute the referred metrics. Being the performance model a Stochastic Well-formed Net, the method is enabled to analyze systems where the object identities are relevant as well as those where they are not. A complete case study reveals how to apply the method and its usefulness.