Strongly Consistent Languages for Modelling Mobility

Juliana Bowles (1) , Leila Kloul (2)

1 School of Computer Science
2 PRISM - Parallélisme, Réseaux, Systèmes, Modélisation

A seamless approach suitable for both design and analysis of mobile and distributed software systems is a challenge. The object-based Unified Modeling Language (UML) is a popular medium for effective design of most systems. PEPA nets are a recent performance modelling technique which offers capabilities for capturing notions such as location, synchronisation and message passing, and are thus suited for performance modelling of mobile and distributed software. In this paper, we provide a new constructive approach that links both models by deriving a PEPA net which realises the same language (legal set of traces) as a given Interaction Overview Diagram (IOD) in UML2. We prove that the languages are strongly consistent (equivalent) by establishing the one-to-one correspondence between the traces of the models.

Mots clés: UML2 Interaction Diagrams; PEPA nets; Formal Transformation; Mobility; Performance Analysis

Domaines: Modélisation et simulation; Performance et fiabilité [cs.PF]

Juliana Bowles, Leila Kloul. Strongly Consistent Languages for Modelling Mobility. 2009. ⟨hal-00419934⟩