Statecharts: A visual formalism for complex systems
Science of Computer Programming
The PEPA workbench: a tool to support a process algebra-based approach to performance modelling
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
A compositional approach to performance modelling
A compositional approach to performance modelling
IEEE Transactions on Software Engineering
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Theoretical Computer Science
Deriving a queueing network based performance model from UML diagrams
Proceedings of the 2nd international workshop on Software and performance
Tuning garbage collection for reducing memory system energy in an embedded java environment
ACM Transactions on Embedded Computing Systems (TECS)
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
PEPA nets: a structured performance modelling formalism
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Software performance modelling using PEPA nets
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Analysing UML 2.0 activity diagrams in the software performance engineering process
WOSP '04 Proceedings of the 4th international workshop on Software and performance
A calculus for control flow analysis of security protocols
International Journal of Information Security - Special issue on security in global computing
MAM-UML: An UML Profile for the Modeling of Mobile-Agent Applications
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
QoS modelling and analysis with UML-statecharts: the StoCharts approach
ACM SIGMETRICS Performance Evaluation Review
End-to-end integrated security and performance analysis on the DEGAS choreographer platform
FM'05 Proceedings of the 2005 international conference on Formal Methods
For-LySa: UML for authentication analysis
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Performance analysis of a UML micro-business case study
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
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
| Hi-index | 0.00 |
In this paper we show how high-level UML models of mobile computing applications can be analysed for classical performance measures such as throughput. The approach proceeds by compiling the UML model into a representation in the formally-defined modelling language of PEPA nets. The compilation process and subsequent performance analysis based on numerical solution of a Continuous-Time Markov Chain is supported by a software tool, the Choreographer design platform. Choreographer interoperates with popular UML tools by reading and writing UML models in the XML Metadata Interchange format (XMI).