Commit graph

Select branches

Hide pull requests

development

master

mde2425

Mono Color

• 42757ddc4f add examples Joeri Exelmans 2024-11-13 10:07:16 +01:00
• 8504ba52f6 RAMify: associations can also have attributes... Joeri Exelmans 2024-11-12 21:54:41 +01:00
• 6d7a62545c rewriter: first create, then delete Joeri Exelmans 2024-11-12 21:54:23 +01:00
• 943af428a7 make all builtins available in action code Joeri Exelmans 2024-11-12 21:54:06 +01:00
• bede501752 fix bug in matcher Joeri Exelmans 2024-11-12 21:53:50 +01:00
• abbc854a50 fix bug Joeri Exelmans 2024-11-11 18:56:34 +01:00
• e3d4889f91 Handle 'condition' object-attribute in RHS as well Joeri Exelmans 2024-11-08 16:43:26 +01:00
• ad3752cd61 Rewrite the 'rewriter' + Added transformation schedule to CBD example, simplifying the rules Joeri Exelmans 2024-11-08 16:27:32 +01:00
• 80cba4b9f8 CBD model is computing Fibonacci numbers! :) Joeri Exelmans 2024-11-07 15:38:13 +01:00
• 9c68b288c1 Make OD-API for consistent for constraints, LHS patterns, RHS actions. Joeri Exelmans 2024-11-07 11:05:06 +01:00
• 1eb8a84553 (WIP) implementing CBD language... Meta-meta-model: Association inherits from Class. Matcher accepts pivot. Add generic graphviz renderer. Joeri Exelmans 2024-11-07 09:46:29 +01:00
• a26ceef10f Conformance checker relies much more on ODAPI rather than duplicating its logic + Fix error in bootstrap of primitive types Joeri Exelmans 2024-11-05 16:54:00 +01:00
• c92d5be284 Add comment Joeri Exelmans 2024-11-05 14:17:28 +01:00
• 31e0f8195f Conformance checker: use CDAPI for subtype checking Joeri Exelmans 2024-11-05 14:17:09 +01:00
• 361591f971 Conformance checker: begin porting to CDAPI for subtype checking Joeri Exelmans 2024-11-05 13:59:44 +01:00
• 75d938d2be OD parser: use ODAPI instead of 'OD' service + support ActionCode-typed attributes Joeri Exelmans 2024-11-05 13:58:40 +01:00
• 16604d0f0b OD service: redirect function already implemented in ODAPI Joeri Exelmans 2024-11-05 13:58:02 +01:00
• b73ca789cc Conformance checker bug: also look for subtypes of associations when checking multiplicities Joeri Exelmans 2024-11-05 13:57:17 +01:00
• 641e4b9810 (WIP) add CBD language Joeri Exelmans 2024-11-05 13:54:42 +01:00
• a89fe4bb71 Port language: Textual renderer shows when a berth is being operated Joeri Exelmans 2024-10-30 10:23:35 +01:00
• cc89fe96c1 Fix graphviz renderer for 'port' language Joeri Exelmans 2024-10-30 10:17:20 +01:00
• b944ece747 Let's keep it simple Joeri Exelmans 2024-10-30 03:14:50 +01:00
• 86610139d2 Refactor 'port' demo to include starting point for assignment Joeri Exelmans 2024-10-30 01:02:11 +01:00
• 72c78c664f Update gitignore Joeri Exelmans 2024-10-29 23:49:30 +01:00
• b116496f87 Make sure line is erased. Joeri Exelmans 2024-10-29 23:48:42 +01:00
• 43080f88fe ODAPI: fix bug + add function 'has_slot' Joeri Exelmans 2024-10-29 23:48:30 +01:00
• 51b8469856 Clearer error msg Joeri Exelmans 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. Joeri Exelmans 2024-10-29 23:47:41 +01:00
• a14676da42 Add models for assignment 4. Joeri Exelmans 2024-10-29 23:46:10 +01:00
• a682204381 OD textual renderer: fix order when there are links to/from links Joeri Exelmans 2024-10-29 23:45:39 +01:00
• d671c5d71a Remove duped code Joeri Exelmans 2024-10-29 16:22:29 +01:00
• 7338a6675d Clearer error when getting non-existing slot Joeri Exelmans 2024-10-29 16:18:27 +01:00
• 67c6779b20 Clearer error when creating link between non-existing objects Joeri Exelmans 2024-10-29 16:14:10 +01:00
• 64708cb8d0 Clearer exceptions caused by constraint evaluation Joeri Exelmans 2024-10-29 16:13:13 +01:00
• 043f44d163 Move function for making actions pure to simulator lib Joeri Exelmans 2024-10-29 11:36:42 +01:00
• c738e8bcd1 Extract language-independent 'Simulator' class from woods example Joeri Exelmans 2024-10-29 11:20:32 +01:00
• 590ce0b0b9 Fix bug in ODAPI Joeri Exelmans 2024-10-29 11:19:50 +01:00
• a4352e3184 BIG speedup by caching the *set* of edge targets for a given key Joeri Exelmans 2024-10-28 17:11:55 +01:00
• 38924237e1 Don't add conformance check to actions (just check always after every step) Joeri Exelmans 2024-10-28 16:31:57 +01:00
• d8b52dd5c4 Add random simulation. Add option to also execute actions that lead to non-conforming model. Joeri Exelmans 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. Joeri Exelmans 2024-10-28 14:15:12 +01:00
• f2dc299eab Begin working on semantics example: runtime (meta-)model extends design (meta-)model Joeri Exelmans 2024-10-24 16:25:53 +02:00
• 98ae637eea Fix bug where creation of slot defined in super-class fails + clearer error message Joeri Exelmans 2024-10-24 16:24:54 +02:00
• 6cd8bbb8cc Clearer error message when parsing fails Joeri Exelmans 2024-10-24 16:23:23 +02:00
• cc2bfc3c3c Fix PlantUML urls Joeri Exelmans 2024-10-21 15:08:13 +02:00
• b38d42b5d0 Fix abstract class check in OD._create_object (wrong MM) Joeri Exelmans 2024-10-21 15:02:34 +02:00
• ee790e4a11 Fix parsing primitive types Joeri Exelmans 2024-10-21 15:01:27 +02:00
• 107f2f750e Associations are like Classes and can also have attributes Joeri Exelmans 2024-10-21 14:59:01 +02:00
• cfafbc2efa Fixed multiplicity infinity in class diagrams parser Joeri Exelmans 2024-10-16 09:22:45 +02:00
• 596abf5cdd Conformance checker: check class-level constraints also on subtypes Joeri Exelmans 2024-10-14 17:00:31 +02:00
• 4c4edf1963 CD parser: only add ModelRefs for types that don't exist yet Joeri Exelmans 2024-10-09 15:19:54 +02:00
• d30844dddd add some comments Joeri Exelmans 2024-10-09 15:11:23 +02:00
• 52ded8af77 Add concrete syntax for class diagrams + example (woods2.py) Joeri Exelmans 2024-10-09 15:09:16 +02:00
• c248fc9090 Fix problems with older versions of Python Joeri Exelmans 2024-10-09 10:32:32 +02:00
• 7daee41907 fix requirements.txt Joeri Exelmans 2024-10-09 10:03:13 +02:00
• 8f785db55a add gitignore Joeri Exelmans 2024-10-08 22:36:33 +02:00
• 17bff66e8e Add conformance checking example Joeri Exelmans 2024-10-08 22:35:47 +02:00
• b69efc9af0 Fix bug in conformance checker Joeri Exelmans 2024-10-08 22:34:49 +02:00
• e70eae2286 PlantUML: render class cardinalities. Extend constraint checker API. Joeri Exelmans 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. Joeri Exelmans 2024-10-08 12:22:37 +02:00
• e875821e70 Concrete syntax no longer indentation-based (nightmare to parse). Add indented multi-line code terminals. Joeri Exelmans 2024-10-07 18:18:05 +02:00
• 59de61d0a3 Add ActionCode primitive type. Fix constraint checking. Joeri Exelmans 2024-10-07 16:08:23 +02:00
• 0785b9218e Fix some bugs in conformance checker Joeri Exelmans 2024-10-04 10:50:29 +02:00
• 03cc568516 Move file. Small fix. Joeri Exelmans 2024-10-04 10:50:16 +02:00
• 9faa5770a8 (Re)Move some files Joeri Exelmans 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 Joeri Exelmans 2024-10-03 17:01:13 +02:00
• f45872d3f7 Abstract away Object Diagram pattern matching in a function that does all the magic Joeri Exelmans 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) Joeri Exelmans 2024-09-13 12:09:24 +02:00
• a926de1998 PlantUML: also render 'matchedWith' traceability links between attributes Joeri Exelmans 2024-09-12 17:10:18 +02:00
• 264e96c11d Extract function Joeri Exelmans 2024-09-12 15:58:58 +02:00
• 80beadfe08 PlantUML: Also render 'RAMifies' links between attributes Joeri Exelmans 2024-09-12 15:37:31 +02:00
• 0bcee87bc1 Extend PlantUML generator with object diagrams and conformance + match links Joeri Exelmans 2024-09-12 15:22:55 +02:00
• 40552b8dcf Implement PlantUML generation for class diagrams Joeri Exelmans 2024-09-12 12:45:45 +02:00
• 89b7c83440 Hacked together graph rewriter Joeri Exelmans 2024-09-12 11:04:32 +02:00
• f12fd8bd6c Rewriter: deleting elements works Joeri Exelmans 2024-09-11 11:04:44 +02:00
• 99bcf9a542 MVS adapter: When flattening ModelRefs, prefix the names of all elements in ref'ed models Joeri Exelmans 2024-09-10 13:41:21 +02:00
• ae5eaedb4b RAMification + pattern matching: put typing information straight into the Vertices, as a Python attribute (don't put it in separate Vertices+Edges). Joeri Exelmans 2024-09-10 13:18:14 +02:00
• 700a4d103f and now pattern matching also works with typing information added to the graph Joeri Exelmans 2024-09-06 21:32:03 +02:00
• 4160a8953e Tweak matcher (compute connected components in advance). Simple pattern matching with RAMification (incl. Python expressions) seems to work. Joeri Exelmans 2024-09-06 21:10:23 +02:00
• bed3529676 Add performance comparison between Sten's and Joeri's matcher. Sten's seems to be broken (giving a different match set every time), however. Joeri Exelmans 2024-09-05 11:42:32 +02:00
• b4f41cc090 Fix bug in matcher (stopped too early for disconnected patterns) Joeri Exelmans 2024-09-05 10:47:19 +02:00
• 6752c45cf6 play around with action code in pattern matching Joeri Exelmans 2024-09-04 18:05:26 +02:00
• f9049be167 fix bug in matcher Joeri Exelmans 2024-09-04 17:51:45 +02:00
• a0ccb3f35d work on my matcher Joeri Exelmans 2024-09-04 17:05:24 +02:00
• 4b1f61806c ended up rolling my own VF2 variant Joeri Exelmans 2024-09-04 16:47:38 +02:00
• ec1a9dbfca replace everywhere: 'is [not] None' -> '(==|!=) None' Joeri Exelmans 2024-09-04 09:50:30 +02:00
• 3ae35a87d0 pattern matching: convert tabs to spaces Joeri Exelmans 2024-09-04 09:34:26 +02:00
• 88172d64c5 rename Joeri Exelmans 2024-09-03 19:01:07 +02:00
• a7fac15bdc Fix RAMification Joeri Exelmans 2024-09-03 18:59:53 +02:00
• 7bda71dc1f Implemented RAMification Joeri Exelmans 2024-09-03 18:48:27 +02:00
• 8be7d6a450 Fix bug Joeri Exelmans 2024-09-03 15:51:27 +02:00
• 2b22be01ec Object Diagrams: slots work Joeri Exelmans 2024-09-03 14:00:55 +02:00
• d2c996f4f7 Turn VF2 matcher into a generator that yields all matches Joeri Exelmans 2024-09-03 12:07:29 +02:00
• 1320ea29e9 oops Joeri Exelmans 2024-09-03 11:42:32 +02:00
• 7ece331efb Pattern matching: return all the matches (instead of the first one found) Joeri Exelmans 2024-09-03 11:41:07 +02:00
• a7148d455b Fix bug in conformance checker? Joeri Exelmans 2024-09-02 15:40:04 +02:00
• 07c695f9e2 Add object diagrams service Joeri Exelmans 2024-09-02 15:39:03 +02:00
• 95a8076a17 Add Sten Vercammen's pattern matching library (ported to Python 3, numpy dependency replaced by standard library) Joeri Exelmans 2024-09-02 15:38:30 +02:00
• 151ffe0ff0 Fix bug when creating association with min/max src/tgt cardinalities? Joeri Exelmans 2024-08-29 12:22:29 +02:00
• bf88f57b16 forgot to change dependency spec Joeri Exelmans 2024-08-29 10:30:18 +02:00