An ASM Semantics of Token Flow in UML 2 Activity Diagrams

DOI10.1007/978-3-540-70881-0_30zbMath1185.68231OpenAlexW1531136865MaRDI QIDQ3401960

Stefan Sarstedt, Walter Guttmann

Publication date: 2 February 2010

Published in: Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70881-0_30

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: An ASM Semantics of Token Flow in UML 2 Activity Diagrams