Temporal Engineering using MetaEdit tool

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