From UML sequence diagrams and statecharts to analysable petri net models

Bernardi, Simona; Donatelli, Susanna; Merseguer, José

doi:10.1145/584374.584376

Cited by 42 publications

(47 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The profile is now popular in the research community [15,[30][31][32] and is getting accepted in industry [33]. An example SD annotated with timing information using the UML-SPT is shown in Fig.…”

Section: Uml Profile For Schedulability Performance and Timementioning

confidence: 99%

“…Among MBPA techniques reported in literature (e.g., [2,4,[15][16][17][18][19][20]), a few make use of UML models, specifically activity and sequence diagrams, to analyze resource usage and load (e.g., [16]). A comprehensive survey of recent research in the field of model-based performance prediction in software development is reported in [17].…”

Section: Related Workmentioning

confidence: 99%

“…Other techniques reported in literature rely on either behavioral models [4,15] or structural (architectural) models [2], and, similarly to [16], focus on different though complementary analysis techniques: validation and performance evaluation [2,15], and schedulability analysis [4].…”

Section: Related Workmentioning

confidence: 99%

“…In Bernardi et al [15], the authors report on the use of UML 1.x sequence diagrams and statecharts for the validation and the performance evaluation of systems. The authors assume that the system is specified as a set of statecharts and that sequence diagrams are used to represent "executions of interest", i.e., scenarios of execution.…”

Section: Related Workmentioning

confidence: 99%

“…Therefore, model-based predictability analysis (MBPA) techniques (such as resource usage analysis and load forecasting) must be developed for exploiting UML models early in the design process. Several MBPA techniques have been proposed in the literature (e.g., [2,4,[15][16][17][18][19][20]), from which a few make use of UML models, specifically activity and sequence diagrams. They however support analysis techniques that are different, though complementary to ours, such as response time and throughput analysis, schedulability analysis and optimal priority assignment [16].…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

A UML-based quantitative framework for early prediction of resource usage and load in distributed real-time systems

2008

View full text Add to dashboard Cite

This paper presents a quantitative framework for early prediction of resource usage and load in distributed real-time systems (DRTS). The prediction is based on an analysis of UML 2.0 sequence diagrams, augmented with timing information, to extract timed-control flow information. It is aimed at improving the early predictability of a DRTS by offering a systematic approach to predict, at the design phase, system behavior in each time instant during its execution. Since behavioral models such as sequence diagrams are available in early design phases of the software life cycle, the framework enables resource analysis at a stage when design decisions are still easy to change. Though we provide a general framework, we use network traffic as an example resource type to illustrate how the approach is applied. We also indicate how usage and load analysis of other types of resources (e.g., CPU and memory) can be performed in a similar fashion. A case study illustrates the feasibility of the approach. Abbreviations ASAAutomatic system agent CCFG Concurrent control flow graph CCFP Concurrent control flow path CFP Control flow path DTCCFP Distributed timed concurrent control flow path LFQ Load forecasting query MBLF Model-based load forecasting MBPA Model-based predictability analysis MBRUA Model-based resource usage analysis NDD Network deployment diagram PA Predictability analysis DRTS Distributed real-time system RUA Resource usage analysis RUD Resource usage definition RUM Resource usage measure RUQ Resource usage query SCAPS SCAda-based power system SD Sequence diagram SDS Sequence diagrams schedule TC Tele-control unit TCCFP Timed concurrent control flow path UML-SPT UML profile for schedulability, performance, and time 123 276 V. Garousi et al.

show abstract

Section: Uml Profile For Schedulability Performance and Timementioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

A UML-based quantitative framework for early prediction of resource usage and load in distributed real-time systems

2008

View full text Add to dashboard Cite

show abstract

Software Model‐based Performance Analysis

Petriu

2013

Model‐Driven Engineering for Distributed Real‐Time Systems

View full text Add to dashboard Cite

KR10 An Effective Collaboration of a Modeling Tool and a Simulation and Evaluation Framework

Fernández

Mármol

2008

INCOSE International Symp

View full text Add to dashboard Cite

System modeling tools contribute to the preparation of design artifacts for subsequent stages of the system development but frequently they failed to their contribution to the evaluation of the system modeled.In the paper, we describe the approach we developed for real-time systems modeling and models evaluation. This approach is named PPOOA-Cheddar because it combines the PPOOA method and tool for architecting real-time systems with the Cheddar framework for simulation and evaluation of real-time systems. PPOOA and Cheddar tools were developed by independent groups, so we have to adapt PPOOA, the modeling tool we developed, to be integrated with the Cheddar evaluation framework. 1509 Close Next Next Prev First Next Prev First Next Prev First

show abstract

From UML sequence diagrams and statecharts to analysable petri net models

Cited by 42 publications

References 0 publications

A UML-based quantitative framework for early prediction of resource usage and load in distributed real-time systems

A UML-based quantitative framework for early prediction of resource usage and load in distributed real-time systems

Software Model‐based Performance Analysis

KR10 An Effective Collaboration of a Modeling Tool and a Simulation and Evaluation Framework

Contact Info

Product

Resources

About