On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams

DOI10.1007/S00165-006-0003-6zbMath1102.68451OpenAlexW2008535490MaRDI QIDQ855010

Perdita Stevens, Jennifer Tenzer

Publication date: 20 December 2006

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/12644216/fac.pdf

zbMATH Keywords

UMLRecursionCallbacksObject-oriented modellingProtocol state machinesState machines

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Theory of software (68N99)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams