An execution algorithm for UML activity graphs

DOI10.1007/3-540-45441-1_5MaRDI QIDQ4435844zbMATH OpenFDO

Authors Rik Eshuis, R. Wieringa

Publication date 20 November 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2185/21850047.htm, https://ris.utwente.nl/ws/files/5390400/fulltext.pdf

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• A real-time execution semantics for UML activity diagrams
• Timing analysis of UML activity diagrams
• Activity graphs and processes
• An ASM semantics for UML activity diagrams
• Understanding UML: a formal semantics of concurrency and communication in real-time UML.

Cited in

(4)

• A real-time execution semantics for UML activity diagrams
• scientific article; zbMATH DE number 5652629 (Why is no real title available?)
• Timing analysis of UML activity diagrams
• Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems

This page was built for publication: An execution algorithm for UML activity graphs

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