80 likes | 183 Vues
Evaluating Pattern Conformance. of UML Models. Computer Science and Engineering Dae-Kyoo Kim Pooja Mehta. Pattern Conformance Evaluation. Syntactic Conformance Checking the eligibility of model elements to play role models. Semantic Conformance Evaluation. Evaluation Phases. CC. CC. CC.
E N D
Evaluating Pattern Conformance of UML Models Computer Science and Engineering Dae-Kyoo Kim Pooja Mehta
Pattern Conformance Evaluation Syntactic Conformance Checking the eligibility of model elements to play role models Semantic Conformance Evaluation Evaluation Phases
CC CC CC OK OK Syntactical Conformance Association Role Block Association Block OK Generalization Role Block Generalization Block Dependency Role Block Dependency Block SPS’s Role Blocks Class Diagram’s Element Blocks CC: Conformance Check
OK ? OK ? OK ? OK ? Flow of Syntactic SPS Conformance Check Association Role Block Check Generalization Role Block Check Dependency Role Block Classifier Role Check YES YES YES YES OK ? NO NO NO NO SPS Conformance Failed
Semantic Conformance Evaluation Conformance Includes: 1: Instantiating the Constraint Templates defines in the SPS with respect to the binding from Syntactic Conformance. 2: Establishing that the invariants and pre- and post-conditions in the class diagram refine the instantiations of the constraints templates.
Context IOP(…) pre: IOppre Context IOP(…) pre:Oppre Context IOP(…) post: IOppost Context IOP(…) post: Oppost Semantic Conformance Checks • Invariant Check Invariant Inv Invariant Template RInv Conforms An SPS A Class Diagram 2. Pre- and Post-Condition Check Conforms
Structural Role Check Behavioral Role Check OK ? YES Parameter Role Check Ok? YES Metamodel-Level Constraint Check Type Check OK ? OK ? YES YES SPS Conformance Successful