An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications.
Ahlem Ben YounesLeila Jemni Ben AyedPublished in: iiWAS (2011)
Keyphrases
- event detection
- data flow
- database design
- modeling language
- model checking
- metamodel
- web services
- class diagrams
- state machine
- news stories
- software systems
- software architecture
- uml models
- object oriented
- formal methods
- business processes
- news articles
- workflow management systems
- conceptual models
- conceptual modeling
- workflow management
- workflow systems
- display advertising
- petri net
- document management
- uml class diagrams
- artificial intelligence