1 / 8

Computer Science and Engineering Dae-Kyoo Kim Pooja Mehta

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.

rayya
Download Presentation

Computer Science and Engineering Dae-Kyoo Kim Pooja Mehta

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Evaluating Pattern Conformance of UML Models Computer Science and Engineering Dae-Kyoo Kim Pooja Mehta

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

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

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

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

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

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

More Related