Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets

被引：6

作者：

Gomez, Abel ^{[1
]}

Rodriguez, Ricardo J. ^{[2
]}

Cambronero, Maria-Emilia ^{[3
]}

Valero, Valentin ^{[3
]}

机构：

[1] Univ Oberta Catalunya, Internet Interdisciplinary Inst IN3, Avda Carl Friedrich Gauss 5, Barcelona 08060, Spain

[2] Ctr Univ Def, Acad Gen Mil, Carr Huesca S-N, Zaragoza 50090, Spain

[3] Univ Castilla La Mancha, Dept Sistemas Informat, Escuela Super Ingn Informat Albacete, Albacete 02071, Spain

来源：

SOFTWARE AND SYSTEMS MODELING | 2019年 / 18卷 / 05期

基金：

欧盟地平线“2020”;

关键词：

UML; 2; 5; Distributed resources; Publish; Subscribe; Automated analysis; WSRF; WSN; Colored Petri nets; CPN tools; WEB SERVICES; MODEL;

D O I：

10.1007/s10270-019-00716-1

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

UML sequence diagrams are used to graphically describe the message interactions between the objects participating in a certain scenario. Combined fragments extend the basic functionality of UML sequence diagrams with control structures, such as sequences, alternatives, iterations, or parallels. In this paper, we present a UML profile to annotate sequence diagrams with combined fragments to model timed Web services with distributed resources under the publish/subscribe paradigm. This profile is exploited to automatically obtain a representation of the system based on Colored Petri nets using a novel model-to-model (M2M) transformation. This M2M transformation has been specified using QVT and has been integrated in a new add-on extending a state-of-the-art UML modeling tool. Generated Petri nets can be immediately used in well-known Petri net software, such as CPN Tools, to analyze the system behavior. Hence, our model-to-model transformation tool allows for simulating the system and finding design errors in early stages of system development, which enables us to fix them at these early phases and thus potentially saving development costs.

引用

页码：2973 / 3003

页数：31

共 49 条

[21]

Gomez A., 2006, INTERGENOMICS TRANSP

[22] A framework for variable content document generation with multiple actors [J].

Gomez, Abel ;

Carmen Penades, M. ;

Canos, Jose H. ;

Borges, Marcos R. S. ;

Llavador, Manuel .

INFORMATION AND SOFTWARE TECHNOLOGY, 2014, 56 (09) :1101-1121

[23] From UML 2 Sequence Diagrams to State Machines by Graph Transformation [J].

Gronmo, Roy ;

Moller-Pedersen, Birger .

JOURNAL OF OBJECT TECHNOLOGY, 2011, 10

[24] Testing models and model transformations using classifying terms [J].

Hilken, Frank ;

Gogolla, Martin ;

Burgueno, Loli ;

Vallecillo, Antonio .

SOFTWARE AND SYSTEMS MODELING, 2018, 17 (03) :885-912

[25]

Hillston J., 1996, A Compositional Approach to Performance Modelling

[26]

INRIA LINA, 2014, ATLAS TRANSF LANG

[27]

Jackson D., 2006, Software Abstractions: Logic, Language and Analysis

[28]

Jensen K., 1996, COLOURED PETRI NETS, VI.

[29]

Jensen K, 2009, COLOURED PETRI NETS: MODELLING AND VALIDATION OF CONCURRENT SYSTEMS, P1, DOI 10.1007/b95112

[30] Modelling concurrent interactions [J].

Küster-Filipe, J .

THEORETICAL COMPUTER SCIENCE, 2006, 351 (02) :203-220

← 1 2 3 4 5 →