An interleaving semantics for UML 2 interactions using Petri nets

DOI10.1016/J.INS.2012.12.024MaRDI QIDQ2510133zbMATH OpenOpenAlexFDO

Authors Thouraya Bouabana-Tebibel, Stuart H. Rubin

Publication date 1 August 2014

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ins.2012.12.024

zbMATH Keywords

formalizationPetri netssemanticsUML2validationverification

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Ordering actions in sequence diagrams of UML
• Modelling concurrent interactions
• Algebraic Methodology and Software Technology
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Branching Time Semantics for UML 2.0 Sequence Diagrams

Cited in

(6)

• Complexity of the deadlock problem for Petri nets modeling resource allocation systems
• Ordering actions in sequence diagrams of UML
• scientific article; zbMATH DE number 5004762 (Why is no real title available?)
• Decomposing Interactions
• scientific article; zbMATH DE number 2006507 (Why is no real title available?)
• Improving UML with Petri nets

Describes a project that uses

Uses Software

• Vertaf

This page was built for publication: An interleaving semantics for UML 2 interactions using Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2510133)