0
Validity Checker andTranslator into State Transition System   for Graphical Modeling Language              Irene Ully Havs...
#1                      #2 Background   The Project              Progress &              Remaining                Tasks   ...
#1                               #2  Background          The ProjectModel Driven Engineering                        Progre...
Software                           Abstract Representation  Development          “Model”         of a Problem Domain   Par...
“Model”                              Modeling Metamodel                              LanguageDefine the properties        ...
TextualGraphical            Modeling            LanguageBehaviour               BehaviourTree (BT)     Engineering
(Reversion) ^Component                             Operator                     (Reference) =>Object, Actor   (Synchroniza...
State Transition SystemVariable:                       Transition:X = {high, low}                 T1 : X=highY = {red, gre...
State Transition         System                                              “Proven”      Model                          ...
SAL Model Checker    Input File
Property
Current Tools
PROBLEMS                 2 Different Tools Not Effective Human ErrorUse Textual Representation as Input What if the syntax...
#1                          #2 Background      The Project          Goals & Technical Result                Progress &    ...
Technical Result
1+Translator to SAL Input File2+Semantic    Checker
GoalsDevelop a method to build translator for graphical modeling language (not only BT, not only in TextBE) into state tra...
Approach Model TransformationGraph Transformation
Precondition                                 Postcondition  pc1 = 1                   T2: pc1 = 1 -->                     ...
Development Framework
#1                           #2 Background        The Project       Progress     Progress & Evaluation Plan    Remaining  ...
Construct           BT & SAL MetamodelBT Metamodel • From TextBESAL Metamodel • Develop based on SAL Input File grammar
ConstructBT & SAL Metamodel                  Build Translator      Develop Translation Rules                40%
Construct                  BT & SAL MetamodelBuild Semantic   Checker               Build Translator   Semantic           ...
Try various BT DiagramsCombination:• Behaviour Types• Operator Types• Edge Types
Question?
Semantic Checker and Translator to Transition System for Graphical Modeling Language (Thesis Progress Presentation)
Semantic Checker and Translator to Transition System for Graphical Modeling Language (Thesis Progress Presentation)
Semantic Checker and Translator to Transition System for Graphical Modeling Language (Thesis Progress Presentation)
Semantic Checker and Translator to Transition System for Graphical Modeling Language (Thesis Progress Presentation)
Semantic Checker and Translator to Transition System for Graphical Modeling Language (Thesis Progress Presentation)
Semantic Checker and Translator to Transition System for Graphical Modeling Language (Thesis Progress Presentation)
Semantic Checker and Translator to Transition System for Graphical Modeling Language (Thesis Progress Presentation)
Upcoming SlideShare
Loading in...5
×

Semantic Checker and Translator to Transition System for Graphical Modeling Language (Thesis Progress Presentation)

188

Published on

Published in: Technology
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
188
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
4
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Transcript of "Semantic Checker and Translator to Transition System for Graphical Modeling Language (Thesis Progress Presentation)"

  1. 1. Validity Checker andTranslator into State Transition System for Graphical Modeling Language Irene Ully Havsa 11 Oct 2012
  2. 2. #1 #2 Background The Project Progress & Remaining Tasks #3
  3. 3. #1 #2 Background The ProjectModel Driven Engineering Progress & Graphical Modeling Language Remaining State Transition System TasksCurrent Tools #3 >>>>>>>>>> Problems
  4. 4. Software Abstract Representation Development “Model” of a Problem Domain Paradigm Model Driven Engineering specific area ofknowledge that needs to be examined Behaviour Problem System Domain Specification Engineering
  5. 5. “Model” Modeling Metamodel LanguageDefine the properties Create representation Behaviour Engineering
  6. 6. TextualGraphical Modeling LanguageBehaviour BehaviourTree (BT) Engineering
  7. 7. (Reversion) ^Component Operator (Reference) =>Object, Actor (Synchronization) = [ …… ] ? …… ? BehaviourBehaviour ??? …… ??? Condition, Type Action >> …… << etc…
  8. 8. State Transition SystemVariable: Transition:X = {high, low} T1 : X=highY = {red, green, blue} --> Y’=red T2 : Y=red --> X’=low, Y’=green T3 : X=high AND Y=red --> Y’=blueInitial State X = low ..... T2 Y = green X = high T1 X = high Y = blue Y = red T3 X = high ..... Y = blue
  9. 9. State Transition System “Proven” Model Result Checker Counterexample Property G(NOT(X=high AND Y=blue))(Logic Mathematic Formula)
  10. 10. SAL Model Checker Input File
  11. 11. Property
  12. 12. Current Tools
  13. 13. PROBLEMS 2 Different Tools Not Effective Human ErrorUse Textual Representation as Input What if the syntax of TextBE changes? The current version only accept specific kind of TextBE file
  14. 14. #1 #2 Background The Project Goals & Technical Result Progress & Approach Remaining Tool Tasks #3
  15. 15. Technical Result
  16. 16. 1+Translator to SAL Input File2+Semantic Checker
  17. 17. GoalsDevelop a method to build translator for graphical modeling language (not only BT, not only in TextBE) into state transition system (not only SAL)
  18. 18. Approach Model TransformationGraph Transformation
  19. 19. Precondition Postcondition pc1 = 1 T2: pc1 = 1 --> oven’ = cooking; Node Transition Lhs Pc [Guard] id=“pc1” id=1 Value=1 Condition Rhs [BehaviourType] id=“1” StateRealization Assignment Component Lhs id=“OVEN” id=“oven” Rhs Behaviour id=“cooking” id=“Cooking”
  20. 20. Development Framework
  21. 21. #1 #2 Background The Project Progress Progress & Evaluation Plan Remaining Tasks #3
  22. 22. Construct BT & SAL MetamodelBT Metamodel • From TextBESAL Metamodel • Develop based on SAL Input File grammar
  23. 23. ConstructBT & SAL Metamodel Build Translator Develop Translation Rules 40%
  24. 24. Construct BT & SAL MetamodelBuild Semantic Checker Build Translator Semantic Translator Checker ‘Complete’ Integrate Translator Build as Plug-In & TextBE ++Integrate with TextBE
  25. 25. Try various BT DiagramsCombination:• Behaviour Types• Operator Types• Edge Types
  26. 26. Question?
  1. A particular slide catching your eye?

    Clipping is a handy way to collect important slides you want to go back to later.

×