Our goal was twofold: 1- Build a rule-based transformation for executing the operational semantics of our Maritime transport Domain Specific Language in the visual modelling tool AToMPM. 2- Implement translational semantics from our Language to Petri-Nets to allow for safety analysis.
- Formalisms/: Folder containing the Operational and Translational Semantics.
- README.md: This file.
- Models/: Multiple instance Models that have been used for testing.
- OperationalSemanticsInAToMPM.pdf: The project requirements.
- TranslationalSemanticsInAToMPM.pdf: The project requirements.
- README.md: This file.