Meta edit calc execution v3

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


Trace Execution Engine


Development / Runtime Trace

Runtime Logic Tree

Rule Properties

Rules in this model


Step Properties

Property can show

behavior detail

Step Name

Static State

Trace Number


Enter Negate

Static State


Integer

True/False Behaviors


Decimal True Next Green


FractionFalse Next Red

Trace Number


Not Clear Entry

Subtract Operation Entered

Either Next Black

Trace Number


Not Clear


Push

Either T/F12/6/2012 12www.VSMerlot.com

Not Add


Subtract True


Engine Off


Enter Negate


Integer


Decimal


Fraction


Not Clear Entry

Equal Result Entered


Not Clear


Save


Not Percent


Equals


Ready for Next Calculation

• Equals stops the COSA engine• Points temporal pointer back to Oper1 Rule

– Green arrow

• Waits on next event


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


Meta edit calc execution v3

Technology

Transcript of Meta edit calc execution v3