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 AyedNajet HamdiYousra Bendaly HlaouiPublished in: ICSOFT (2) (2010)
Keyphrases
- class diagrams
- uml diagrams
- sequence diagrams
- activity diagrams
- uml class diagrams
- uml models
- unified modeling language
- software design
- class diagram
- formal methods
- petri net
- conceptual models
- object oriented
- metamodel
- database design
- software engineers
- state machine
- graphical representations
- model driven
- event detection
- human activities
- software engineering
- intermediate representation
- specification language
- reverse engineering
- primitive events
- process model
- software systems
- test cases
- business processes