Post on 18-Dec-2014
description
MetaEdit Animation
5‐Function Calculator Examplewith COSA Temporal Logic
By Gordon Morrison
(COSA)
12/6/2012 1www.VSMerlot.com
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 2www.VSMerlot.com
Trace Execution Engine
12/6/2012 3www.VSMerlot.com
Development / Runtime Trace
Runtime Logic Tree
Rule Properties
Rules in this model
12/6/2012 4www.VSMerlot.com
Step Properties
Property can show
behavior detail
Step Name
Static State
Trace Number
12/6/2012 5www.VSMerlot.com
Enter Negate
Static State
12/6/2012 6www.VSMerlot.com
Integer
True/False Behaviors
12/6/2012 7www.VSMerlot.com
Decimal True Next Green
12/6/2012 8www.VSMerlot.com
FractionFalse Next Red
Trace Number
12/6/2012 9www.VSMerlot.com
Not Clear Entry
Subtract Operation Entered
Either Next Black
Trace Number
12/6/2012 10www.VSMerlot.com
Not Clear
12/6/2012 11www.VSMerlot.com
Push
Either T/F12/6/2012 12www.VSMerlot.com
Not Add
12/6/2012 13www.VSMerlot.com
Subtract True
12/6/2012 14www.VSMerlot.com
Engine Off
12/6/2012 15www.VSMerlot.com
Enter Negate
12/6/2012 16www.VSMerlot.com
Integer
12/6/2012 17www.VSMerlot.com
Decimal
12/6/2012 18www.VSMerlot.com
Fraction
12/6/2012 19www.VSMerlot.com
Not Clear Entry
Equal Result Entered
12/6/2012 20www.VSMerlot.com
Not Clear
12/6/2012 21www.VSMerlot.com
Save
12/6/2012 22www.VSMerlot.com
Not Percent
12/6/2012 23www.VSMerlot.com
Equals
12/6/2012 24www.VSMerlot.com
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 25www.VSMerlot.com
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 26www.VSMerlot.com