Please use this identifier to cite or link to this item:

http://hdl.handle.net/10609/122866
Title: Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets
Author: Gómez Llana, Abel
Rodríguez, Ricardo J.
Cambronero, María Emilia
Valero, Valentín
Others: Academia General Militar
Universidad de Castilla la Mancha
Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
Keywords: UML 2.5
distributed resources
publish/subscribe
automated analysis
WSRF
WSN
colored petri nets
CPN tools
Issue Date: 1-Oct-2019
Publisher: Software and Systems Modeling
Citation: Rodríguez, R.J., Gómez, A., Cambronero, M.E. & Valero, V. (2019). Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets. Software & Systems Modeling, 18(), 2973-3003. doi: 10.1007/s10270-019-00716-1
Project identifier: info:eu-repo/grantAgreement/H2020/644869
info:eu-repo/grantAgreement/TIN2014-58457-R
info:eu-repo/grantAgreement/TIN2015-65845-C3
info:eu-repo/grantAgreement/SBPLY/17/180501/000276
Also see: https://doi.org/10.1007/s10270-019-00716-1
Abstract: 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.
Language: English
URI: http://hdl.handle.net/10609/122866
ISSN: 1619-1366MIAR
Appears in Collections:Articles
Articles

Share:
Export:
Files in This Item:
File Description SizeFormat 
Gomez_SSM_2019_Profiling.pdf4.9 MBAdobe PDFView/Open

This item is licensed under a Creative Commons License Creative Commons