1. Computer Science and Engineering Dae-Kyoo Kim Pooja Mehta

2. Syntactic Conformance Checking the eligibility of model elements to play role models Semantic Conformance Evaluation Evaluation Phases

3. Association Role Block Generalization Role Block Dependency Role Block Association Block Generalization Block Dependency Block OK CC OK CC OK SPS’s Role Blocks Class Diagram’s Element Blocks CC: Conformance Check

4. Association Role Block Check Generalization Role Block Check Dependency Role Block Classifier Role Check OK ? NO SPS Conformance Failed OK ? NO YES OK ?

5. 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.

6. 1.Invariant Check Invariant Template RInv An SPS Invariant Inv Conforms A Class Diagram 2. Pre- and Post-Condition Check Context IOP(…) pre: IOp pre Context IOP(…) post: IOp post Conforms Context IOP(…) pre:Op pre Context IOP(…) post: Op post

8. Structural Role Check Behavioral Role Check OK ? YES Parameter Role Check Type Check Metamodel-Level Constraint Check YES OK ? YES SPS Conformance Successful Ok?