From cec29a0a40ca4e1a617c295d844f6bb1351cc895 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Fri, 30 Sep 2016 23:50:15 +0100 Subject: [PATCH] Improved description. --- README.md | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/README.md b/README.md index 6d313a8..427c2db 100644 --- a/README.md +++ b/README.md @@ -1,12 +1,13 @@ -# su4sml - a SML repository for managing (Secure)UML/OCL models +# 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 +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