graphs4value / refineryLinks
Refinery: an efficient graph solver for generating well-formed models
☆17Updated 3 weeks ago
Alternatives and similar repositories for refinery
Users that are interested in refinery are comparing it to the libraries listed below
Sorting:
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that ut…☆22Updated last week
- Epsilon is a family of Java-based scripting languages for automating common model-based software engineering tasks, such as code generati…☆76Updated last week
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆23Updated 2 years ago
- The Train Benchmark framework for evaluating incremental model validation performance☆12Updated 2 years ago
- The Next Generation Logic Library☆145Updated 7 months ago
- Multi-backend EMF persistence framework.☆54Updated 4 months ago
- Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages☆101Updated last week
- Modelserver component☆45Updated last month
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- ☆26Updated 3 years ago
- A Toolkit for Systematic Literature Reviews☆39Updated last year
- The Melange Language Workbench☆29Updated last year
- Declarative algorithms for simple operations on relational schemas and functional dependency sets (e.g. minimal cover, highest normal for…☆25Updated 3 years ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆94Updated 2 weeks ago
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆63Updated 2 years ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆155Updated this week
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- Eclipse Lyo, a Java SDK for OSLC-based tool integration☆18Updated this week
- TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.☆31Updated last week
- A UML web modeling tool based on GLSP, distributed via a VS Code extension.☆43Updated this week
- EMF Binding for RDF☆25Updated 9 years ago
- A Java project ready to run ATL/EMFVM transformations☆12Updated 3 years ago
- Ontological Modeling Language (OML)☆27Updated last week
- Whelk is an OWL EL reasoner☆29Updated 3 months ago
- Tutorial: Building a language server for your DSL with Xtext☆27Updated last year
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆174Updated 6 months ago
- An Xtext DSL for EMF metamodels refactoring and migration☆13Updated last week
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆24Updated 8 years ago