modelint Goto Github PK

bridge

Explicit and implicit mapping across distinct layers of abstraction

dataflow-semantics

Here we model the execution semantics of simple data flow diagrams

elevator

Educational case study to see how xUML (Executable UML) to define a skyscraper elevator application

flatland-model-diagram-editor

Model text file + layout text file -> beautiful diagram

how-to-build-shlaer-mellor-class-models

I updated the book back in 2017 but never republished. I own all publishing rights so, maybe wikify it here?

logic-math-and-models

How math, predicate logic and relational theory form the foundations of Shlaer-Mellor Executable UML

make-xuml-repo

Creates a model repository database from a Shlaer-Mellor Executable UML metamodel

mbse-tutorials

How to Build Executable System Specifications Tutorial Series

micca

Micca is a program to aid in the translation of Executable UML (xUML) domain models into C code. The actual code is maintained outside of Github, but this repository serves as, not so much a mirror, but as a location for a wiki and discussion group and convenient set of references to the fossil repository where it is maintained.o

models-to-code

Home for the book Models to Code by Leon Starr, Andrew Mangogna, and Stephen Mellor

op-parser

pyral

A pythonic interface to Andrew Mangogna's TclRAL relational algebra tcl implementation of Date and Darwen's Tutorial D

scrall

Scrall Pseudo-Action Language for Executable UML

shlaer-mellor-metamodel

A metamodel to support Executable UML based on Shlaer-Mellor semantics

tablet

2D draw interface to Cairo graphics for MBSE tooling

xcm-parser

Parse Executable Shlaer-Mellor Class Models

xuml-populate

DSL parser to support the SM Metamodel Class Model