Activity Graphs and Processes
- 1 January 2000
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Use case maps for the capture and validation of distributed systems requirementsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Using Relational and Behavioural Semantics in the Verification of Object ModelsPublished by Springer Science and Business Media LLC ,2000
- On the Refinement and Simulation of Data Types and ProcessesPublished by Springer Science and Business Media LLC ,1999
- Towards a Formal Operational Semantics of UML Statechart DiagramsPublished by Springer Science and Business Media LLC ,1999
- A Junction Between State Based and Behavioural SpecificationPublished by Springer Science and Business Media LLC ,1999
- Verifying an infinite family of inductions simultaneously using data independence and FDRPublished by Springer Science and Business Media LLC ,1999
- Exploring The Semantics of UML Type Structures with ZPublished by Springer Science and Business Media LLC ,1997
- Object-Z: A specification language advocated for the description of standardsComputer Standards & Interfaces, 1995
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Notes on Communicating Sequential SystemsPublished by Springer Science and Business Media LLC ,1986