HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

Converted README to markdown and updated content.

This commit is contained in:
Achim D. Brucker 2016-07-25 20:45:30 +01:00
parent 79631548d3
commit 83476b8367
1 changed files with 21 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
README
View File

@ -1,5 +1,22 @@
supported SML COmpilers:
- mlton
- polyML 5.x
- sml/NJ
# su4sml - a SML repository for managing (Secure)UML/OCL models
The model su4sml is a SML component thta 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
## License
This project is licensed under the Apache License Version 2.0.
## 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)[http://dx.doi.org/10.14279/tuj.eceasst.5.45)