Authors : (censored for privacy reasons)
Last updated : 06/05/2019
Name: dmssproject
NS Prefix: dmssproject
NS URI: http://www.example.org/dmssproject
EClass: Workflow
Description: In this EClassifier we set the authors of the project and where the meta-model was last updated.
- (0...*) actors : Actor (Composition)
- invariant SingleBeginTag :
self.actors.tasks->selectByType(StartTask)->size() = 1
- invariant SingleEngTag :
self.actors.tasks->selectByType(EndTask)->size() = 1
EClass: Actor
Description: In this EClassifier we have the Actor class and its attributes
- (0...1) name : EString
- (1...*) tasks : Task (Composition)
- (0...*) information : Information (Composition)
EClass: Task (abstract)
Description: In this EClassifier we have the Task class and its attributes
- (0...1) succesor#predecessor : Task
- (0...1) predecessor#succesor : Task
- invariant NoDestinationStart :
self.succesor->selectByType(StartTask)->isEmpty()
- invariant NoSourceEnd :
self.predecessor->selectByType(EndTask)->isEmpty()
- invariant NoSelfLink :
not self.predecessor->includes(self) and not self.succesor->includes(self)
EClass: IntermediateTask (abstract)
Description: In this EClassifier we have the IntermediateTask class and its attributes
- (0...1) name : EString
- (0...1) succesor#predecessor : Task
- (0...1) predecessor#succesor : Task
EClass: StartTask
Description: In this EClassifier we have the Start Task class and its attributes
- (0...1) succesor#predecessor : Task
- (0...1) predecessor#succesor : Task
EClass: EndTask
Description: In this EClassifier we have the End Task class and its attributes
- (0...1) succesor#predecessor : Task
- (0...1) predecessor#succesor : Task
EClass: UserTask
Description: In this EClassifier we have the User Task class and its attributes
- (0...1) name : EString
- (0...1) succesor#predecessor : Task
- (0...1) predecessor#succesor : Task
- (0...*) attachedData : Information
EClass: ServiceTask
Description: In this EClassifier we have the Service Task class and its attributes
- (0...1) name : EString
- (0...1) succesor#predecessor : Task
- (0...1) predecessor#succesor : Task
- (0...*) producedData : Information
EClass: SendMessageTask
Description: In this EClassifier we have the Send Message Task class and its attributes
- (0...1) name : EString
- (0...1) succesor#predecessor : Task
- (0...1) predecessor#succesor : Task
- (0...*) requiredData : Information
- invariant SendSuccededByRecv :
self.succesor.oclIsKindOf(RecvMessageTask)
- invariant SendRecvInDifferentActors :
self.oclContainer() <> self.succesor.oclContainer()
EClass: RecvMessageTask
Description: In this EClassifier we have the Receive Message Task class and its attributes
- (0...1) name : EString
- (0...1) succesor#predecessor : Task
- (0...1) predecessor#succesor : Task
EClass: Information (abstract)
Description: In this EClassifier we have the Information class and its attributes
- (0...1) name : EString
- (0...1) optional : EBoolean
EClass: Form
Description: In this EClassifier we have the Form class and its attributes
- (0...1) name : EString
- (0...1) optional : EBoolean
- (0...*) subfields : Information
EClass: Text
Description: In this EClassifier we have the Text class and its attributes
- (0...1) name : EString
- (0...1) optional : EBoolean
- (0...1) value : EString
EClass: Number
Description: In this EClassifier we have the Number class and its attributes
- (0...1) name : EString
- (0...1) optional : EBoolean
- (0...1) value : EInt
EClass: Resource
Description: In this EClassifier we have the Resource class and its attributes
- (0...1) name : EString
- (0...1) optional : EBoolean
- (0...1) uri : EString
- (0...1) type : ResourceType
EENum: ResourceType = { 0 : DOCUMENT, 1 : TEXT, 2 : PHOTO, 3 : VIDEO }
Description: EENum