A metamodeling approach to transform UML 2.0 sequence diagrams to Petri nets

Authors:
Michel dos Santos Soares;Jos Vrancken
Affiliations:
Delft University of Technology, Delft, The Netherlands;Delft University of Technology, Delft, The Netherlands
Venue:
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Year:
2008

Citing 8
Cited 0

Analysis issues in Petri nets with inhibitor arcs

Theoretical Computer Science
Seven Myths of Formal Methods

IEEE Software
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications

Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Model-Driven Development Using UML 2.0: Promises and Pitfalls

Computer
UML-B: Formal modeling and design aided by UML

ACM Transactions on Software Engineering and Methodology (TOSEM)
On the integration of UML and petri nets in software development

ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Compositional semantics for UML 2.0 sequence diagrams using petri nets

SDL'05 Proceedings of the 12th international conference on Model Driven
A formal semantics of UML statecharts by means of timed petri nets

FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Distributed applications are rapidly converging towards the adoption of a computing paradigm based on service-oriented architectures, according to which an application can be seen as a composite web service that is built by assembling a set of existing ...