An UML Activities Diagrams Translation into Event B Supporting the Specification and the Verification of Workflow Application Models - From UML Activities Diagrams to Event B.

Leila Jemni Ben Ayed, Najet Hamdi, Yousra Bendaly Hlaoui

Browse the full ICSoft paper archive.