Activity graphs and processes

DOI10.1007/3-540-40911-4_6MaRDI QIDQ4471912zbMATH OpenFDO

Authors Christie Bolton, James E. Davies

Publication date 30 July 2004

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/1945/19450077.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 919845
• Static mapping of process graphs
• scientific article; zbMATH DE number 5180
• Parameterized activity cycle diagram and its application
• Graph Transactions as Processes

Cited in

(8)

• An ASM semantics for UML activity diagrams
• Static mapping of process graphs
• Numbering action vertices in workflow graphs
• scientific article; zbMATH DE number 3856385 (Why is no real title available?)
• Extending activity diagrams to model mobile systems
• An execution algorithm for UML activity graphs
• Partial order semantics for use case and task models
• Simplifications of rational matrices by using UML

This page was built for publication: Activity graphs and processes

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