Transformation of UML 2.0 sequence diagram into Coloured Petri Nets

Aditya Bagoesr Saputra; Thomas Anung Basuki; Jimmy Tirtawangsa

doi:10.1109/ICAICTA.2014.7005948

Transformation of UML 2.0 sequence diagram into Coloured Petri Nets

Aditya Bagoesr Saputra, Thomas Anung Basuki, Jimmy Tirtawangsa

School of Mathematical & Computer Sciences

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

6 Citations (Scopus)

Abstract

UML is populer tool for modeling a system., but this tool cannot be evaluated directly. On the other hand., Coloured Petri Nets (CPN) is a simulation tool which has rich features for analysis. The capability to analyze the UML diagrams is important to help evaluating a system design. In this paper., we propose a set of transformation rules to transform UML 2.0 sequence diagram into CPN. To show the implementation of the rules., we provide a case study of chocolate machine.

Original language	English
Title of host publication	2014 International Conference of Advanced Informatics: Concept, Theory and Application (ICAICTA)
Publisher	IEEE
Pages	243-248
Number of pages	6
ISBN (Electronic)	9781479951000
DOIs	https://doi.org/10.1109/ICAICTA.2014.7005948
Publication status	Published - 12 Jan 2015
Event	2014 International Conference on Advanced Informatics: Concept, Theory and Application - Bandung, Indonesia Duration: 20 Aug 2014 → 21 Aug 2014

Conference

Conference	2014 International Conference on Advanced Informatics: Concept, Theory and Application
Abbreviated title	ICAICTA 2014
Country/Territory	Indonesia
City	Bandung
Period	20/08/14 → 21/08/14

Keywords

Coloured Petri Nets
sequence diagram
transformation rules
UML

ASJC Scopus subject areas

Artificial Intelligence
Computational Theory and Mathematics
Computer Science Applications

Access to Document

10.1109/ICAICTA.2014.7005948

Cite this

@inproceedings{0f76819554ce4b4a9537088d3c4eefe3,

title = "Transformation of UML 2.0 sequence diagram into Coloured Petri Nets",

abstract = "UML is populer tool for modeling a system., but this tool cannot be evaluated directly. On the other hand., Coloured Petri Nets (CPN) is a simulation tool which has rich features for analysis. The capability to analyze the UML diagrams is important to help evaluating a system design. In this paper., we propose a set of transformation rules to transform UML 2.0 sequence diagram into CPN. To show the implementation of the rules., we provide a case study of chocolate machine.",

keywords = "Coloured Petri Nets, sequence diagram, transformation rules, UML",

author = "Saputra, {Aditya Bagoesr} and Basuki, {Thomas Anung} and Jimmy Tirtawangsa",

note = "Publisher Copyright: {\textcopyright} 2014 IEEE.; 2014 International Conference on Advanced Informatics: Concept, Theory and Application, ICAICTA 2014 ; Conference date: 20-08-2014 Through 21-08-2014",

year = "2015",

month = jan,

day = "12",

doi = "10.1109/ICAICTA.2014.7005948",

language = "English",

pages = "243--248",

booktitle = "2014 International Conference of Advanced Informatics: Concept, Theory and Application (ICAICTA)",

publisher = "IEEE",

address = "United States",

}

Saputra, AB, Basuki, TA & Tirtawangsa, J 2015, Transformation of UML 2.0 sequence diagram into Coloured Petri Nets. in 2014 International Conference of Advanced Informatics: Concept, Theory and Application (ICAICTA). IEEE, pp. 243-248, 2014 International Conference on Advanced Informatics: Concept, Theory and Application, Bandung, Indonesia, 20/08/14. https://doi.org/10.1109/ICAICTA.2014.7005948

TY - GEN

T1 - Transformation of UML 2.0 sequence diagram into Coloured Petri Nets

AU - Saputra, Aditya Bagoesr

AU - Basuki, Thomas Anung

AU - Tirtawangsa, Jimmy

PY - 2015/1/12

Y1 - 2015/1/12

N2 - UML is populer tool for modeling a system., but this tool cannot be evaluated directly. On the other hand., Coloured Petri Nets (CPN) is a simulation tool which has rich features for analysis. The capability to analyze the UML diagrams is important to help evaluating a system design. In this paper., we propose a set of transformation rules to transform UML 2.0 sequence diagram into CPN. To show the implementation of the rules., we provide a case study of chocolate machine.

AB - UML is populer tool for modeling a system., but this tool cannot be evaluated directly. On the other hand., Coloured Petri Nets (CPN) is a simulation tool which has rich features for analysis. The capability to analyze the UML diagrams is important to help evaluating a system design. In this paper., we propose a set of transformation rules to transform UML 2.0 sequence diagram into CPN. To show the implementation of the rules., we provide a case study of chocolate machine.

KW - Coloured Petri Nets

KW - sequence diagram

KW - transformation rules

KW - UML

UR - http://www.scopus.com/inward/record.url?scp=84922185984&partnerID=8YFLogxK

U2 - 10.1109/ICAICTA.2014.7005948

DO - 10.1109/ICAICTA.2014.7005948

M3 - Conference contribution

AN - SCOPUS:84922185984

SP - 243

EP - 248

BT - 2014 International Conference of Advanced Informatics: Concept, Theory and Application (ICAICTA)

PB - IEEE

T2 - 2014 International Conference on Advanced Informatics: Concept, Theory and Application

Y2 - 20 August 2014 through 21 August 2014

ER -

Transformation of UML 2.0 sequence diagram into Coloured Petri Nets

Abstract

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this