Quantitative system evaluation with DSPNexpress 2000
Proceedings of the 2nd international workshop on Software and performance
Deriving performance models of software architectures from message sequence charts
Proceedings of the 2nd international workshop on Software and performance
A UML tool for an automatic generation of simulation programs
Proceedings of the 2nd international workshop on Software and performance
Performance Engineering of Software Systems
Performance Engineering of Software Systems
Fundamentals of Performance Modeling
Fundamentals of Performance Modeling
From UML sequence diagrams and statecharts to analysable petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
A Real-Time Execution Semantics for UML Activity Diagrams
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Towards a Formal Operational Semantics of UML Statechart Diagrams
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
The PSR Methodology: Integrating Hardware and Software Models
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
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)
The Semantics of UML State Machines
The Semantics of UML State Machines
On the compositional properties of UML statechart diagrams
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Model-Based Performance Risk Analysis
IEEE Transactions on Software Engineering
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 models to software performance results: an SPE process based on XML interchange formats
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
How far are we from the definition of a common software performance ontology?
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
CPM: A collaborative process modeling for cooperative manufacturers
Advanced Engineering Informatics
The Future of Software Performance Engineering
FOSE '07 2007 Future of Software Engineering
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Performance evaluation of UML design with Stochastic Well-formed Nets
Journal of Systems and Software
Transformation methodology for UML 2.0 activity diagram into colored Petri nets
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Performance analysis of real-time component architectures: a model interchange approach
WOSP '08 Proceedings of the 7th international workshop on Software and performance
Towards a library of composable models to estimate the performance of security solutions
WOSP '08 Proceedings of the 7th international workshop on Software and performance
MARTE: a profile for RT/E systems modeling, analysis--and simulation?
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
Systems Analysis For Collaborative System By Use Case Diagram
Journal of Integrated Design & Process Science
Developing high quality software
International Journal of Parallel, Emergent and Distributed Systems - Papers from the Workshop on Dependable Parallel and Network-Centric Systems
A Model of Integrated Operator-System Separation Assurance and Collision Avoidance
ICDHM '09 Proceedings of the 2nd International Conference on Digital Human Modeling: Held as Part of HCI International 2009
Integration of UML and Petri Net for the process modeling and analysis in workflow applications
ICCOMP'09 Proceedings of the WSEAES 13th international conference on Computers
Qualitative and quantitative analysis of workflows based on the UML activity diagram and Petri net
WSEAS Transactions on Information Science and Applications
Synthesising PEPA nets from IODs for performance analysis
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
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
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
A triple graph grammar (TGG) approach for mapping UML 2 activities into Petri nets
SEPADS'10 Proceedings of the 9th WSEAS international conference on Software engineering, parallel and distributed systems
Simplified bi-directional transformation of UML activities into Petri nets
SEPADS'11 Proceedings of the 10th WSEAS international conference on Software engineering, parallel and distributed systems
Enhancing a QoS-based self-adaptive framework with energy management capabilities
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
Non-functional properties in the model-driven development of service-oriented systems
Software and Systems Modeling (SoSyM)
Model transformation in software performance engineering
QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
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
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
Expert Systems with Applications: An International Journal
Model interoperability for performance engineering: survey of milestones and evolution
PERFORM'10 Proceedings of the 2010 IFIP WG 6.3/7.3 international conference on Performance Evaluation of Computer and Communication Systems: milestones and future challenges
Methodological construction of product-form stochastic Petri nets for performance evaluation
Journal of Systems and Software
Time properties dedicated transformation from UML-MARTE activity to time transition system
ACM SIGSOFT Software Engineering Notes
QoS and energy management with Petri nets: A self-adaptive framework
Journal of Systems and Software
Hi-index | 0.00 |
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the integration of formal models in the software engineering process is a must, in order to enable the application of wellknown, powerful analysis techniques to software models. In previous papers the authors have stated a proposal for SPE, dealing with several UML diagram types. The proposal for malizes their semantics, and provides a method to translate them into (analyzable) GSPN models. This paper focuses on activity diagrams, which had not been dealt with so far. They will be incorporated in our SPE method, enhancing its expressivity by refining abstraction levels in the statechart diagrams. Performance requirements will be annotated according to the UML profile for schedulability, performance and time. Last but not least, our CASE tool prototype will be introduced. This tool deals with every model element from activity diagrams and ensures an automatic translation from ADs into GSPNs strictly following the process related in this paper.