|
|
a89fe4bb71
|
Port language: Textual renderer shows when a berth is being operated
|
2024-10-30 10:23:35 +01:00 |
|
|
|
cc89fe96c1
|
Fix graphviz renderer for 'port' language
|
2024-10-30 10:17:20 +01:00 |
|
|
|
b944ece747
|
Let's keep it simple
|
2024-10-30 03:14:50 +01:00 |
|
|
|
86610139d2
|
Refactor 'port' demo to include starting point for assignment
|
2024-10-30 01:02:11 +01:00 |
|
|
|
72c78c664f
|
Update gitignore
|
2024-10-29 23:49:30 +01:00 |
|
|
|
b116496f87
|
Make sure line is erased.
|
2024-10-29 23:48:42 +01:00 |
|
|
|
43080f88fe
|
ODAPI: fix bug + add function 'has_slot'
|
2024-10-29 23:48:30 +01:00 |
|
|
|
51b8469856
|
Clearer error msg
|
2024-10-29 23:48:07 +01:00 |
|
|
|
48f7a455fb
|
Fancy up the conformance checker a bit. Clearer error messages, and allow constraints to return not just a boolean, but also (lists of) strings, containing error messages.
|
2024-10-29 23:47:41 +01:00 |
|
|
|
a14676da42
|
Add models for assignment 4.
|
2024-10-29 23:46:10 +01:00 |
|
|
|
a682204381
|
OD textual renderer: fix order when there are links to/from links
|
2024-10-29 23:45:39 +01:00 |
|
|
|
d671c5d71a
|
Remove duped code
|
2024-10-29 16:22:29 +01:00 |
|
|
|
7338a6675d
|
Clearer error when getting non-existing slot
|
2024-10-29 16:18:27 +01:00 |
|
|
|
67c6779b20
|
Clearer error when creating link between non-existing objects
|
2024-10-29 16:14:10 +01:00 |
|
|
|
64708cb8d0
|
Clearer exceptions caused by constraint evaluation
|
2024-10-29 16:13:13 +01:00 |
|
|
|
043f44d163
|
Move function for making actions pure to simulator lib
|
2024-10-29 11:36:42 +01:00 |
|
|
|
c738e8bcd1
|
Extract language-independent 'Simulator' class from woods example
|
2024-10-29 11:20:32 +01:00 |
|
|
|
590ce0b0b9
|
Fix bug in ODAPI
|
2024-10-29 11:19:50 +01:00 |
|
|
|
a4352e3184
|
BIG speedup by caching the *set* of edge targets for a given key
|
2024-10-28 17:11:55 +01:00 |
|
|
|
38924237e1
|
Don't add conformance check to actions (just check always after every step)
|
2024-10-28 16:31:57 +01:00 |
|
|
|
d8b52dd5c4
|
Add random simulation. Add option to also execute actions that lead to non-conforming model.
|
2024-10-28 16:16:30 +01:00 |
|
|
|
cd26a401fe
|
Add example of 'woods' operational semantics. Clearer error messages. Implement full OD-API. Small refactoring of Conformance class.
|
2024-10-28 14:15:12 +01:00 |
|
|
|
f2dc299eab
|
Begin working on semantics example: runtime (meta-)model extends design (meta-)model
|
2024-10-24 16:25:53 +02:00 |
|
|
|
98ae637eea
|
Fix bug where creation of slot defined in super-class fails + clearer error message
|
2024-10-24 16:24:54 +02:00 |
|
|
|
6cd8bbb8cc
|
Clearer error message when parsing fails
|
2024-10-24 16:23:23 +02:00 |
|
|
|
cc2bfc3c3c
|
Fix PlantUML urls
|
2024-10-21 15:08:13 +02:00 |
|
|
|
b38d42b5d0
|
Fix abstract class check in OD._create_object (wrong MM)
|
2024-10-21 15:02:34 +02:00 |
|
|
|
ee790e4a11
|
Fix parsing primitive types
|
2024-10-21 15:01:27 +02:00 |
|
|
|
107f2f750e
|
Associations are like Classes and can also have attributes
|
2024-10-21 15:00:04 +02:00 |
|
|
|
cfafbc2efa
|
Fixed multiplicity infinity in class diagrams parser
|
2024-10-16 09:22:45 +02:00 |
|
|
|
596abf5cdd
|
Conformance checker: check class-level constraints also on subtypes
|
2024-10-14 17:00:31 +02:00 |
|
|
|
4c4edf1963
|
CD parser: only add ModelRefs for types that don't exist yet
|
2024-10-09 15:19:54 +02:00 |
|
|
|
d30844dddd
|
add some comments
|
2024-10-09 15:11:23 +02:00 |
|
|
|
52ded8af77
|
Add concrete syntax for class diagrams + example (woods2.py)
|
2024-10-09 15:09:16 +02:00 |
|
|
|
c248fc9090
|
Fix problems with older versions of Python
|
2024-10-09 10:32:32 +02:00 |
|
|
|
7daee41907
|
fix requirements.txt
|
2024-10-09 10:03:13 +02:00 |
|
|
|
8f785db55a
|
add gitignore
|
2024-10-08 22:36:33 +02:00 |
|
|
|
17bff66e8e
|
Add conformance checking example
|
2024-10-08 22:35:47 +02:00 |
|
|
|
b69efc9af0
|
Fix bug in conformance checker
|
2024-10-08 22:34:49 +02:00 |
|
|
|
e70eae2286
|
PlantUML: render class cardinalities. Extend constraint checker API.
|
2024-10-08 21:08:06 +02:00 |
|
|
|
c351649d23
|
Add 'cloner'. Example also uses concrete syntax for LHS and RHS. Renders all possible rewrites and morphisms with LHS and RHS.
|
2024-10-08 12:22:37 +02:00 |
|
|
|
e875821e70
|
Concrete syntax no longer indentation-based (nightmare to parse). Add indented multi-line code terminals.
|
2024-10-07 18:18:05 +02:00 |
|
|
|
59de61d0a3
|
Add ActionCode primitive type. Fix constraint checking.
|
2024-10-07 16:08:23 +02:00 |
|
|
|
0785b9218e
|
Fix some bugs in conformance checker
|
2024-10-04 10:50:29 +02:00 |
|
|
|
03cc568516
|
Move file. Small fix.
|
2024-10-04 10:50:16 +02:00 |
|
|
|
9faa5770a8
|
(Re)Move some files
|
2024-10-03 17:19:25 +02:00 |
|
|
|
175edb64d9
|
Class diagram can be rendered as object diagram textual syntax, and parsed back, without information loss
|
2024-10-03 17:01:13 +02:00 |
|
|
|
f45872d3f7
|
Abstract away Object Diagram pattern matching in a function that does all the magic
|
2024-09-13 12:32:12 +02:00 |
|
|
|
13f19cdec6
|
Example of rendering the entire match set, and rendering the rewrite (match between RHS and updated host graph)
|
2024-09-13 12:09:24 +02:00 |
|
|
|
a926de1998
|
PlantUML: also render 'matchedWith' traceability links between attributes
|
2024-09-12 17:10:18 +02:00 |
|
