su4sml - an SML repository for managing (Secure)UML/OCL models

Go to file

Achim D. Brucker 62d166ccd1 Updated license to clearly match BSD-3-Clause (SPDIX).		2017-12-03 23:05:52 +00:00
add-ons	Fixed typo.	2016-10-24 00:35:11 +01:00
doc	Fixed typo.	2016-10-24 00:35:11 +01:00
lib/fxp	Removed superfluous directory level.	2016-07-25 20:19:53 +01:00
share	Fixed typo.	2016-10-24 00:35:11 +01:00
src	Fixed typo.	2016-10-24 00:35:11 +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.md	Improved markdown.	2016-10-14 00:10:06 +01:00
LICENSE	Updated license to clearly match BSD-3-Clause (SPDIX).	2017-12-03 23:05:52 +00:00
Makefile	Fixed typo.	2016-10-24 00:35:11 +01:00
README.md	Updated license to clearly match BSD-3-Clause (SPDIX).	2017-12-03 23:05:52 +00:00
STATUS	Removed superfluous directory level.	2016-07-25 20:19:53 +01:00

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

Achim D. Brucker
Jürgen Doser
Burkhart Wolff

Contributors

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

License

This project is licensed under a 3-clause BSD (SPDIX: BSD-3-Clause) 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