Meta edit calc execution v3
1 like551 views
This document describes a 5-function calculator example modeled with COSA temporal logic. It shows how the COSA execution engine provides a trace at every step of logic execution that relates directly to the modeled rules, steps, and behaviors. Screenshots demonstrate how the trace execution is visible both in MetaEdit models of the rules and logic, and in the COSA tree. The document explains that the intuitive user interface allows defining the domain language, dragging and dropping model elements, and generating code for the target platform without using dialog boxes.
Meta edit calc execution v3
- 1. (COSA) MetaEdit Animation 5‐Function Calculator Example with COSA Temporal Logic By Gordon Morrison 12/6/2012 www.VSMerlot.com 1
- 2. MetaEdit with COSA Trace • The COSA Execution Engine – Trace available at every step of logic – Provides direct relationship to all models • Show execution in MetaEdit – Rules – Steps / Behaviors and Logic • Show Execution in COSA tree – Example follows: ‐3.1 ‐ ‐2.1 = ‐1 12/6/2012 www.VSMerlot.com 2
- 3. Trace Execution Engine 12/6/2012 www.VSMerlot.com 3
- 4. Development / Runtime Trace Rules in this model Runtime Logic Tree Rule Properties 12/6/2012 www.VSMerlot.com 4
- 5. Step Properties Step Name Static State Trace Number Property can show behavior detail 12/6/2012 www.VSMerlot.com 5
- 6. Enter Negate Static State 12/6/2012 www.VSMerlot.com 6
- 7. Integer True/False Behaviors 12/6/2012 www.VSMerlot.com 7
- 8. Decimal True Next Green 12/6/2012 www.VSMerlot.com 8
- 9. Trace Number Fraction False Next Red 12/6/2012 www.VSMerlot.com 9
- 10. Not Clear Entry Subtract Operation Entered Trace Number Either Next Black 12/6/2012 www.VSMerlot.com 10
- 11. Not Clear 12/6/2012 www.VSMerlot.com 11
- 12. Push Either T/F 12/6/2012 www.VSMerlot.com 12
- 13. Not Add 12/6/2012 www.VSMerlot.com 13
- 14. Subtract True 12/6/2012 www.VSMerlot.com 14
- 15. Engine Off 12/6/2012 www.VSMerlot.com 15
- 16. Enter Negate 12/6/2012 www.VSMerlot.com 16
- 17. Integer 12/6/2012 www.VSMerlot.com 17
- 18. Decimal 12/6/2012 www.VSMerlot.com 18
- 19. Fraction 12/6/2012 www.VSMerlot.com 19
- 20. Not Clear Entry Equal Result Entered 12/6/2012 www.VSMerlot.com 20
- 21. Not Clear 12/6/2012 www.VSMerlot.com 21
- 22. Save 12/6/2012 www.VSMerlot.com 22
- 23. Not Percent 12/6/2012 www.VSMerlot.com 23
- 24. Equals 12/6/2012 www.VSMerlot.com 24
- 25. Ready for Next Calculation • Equals stops the COSA engine • Points temporal pointer back to Oper1 Rule – Green arrow • Waits on next event 12/6/2012 www.VSMerlot.com 25
- 26. Intuitive User Interface • Define domain language in BNF editor – UML + MetaEdit + COSA domains • Drag and drop – class, rules, steps, logic • No dialog boxes • Select diagram – Edit object property – Connect or change logic flow – Edit or add behavior code • Menu driven generation – Select target language – Select target platform – Execute with model testing 12/6/2012 www.VSMerlot.com 26