A Model Driven Approach to the Analysis of Timeliness Properties

Ameedeen, Mohamed Ariff; Bordbar, Behzad; Anane, Rachid

doi:10.1007/978-3-642-02674-4_16

Cited by 6 publications

(3 citation statements)

References 17 publications

(43 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Petri Nets could also perform time related analysis such as performance analysis and Quality of Service (QoS) analysis. This flavor of Petri Nets can be obtained using the enhancement of SD2PN that is described in [16].…”

Section: Analysis Resultsmentioning

confidence: 99%

See 1 more Smart Citation

A Model Driven Analysis of the 802.11 CSMA/CA Protocol through SD2PN

Ameedeen

Bordbar

2020

International Journal of Simulation Systems Science &Amp; Technology

Self Cite

View full text Add to dashboard Cite

Unified Modelling Language (UML) has been conferred as the de facto standard in modeling by majority in the software system development community. Among the various types of diagrams that exist under the umbrella of UML is Sequence Diagram. Sequence Diagrams are capable of modeling interactional behaviours as well as dynamic happenings in a system, and as such are generally used in the modeling of complex software systems. However in this paper, Sequence Diagrams are used in the modeling of the IEEE 802.11 Carrier Sense Multiple Access with Collision Avoidance (CSMA/CA) protocol. The Sequence Diagram representing this protocol will then be used for formal, mathematical analysis by first transforming the Sequence Diagram through the MDA model transformation tool called SD2PN, and performing analysis such as liveness analysis, boundedness analysis and reachability analysis of the resulting Petri Net.

show abstract

Section: Analysis Resultsmentioning

confidence: 99%

“…SD2PN is a rule-based MDD model transformation that transforms any Sequence Diagrams that conforms to the metamodel in Figure 1 into Petri Nets. It was first introduced in [4] and subsequently updated through [15][16][17]. The model transformation process is hereby described in three stages:…”

Section: Sd2pn: An Mdd Model Transformation From Sequence Diagramentioning

confidence: 99%

A Model Driven Analysis of the 802.11 CSMA/CA Protocol through SD2PN

Ameedeen

Bordbar

2020

International Journal of Simulation Systems Science &Amp; Technology

Self Cite

View full text Add to dashboard Cite

show abstract

“…However, it was also determined that the scope of the analysis in conventional Petri Nets did not extend to performance analysis, which is a critical factor in real-time systems. Thus, an enhancement to the model transformation was introduced in [23] where SD2PN is augmented with timeliness properties. This section details the enhancement and illustrates the significance of integrating time as a component in the model transformation.…”

Section: Extension Of Sd2pn With Timeliness Propertiesmentioning

confidence: 99%

Model interoperability via Model Driven Development

Ameedeen

Bordbar

Anane

2011

Journal of Computer and System Sciences

Self Cite

View full text Add to dashboard Cite

Model Driven Development Model interoperability Software development UML Petri NetsAmong the factors that contribute to the inherent complexity of the software development process is the gap between the design and the formal analysis domains. Software design is often considered a human oriented task while the analysis phase draws on formal representation and mathematical foundations. An example of this dichotomy is the use of UML for the software design phase and Petri Nets for the analysis; a separation of concerns that leads to the creation of heterogeneous models. Although UML is widely accepted as a language that can be used to model the structural and behavioural aspects of a system, its lack of mathematical foundations is seen as a serious impediment to rigorous analysis. Petri Nets on the other hand have a strong mathematical basis that are well suited for formal analysis; they lack however the appeal and the ease-of-use of UML. A pressing concern for software developers is how to bridge the gap between these domains and allow for model interoperability and the integration of different toolsets across them, and thus reduce the complexity of the software development process. The aim of this paper is to present a Model Driven Development (MDD) model transformation which supports a seamless transition between UML and Petri Nets. This is achieved by model interoperability from UML Sequence Diagrams to Petri Nets and supported by tool integration. The model transformation framework allows a software system to be designed in terms of UML Sequence Diagrams and subjected to formal analysis by taking advantage of the strong mathematical framework of Petri Nets. The behaviour of a Personal Area Network will be used to illustrate the proposed approach and to highlight model interoperability and tool integration through the design, the transformation and the analysis phases.

show abstract