Outils pour utilisateurs
projects:econet:materials:behavioural_model_comparison
Table des matières
Fast Comparison
| SOFA EBPL | KADL | KML | |
|---|---|---|---|
| Attachment | Frame | Component | Service+ component |
| Operations (computation) | atomic assignments (constants?) | atomic functions (algebraic) | atomic action+service calls |
| Types | Enums | ADT | “complex but open” means ad hoc |
| Guards | enum | logic+ADT | logic +ad hoc FL |
| Dynamic formalism | regexp | state transition | state transition +“hierarchy” |
| I/O | ! ? | ? ! * | ? ! ?? !! |
| Labels | ?iface.notified{!iface2.pre} | [guard] event com/action | [guard] action* (actions can be com or functions) |
corresponding java constructs
| SOFA EBPL | KADL | KML | |
|---|---|---|---|
| Attachment | |||
| Operations (computation) | |||
| Types | |||
| Guards | |||
| Dynamic formalism | |||
| I/O | |||
| Labels |
What information do we need ?
Parse Tree
Coloration used to collapse parts of the Parse Tree
Tools ?
Control Flow
Coloration used to collapse parts of the Control Flow
Tools ?
format ?
textual +API
find a good common format for both parse tree and control flow
projects/econet/materials/behavioural_model_comparison.txt · Dernière modification: 2018/04/03 16:59 (modification externe)
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Share Alike 4.0 International
