Verifying UML-based Interaction Using Coloured Petri Nets

被引：0
|
作者：
Saputra, Aditya Bagoes [1 ]
Basuki, Thomas Anung [1 ]
Tirtawangsa, Jimmy [2 ]
机构：
[1] Parahyangan Catholic Univ, Dept Informat, Bandung, Indonesia
[2] Telkom Univ, Sch Comp, Bandung, Indonesia
来源：
2014 International Conference on Data and Software Engineering (ICODSE) | 2014年
关键词：
UML; sequence diagram; verification; CPN; state space; liveness; fairness; model-checking;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Verification of an interaction design becomes very important in the system development. Meanwhile, UML, as a standard tool in the system development, is not able to provide a formal verification of the design directly. This paper provides an approach to verify the UML-based interaction by using CPN. The interaction is modelled using UML 2.0 sequence diagram. The verification focuses on identifying the reachability, deadlock, inconsistency, and user errors: initialisation error, order error, and post-completion error. This verification uses the CPN analysis techniques such as state space analysis, strongly-connected component graph, liveness properties and fairness properties. Using a case study of chocolate machine, the verification approach is applied.
引用
收藏
页数：6
相关论文
共 50 条
  • [21] On the abstraction of Coloured Petri Nets
    Lakos, C
    APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 42 - 61
  • [22] Coloured Batches Petri Nets
    Caradec, M
    Prunet, F
    MANAGEMENT AND CONTROL OF PRODUCTION AND LOGISTICS, VOL 1 AND 2, 1998, : 227 - 232
  • [23] Modelling and evaluation of QCN using coloured petri nets
    Mliki, Hela
    Chaari, Lamia
    Kamoun, Lotfi
    PEER-TO-PEER NETWORKING AND APPLICATIONS, 2018, 11 (03) : 486 - 503
  • [24] Modelling and Control of AS/RS Using Coloured Petri Nets
    Kucera, Erik
    Haffner, Oto
    Kozak, Stefan
    2016 CYBERNETICS & INFORMATICS (K&I), 2016,
  • [25] Modelling and evaluation of QCN using coloured petri nets
    Hela Mliki
    Lamia Chaari
    Lotfi Kamoun
    Peer-to-Peer Networking and Applications, 2018, 11 : 486 - 503
  • [26] Designing a Workflow System Using Coloured Petri Nets
    Russell, Nick C.
    van der Aalst, Wil M. P.
    ter Hofstede, Arthur H. M.
    TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY III, 2009, 5800 : 1 - +
  • [27] Modelling of CVBF Algorithm using Coloured Petri Nets
    Ibrahim, Dina M.
    Sallam, Elsayed A.
    Eltobely, Tarek E.
    Fahmy, Mahmoud M.
    2014 9TH INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING & SYSTEMS (ICCES), 2014, : 26 - 31
  • [28] A Coloured Petri Nets Based Attack Tolerance Framework
    Zhou, Wenbo
    Dague, Philippe
    Liu, Lei
    Ye, Lina
    Zaidi, Fatiha
    2020 27TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2020), 2020, : 159 - 168
  • [29] HLA interoperability analysis based coloured petri nets
    Combettes, S
    Nketsa, A
    MODELLING AND SIMULATION 2002, 2002, : 269 - 272
  • [30] Modeling of coordination policy based on coloured Petri nets
    Li, R., 2001, Xi'an Jiaotong University (35):
12345