diff --git a/metamodels/README b/metamodels/README
new file mode 100644
index 0000000..61f7a75
--- /dev/null
+++ b/metamodels/README
@@ -0,0 +1,7 @@
+Metamodels of SecureUML dialects.
+
+*.zargo files are ArgoUML project files, containing the dialect metamodel using a UML profile for MOF.
+
+*_uml.xmi files are XMI files exported from the UML models.
+
+*_mof.xmi are XMI files containing the MOF metamodels, generated by uml2mof.
diff --git a/metamodels/securecomponentuml2_mof.xmi b/metamodels/securecomponentuml2_mof.xmi
new file mode 100644
index 0000000..c226996
--- /dev/null
+++ b/metamodels/securecomponentuml2_mof.xmi
@@ -0,0 +1,2273 @@
+
+
+
+
+ Netbeans XMI Writer
+ 1.0
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ch.ethz.infsec.secureumlgui
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ create
+
+
+
+
+
+ read
+
+
+
+
+
+ self.resource.attributes.action->select(name="read")->union(self.resource.associationEnds.association.ends->minus(self.resource.associationEnds).action->select(name="read"))->union(self.resource.methods->select(query).action->select(name="execute"))
+
+
+
+
+
+ delete
+
+
+
+
+
+ update
+
+
+
+
+
+ fullAccess
+
+
+
+
+
+ self.resource.attributes.action->select(name="update")->union(resource.associationEnds.association.ends->minus(self.resource.associationEnds).action->select(name="update"))->union(resource.methods->select(not query).action->select(name="execute"))
+
+
+
+
+
+ self.resource.action->select(name="create" or name="read" or name="update" or name="delete")
+
+
+
+
+
+ fullAccess
+
+
+
+
+
+ read
+
+
+
+
+
+ self.resource.action->select(name="read")->union(self.resource.action->select(name="update"))
+
+
+
+
+
+ update
+
+
+
+
+
+ update
+
+
+
+
+
+ read
+
+
+
+
+
+ update
+
+
+
+
+
+ fullAccess
+
+
+
+
+
+ self.resource.action->select(name="read")->union(self.resource.action->select(name="update"))
+
+
+
+
+
+ execute
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ch.ethz.infsec.secureuml
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 2
+ 2
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 2
+ 2
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ATypedParameterType
+
+
+
+
+
+ getType
+
+
+
+
+
+ getTypedParameter
+
+
+
+
+
+ ABehavioralFeatureParameter
+
+
+
+
+
+ getParameter
+
+
+
+
+
+ Parameter
+
+
+
+
+
+ getOwner
+
+
+
+
+
+ getFeature
+
+
+
+
+
+ getOwner
+
+
+
+
+
+ getFeature
+
+
+
+
+
+ getConnection
+
+
+
+
+
+ getAssociation
+
+
+
+
+
+ AParticipantAssociation
+
+
+
+
+
+ getParticipant
+
+
+
+
+
+ getAssociation
+
+
+
+
+
+ Operation
+
+
+
+
+
+ compuml.entitymethodaction
+
+
+
+
+
+ self.entity
+
+
+
+
+
+ Attribute
+
+
+
+
+
+ compuml.entityattributeaction
+
+
+
+
+
+ self.entity
+
+
+
+
+
+ UmlAssociation
+
+
+
+
+
+ self.associationEnds
+
+
+
+
+
+ AssociationEnd
+
+
+
+
+
+ compuml.associationendaction
+
+
+
+
+
+ self.association.ends->minus(self).type
+
+
+
+
+
+ UmlClass
+
+
+
+
+
+ compuml.entityaction
+
+
+
+
+
+ self
+
+
+
+
+
+ compuml.entity
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/metamodels/securecomponentuml2_uml.xmi b/metamodels/securecomponentuml2_uml.xmi
new file mode 100644
index 0000000..6de6a0e
--- /dev/null
+++ b/metamodels/securecomponentuml2_uml.xmi
@@ -0,0 +1,2029 @@
+
+
+
+ ArgoUML (using Netbeans XMI Writer version 1.0)
+ 0.26(6) revised on $Date: 2007-05-12 08:08:08 +0200 (Sat, 12 May 2007) $
+
+
+
+
+
+
+ Package
+
+
+ Attribute
+
+
+ DataType
+
+
+ Class
+
+
+ Class
+
+
+ Class
+
+
+ Dependency
+
+
+ Dependency
+
+
+ Dependency
+
+
+ Class
+
+
+ Class
+
+
+ DataType
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ch.ethz.infsec.secureumlgui
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ compuml.entity
+
+
+
+
+
+ self
+
+
+
+
+
+ compuml.entityaction
+
+
+
+
+
+ UmlClass
+
+
+
+
+
+
+
+
+
+
+
+
+ self.association.ends->minus(self).type
+
+
+
+
+
+ compuml.associationendaction
+
+
+
+
+
+ AssociationEnd
+
+
+
+
+
+ self.associationEnds
+
+
+
+
+
+
+
+
+
+
+
+
+ UmlAssociation
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ self.entity
+
+
+
+
+
+ compuml.entityattributeaction
+
+
+
+
+
+ Attribute
+
+
+
+
+
+
+
+
+
+
+
+
+ self.entity
+
+
+
+
+
+ compuml.entitymethodaction
+
+
+
+
+
+ Operation
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ AParticipantAssociation
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getParticipant
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getAssociation
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getConnection
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getAssociation
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getOwner
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getFeature
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getOwner
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getFeature
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ Parameter
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ABehavioralFeatureParameter
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getParameter
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ATypedParameterType
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getType
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getTypedParameter
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ch.ethz.infsec.secureuml
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ execute
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ self.resource.action->select(name="read")->union(self.resource.action->select(name="update"))
+
+
+
+
+
+
+
+
+
+
+
+
+ fullAccess
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ update
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ read
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ update
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ update
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ self.resource.action->select(name="read")->union(self.resource.action->select(name="update"))
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ read
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ fullAccess
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ self.resource.action->select(name="create" or name="read" or name="update" or name="delete")
+
+
+
+
+
+
+
+
+
+
+
+
+ self.resource.attributes.action->select(name="update")->union(resource.associationEnds.association.ends->minus(self.resource.associationEnds).action->select(name="update"))->union(resource.methods->select(not query).action->select(name="execute"))
+
+
+
+
+
+
+
+
+
+
+
+
+ fullAccess
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ update
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ delete
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ self.resource.attributes.action->select(name="read")->union(self.resource.associationEnds.association.ends->minus(self.resource.associationEnds).action->select(name="read"))->union(self.resource.methods->select(query).action->select(name="execute"))
+
+
+
+
+
+
+
+
+
+
+
+
+ read
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ create
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ Abstraction
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/metamodels/securecomponentuml2_uml.zargo b/metamodels/securecomponentuml2_uml.zargo
new file mode 100644
index 0000000..4bd1bb1
Binary files /dev/null and b/metamodels/securecomponentuml2_uml.zargo differ
diff --git a/metamodels/securecomponentuml_mof.xmi b/metamodels/securecomponentuml_mof.xmi
new file mode 100644
index 0000000..766ea39
--- /dev/null
+++ b/metamodels/securecomponentuml_mof.xmi
@@ -0,0 +1,2028 @@
+
+
+
+
+ Netbeans XMI Writer
+ 1.0
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ch.ethz.infsec.secureumlgui
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ create
+
+
+
+
+
+ read
+
+
+
+
+
+ self.resource.attributes.action->select(name="read")->union(self.resource.associationEnds.association.ends->minus(self.resource.associationEnds).action->select(name="read"))->union(self.resource.methods->select(query).action->select(name="execute"))
+
+
+
+
+
+ delete
+
+
+
+
+
+ update
+
+
+
+
+
+ fullAccess
+
+
+
+
+
+ self.resource.attributes.action->select(name="update")->union(resource.associationEnds.association.ends->minus(self.resource.associationEnds).action->select(name="update"))->union(resource.methods->select(not query).action->select(name="execute"))
+
+
+
+
+
+ self.resource.action->select(name="create" or name="read" or name="update" or name="delete")
+
+
+
+
+
+ fullAccess
+
+
+
+
+
+ read
+
+
+
+
+
+ self.resource.action->select(name="read")->union(self.resource.action->select(name="update"))
+
+
+
+
+
+ update
+
+
+
+
+
+ update
+
+
+
+
+
+ read
+
+
+
+
+
+ update
+
+
+
+
+
+ fullAccess
+
+
+
+
+
+ self.resource.action->select(name="read")->union(self.resource.action->select(name="update"))
+
+
+
+
+
+ execute
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 0
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ch.ethz.infsec.secureuml
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 2
+ 2
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 2
+ 2
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getOwner
+
+
+
+
+
+ getFeature
+
+
+
+
+
+ getOwner
+
+
+
+
+
+ getFeature
+
+
+
+
+
+ getConnection
+
+
+
+
+
+ getAssociation
+
+
+
+
+
+ AParticipantAssociation
+
+
+
+
+
+ getParticipant
+
+
+
+
+
+ getAssociation
+
+
+
+
+
+ Operation
+
+
+
+
+
+ compuml.entitymethodaction
+
+
+
+
+
+ self.entity
+
+
+
+
+
+ Attribute
+
+
+
+
+
+ compuml.entityattributeaction
+
+
+
+
+
+ self.entity
+
+
+
+
+
+ UmlAssociation
+
+
+
+
+
+ self.associationEnds
+
+
+
+
+
+ AssociationEnd
+
+
+
+
+
+ compuml.associationendaction
+
+
+
+
+
+ self.association.ends->minus(self).type
+
+
+
+
+
+ UmlClass
+
+
+
+
+
+ compumml.entityaction
+
+
+
+
+
+ self
+
+
+
+
+
+ compuml.entity
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/metamodels/securecomponentuml_uml.xmi b/metamodels/securecomponentuml_uml.xmi
new file mode 100644
index 0000000..9c7c293
--- /dev/null
+++ b/metamodels/securecomponentuml_uml.xmi
@@ -0,0 +1,1831 @@
+
+
+
+ ArgoUML (using Netbeans XMI Writer version 1.0)
+ 0.26(6) revised on $Date: 2007-05-12 08:08:08 +0200 (Sat, 12 May 2007) $
+
+
+
+
+
+
+ Package
+
+
+ Attribute
+
+
+ DataType
+
+
+ Class
+
+
+ Class
+
+
+ Class
+
+
+ Dependency
+
+
+ Dependency
+
+
+ Dependency
+
+
+ Class
+
+
+ Class
+
+
+ DataType
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ch.ethz.infsec.secureumlgui
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ compuml.entity
+
+
+
+
+
+ self
+
+
+
+
+
+ compumml.entityaction
+
+
+
+
+
+ UmlClass
+
+
+
+
+
+
+
+
+
+
+
+
+ self.association.ends->minus(self).type
+
+
+
+
+
+ compuml.associationendaction
+
+
+
+
+
+ AssociationEnd
+
+
+
+
+
+ self.associationEnds
+
+
+
+
+
+
+
+
+
+
+
+
+ UmlAssociation
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ self.entity
+
+
+
+
+
+ compuml.entityattributeaction
+
+
+
+
+
+ Attribute
+
+
+
+
+
+
+
+
+
+
+
+
+ self.entity
+
+
+
+
+
+ compuml.entitymethodaction
+
+
+
+
+
+ Operation
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ AParticipantAssociation
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getParticipant
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getAssociation
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getConnection
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getAssociation
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getOwner
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getFeature
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getOwner
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getFeature
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ch.ethz.infsec.secureuml
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ execute
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ self.resource.action->select(name="read")->union(self.resource.action->select(name="update"))
+
+
+
+
+
+
+
+
+
+
+
+
+ fullAccess
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ update
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ read
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ update
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ update
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ self.resource.action->select(name="read")->union(self.resource.action->select(name="update"))
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ read
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ fullAccess
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ self.resource.action->select(name="create" or name="read" or name="update" or name="delete")
+
+
+
+
+
+
+
+
+
+
+
+
+ self.resource.attributes.action->select(name="update")->union(resource.associationEnds.association.ends->minus(self.resource.associationEnds).action->select(name="update"))->union(resource.methods->select(not query).action->select(name="execute"))
+
+
+
+
+
+
+
+
+
+
+
+
+ fullAccess
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ update
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ delete
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ self.resource.attributes.action->select(name="read")->union(self.resource.associationEnds.association.ends->minus(self.resource.associationEnds).action->select(name="read"))->union(self.resource.methods->select(query).action->select(name="execute"))
+
+
+
+
+
+
+
+
+
+
+
+
+ read
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ create
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ Abstraction
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/metamodels/securecomponentuml_uml.zargo b/metamodels/securecomponentuml_uml.zargo
new file mode 100644
index 0000000..48eecc4
Binary files /dev/null and b/metamodels/securecomponentuml_uml.zargo differ
diff --git a/metamodels/securecontrolleruml_mof.xmi b/metamodels/securecontrolleruml_mof.xmi
new file mode 100644
index 0000000..de5a385
--- /dev/null
+++ b/metamodels/securecontrolleruml_mof.xmi
@@ -0,0 +1,1849 @@
+
+
+
+
+ Netbeans XMI Writer
+ 1.0
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ch.ethz.infsec.secureumlgui
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ entryRecursive
+
+
+
+
+
+ entry
+
+
+
+
+
+ activateRecursive
+
+
+
+
+
+ activate
+
+
+
+
+
+ execute
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getTransitions
+
+
+
+
+
+ getSubVertex
+
+
+
+
+
+ getContainer
+
+
+
+
+
+ getTarget
+
+
+
+
+
+ getIncoming
+
+
+
+
+
+ getSource
+
+
+
+
+
+ getOutgoing
+
+
+
+
+
+ getStateMachine
+
+
+
+
+
+ getTop
+
+
+
+
+
+ getContext
+
+
+
+
+
+ self.incomingSource.container.statemachine.controller
+
+
+
+
+
+ Transition
+
+
+
+
+
+ TransitionAction
+
+
+
+
+
+ ViewState
+
+
+
+
+
+ SubControllerState
+
+
+
+
+
+ ControllerState
+
+
+
+
+
+ self.statemachine.controller
+
+
+
+
+
+ State
+
+
+
+
+
+ StateAction
+
+
+
+
+
+ StateMachine
+
+
+
+
+
+ self.controller
+
+
+
+
+
+ StateMachine
+
+
+
+
+
+ ControllerAction
+
+
+
+
+
+ self
+
+
+
+
+
+ Controller
+
+
+
+
+
+ UmlClass
+
+
+
+
+
+ getName
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ 1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1
+ 1
+ false
+ false
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+ 0
+ -1
+ false
+ true
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/metamodels/securecontrolleruml_uml.xmi b/metamodels/securecontrolleruml_uml.xmi
new file mode 100644
index 0000000..ac2de72
--- /dev/null
+++ b/metamodels/securecontrolleruml_uml.xmi
@@ -0,0 +1,1639 @@
+
+
+
+ ArgoUML (using Netbeans XMI Writer version 1.0)
+ 0.26(6) revised on $Date: 2007-05-12 08:08:08 +0200 (Sat, 12 May 2007) $
+
+
+
+
+
+
+ Package
+
+
+ Attribute
+
+
+ DataType
+
+
+ Class
+
+
+ Class
+
+
+ Class
+
+
+ Dependency
+
+
+ Dependency
+
+
+ Dependency
+
+
+ Class
+
+
+ Class
+
+
+ DataType
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ch.ethz.infsec.secureumlgui
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ UmlClass
+
+
+
+
+
+ Controller
+
+
+
+
+
+ self
+
+
+
+
+
+ ControllerAction
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getName
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ StateMachine
+
+
+
+
+
+ self.controller
+
+
+
+
+
+ StateMachine
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ StateAction
+
+
+
+
+
+ State
+
+
+
+
+
+ self.statemachine.controller
+
+
+
+
+
+ ControllerState
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ SubControllerState
+
+
+
+
+
+
+
+
+
+
+
+
+ ViewState
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ TransitionAction
+
+
+
+
+
+ Transition
+
+
+
+
+
+ self.incomingSource.container.statemachine.controller
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getContext
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getStateMachine
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getTop
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getSource
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getOutgoing
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getTarget
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getIncoming
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getSubVertex
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getContainer
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ getTransitions
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ execute
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ activate
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ activateRecursive
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ entry
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ entryRecursive
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ Dependency
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/metamodels/securecontrolleruml_uml.zargo b/metamodels/securecontrolleruml_uml.zargo
new file mode 100644
index 0000000..3bd3813
Binary files /dev/null and b/metamodels/securecontrolleruml_uml.zargo differ