YY, 1 From UML to Petri Nets: the PCM-based Methodology Salvatore Distefano, Marco Scarpa and Antonio Puliafito Abstract—In this paper, we present. Unified Modeling Language (UML) and Colored Petri Net (CPN) have a lot of advantages D. SalvatoreFrom UML to Petri Nets: The PCM-Based Methodology. Our experience in the integration of process algebra based performance validation in an industrial From UML to Petri Nets: The PCM-Based Methodology.
|Country:||Republic of Macedonia|
|Published (Last):||21 June 2013|
|PDF File Size:||11.69 Mb|
|ePub File Size:||20.26 Mb|
|Price:||Free* [*Free Regsitration Required]|
From UML to Petri Nets: The PCM-Based Methodology
If both contain metthodology, MT1 and MT2 are concurrently enabled. The work made by OMG The intermediate model approach provides flexibility to the Object Management Groupin particular the specification methodology allowing to use different analysis techniques of UML Unified Modeling Language , and its sudden for evaluating the performance of a software architecture.
Topics Discussed in This Paper. Therefore, only steps 1 and 5 need the interaction to characterize specific constructs.
The UML model is described by deployment clusive remarks on the proposed methodology. Software engineering, performances evaluation, Petri nets, UML, software performance engineering. In the specific of the example depicted in Fig. This 4 hets and 4 c respectively, are almost the same, the only characterization has allowed to use the compositional ap- differences are in the attribute of transition DT and in the proach.
The pcm-baeed model is translated into a performance model ths is subsequently evaluated. References Publications referenced by this paper. The matching PJoinStep S8 joins such parallel branches, Referring to the website example, the merging object incoming from the PMergeStep S7 through place la- of the activity diagram of Fig. The former models a simple generic wl successor 3 WT4 timed step, while the latter represents a generic timed W: The former approach , , performance properties of a software step maps the UML model into a PCM, subsequently architecture should be analyzed and evaluated before it is mapped into the corresponding performance model the implemented.
It is always followed the elements and the information necessary to evaluate by a PMergeStep that collects all the branches incom- the performance of the selected independent part of the ing from the matching PDeciderStep. The specific access management policy scheduler, buffer policy, Petdi is based on the SPT profile and can be mapped into etc.
The proposed approach is based on open umml well-known standards: The validity of the proposed technique is and cheeper one.
In particular, by these we name. RUExample and Exam- 4. SC, composing their input place ARstart.
Dif- , , , or simulation . PVertexStep or more parallel threads. In such SLPN the composed The utilization can be computed over each processing places have been highlighted.
Articles by Antonio Puliafito. Conflicts, and problems on labels may arise if two action. PVertexStep e c o: In order to simplify the comprehension of such UML-PCM-PN compliant model and therefore evaluated elements we discuss the website application example with in terms of performance. In the first Registered closed workloadrequest web pages to the phase each PCM element is mapped into the corresponding application running into a Server node. The former identify nfts access to o, as specified in its o.
From UML to Petri Nets: The PCM-Based Methodology | Salvatore Distefano –
Showing of 28 extracted citations. Moreover, the use performance context model PCM. MusicStream transient analysis performance indexes.
In this paper, we present an evaluation methodology to validate the performance of a UML model, representing a software architecture. The link between WorkLoad and with the supervision of the modeler. In corresponding deployment diagram. The methodology splits the translation from the UML domain growing interest during the last decade. Performance modelling and analysis of real time systems: It In this section, we intend to describe the phases and the set describes a simple website application, in which a flow of of rules to map a PCM model into a Petri net.
Also the resources when the system is heavy loaded less than 0.
From UML to Petri Nets: The PCM-Based Methodology
Semantic Scholar estimates that this publication has 56 citations based on the available data. However, such maximum value of MusicStream steady state performance indexes.
YY, 3 use case, activity, statechart, and interaction SPT-annotated ular decomposition of the software architecture under diagrams, while the architecture of the computing system exam. It is very Fig. The latter model resources acquired and and the degree of concurrency of the system resources. In addition to these that one token is into the input place of at least one of the measures, the SLPN model can be used to derive more transitions in the set TP pegri, or, in other words, the resource is interesting measures like the expected number of pending busy.
All the measures will be presented by considering a The mapping towards PN models allows the computa- single umo, so we omit the reference to its specific sub- tion of other interesting measures, such as: Skip to main content.
The object diagram ted to the website application, three of them are concur- describes a specific instance of the PCM meta-model de- rently processed and, at most, other two are buffered, while picted in the Fig. The final PN model is obtained The technique developed in the ArgoPerformance tool, exploiting compositional technique.