su4sml - an SML repository for managing (Secure)UML/OCL models
選択できるのは25トピックまでです。 トピックは、先頭が英数字で、英数字とダッシュ('-')を使用した35文字以内のものにしてください。
Achim D. Brucker da673e6f32 Improved Markdown. 1年前
add-ons Fixed typo. 3年前
doc Fixed typo. 3年前
lib/fxp Removed superfluous directory level. 3年前
share Fixed typo. 3年前
src Fixed typo. 3年前
.gitignore Removed superfluous directory level. 3年前
CITATION Added citation information. 3年前 Improved Markdown. 1年前
LICENSE Updated license to clearly match BSD-3-Clause (SPDIX). 2年前
Makefile Fixed typo. 3年前 Added master repository URL. 2年前
STATUS Removed superfluous directory level. 3年前

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



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


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


  • 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