A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
Deriving performance models of software architectures from message sequence charts
Proceedings of the 2nd international workshop on Software and performance
Deriving a queueing network based performance model from UML diagrams
Proceedings of the 2nd international workshop on Software and performance
The PSR Methodology: Integrating Hardware and Software Models
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
A survey of equivalence notions for net based systems
Advances in Petri Nets 1992, The DEMON Project
The box calculus: a new causal algebra with multi-label communication
Advances in Petri Nets 1992, The DEMON Project
Validation of GSPN and SWN Models through the PROD Tool
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Automated Dependability Analysis of UML Designs
ISORC '99 Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
The Semantics of UML State Machines
The Semantics of UML State Machines
The Production Cell: An Exercise in the Formal Verification of a UML Model
The Production Cell: An Exercise in the Formal Verification of a UML Model
Timing Analysis of UML Sequence Diagrams
Timing Analysis of UML Sequence Diagrams
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
Early performance testing of distributed software applications
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software
IEEE Transactions on Software Engineering
Model-Based Performance Risk Analysis
IEEE Transactions on Software Engineering
Efficient Evaluation of Alternatives for Assembly of Services
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 15 - Volume 16
QoS modelling and analysis with UML-statecharts: the StoCharts approach
ACM SIGMETRICS Performance Evaluation Review
Metadata-driven design of integrated environments for software performance validation
Journal of Systems and Software
Performance by unified model analysis (PUMA)
Proceedings of the 5th international workshop on Software and performance
A model transformation framework for the automated building of performance models from UML models
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
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Stability of Feature Selection Algorithms
ICDM '05 Proceedings of the Fifth IEEE International Conference on Data Mining
Using UML models for the performance analysis of network systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
QoS Assessment via Stochastic Analysis
IEEE Internet Computing
Using UML state machines and petri nets for the quantitative investigation of ETCS
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Performance evaluation of a DVB-H enabled mobile device system model
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Integrating Software Models and Platform Models for Performance Analysis
IEEE Transactions on Software Engineering
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
An object-oriented approach to formally analyze the UML 2.0 activity partitions
Information and Software Technology
Performance evaluation of UML design with Stochastic Well-formed Nets
Journal of Systems and Software
A toolkit for performability evaluation based on stochastic UML state machines
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Transformation from live sequence charts to colored Petri nets
Proceedings of the 2007 Summer Computer Simulation Conference
Investigating factors influencing the response time in J2EE web applications
SEPADS'05 Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems
Rule-based automatic software performance diagnosis and improvement
WOSP '08 Proceedings of the 7th international workshop on Software and performance
WOSP '08 Proceedings of the 7th international workshop on Software and performance
Towards automatic derivation of a product performance model from a UML software product line model
WOSP '08 Proceedings of the 7th international workshop on Software and performance
A Development Process for Self-adapting Service Oriented Applications
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
From Model Driven Engineering to Verification Driven Engineering
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
Integrating Performance Analysis in the Model Driven Development of Software Product Lines
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
A practical approach for performance-driven UML modelling of handheld devices - A case study
Journal of Systems and Software
Rethinking the Use of Models in Software Architecture
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
A novel algorithm to model the queue limit
CSECS'08 Proceedings of the 7th conference on Circuits, systems, electronics, control and signal processing
Convergence and limit of mean-value analysis algorithms
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
Systems Analysis For Collaborative System By Use Case Diagram
Journal of Integrated Design & Process Science
Using UML models for the performance analysis of network systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Petri net translation patterns for the analysis of ebusiness collaboration messaging protocols
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Improved performance models of web-based software systems
INES'09 Proceedings of the IEEE 13th international conference on Intelligent Engineering Systems
Transformation of UML Models into Analyzable OSAN Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Improved performance model for web-based software systems
WSEAS Transactions on Computers
A Novel Cost Model of XML Serialization
Electronic Notes in Theoretical Computer Science (ENTCS)
Introduction to software performance engineering: origins and outstanding problems
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
From annotated software designs (UML SPT/MARTE) to model formalisms
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
A system dependability modeling framework using AADL and GSPNs
Architecting dependable systems IV
Modeling the effect of application server settings on the performance of J2EE web applications
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
Generating transformation rules from examples for behavioral models
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
A state/event-based model-checking approach for the analysis of abstract system properties
Science of Computer Programming
Semantics of UML models for dynamic behavior: a survey of different approaches
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Multiformalism and transformation inheritance for dependability analysis of critical systems
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Detection and solution of software performance antipatterns in palladio architectural models
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Framework for hybrid performance prediction process model: use case performance engineering approach
ACM SIGSOFT Software Engineering Notes
Non-functional properties in the model-driven development of service-oriented systems
Software and Systems Modeling (SoSyM)
Modeling and early performance estimation for network processor applications
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Model transformation in software performance engineering
QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
Optimized colored nets unfolding
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
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
Compositional semantics for UML 2.0 sequence diagrams using petri nets
SDL'05 Proceedings of the 12th international conference on Model Driven
Consistency checking of concurrent models for scenario-based specifications
SDL'05 Proceedings of the 12th international conference on Model Driven
Checking the validity of scenarios in UML models
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A radix-8 multiplier design and its extension for efficient implementation of imaging algorithms
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
Annotating UML models with non-functional properties for quantitative analysis
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Abstraction-raising transformation for generating analysis models
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Choreographing security and performance analysis for web services
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
Model-Driven performance analysis of UML design models based on stochastic process algebra
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Control flow analysis of UML 2.0 sequence diagrams
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Example-Based sequence diagrams to colored petri nets transformation using heuristic search
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
UML diagrams supporting domain specification inside the CRUTIAL project
CRITIS'07 Proceedings of the Second international conference on Critical Information Infrastructures Security
Achieving closed-loop control simulation of human-artefact interaction: a comparative review
Modelling and Simulation in Engineering
MADES: a tool chain for automated verification of UML models of embedded systems
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
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
An approach for modeling and detecting software performance antipatterns based on first-order logics
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
In this paper we study the use of Sequence Diagrams and Statecharts of the Unified Modeling Language (UML) for the validation and the performance evaluation of systems. We assume that the system is specified as a set of Statecharts and that Sequence Diagrams are used to represent "executions of interest". UML lacks a formal semantics and hence it is not possible to apply, directly, mathematical techniques on UML models for system validation. To reach this goal we propose an automatic translation of Statecharts and Sequence Diagrams into Generalized Stochastic Petri Nets, and a composition of the resulting net models suitable for reaching a given analysis goal. The translation into Petri nets is based on the abstract syntax of the UML Collaborations and of the State Machines packages (from which Sequence Diagrams and Statecharts are derived) and the construction of the complete model heavily uses compositionality.