HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity
su4sml - an SML repository for managing (Secure)UML/OCL models
795 Commits 1 Branch 0 Tags 4.4 MiB
Standard ML 87.6%
HTML 3.6%
Java 3.5%
Smarty 2.1%
TeX 0.8%
Other 2.3%
Go to file
Achim D. Brucker 3667e0f898 Updated title. 2016-10-12 22:56:16 +01:00
add-ons Removed superfluous directory level. 2016-07-25 20:19:53 +01:00
doc Removed superfluous directory level. 2016-07-25 20:19:53 +01:00
lib/fxp Removed superfluous directory level. 2016-07-25 20:19:53 +01:00
manual Removed superfluous directory level. 2016-07-25 20:19:53 +01:00
share Removed superfluous directory level. 2016-07-25 20:19:53 +01:00
src Removed superfluous directory level. 2016-07-25 20:19:53 +01:00
.gitignore Removed superfluous directory level. 2016-07-25 20:19:53 +01:00
CITATION Added citation information. 2016-07-25 20:44:56 +01:00
CodingStyle Removed superfluous directory level. 2016-07-25 20:19:53 +01:00
LICENSE Updated license information. 2016-07-25 20:52:57 +01:00
Makefile Removed superfluous directory level. 2016-07-25 20:19:53 +01:00
README.md Updated title. 2016-10-12 22:56:16 +01:00
STATUS Removed superfluous directory level. 2016-07-25 20:19:53 +01:00

README.md

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

The model repository su4sml is a 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-style license.

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