SaveUML System design
System overview
Possible...
What is SaveCCM? How does UML fit in?
• Component modeling language– embedded systems, security
– CBSE
– well formalised, Schema, IDE
• Motivation for introducing UML– Things that UML brings along
• Widely accepted (universal) standard• Huge possibilities and highly customizable• Component diagram (similarities with Save)
• Formal connection of UML and SaveCCM– UML extensibility mechanisms
Customizing UML - I
• Model vs. metamodel– UML = Modeling language
– MOF = Metamodeling language
– UML is built on MOF
Why not create aSaveCCM metamodel?
• UML conceptual overview
Customizing UML - II
UML Metamodel
Customizing UML - III
• UML Profile ( finaly )– Concept of the profile
– Basic building elements • Stereotype
– new symbols with tagged values
and constraints included
• Tagged values– Name=value pairs, applicable to all model elements
– SaveCCM_PortType = {DATA, TRIGGER}
– SaveCCM_PortDirection = {IN, OUT}
• Constraints– Object Constraint Language (formal specification language)
– UML types, arithmetic, logical, conditional, relational expression evaluation
– (mostly) for modeling Save component behaviour (timed automatons),
read-compute-write model
Method for defining the UML profile1. Defining the SaveCCM metamodel (abstract /concrete)
(mostly done in the SaveCCM language reference)
• Fundamental language constructs• Relationships• Constraints• Concrete syntax (visual, textual)• Semantics
ONLY STATIC!
2. Mapping the SaveCCM to the UML profile
For each domain concept : Select a base UML metaclass with the closest semantics
Verify that there is no conflicting constraintsIdentify need for possible specialization of the base UML metaclass
SaveUML deliverablesSaveUML Profile Reference documentSaveUML Profile Implementation ?Transformation library ?
Structural elements:
Component
Port
Assembly
Composite comp.?
Connections?
Implementing the profile in Omondo
1. Creating a UML profile diagram (Omondo Profile designer)• UML Profile diagram• Create stereotypes and apply to metaclasses
2. Applying the stereotypes in a model (Omondo model designer)
• Include the profile• List of available stereotypes
SaveUML Profile results
2. SaveUML Profile implementation• Customized standards conformance• Can be imported in Omondo for further modeling
3. SaveUML model files• Customized standards conformance• Well described schema (reverse eng. or direct)• Endpoint for transformation
SaveUML deliverablesSaveUML Profile Reference documentSaveUML Profile ImplementationTransformation library ?
1. SaveUML Profile Reference• Identified subset of the UML metamodel with well-formedness rules (OCL)• Standard elements (beyond UML elements – elements of profile)• Description of usage in natural language
What is the current status?
Part 2 - Transformation library
vs.
Transformation library (option 1)
• XSLT is used to transform one XML to the other
• Our library uses existing XSLT processor (Xalan)
• Transformation mapping is defined in XSL files
• Transformation is done with Java code1. Library uses existin XML parser to read
input XML file(s), and creates a model of the diagram in memory
2. Based on that model, creates a transformed model
3. Writes down the new model to XML file(s)
Transformation library (option 2)
Transformation library
• In both cases, the library implements the same, well defined, interface, so the resto of the project remains the same
• Option 1– Standard way of transforming XML– XML of our files is very complex, so the code could get messy– We are not completely familiar with it, unexpected problems
could set us back
• Option 2– Less chance of unexpected promlems– Hard-codeing the transformation is Java makes it harder to
modify later– This code could get messy to, so which one is better?
The end (not quite )
Questions?