 Joeri Exelmans
|
87fdb8c190
InteractiveDecisionMaker uses alphabet characters to identify choices (less confusing, because model elements often already include numbers)
|
vor 1 Jahr |
|
Joeri Exelmans
|
c9c5a5214d
add petrinet 'mutex'-example from MoSIS slides
|
vor 1 Jahr |
|
Joeri Exelmans
|
5240c7e21a
Add petrinet language
|
vor 1 Jahr |
|
Joeri Exelmans
|
dd7a0536c9
Add example demonstrating abstract association and inheritance between associations
|
vor 1 Jahr |
|
Joeri Exelmans
|
d56132f4d5
Fix bug in Class Diagram parser
|
vor 1 Jahr |
|
Joeri Exelmans
|
1845c3deb9
Rename matcher modules to make more sense
|
vor 1 Jahr |
|
Joeri Exelmans
|
42757ddc4f
add examples
|
vor 1 Jahr |
|
Joeri Exelmans
|
8504ba52f6
RAMify: associations can also have attributes...
|
vor 1 Jahr |
|
Joeri Exelmans
|
6d7a62545c
rewriter: first create, then delete
|
vor 1 Jahr |
|
Joeri Exelmans
|
943af428a7
make all builtins available in action code
|
vor 1 Jahr |
|
Joeri Exelmans
|
bede501752
fix bug in matcher
|
vor 1 Jahr |
|
Joeri Exelmans
|
abbc854a50
fix bug
|
vor 1 Jahr |
|
Joeri Exelmans
|
e3d4889f91
Handle 'condition' object-attribute in RHS as well
|
vor 1 Jahr |
|
Joeri Exelmans
|
ad3752cd61
Rewrite the 'rewriter' + Added transformation schedule to CBD example, simplifying the rules
|
vor 1 Jahr |
|
Joeri Exelmans
|
80cba4b9f8
CBD model is computing Fibonacci numbers! :)
|
vor 1 Jahr |
|
Joeri Exelmans
|
9c68b288c1
Make OD-API for consistent for constraints, LHS patterns, RHS actions.
|
vor 1 Jahr |
|
Joeri Exelmans
|
1eb8a84553
(WIP) implementing CBD language... Meta-meta-model: Association inherits from Class. Matcher accepts pivot. Add generic graphviz renderer.
|
vor 1 Jahr |
|
Joeri Exelmans
|
a26ceef10f
Conformance checker relies much more on ODAPI rather than duplicating its logic + Fix error in bootstrap of primitive types
|
vor 1 Jahr |
|
Joeri Exelmans
|
c92d5be284
Add comment
|
vor 1 Jahr |
|
Joeri Exelmans
|
31e0f8195f
Conformance checker: use CDAPI for subtype checking
|
vor 1 Jahr |
|
Joeri Exelmans
|
361591f971
Conformance checker: begin porting to CDAPI for subtype checking
|
vor 1 Jahr |
|
Joeri Exelmans
|
75d938d2be
OD parser: use ODAPI instead of 'OD' service + support ActionCode-typed attributes
|
vor 1 Jahr |
|
Joeri Exelmans
|
16604d0f0b
OD service: redirect function already implemented in ODAPI
|
vor 1 Jahr |
|
Joeri Exelmans
|
b73ca789cc
Conformance checker bug: also look for subtypes of associations when checking multiplicities
|
vor 1 Jahr |
|
Joeri Exelmans
|
641e4b9810
(WIP) add CBD language
|
vor 1 Jahr |
|
Joeri Exelmans
|
a89fe4bb71
Port language: Textual renderer shows when a berth is being operated
|
vor 1 Jahr |
|
Joeri Exelmans
|
cc89fe96c1
Fix graphviz renderer for 'port' language
|
vor 1 Jahr |
|
Joeri Exelmans
|
b944ece747
Let's keep it simple
|
vor 1 Jahr |
|
Joeri Exelmans
|
86610139d2
Refactor 'port' demo to include starting point for assignment
|
vor 1 Jahr |
|
Joeri Exelmans
|
72c78c664f
Update gitignore
|
vor 1 Jahr |
