From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation.
Yousra Bendaly HlaouiAhlem Ben YounesLeila Jemni Ben AyedManel FathalliPublished in: COMPSAC (2) (2017)
Keyphrases
- sequence diagrams
- metamodel
- petri net
- transformation rules
- cloud services
- activity diagrams
- dependency graph
- life cycle
- development process
- class diagrams
- software systems
- black box
- data model
- modeling language
- intermediate representation
- model driven
- cloud computing
- test cases
- design patterns
- model checking
- regression testing
- service providers
- computing resources
- software engineering
- business models
- workflow management systems
- mobile services
- business process
- business processes
- case study
- data center