Towards Formalizing UML Activity Diagrams in CSP.

Dong Xu Nduwimfura Philbert Zongtian Liu Wei Liu

Published in: ISCSCT (2) (2008)

Keyphrases

uml activity diagrams
constraint satisfaction problems
business process models
constraint satisfaction
graphical representation
constraint programming
business processes
arc consistency
constraint networks
artificial intelligence
data model
software engineering