A strongly consistent transformation from UML interactions to PEPA nets

Juliana Bowles; Leila Kloul

doi:10.1007/978-3-319-09156-3_7

A strongly consistent transformation from UML interactions to PEPA nets

Juliana Bowles^*, Leila Kloul

^*Corresponding author for this work

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

A seamless approach suitable for both design and analysis of mobile and distributed software systems is a challenge. In this paper we provide a new constructive approach that links interaction diagrams in UML to PEPA nets, a performance modelling technique which offers capabilities for capturing notions such as location, synchronisation and message passing. Our formally defined transformation is defined in such a way that a PEPA net model realises the same language as a given Interaction Overview Diagram in UML. Furthermore, the languages are strongly consistent, in other words, there is a one-to-one correspondence between the traces of both models.

Original language	English
Title of host publication	Computational Science and Its Applications – ICCSA 2014
Subtitle of host publication	14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part V
Editors	B Murgante, S Misra, AMAC Rocha, C Torre, JG Rocha, MI Falcao, D Taniar, BO Apduhan, O Gervasi
Place of Publication	Cham
Publisher	Springer
Pages	90-105
Number of pages	16
ISBN (Print)	9783319091556, 9783319091563
DOIs	https://doi.org/10.1007/978-3-319-09156-3_7
Publication status	Published - 2014
Event	14th International Conference on Computational Science and Its Applications (ICCSA) - Guimaraes, Portugal Duration: 30 Jun 2014 → 3 Jul 2014 http://2014.iccsa.org/

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer International Publishing
Volume	8583
ISSN (Print)	0302-9743

Conference

Conference	14th International Conference on Computational Science and Its Applications (ICCSA)
Country/Territory	Portugal
Period	30/06/14 → 3/07/14
Internet address	http://2014.iccsa.org/

Keywords

Model mobile systems

Access to Document

10.1007/978-3-319-09156-3_7

Cite this

Bowles, J., & Kloul, L. (2014). A strongly consistent transformation from UML interactions to PEPA nets. In B. Murgante, S. Misra, AMAC. Rocha, C. Torre, JG. Rocha, MI. Falcao, D. Taniar, BO. Apduhan, & O. Gervasi (Eds.), Computational Science and Its Applications – ICCSA 2014: 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part V (pp. 90-105). (Lecture Notes in Computer Science; Vol. 8583). Springer. https://doi.org/10.1007/978-3-319-09156-3_7

Bowles, Juliana ; Kloul, Leila. / A strongly consistent transformation from UML interactions to PEPA nets. Computational Science and Its Applications – ICCSA 2014: 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part V. editor / B Murgante ; S Misra ; AMAC Rocha ; C Torre ; JG Rocha ; MI Falcao ; D Taniar ; BO Apduhan ; O Gervasi. Cham : Springer, 2014. pp. 90-105 (Lecture Notes in Computer Science).

@inproceedings{f02b544d0a844510ab905bffa848b0d4,

title = "A strongly consistent transformation from UML interactions to PEPA nets",

abstract = "A seamless approach suitable for both design and analysis of mobile and distributed software systems is a challenge. In this paper we provide a new constructive approach that links interaction diagrams in UML to PEPA nets, a performance modelling technique which offers capabilities for capturing notions such as location, synchronisation and message passing. Our formally defined transformation is defined in such a way that a PEPA net model realises the same language as a given Interaction Overview Diagram in UML. Furthermore, the languages are strongly consistent, in other words, there is a one-to-one correspondence between the traces of both models.",

keywords = "Model mobile systems",

author = "Juliana Bowles and Leila Kloul",

year = "2014",

doi = "10.1007/978-3-319-09156-3_7",

language = "English",

isbn = "9783319091556",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "90--105",

editor = "B Murgante and S Misra and AMAC Rocha and C Torre and JG Rocha and MI Falcao and D Taniar and BO Apduhan and O Gervasi",

booktitle = "Computational Science and Its Applications – ICCSA 2014",

address = "Netherlands",

note = "14th International Conference on Computational Science and Its Applications (ICCSA) ; Conference date: 30-06-2014 Through 03-07-2014",

url = "http://2014.iccsa.org/",

}

Bowles, J & Kloul, L 2014, A strongly consistent transformation from UML interactions to PEPA nets. in B Murgante, S Misra, AMAC Rocha, C Torre, JG Rocha, MI Falcao, D Taniar, BO Apduhan & O Gervasi (eds), Computational Science and Its Applications – ICCSA 2014: 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part V. Lecture Notes in Computer Science, vol. 8583, Springer, Cham, pp. 90-105, 14th International Conference on Computational Science and Its Applications (ICCSA), Portugal, 30/06/14. https://doi.org/10.1007/978-3-319-09156-3_7

A strongly consistent transformation from UML interactions to PEPA nets. / Bowles, Juliana; Kloul, Leila.
Computational Science and Its Applications – ICCSA 2014: 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part V. ed. / B Murgante; S Misra; AMAC Rocha; C Torre; JG Rocha; MI Falcao; D Taniar; BO Apduhan; O Gervasi. Cham: Springer, 2014. p. 90-105 (Lecture Notes in Computer Science; Vol. 8583).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A strongly consistent transformation from UML interactions to PEPA nets

AU - Bowles, Juliana

AU - Kloul, Leila

PY - 2014

Y1 - 2014

N2 - A seamless approach suitable for both design and analysis of mobile and distributed software systems is a challenge. In this paper we provide a new constructive approach that links interaction diagrams in UML to PEPA nets, a performance modelling technique which offers capabilities for capturing notions such as location, synchronisation and message passing. Our formally defined transformation is defined in such a way that a PEPA net model realises the same language as a given Interaction Overview Diagram in UML. Furthermore, the languages are strongly consistent, in other words, there is a one-to-one correspondence between the traces of both models.

AB - A seamless approach suitable for both design and analysis of mobile and distributed software systems is a challenge. In this paper we provide a new constructive approach that links interaction diagrams in UML to PEPA nets, a performance modelling technique which offers capabilities for capturing notions such as location, synchronisation and message passing. Our formally defined transformation is defined in such a way that a PEPA net model realises the same language as a given Interaction Overview Diagram in UML. Furthermore, the languages are strongly consistent, in other words, there is a one-to-one correspondence between the traces of both models.

KW - Model mobile systems

U2 - 10.1007/978-3-319-09156-3_7

DO - 10.1007/978-3-319-09156-3_7

M3 - Conference contribution

SN - 9783319091556

SN - 9783319091563

T3 - Lecture Notes in Computer Science

SP - 90

EP - 105

BT - Computational Science and Its Applications – ICCSA 2014

A2 - Murgante, B

A2 - Misra, S

A2 - Rocha, AMAC

A2 - Torre, C

A2 - Rocha, JG

A2 - Falcao, MI

A2 - Taniar, D

A2 - Apduhan, BO

A2 - Gervasi, O

PB - Springer

CY - Cham

T2 - 14th International Conference on Computational Science and Its Applications (ICCSA)

Y2 - 30 June 2014 through 3 July 2014

ER -

Bowles J, Kloul L. A strongly consistent transformation from UML interactions to PEPA nets. In Murgante B, Misra S, Rocha AMAC, Torre C, Rocha JG, Falcao MI, Taniar D, Apduhan BO, Gervasi O, editors, Computational Science and Its Applications – ICCSA 2014: 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part V. Cham: Springer. 2014. p. 90-105. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-09156-3_7

A strongly consistent transformation from UML interactions to PEPA nets

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this