Formally Modeling, Executing, and Testing Service-Oriented Systems with UML and OCL.
Loli BurgueñoMartin GogollaPublished in: ICSOC (2017)
Keyphrases
- modeling language
- sequence diagrams
- tool support
- metamodel
- unified modeling language
- uml diagrams
- test cases
- regression testing
- model based testing
- uml class diagrams
- testing process
- class diagram
- model driven engineering
- constraint language
- model driven
- test data
- petri net
- object oriented
- database
- class diagrams
- uml profile
- test suite
- design decisions
- database design
- case study