su4sml - an SML repository for managing (Secure)UML/OCL models
Nie możesz wybrać więcej, niż 25 tematów Tematy muszą się zaczynać od litery lub cyfry, mogą zawierać myślniki ('-') i mogą mieć do 35 znaków.
Achim D. Brucker da673e6f32 Improved Markdown. 1 rok temu
add-ons Fixed typo. 3 lat temu
doc Fixed typo. 3 lat temu
lib/fxp Removed superfluous directory level. 3 lat temu
share Fixed typo. 3 lat temu
src Fixed typo. 3 lat temu
.gitignore Removed superfluous directory level. 3 lat temu
CITATION Added citation information. 3 lat temu
CodingStyle.md Improved Markdown. 1 rok temu
LICENSE Updated license to clearly match BSD-3-Clause (SPDIX). 2 lat temu
Makefile Fixed typo. 3 lat temu
README.md Added master repository URL. 2 lat temu
STATUS Removed superfluous directory level. 3 lat temu

README.md

su4sml: An SML repository for managing SecureUML/OCL and UML/OCL models

The model repository su4sml is an SML component that stores UML models. It follows the UML/OCL metamodel in representing the model information as closely as this is sensible in a functional programming language. However, some simplifications where made deliberately. For example, we eliminated many indirections that are inherent in the UML metamodel. We also decided to ignore associations between classifiers as such. We only represent their association ends, as part of the participating classifiers

Supported SML systems

  • mlton
  • poly/ML 5.x or later
  • sml/NJ

Developers

Contributors

  • Rolf Adelsberger
  • Martin Bill
  • Raphael Eidenbenz
  • Manuel Krucker
  • Raphael Schmid
  • Manfred Stock

License

This project is licensed under a 3-clause BSD license.

SPDX-License-Identifier: BSD-3-Clause

Master Repository

The master git repository for this project is hosted by the Software Assurance & Security Research Team at https://git.logicalhacking.com/HOL-OCL/su4sml.

Publications

  • Achim D. Brucker, Jürgen Doser, and Burkhart Wolff. An MDA Framework Supporting OCL. In Electronic Communications of the EASST, 5, 2006. doi:10.14279/tuj.eceasst.5.45