Add to ORKGIn 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).
This paper presents an approach for analysis, design and simulation of mobile systems. The approach ...
Abstract. We present a software tool platform which facilitates secu-rity and performance analysis o...
As software development cycles become shorter, it is more important to evaluate non-functional prope...
We show how UML2.0 together with PEPA nets can be used to model dynamic aspects of mobile applicatio...
A seamless approach suitable for both design and analysis of mobile and distributed software systems...
The current generation of network-centric applications ex- hibits an increasingly higher degree of m...
A seamless approach suitable for both design and analysis of mobile and distributed software sys-tem...
The object-based Unified Modeling Language (UML) is a popular medium for effective design of most sy...
We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computin...
In this article, we present a performance engineering enhanced modelling methodology for designing e...
Abstract. We describe a novel performability modelling approach which facilitates the efficient solu...
The high heterogeneity and variability of mobile computing environments can adversely affect the per...
Abstract. Global systems – systems which may operate over transient networks including mobile elemen...
A seamless approach suitable for both design and analysis of mobile and distributed software systems...
We propose a model-based approach to analysing the performance of mobile applications where physical...
This paper presents an approach for analysis, design and simulation of mobile systems. The approach ...
Abstract. We present a software tool platform which facilitates secu-rity and performance analysis o...
As software development cycles become shorter, it is more important to evaluate non-functional prope...
We show how UML2.0 together with PEPA nets can be used to model dynamic aspects of mobile applicatio...
A seamless approach suitable for both design and analysis of mobile and distributed software systems...
The current generation of network-centric applications ex- hibits an increasingly higher degree of m...
A seamless approach suitable for both design and analysis of mobile and distributed software sys-tem...
The object-based Unified Modeling Language (UML) is a popular medium for effective design of most sy...
We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computin...
In this article, we present a performance engineering enhanced modelling methodology for designing e...
Abstract. We describe a novel performability modelling approach which facilitates the efficient solu...
The high heterogeneity and variability of mobile computing environments can adversely affect the per...
Abstract. Global systems – systems which may operate over transient networks including mobile elemen...
A seamless approach suitable for both design and analysis of mobile and distributed software systems...
We propose a model-based approach to analysing the performance of mobile applications where physical...
This paper presents an approach for analysis, design and simulation of mobile systems. The approach ...
Abstract. We present a software tool platform which facilitates secu-rity and performance analysis o...
As software development cycles become shorter, it is more important to evaluate non-functional prope...