Computer Science and Engineering DaeKyoo Kim Pooja Mehta

Syntactic Conformance Checking the eligibility of model elements to play role models Semantic Conformance

CC Association Role Block Association Block OK CC Generalization Role Block Generalization Block OK

Association Role Block Check YES Generalization Role Block Check Dependency Role Block YES OK

Conformance Includes: 1: Instantiating the Constraint Templates defines in the SPS with respect to

1. Invariant Check Invariant Template RInv An SPS Inv Conforms A Class Diagram 2.

Structural Role Check Behavioral Role Check OK ? YES Parameter Role Check Ok? YES

Slides: 8

Download presentation

Computer Science and Engineering Dae-Kyoo Kim Pooja Mehta

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

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

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

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 postconditions in the class diagram refine the instantiations of the constraints templates.

1. Invariant Check Invariant Template RInv An SPS Inv Conforms A Class Diagram 2. Pre- and Post-Condition Check Context IOP(…) pre: Oppre Context IOP(…) pre: IOppre Context IOP(…) post: IOppost Conforms Context IOP(…) post: Oppost

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