Login / Signup
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP.
Lucas Lima
Amaury Tavares
Sidney C. Nogueira
Published in:
Sci. Comput. Program. (2020)
Keyphrases
</>
uml activity diagrams
constraint satisfaction problems
information systems
design principles
influence diagrams