Activity diagrams are graphical representations of the dynamic behavior of a system or a process. They can help you model complex scenarios and workflows with requirements engineering, by showing ...

This paper presents a specification and verification technique for distributed and parallel applications using formal and semi-formal methods. The proposed technique uses UML and Event B. The design ...