Software Performance Modeling Using UML and Petri Nets

Merseguer, José; Campos, Jocileide Sales

doi:10.1007/978-3-540-24663-3_13

Cited by 38 publications

(23 citation statements)

References 30 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Among formal models, the most active ones are extended version of Petri nets and queuing network (Balsamo & Marzolla, 2005). Through undertaken activities, Merseguer and Campos (2004) presented an approach with high degree of functionality. The method is based on labeled generalized stochastic Petri net.…”

Section: Related Workmentioning

confidence: 99%

An executable software architecture model for response time and reliability assessment

Norouzi¹,

Harounabadi²

2014

10.5267/j.msl

View full text Add to dashboard Cite

With the increasing use of the Unified Modeling Language (UML) diagrams to describe the software's architecture and the importance of evaluating nonfunctional requirements at the level of software architecture, creating an executable model from these diagrams is essential. On the other hand, the UML diagrams do not directly provide features to evaluate nonfunctional system requirements. Thus, these capabilities can be added to UML diagrams by applying efficiency and reliability stereotypes. Because the techniques used in the UML is able to deal with certain matters, we develop uncertain UML, stereotypes and tags. In this paper, the architecture of a software system is described by using use case diagram, sequence and deployment of unified modeling language diagrams with annotations fuzzy stereotypes related to response time and reliability. The proposed method for calculating the response time and reliability based on fuzzy rules are introduced, and the algorithm is implemented for an executable model based on colored fuzzy Petri net.

show abstract

Section: Related Workmentioning

confidence: 99%

An executable software architecture model for response time and reliability assessment

Norouzi¹,

Harounabadi²

2014

10.5267/j.msl

View full text Add to dashboard Cite

show abstract

“…A relatively straightforward translation to Generalized Stochastic Petri Nets (GSPNs) (described for instance in [1]) can be implemented using Labeled GSPNs (LGSPNs, described in [3][11] [12]). Fragments of a CSM model have direct representations as fragments of LGSPN, with labels that direct the composition of the fragments into a full model.…”

Section: From Csm To Petri Netsmentioning

confidence: 99%

Performance by unified model analysis (PUMA)

Woodside

Petriu

Shen

et al. 2005

Proceedings of the 5th International Workshop on Software and Performance

171

158

View full text Add to dashboard Cite

Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evaluated. Performance properties, for instance, can be annotated on UML designs by using the "UML Profile for Schedulability, Performance and Time (SPT)". However the communication between the design description in UML and the tools used for non-functional properties evaluation requires support, particularly for performance where there are many alternative performance analysis tools that might be applied. This paper describes a tool architecture called PUMA, which provides a unified interface between different kinds of design information and different kinds of performance models, for example Markov models, stochastic Petri nets and process algebras, queues and layered queues.The paper concentrates on the creation of performance models. The unified interface of PUMA is centered on an intermediate model called Core Scenario Model (CSM), which is extracted from the annotated design model. Experience shows that CSM is also necessary for cleaning and auditing the design information, and providing default interpretations in case it is incomplete, before creating a performance model.

show abstract

“…Among the translations using SPNs as target are [13][14][15], using SPA [16], using QN [17,18] and LQN [19,20]. Such methods use different approches and technologies: Customization Rules [21], XSL transformations [19], algebra-based transformations [22], direct formalization [23] or Graph Grammars [20]. For a survey of such translations see [24].…”

Section: Software Performance Processmentioning

confidence: 99%

On the Integration of UML and Petri Nets in Software Development

Campos

Merseguer

2006

Petri Nets and Other Models of Concurrency - ICATPN 2006

Self Cite

View full text Add to dashboard Cite

Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life cycle. This paper summarizes in a semiformal and illustrative way our proposal for a suitable software performance engineering process. We try to integrate in a very pragmatic approach the usual object oriented methodology -supported with UML language and widespread CASE tools-with a performance modelling formalism, namely stochastic Petri nets. A simple case study is used to describe the whole process. More technical details should be looked up in the cited bibliography.

show abstract

Software Performance Modeling Using UML and Petri Nets

Cited by 38 publications

References 30 publications

An executable software architecture model for response time and reliability assessment

An executable software architecture model for response time and reliability assessment

Performance by unified model analysis (PUMA)

On the Integration of UML and Petri Nets in Software Development

Contact Info

Product

Resources

About