Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10609/122866
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Gómez Llana, Abel | - |
dc.contributor.author | Rodríguez, Ricardo J. | - |
dc.contributor.author | Cambronero, María Emilia | - |
dc.contributor.author | Valero, Valentín | - |
dc.contributor.other | Academia General Militar | - |
dc.contributor.other | Universidad de Castilla la Mancha | - |
dc.contributor.other | Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3) | - |
dc.date.accessioned | 2020-09-25T12:19:35Z | - |
dc.date.available | 2020-09-25T12:19:35Z | - |
dc.date.issued | 2019-10-01 | - |
dc.identifier.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 | - |
dc.identifier.issn | 1619-1366MIAR | - |
dc.identifier.uri | http://hdl.handle.net/10609/122866 | - |
dc.description.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. | en |
dc.language.iso | eng | - |
dc.publisher | Software and Systems Modeling | - |
dc.relation.ispartof | Software and Systems Modeling, 2019, 18() | - |
dc.relation.uri | https://doi.org/10.1007/s10270-019-00716-1 | - |
dc.rights | CC BY | - |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/es/ | - |
dc.subject | UML 2.5 | en |
dc.subject | distributed resources | en |
dc.subject | publish/subscribe | en |
dc.subject | automated analysis | en |
dc.subject | WSRF | en |
dc.subject | WSN | en |
dc.subject | colored petri nets | en |
dc.subject | CPN tools | en |
dc.subject | UML 2.5 | ca |
dc.subject | UML 2.5 | es |
dc.subject | recursos distribuïts | ca |
dc.subject | recursos distribuidos | es |
dc.subject | publicar/subscribir | es |
dc.subject | publicar/subscriure | ca |
dc.subject | anàlisi automatitzat | ca |
dc.subject | análisis automatizado | es |
dc.subject | WSRF | es |
dc.subject | WSRF | ca |
dc.subject | WSN | es |
dc.subject | WSN | ca |
dc.subject | redes de petri coloreadas | es |
dc.subject | xarxes de Petri acolorides | ca |
dc.subject | CPN Tools | es |
dc.subject | CPN Tools | ca |
dc.subject.lcsh | Computer software -- Development | en |
dc.title | Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets | - |
dc.type | info:eu-repo/semantics/article | - |
dc.subject.lemac | Programari -- Desenvolupament | ca |
dc.subject.lcshes | Software -- Desarrollo | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | - |
dc.identifier.doi | 10.1007/s10270-019-00716-1 | - |
dc.gir.id | AR/0000006907 | - |
dc.relation.projectID | info:eu-repo/grantAgreement/H2020/644869 | - |
dc.relation.projectID | info:eu-repo/grantAgreement/TIN2014-58457-R | - |
dc.relation.projectID | info:eu-repo/grantAgreement/TIN2015-65845-C3 | - |
dc.relation.projectID | info:eu-repo/grantAgreement/SBPLY/17/180501/000276 | - |
dc.type.version | info:eu-repo/semantics/publishedVersion | - |
Aparece en las colecciones: | Articles cientÍfics Articles |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
Gomez_SSM_2019_Profiling.pdf | 4,9 MB | Adobe PDF | Visualizar/Abrir |
Comparte:
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons