ModelDriven / Alf-Reference-ImplementationLinks
Open-source implementation of the Action Language for fUML (Alf) specification.
☆30Updated 2 years ago
Alternatives and similar repositories for Alf-Reference-Implementation
Users that are interested in Alf-Reference-Implementation are comparing it to the libraries listed below
Sorting:
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆63Updated 2 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆23Updated 2 years ago
- OSLC OP specifications and notes☆26Updated last week
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆69Updated last year
- Ontological Modeling Language (OML)☆27Updated 2 months ago
- The Melange Language Workbench☆29Updated last year
- The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL i…☆57Updated this week
- ☆44Updated last year
- A Python Implementation of the UML2 Metamodel based on PyEcore☆22Updated 4 years ago
- Server implementation for the Sprotty diagramming framework☆24Updated 6 months ago
- Proof-of-concept pilot implementation of the SysML v2 textual notation and visualization☆153Updated this week
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆24Updated 8 years ago
- Python Model to Text framework for PyEcore, including the Ecore to Python generator☆32Updated 4 years ago
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- DSLs for modeling and analyzing farming systems☆11Updated 8 years ago
- SysIDE provides SysML v2 language support in VS Code☆36Updated last week
- A Tool for Multi-Paradigm Modeling☆24Updated 8 months ago
- Eclipse Modeling Framework for C++☆45Updated 4 years ago
- gemoc-studio☆27Updated 3 months ago
- Proof-of-concept pilot implementation for the Systems Modeling API and Services.☆55Updated 2 months ago
- Implements (select parts of) the LionWeb specification, and tooling around that - all in TypeScript.☆11Updated this week
- This repository hosts all the projects used in the MDSE Book☆15Updated 5 years ago
- MPS-extensions aims to ease language development within MPS.☆88Updated this week
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆35Updated last year
- KIELER Lightweight Diagams☆36Updated 3 weeks ago
- Web Client Application designed to enable users to interact with Model Based System Engineering (MBSE) models☆45Updated 9 months ago
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated last year
- The next generation MBEE (4.0 Execubots) microservices and API hub. This repository hosts MBEE Core Framework (MCF) which will serve a pa…☆14Updated last year