Validation of System Behavior from an Integrated Semantics of Use Case and Design Models.
Duc-Hanh Dang · 2007
This paper summarizes an approach how to specify use cases and how to solve the problem of validating the conformance between the use case model and the design model. An integrated semantics of the two models is proposed. We employ UMLand OCL-based techniques as well as ideas from graph transformation. This research contributes to model transformation within the area of Model Driven Development (MDD).