wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-flight"
namespace { _"http://www.ip-super.org/ontologies/SBPMN/20080624#"
, 
     dc _"http://purl.org/dc/elements/1.1#", 
     wsml _"http://www.wsmo.org/wsml/wsml-syntax#", 
     wsmostudio _"http://www.wsmostudio.org#" }

ontology _"http://www.ip-super.org/ontologies/SBPMN/20080624#"
     nonFunctionalProperties
          wsmostudio#version hasValue "0.7.2"
          dc#title hasValue "Ontology of Business Process Modeling Notation"
          dc#creator hasValue "PUE team"
     endNonFunctionalProperties

axiom Activity_hasLoopType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasLoopType attribute of Activity concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasLoopType hasValue ?type] memberOf Activity
  and (?type = "None"
  or
?type = "Standard"
  or
?type = "MultiInstance"). 

axiom Activity_hasStatus_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasStatus attribute of Activity concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasStatus hasValue ?status] memberOf Activity
  and (?status = "None"
  or
?status = "Ready"
  or
?status = "MultiInstance"
  or
?status = "Active"
  or
?status = "Cancelled"
  or
?status = "Aborting"
  or
?status = "Aborted"
  or
?status = "Completing"
  or
?status = "Completed"). 

axiom AdHocProcess_hasOrdering_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasOrdering attribute of AdHocProcess concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasOrdering hasValue ?type] memberOf AdHocProcess
  and (?type = "Sequential"
  or
?type = "Pararell"). 

axiom Artifact_hasType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasType attribute of Artifact concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasType hasValue ?type] memberOf Artifact
  and (?type = "DataObject"
  or
?type = "Group"
  or
?type = "Annotation"). 

axiom Association_hasDirection_Contraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasDirection attribute Association concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasDirection hasValue ?type] memberOf Association
  and (?type = "None"
  or
?type = "To"
  or
?type = "From"
  or
?type = "Both"). 

axiom Association_hasTarget_Contraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasTarget attribute of Association concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasTarget hasValue ?target] memberOf Association
  and naf ?target memberOf FlowObject
  and naf ?target memberOf Pool. 

axiom DataBasedExclusiveGateway_hasXORType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing value for the hasXORType attribute of DataBasedExclusiveGateway concept."
     endNonFunctionalProperties
     definedBy 
          ?x memberOf DataBasedExclusiveGateway
implies
?x[hasXORType hasValue "Data"]. 

axiom EmbeddedSubProcess_hasAdHocOrdering_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasAdHocOrdering attribute of EmbeddedSubProcess concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasAdHocOrdering hasValue ?type] memberOf EmbeddedSubProcess
  and (?type = "Sequential"
  or
?type = "Paralell"). 

axiom EndEvent_hasResult_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasResult attribute of EndEvent concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasResult hasValue ?type] memberOf EndEvent
  and (?type = "None"
  or
?type = "Message"
  or
?type = "Error"
  or
?type = "Cancel"
  or
?type = "Compensation"
  or
?type = "Link"
  or
?type = "Terminate"
  or
?type = "Multiple"). 

axiom EventBasedExclusiveGateway_hasXORType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasXORType attribute of EventBasedExclusiveGateway concept."
     endNonFunctionalProperties
     definedBy 
          ?x memberOf EventBasedExclusiveGateway
implies
?x[hasXORType hasValue "Event"]. 

axiom ExclusiveGateway_hasXORType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasXORType attribute of ExclusiveGateway concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasXORType hasValue ?type] memberOf ExclusiveGateway
  and (?type = "Event"
  or
?type = "Data"). 

axiom MultiInstanceLoopActivity_hasMIOrdering_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasMIOrdering attribute of MultiInstanceLoopActivity concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasMIOrdering hasValue ?type] memberOf MultiInstanceLoopActivity
  and (?type = "Sequential"
  or
?type = "Paralell"). 

axiom MultiInstanceLoopParallel_hasMIFlowCondition_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasMIFlowCondition attribute of MultiInstanceLoopParallel concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasMIFlowCondition hasValue ?type] memberOf MultiInstanceLoopParallel
  and (?type = "None"
  or
?type = "One"
  or
?type = "All"
  or
?type = "Complex"). 

axiom Process_hasType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasType attribute of Process concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasType hasValue ?type] memberOf Process
  and (?type = "None"
  or
?type = "Private"
  or
?type = "Abstract"
  or
?type = "Collaboration"). 

axiom ReceiveTask_hasImplementation_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasImplementation attribute of ReceiveTask concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasImplementation hasValue ?type] memberOf ReceiveTask
  and (?type = "Web Service"
  or
?type = "Other"
  or
?type = "Unspecified"). 

axiom SendTask_hasImplementation_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasImplementation attribute of SendTask concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasImplementation hasValue ?type] memberOf SendTask
  and (?type = "Web Service"
  or
?type = "Other"
  or
?type = "Unspecified"). 

axiom SequenceFlow_hasSource_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasSource attribute of SequenceFlow concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasSource hasValue ?source] memberOf SequenceFlow
  and naf ?source memberOf Pool
  and naf ?source memberOf EndEvent
  and naf ?source memberOf Artifact. 

axiom SequenceFlow_hasTarget_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasTarget attribute of SequenceFlow concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasTarget hasValue ?target] memberOf SequenceFlow
  and naf ?target memberOf Pool
  and naf ?target memberOf StartEvent. 

axiom ServiceTask_hasImplementation_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasImplementation attribute of ServiceTask concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasImplementation hasValue ?type] memberOf ServiceTask
  and (?type = "Web Service"
  or
?type = "Other"
  or
?type = "Unspecified"). 

axiom StandardLoopActivity_hasTestTime_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasTestTime attribute of StandardLoopActivity concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasTestTime hasValue ?type] memberOf StandardLoopActivity
  and (?type = "before"
  or
?type = "after"). 

axiom SubProcess_hasType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasType attribute of SubProcess concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasType hasValue ?type] memberOf SubProcess
  and (?type = "Embedded"
  or
?type = "Independent"
  or
?type = "Reference"). 

axiom Transaction_hasMethod_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasMethod attribute of Transaction concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasMethod hasValue ?type] memberOf Transaction
  and (?type = "Compensate"
  or
?type = "Store"
  or
?type = "Image"). 

axiom UserTask_hasImplementationProperty_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasImplementationProperty attribute of UserTask concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasImplementationProperty hasValue ?type] memberOf UserTask
  and (?type = "Web Service"
  or
?type = "Other"
  or
?type = "Unspecified"). 

axiom Event_hasEventType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasEventType attribute of Event concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasEventType hasValue ?type] memberOf Event
  and (?type = "End"
  or
?type = "Start"
  or
?type = "Intermadiate"). 

axiom Activity_hasActivityType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasActivityType attribute of Activity concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasActivityType hasValue ?type] memberOf Activity
  and (?type = "Task"
  or
?type = "SubProcess"). 

axiom Task_hasTaskType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasTaskType attribute of Task concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasTaskType hasValue ?type] memberOf Task
  and (?type = "Service"
  or
?type = "Receive"
  or
?type = "Send"
  or
?type = "User"
  or
?type = "Script"
  or
?type = "Abstract"
  or
?type = "Manual"
  or
?type = "Reference"
  or
?type = "None"). 

axiom Gateway_hasGatewayType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasGatewayType attribute of Gateway concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasGatewayType hasValue ?type] memberOf Gateway
  and (?type = "XOR"
  or
?type = "OR"
  or
?type = "Complex"
  or
?type = "AND"). 

axiom Annotation_hasType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasType attribute of Annotation concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasType hasValue ?type] memberOf Annotation
  and ?type = "Annotation". 
          ?x memberOf Annotation
implies
?x[hasType hasValue "Annotation"]. 

axiom DataObject_hasType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasType attribute of DataOject concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasType hasValue ?type] memberOf DataObject
  and ?type = "DataObject". 
          ?x memberOf DataObject
implies
?x[hasType hasValue "DataObject"]. 

axiom Group_hasType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing value for the hasType attribute of Group concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasType hasValue ?type] memberOf Group
  and ?type = "Group". 
          ?x memberOf Group
implies
?x[hasType hasValue "Group"]. 

axiom SubProcess_hasActivityType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing value for the hasActivityType attribute of SubProcess concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasActivityType hasValue ?type] memberOf SubProcess
  and ?type = "SubProcess". 
          ?x memberOf SubProcess
implies
?x[hasActivityType hasValue "SubProcess"]. 

axiom Task_hasActivityType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing value for the hasActivityType attribute of Task concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasActivityType hasValue ?type] memberOf Task
  and ?type = "Task". 
          ?x memberOf Task
implies
?x[hasActivityType hasValue "Task"]. 

axiom CompensationActivity_isCompensationActivity_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forsing value for isCompensationActivityType attribute of CompensationActovity concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[isCompensationActivity hasValue ?type] memberOf CompensationActivity
  and ?type = _boolean("true"). 
          ?x memberOf CompensationActivity
implies
?x[hasActivityType hasValue _boolean("true")]. 

axiom AdHocProcess_isAdHoc_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forsing value for the isAdHoc attribute of AdHocProcess concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[isAdHoc hasValue ?type] memberOf AdHocProcess
  and ?type = _boolean("true"). 
          ?x memberOf AdHocProcess
implies
?x[isAdHoc hasValue _boolean("true")]. 

axiom EmbeddedSubProcess_hasType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing value for the hasType attribute of EmbeddedSubProcess concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasType hasValue ?type] memberOf EmbeddedSubProcess
  and ?type = "Embedded". 
          ?x memberOf EmbeddedSubProcess
implies
?x[hasType hasValue "Embedded"]. 

axiom IndependentSubProcess_hasType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing value for the hasType attribute of IndependentSubProcess concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasType hasValue ?type] memberOf IndependentSubProcess
  and ?type = "Independent". 
          ?x memberOf IndependentSubProcess
implies
?x[hasType hasValue "Independent"]. 

axiom ReferenceSubProcess_hasType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing value for the hasType attribute of ReferenceSubProcess concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasType hasValue ?type] memberOf ReferenceSubProcess
  and ?type = "Reference". 
          ?x memberOf ReferenceSubProcess
implies
?x[hasType hasValue "Reference"]. 

axiom MultiInstanceLoopActivity_hasLoopType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing value for the hasLoopType attribute of MultiInstanceLoopActivity concept."
     endNonFunctionalProperties
     definedBy 
          ?x memberOf MultiInstanceLoopActivity
implies
?x[hasLoopType hasValue "MultiInstance"]. 
          !- ?x[hasLoopType hasValue ?type] memberOf MultiInstanceLoopActivity
  and ?type = "MultiInstance". 

axiom StandardLoopActivity_hasLoopType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing valuee for the hasLoopType attribute of StandardLoopActivity concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasLoopType hasValue ?type] memberOf StandardLoopActivity
  and ?type = "Standard". 
          ?x memberOf StandardLoopActivity
implies
?x[hasLoopType hasValue "Standard"]. 

axiom MultiInstanceLoopParallel_hasMIOrdering_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing value for the hasMIOrdering attribute of MultiInstanceLoopParallel concept."
     endNonFunctionalProperties
     definedBy 
          ?x memberOf MultiInstanceLoopParallel
implies
?x[hasLoopType hasValue "Parallel"]. 
          !- ?x[hasMIOrdering hasValue ?type] memberOf MultiInstanceLoopParallel
  and ?type = "Parallel". 

axiom MultiInstanceLoopParallelComplex_hasMIFlowCondition_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing value for the hasMIFlowCondition attribute of MultiInstanceLoopParallelComplex concept."
     endNonFunctionalProperties
     definedBy 
          ?x memberOf MultiInstanceLoopParallelComplex
implies
?x[hasMIFlowConstraint hasValue "Complex"]. 
          !- ?x[hasMIFlowCondition hasValue ?type] memberOf MultiInstanceLoopParallelComplex
  and ?type = "Complex". 

axiom ManualTask_hasTaskType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing value for the hasTaskType attribute of ManualTask concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasTaskType hasValue ?type] memberOf ManualTask
  and ?type = "Manual". 
          ?x memberOf ManualTask
implies
?x[hasTaskType hasValue "Manual"]. 

axiom ReceiveTask_hasTaskType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing value for the hasActivityType attribute of ReceiveTask concept."
     endNonFunctionalProperties
     definedBy 
          ?x memberOf ReceiveTask
implies
?x[hasTaskType hasValue "Receive"]. 
          !- ?x[hasTaskType hasValue ?type] memberOf ReceiveTask
  and ?type = "Receive". 

axiom ReferenceTask_hasTaskType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing values for the hasTaskType attribute of ReferenceTask concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasTaskType hasValue ?type] memberOf ReferenceTask
  and ?type = "Reference". 
          ?x memberOf ReferenceTask
implies
?x[hasTaskType hasValue "Reference"]. 

axiom ScriptTask_hasTaskType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing values for the hasTaskType attribute of ScriptTask concept."
     endNonFunctionalProperties
     definedBy 
          ?x memberOf ScriptTask
implies
?x[hasTaskType hasValue "Script"]. 
          !- ?x[hasTaskType hasValue ?type] memberOf ScriptTask
  and ?type = "Script". 

axiom SendTask_hasTaskType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing value for the hasTaskType attribute of SendTask concept."
     endNonFunctionalProperties
     definedBy 
          ?x memberOf SendTask
implies
?x[hasTaskType hasValue "Send"]. 
          !- ?x[hasTaskType hasValue ?type] memberOf SendTask
  and ?type = "Send". 

axiom ServiceTask_hasTaskType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing value for the hasTaskType attribute of ServiceTask concept."
     endNonFunctionalProperties
     definedBy 
          ?x memberOf ServiceTask
implies
?x[hasTaskType hasValue "Service"]. 
          !- ?x[hasTaskType hasValue ?type] memberOf ServiceTask
  and ?type = "Service". 

axiom UserTask_hasTaskType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing value for the hasTaskType attribute ofUserTask concept."
     endNonFunctionalProperties
     definedBy 
          ?x memberOf UserTask
implies
?x[hasTaskType hasValue "User"]. 
          !- ?x[hasTaskType hasValue ?type] memberOf UserTask
  and ?type = "User". 

axiom EndEvent_hasEventType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing value for the hasEventType attribute EndEvent concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasEventType hasValue ?type] memberOf EndEvent
  and ?type = "End". 
          ?x memberOf EndEvent
implies
?x[hasEventType hasValue "End"]. 

axiom StartEvent_hasEventType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing value for the hasEventType attribute of StartEvent concept."
     endNonFunctionalProperties
     definedBy 
          ?x memberOf StartEvent
implies
?x[hasEventType hasValue "Start"]. 
          !- ?x[hasEventType hasValue ?type] memberOf StartEvent
  and ?type = "Start". 

axiom IntermediateEvent_hasEventType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing value for the hasEventType attribute of IntermediateEvent concept."
     endNonFunctionalProperties
     definedBy 
          ?x memberOf IntermediateEvent
implies
?x[hasEventType hasValue "Intermediate"]. 
          !- ?x[hasEventType hasValue ?type] memberOf IntermediateEvent
  and ?type = "Intermediate". 

axiom ExclusiveGateway_hasGatewayType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing value for the hasGatewayType attribute of ExclusiveGateway concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasGatewayType hasValue ?type] memberOf ExclusiveGateway
  and ?type = "XOR". 
          ?x memberOf ExclusiveGateway
implies
?x[hasGatewayType hasValue "XOR"]. 

axiom ParallelGateway_hasGatewayType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing value for the hasGatewayType attribute of ParallelGateway concept."
     endNonFunctionalProperties
     definedBy 
          ?x memberOf ParallelGateway
implies
?x[hasGatewayType hasValue "AND"]. 
          !- ?x[hasGatewayType hasValue ?type] memberOf ParallelGateway
  and ?type = "AND". 

axiom InclusiveGateway_hasGatewayType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing value for the hasgatewayType attribute of InclusiveGateway concept."
     endNonFunctionalProperties
     definedBy 
          ?x memberOf InclusiveGateway
implies
?x[hasGatewayType hasValue "OR"]. 
          !- ?x[hasGatewayType hasValue ?type] memberOf InclusiveGateway
  and ?type = "OR". 

axiom ComplexGateway_hasGatewayType_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom forcing value for the hasGatewayType attribute of ComplexGateway concept."
     endNonFunctionalProperties
     definedBy 
          ?x memberOf ComplexGateway
implies
?x[hasGatewayType hasValue "Complex"]. 
          !- ?x[hasGatewayType hasValue ?type] memberOf ComplexGateway
  and ?type = "Complex". 

axiom Process_hasLoop_Constraint
     nonFunctionalProperties
          dc#description hasValue "Axiom restricitng possible values for the hasLoop attribute of Process concept."
     endNonFunctionalProperties
     definedBy 
          !- ?x[hasStatus hasValue ?status] memberOf Process
  and (?status = "None"
  or
?status = "Ready"
  or
?status = "MultiInstance"
  or
?status = "Active"
  or
?status = "Cancelled"
  or
?status = "Aborting"
  or
?status = "Aborted"
  or
?status = "Completing"
  or
?status = "Completed"). 

concept Activity subConceptOf FlowObject
     nonFunctionalProperties
          dc#description hasValue "An activity is a generic term for work that a company or organization performs via business processes. An activity can be atomic or non-atomic (compound). The types of activities that are a part of a Process Model are: Process, Sub-Process, and Task. "
     endNonFunctionalProperties
     hasInputSet ofType InputSet
     hasIORules ofType Expression
     isCompensationActivity ofType  (1 1) _boolean
     hasLoopType ofType  (1 1) _string
     hasOutputSet ofType OutputSet
     hasProperties ofType Property
     hasStartQuantity ofType  (1 1) _integer
     hasStatus ofType  (1 1) _string
     hasActivityType ofType  (1 1) _string

concept AdHocProcess subConceptOf Process
     nonFunctionalProperties
          dc#description hasValue "Special type of a Process. The activities within an Ad Hoc Process are not controlled or sequenced in a particular order, their performance is determined by the performers of the activities."
     endNonFunctionalProperties
     hasCompletionCondition ofType  (0 1) Expression
     hasOrdering ofType _string

concept Annotation subConceptOf Artifact
     nonFunctionalProperties
          dc#description hasValue "Annotations are a mechanism for a modeler to provide additional information for the reader of a BPMN Diagram "
     endNonFunctionalProperties
     hasText ofType  (1 1) _string

concept Artifact subConceptOf GraphicalObject
     nonFunctionalProperties
          dc#description hasValue "Artifacts are used to provide additional information about the Process. There are three standardized Artifacts (Data Object, Group, Annotation), but modelers or modeling tools are free to add as many Artifacts as required. "
     endNonFunctionalProperties
     hasType ofType  (1 1) _string
     hasLanes ofType Lane
     hasPool ofType  (0 1) Pool

concept Assignment subConceptOf SupportingTypes
     nonFunctionalProperties
          dc#description hasValue "Assignment is used in the definition of attributes for Process. The target for the Assignment must be a Property of the Process or the activity itself. The Expression MUST be made up of a combination of Values, Properties, and Attributes, which are separated by operators such as add or multiply. The expression language is defined in the ExpressionLanguage attribute of the Business Process Diagram."
     endNonFunctionalProperties
     hasAssignTime ofType  (0 1) _string
     hasFrom ofType  (1 1) Expression
     hasTo ofType  (1 1) Property

concept Association subConceptOf ConnectingObject
     nonFunctionalProperties
          dc#description hasValue "An Association is used to associate information with Flow Objects. Text and graphical non-Flow Objects can be associated with Flow Objects. "
     endNonFunctionalProperties
     hasDirection ofType  (1 1) _string

concept BusinessProcessDiagram
     nonFunctionalProperties
          dc#description hasValue "Diagram designed for use by the people who design and manage business processes. Is supposed to represent business process, all objects which form it  and  are connected with it."
     endNonFunctionalProperties
     hasAuthor ofType  (0 1) _string
     hasCreationDate ofType  (0 1) _date
     hasDocumentation ofType _string
     hasExpressionLanguage ofType  (0 1) _string
     hasID ofType  (1 1) _string
     hasLanguage ofType  (0 1) _string
     hasModifcationDate ofType  (0 1) _date
     hasName ofType  (1 1) _string
     hasPool ofType  (1 *) Pool
     hasQueryLanguage ofType  (0 1) _string
     hasVersion ofType  (0 1) _string

concept Cancel subConceptOf Trigger
     nonFunctionalProperties
          dc#description hasValue "One of Trigger types. Used to representing consequence cause of some Event as Cancel "
     endNonFunctionalProperties

concept CancelEndEvent subConceptOf { EndEvent, Cancel}
     nonFunctionalProperties
          dc#description hasValue "Type defining  the cause of reaching an End Event as Cancel."
     endNonFunctionalProperties

concept CancelIntermediateEvent subConceptOf { IntermediateEvent, Cancel}
     nonFunctionalProperties
          dc#description hasValue "Type defining  the cause of an Intermediate Event as Cancel"
     endNonFunctionalProperties

concept Compensation subConceptOf Trigger
     nonFunctionalProperties
          dc#description hasValue "Trigger which signals that execution of compensation activities should be started."
     endNonFunctionalProperties
     hasActivity ofType  (1 1) Object

concept CompensationActivity subConceptOf Activity
     nonFunctionalProperties
          dc#description hasValue "Always connected to some standard activity. Performed when for some reason, the main activity had to be undone. Then the Compensation Activity is performed. "
     endNonFunctionalProperties

concept CompensationAssociation subConceptOf Association
     nonFunctionalProperties
          dc#description hasValue "One of association types. Used to connect an activity to its compentation activity"
     endNonFunctionalProperties

concept CompensationEndEvent subConceptOf { EndEvent, Compensation}
     nonFunctionalProperties
          dc#description hasValue "It is an end Event type. This type of End indicates that a Compensation is necessary. "
     endNonFunctionalProperties

concept CompensationIntermediateEvent subConceptOf { IntermediateEvent, Compensation}
     nonFunctionalProperties
          dc#description hasValue "This is used for compensation handling--both activating and performing compensation. "
     endNonFunctionalProperties

concept ComplexGateway subConceptOf Gateway
     nonFunctionalProperties
          dc#description hasValue "BPMN includes a Complex Gateway to handle situations that are not easily handled through the other types of Gateways. Complex Gateways can also be used to combine a set of linked simple Gateways into a single, more compact situation. Modelers can provide complex expressions that determine the merging and/or splitting behavior of the Gateway. "
     endNonFunctionalProperties
     hasGate ofType Gate
     hasIncomingCondition ofType  (0 1) Expression
     hasOutgoingCondition ofType  (0 1) Expression

concept ConnectingObject subConceptOf GraphicalObject
     nonFunctionalProperties
          dc#description hasValue "The graphical objects used to connect two objects together"
     endNonFunctionalProperties
     hasName ofType  (0 1) _string
     hasSource ofType  (1 1) { FlowObject, Pool, Artifact}
     hasTarget ofType  (1 1) { FlowObject, Pool}

concept DataBasedExclusiveGateway subConceptOf ExclusiveGateway
     nonFunctionalProperties
          dc#description hasValue "The Data-Based Exclusive Gateways are the most commonly used type of Gateways. The set of Gates for Data-Based Exclusive Decisions is based on the boolean expression contained in the ConditionExpression attribute of the outgoing Sequence Flow of the Gateway. These expressions use the values of process data to determine which path should be taken (hence the name Data-Based). "
     endNonFunctionalProperties
     hasDefalultGate ofType  (0 1) Gate
     hasGate ofType Gate
     isMarkerVisible ofType  (1 1) _boolean

concept DataObject subConceptOf Artifact
     nonFunctionalProperties
          dc#description hasValue "In BPMN, a Data Object is considered an Artifact and not a Flow Object. They are considered an Artifact because they do not have any direct affect on the Sequence Flow or Message Flow of the Process, but they do provide information about what the Process does. That is, how documents, data, and other objects are used and updated during the Process. "
     endNonFunctionalProperties
     hasName ofType  (1 1) _string
     isProducedAtCompletion ofType  (1 1) _boolean
     hasProperty ofType Property
     isRequiredForStart ofType  (1 1) _boolean
     hasState ofType  (0 1) _string

concept EmbeddedSubProcess subConceptOf SubProcess
     nonFunctionalProperties
          dc#description hasValue "An Embedded (or nested) Sub-Process object is an activity that contains other activities (a Process). The Process within the Process is dependent on the parent Process for instigation and has visibility to the parent’s global data. "
     endNonFunctionalProperties
     isAdHoc ofType  (1 1) _boolean
     hasAdHocCompletionCondition ofType  (0 1) Expression
     hasAdHocOrdering ofType  (0 1) _string
     hasGraphicalElement ofType GraphicalObject

concept EndEvent subConceptOf Event
     nonFunctionalProperties
          dc#description hasValue "Event used to mark Process termination"
     endNonFunctionalProperties
     hasResult ofType _string

concept Entity subConceptOf SupportingTypes
     nonFunctionalProperties
          dc#description hasValue "One of supporting types. Used in objects description,  when some attribue must have a value in form of  an expression."
     endNonFunctionalProperties
     hasName ofType  (1 1) _string

concept Error subConceptOf Trigger
     nonFunctionalProperties
          dc#description hasValue "One of Trigger types. Used to representing cause (Start and Intermediate Events) or result (Intermesiate or End Events) of some Event as Error"
     endNonFunctionalProperties
     hasErrorCode ofType  (1 1) _string

concept ErrorEndEvent subConceptOf { EndEvent, Error}
     nonFunctionalProperties
          dc#description hasValue "Type defining  the consequence of reaching an End Event as Error. "
     endNonFunctionalProperties

concept ErrorIntermediateEvent subConceptOf { IntermediateEvent, Error}
     nonFunctionalProperties
          dc#description hasValue "Intermediate event nitiated when error occurs"
     endNonFunctionalProperties

concept Event subConceptOf FlowObject
     nonFunctionalProperties
          dc#description hasValue "A special set of circumstances which have an impact on Process flow"
     endNonFunctionalProperties
     hasEventType ofType  (1 1) _string

concept EventBasedExclusiveGateway subConceptOf ExclusiveGateway
     nonFunctionalProperties
          dc#description hasValue "On the input side, their behavior is the same as a Data-Based Exclusive Gateway (see “Data-Based” on page 73). On the output side, the basic idea is that this Decision represents a branching point in the process where the alternatives are based on events that occurs at that point in the Process, rather than the evaluation of expressions using process data. "
     endNonFunctionalProperties
     hasGate ofType  (2 *) Gate

concept ExclusiveGateway subConceptOf Gateway
     nonFunctionalProperties
          dc#description hasValue "Exclusive Gateways (Decisions) are locations within a business process where the Sequence Flow can take two or more alternative paths. "
     endNonFunctionalProperties
     hasXORType ofType  (1 1) _string

concept Expression subConceptOf SupportingTypes
     nonFunctionalProperties
          dc#description hasValue "One of supporting types. Used in objects description,  when some attribue must have a value in form of  an expression."
     endNonFunctionalProperties
     hasExpression impliesType  (1 1) _string

concept ExpressionSequenceFlow subConceptOf SequenceFlow
     nonFunctionalProperties
          dc#description hasValue "A Sequence Flow with conditional expression attribute. This means that the condition expression must be evaluated before a Token can be generated and then leave the source object to traverse the Flow. The conditions are usually associated with Decision Gateways, but can also be used with activities. "
     endNonFunctionalProperties
     hasConditionExpression ofType  (1 1) Expression

concept FlowObject subConceptOf GraphicalObject
     nonFunctionalProperties
          dc#description hasValue "Flow Objects are the main graphical elements to define the behavior of a Business Process. There are three Flow Objects:  Events, Activities,  Gateways "
     endNonFunctionalProperties
     hasAssignment ofType Assignment
     hasLane ofType Lane
     hasName ofType  (1 1) _string
     hasPool ofType  (1 1) Pool

concept Gate subConceptOf SupportingTypes
     nonFunctionalProperties
          dc#description hasValue "Gates are not graphically depicted, the Gates are used by the Sequence Flow to connect to or from the Gateway. "
     endNonFunctionalProperties
     hasAssignment ofType Assignment
     hasOutgoingSequenceFlow ofType  (1 1) SequenceFlow

concept Gateway subConceptOf FlowObject
     nonFunctionalProperties
          dc#description hasValue "Gateways are modeling elements that are used to control how Sequence Flow interact as they converge and diverge within a Process."
     endNonFunctionalProperties
     hasGatewayType ofType  (1 1) _string

concept GraphicalObject
     nonFunctionalProperties
          dc#description hasValue "Graphical representation and the semantics of the Business Process objects"
     endNonFunctionalProperties
     hasID ofType  (1 1) _string
     hasDocumentation ofType  (0 1) _string
     hasCategory ofType _string

concept Group subConceptOf Artifact
     nonFunctionalProperties
          dc#description hasValue "The Group object is an Artifact that provides a visual mechanism to group elements of a diagram informally. "
     endNonFunctionalProperties
     hasName ofType  (0 1) _string

concept InclusiveGateway subConceptOf Gateway
     nonFunctionalProperties
          dc#description hasValue "Branching point where Alternatives are based on conditional expressions contained within outgoing Sequence Flow. "
     endNonFunctionalProperties
     hasDefaultGate ofType  (0 1) Gate
     hasGate ofType Gate

concept IndependentSubProcess subConceptOf SubProcess
     nonFunctionalProperties
          dc#description hasValue "Sub-Process which is not dependent of its parent Process "
     endNonFunctionalProperties
     hasDiagramRef ofType  (1 1) BusinessProcessDiagram
     hasInputPropertyMap ofType Expression
     hasOutputPropertyMap ofType Expression
     hasProcessRef ofType  (1 1) Process

concept Input subConceptOf Artifact
     nonFunctionalProperties
          dc#description hasValue "Used in the definition of common attributes for Activities and for attributes of a Process "
     endNonFunctionalProperties

concept InputSet
     nonFunctionalProperties
          dc#description hasValue "Used in the definition of common attributes for Activities and for attributes of a Process "
     endNonFunctionalProperties
     hasInput ofType  (1 *) Input

concept IntermediateEvent subConceptOf Event
     nonFunctionalProperties
          dc#description hasValue "An Intermediate Event is an event that occurs after a Process has been started. It will affect the flow of the process, but will not start or (directly) terminate the process. "
     endNonFunctionalProperties
     hasTrigger ofType  (1 1) _string
     hasTarget impliesType  (0 1) Object

concept Lane subConceptOf Swimlane
     nonFunctionalProperties
          dc#description hasValue "A Lane is a sub-partition within a Pool and will extend the entire length of the Pool, either vertically or horizontally. Lanes are used to organize and categorize activities within a Pool. The meaning of the Lanes is up to the modeler. "
     endNonFunctionalProperties
     hasParentLane ofType  (0 1) Lane
     hasParentPool ofType  (1 1) Pool

concept Link subConceptOf Trigger
     nonFunctionalProperties
          dc#description hasValue "Triger type.  A Link is a mechanism for connecting two sections of a Process "
     endNonFunctionalProperties
     hasLinkID ofType  (1 1) _string
     hasProcessRef ofType  (1 1) Process

concept LinkEndEvent subConceptOf { EndEvent, Link}
     nonFunctionalProperties
          dc#description hasValue "checked"
     endNonFunctionalProperties

concept LinkIntermediateEvent subConceptOf { IntermediateEvent, Link}
     nonFunctionalProperties
          dc#description hasValue "A Link is a mechanism for connecting two sections of a Process. Link Events can be used to create looping situations or to avoid long Sequence Flow lines. Link Event uses are limited to a single Process level (i.e., they cannot link a parent Process with a Sub-Process). "
     endNonFunctionalProperties

concept LinkStartEvent subConceptOf { StartEvent, Link}
     nonFunctionalProperties
          dc#description hasValue "Used when Process is started by Link "
     endNonFunctionalProperties

concept LoopActivity subConceptOf Activity
     nonFunctionalProperties
          dc#description hasValue "Activity that can be performed more then once, according to loop definition"
     endNonFunctionalProperties

concept ManualTask subConceptOf Task
     nonFunctionalProperties
          dc#description hasValue "Task performed manually by a human being"
     endNonFunctionalProperties
     hasPerformer ofType _string

concept Message subConceptOf SupportingTypes
     nonFunctionalProperties
          dc#description hasValue "Supporting type. Used for definition of restrictions for attributes valused"
     endNonFunctionalProperties
     hasFromParticipant ofType  (1 1) Participant
     hasName ofType  (1 1) _string
     hasProperty ofType Property
     hasToParticipant ofType  (1 1) Participant

concept MessageEndEvent subConceptOf { EndEvent, MessageTrigger}
     nonFunctionalProperties
          dc#description hasValue "An End Event resulting with message."
     endNonFunctionalProperties

concept MessageFlow subConceptOf ConnectingObject
     nonFunctionalProperties
          dc#description hasValue "One of connecting objects, Used to mark flow of messages in the process."
     endNonFunctionalProperties
     hasMessage ofType  (0 1) Message

concept MessageIntermediateEvent subConceptOf { IntermediateEvent, MessageTrigger}
     nonFunctionalProperties
          dc#description hasValue "Intermediate event started by Message"
     endNonFunctionalProperties

concept MessageStartEvent subConceptOf { StartEvent, MessageTrigger}
     nonFunctionalProperties
          dc#description hasValue "Start Event which was launched by Message"
     endNonFunctionalProperties

concept MessageTrigger subConceptOf Trigger
     nonFunctionalProperties
          dc#description hasValue "An mechanism launginch Events by Mesages."
     endNonFunctionalProperties
     hasImplementation ofType  (1 1) _string
     hasMessageProperty ofType  (1 1) Message
     hasName ofType  (1 1) _string

concept MultiInstanceLoopActivity subConceptOf LoopActivity
     nonFunctionalProperties
          dc#description hasValue "Activity that is performed in loop. These are often used in processes where a specific type of item will have a set number of sub-items or line items. A Multi-Instance loop will be used to process each of the line items "
     endNonFunctionalProperties
     hasLoopCounter ofType  (1 1) _integer
     hasMICondition ofType  (1 1) Expression
     hasMIOrdering ofType  (1 1) _string

concept MultiInstanceLoopParallel subConceptOf MultiInstanceLoopActivity
     nonFunctionalProperties
          dc#description hasValue "These are often used in processes where a specific type of item will have a set number of sub-items or line items. A Multi-Instance loop will be used to process each of the line items "
     endNonFunctionalProperties
     hasMIFlowCondition ofType  (1 1) _string

concept MultiInstanceLoopParallelComplex subConceptOf MultiInstanceLoopParallel
     nonFunctionalProperties
          dc#description hasValue "These are often used in processes where a specific type of item will have a set number of sub-items or line items. A Multi-Instance loop will be used to process each of the line items "
     endNonFunctionalProperties
     hasComplexMIFlowCondition ofType  (0 1) Expression

concept Multiple subConceptOf Trigger
     nonFunctionalProperties
          dc#description hasValue "Used to mark many reasons which initiate some  Event"
     endNonFunctionalProperties
     hasTrigger ofType  (2 *) _string

concept MultipleEndEvent subConceptOf { EndEvent, Multiple}
     nonFunctionalProperties
          dc#description hasValue "End Event which has more than one result"
     endNonFunctionalProperties

concept MultipleIntermediateEvent subConceptOf { IntermediateEvent, Multiple}
     nonFunctionalProperties
          dc#description hasValue "Intermediate Event which can be initiated by more then one impulse"
     endNonFunctionalProperties

concept MultipleStartEvent subConceptOf { StartEvent, Multiple}
     nonFunctionalProperties
          dc#description hasValue "Start Event that can be initiated by more then one impulse"
     endNonFunctionalProperties

concept Object subConceptOf SupportingTypes
     nonFunctionalProperties
          dc#description hasValue "One of supporting types. Used for coherent definition of multiple concepts attributes"
     endNonFunctionalProperties
     hasID ofType  (1 1) _string

concept Output subConceptOf Artifact
     nonFunctionalProperties
          dc#description hasValue "One of supporting types. Used for coherent definition of multiple concepts attributes"
     endNonFunctionalProperties

concept OutputSet
     nonFunctionalProperties
          dc#description hasValue "Defines the data requirements for output from the Process "
     endNonFunctionalProperties
     Outputs ofType  (1 *) Output

concept ParallelGateway subConceptOf Gateway
     nonFunctionalProperties
          dc#description hasValue "Parallel Gateways provide a mechanism to synchronize parallel flow and to create parallel flow. "
     endNonFunctionalProperties
     hasGate ofType Gate

concept Participant subConceptOf SupportingTypes
     nonFunctionalProperties
          dc#description hasValue "One of supporting types. Used for coherent definition of multiple concepts attributes"
     endNonFunctionalProperties
     hasType ofType  (1 1) { Role, Entity}

concept Pool subConceptOf Swimlane
     nonFunctionalProperties
          dc#description hasValue "A Pool represents a Participant in the Process. "
     endNonFunctionalProperties
     isBoundaryVisible ofType  (1 1) _boolean
     hasLane ofType  (1 *) Lane
     hasParticipant ofType  (1 1) Participant
     hasProcess ofType  (0 1) Process

concept Process subConceptOf GraphicalObject
     nonFunctionalProperties
          dc#description hasValue "A Process is any activity performed within a company or organization. In BPMN a Process is depicted as a network of Flow Objects, which are a set of other activities and the controls that sequence them. "
     endNonFunctionalProperties
     isAdHoc ofType  (1 1) _boolean
     isEnableInstanceCompensation ofType  (1 1) _boolean
     hasGraphicalElementsProcess ofType Object
     hasType ofType  (1 1) _string
     hasSuppressJoinFailure ofType _boolean
     hasStatus ofType  (0 1) _string
     hasProperties impliesType Property
     hasName ofType  (1 1) _string
     hasAssignment ofType Assignment

concept Property subConceptOf SupportingTypes
     nonFunctionalProperties
          dc#description hasValue "One of supporting types. Used for coherent definition of multiple concepts attributes"
     endNonFunctionalProperties
     hasCorrelation ofType  (0 1) _boolean
     hasName ofType  (1 1) _string
     hasType ofType  (1 1) _string

concept ReceiveTask subConceptOf Task
     nonFunctionalProperties
          dc#description hasValue "A Receive Task is a simple Task that is designed to wait for a message to arrive from an external participant (relative to the Business Process). Once the message has been received, the Task is completed. "
     endNonFunctionalProperties
     hasImplementation ofType  (1 1) _string
     isInstantiate ofType  (1 1) _boolean
     hasMessage ofType  (1 1) Message

concept ReferenceSubProcess subConceptOf SubProcess
     nonFunctionalProperties
          dc#description hasValue "Used when a modeler want to reference another Sub-Process that has been defined. If the two Sub- Processes share the exact same behavior and properties, then by one referencing the other, the attributes that define the behavior only have to be created once and maintained in only one location "
     endNonFunctionalProperties
     hasSubProcessRef ofType  (1 1) Task

concept ReferenceTask subConceptOf Task
     nonFunctionalProperties
          dc#description hasValue "Used when a modeler may want to reference another activity that has been defined. If the two (or more) activities share the exact same behavior, then by one referencing the other, the attributes that define the behavior only have to be created once and maintained in only one location "
     endNonFunctionalProperties
     hasTaskRef ofType  (1 1) Task

concept Role subConceptOf SupportingTypes
     nonFunctionalProperties
          dc#description hasValue "One of supporting types. Used for coherent definition of multiple concepts attributes"
     endNonFunctionalProperties
     hasName ofType  (1 1) _string

concept Rule subConceptOf SupportingTypes
     nonFunctionalProperties
          dc#description hasValue "One of supporting types. Used for coherent definition of multiple concepts attributes"
     endNonFunctionalProperties
     hasName ofType  (1 1) _string
     hasRuleExpression ofType  (0 1) Expression

concept RuleIntermediateEvent subConceptOf { IntermediateEvent, RuleTrigger}
     nonFunctionalProperties
          dc#description hasValue "Intermediate Event which starts when some rule comes true"
     endNonFunctionalProperties

concept RuleStartEvent subConceptOf { StartEvent, RuleTrigger}
     nonFunctionalProperties
          dc#description hasValue "Start Event initiated when some rule comes true"
     endNonFunctionalProperties

concept RuleTrigger subConceptOf Trigger
     nonFunctionalProperties
          dc#description hasValue "Trigger initiating some Events whem some rule comes true"
     endNonFunctionalProperties
     hasRuleName ofType  (1 1) Rule

concept ScriptTask subConceptOf Task
     nonFunctionalProperties
          dc#description hasValue "A Script Task is executed by a business process engine. The modeler or implementer defines a script in a language that the engine can interpret. When the Task is ready to start, the engine will execute the script. When the script is completed, the Task will also be completed. "
     endNonFunctionalProperties
     Script ofType  (0 1) _string

concept SendTask subConceptOf Task
     nonFunctionalProperties
          dc#description hasValue "A Send Task is a simple Task that is designed to send a message to an external participant (relative to the Business Process). Once the message has been sent, the Task is completed. "
     endNonFunctionalProperties
     hasImplementation ofType  (1 1) _string
     hasMessage ofType  (1 1) Message

concept SequenceFlow subConceptOf ConnectingObject
     nonFunctionalProperties
          dc#description hasValue "A Sequence Flow is used to show the order that activities will be performed in a Process. Each Flow has only one source and only one target. "
     endNonFunctionalProperties
     hasConditionType ofType  (1 1) _string
     hasQuantity ofType  (1 1) _integer

concept ServiceTask subConceptOf Task
     nonFunctionalProperties
          dc#description hasValue "A Service Task is a Task that provides some sort of service, which could be a Web service or an automated application "
     endNonFunctionalProperties
     hasImplementation ofType  (1 1) _string
     hasInMessage ofType  (1 1) Message
     hasOutMessage ofType  (1 1) Message

concept StandardLoopActivity subConceptOf LoopActivity
     nonFunctionalProperties
          dc#description hasValue "Activity repeated in a loop."
     endNonFunctionalProperties
     hasLoopCondition ofType  (1 1) Expression
     hasLoopCounter ofType  (1 1) _integer
     hasLoopMaximum ofType  (0 1) _integer
     hasTestTime ofType  (1 1) _string

concept StartEvent subConceptOf Event
     nonFunctionalProperties
          dc#description hasValue "Event which starts the Process"
     endNonFunctionalProperties

concept SubProcess subConceptOf Activity
     nonFunctionalProperties
          dc#description hasValue "A Sub-Process is Process that is included within another Process. "
     endNonFunctionalProperties
     isTransaction ofType  (1 1) _boolean
     hasType ofType  (1 1) _string
     hasTransactionProperty ofType  (0 1) Transaction

concept SupportingTypes
     nonFunctionalProperties
          dc#description hasValue "Group of types necessary for coherent concepts and attributes definition, whcoch has no phisical relewant object in BPMN"
     endNonFunctionalProperties

concept Swimlane subConceptOf GraphicalObject
     nonFunctionalProperties
          dc#description hasValue "A Swimlane is a graphical container for partitioning a set of activities from other activities. "
     endNonFunctionalProperties
     hasName ofType  (1 1) _string

concept Task subConceptOf Activity
     nonFunctionalProperties
          dc#description hasValue "A Task is an atomic activity that is included within a Process "
     endNonFunctionalProperties
     hasTaskType ofType  (1 1) _string

concept Terminate subConceptOf Trigger
     nonFunctionalProperties
          dc#description hasValue "Trigger which terminates Event execution for some given time period"
     endNonFunctionalProperties

concept TerminateEndEvent subConceptOf { EndEvent, Terminate}
     nonFunctionalProperties
          dc#description hasValue "End Event which results with termination of further actions"
     endNonFunctionalProperties

concept Timer subConceptOf Trigger
     nonFunctionalProperties
          dc#description hasValue "Trigger initiating some Event execution at given time or when given time period passes"
     endNonFunctionalProperties
     hasTimeCycle ofType  (0 1) _string
     hasTimeDate ofType  (0 1) _string

concept TimerIntermediateEvent subConceptOf { IntermediateEvent, Timer}
     nonFunctionalProperties
          dc#description hasValue "Intermediate event which is instantiated at cetrain time, or when given time period passes"
     endNonFunctionalProperties

concept TimerStartEvent subConceptOf { StartEvent, Timer}
     nonFunctionalProperties
          dc#description hasValue "Start Event which can be initiated at a certain time, or when a certain time period passes etc."
     endNonFunctionalProperties

concept Transaction subConceptOf SupportingTypes
     nonFunctionalProperties
          dc#description hasValue "One of supporting types. Used for coherent definition of multiple concepts attributes"
     endNonFunctionalProperties
     hasID ofType  (1 1) _string
     hasMethod ofType  (1 1) _string
     hasProtocol ofType  (1 1) _string

concept Trigger
     nonFunctionalProperties
          dc#description hasValue "Triggers are designed to show the general mechanism that will instantiate particular  Event"
     endNonFunctionalProperties

concept UserTask subConceptOf Task
     nonFunctionalProperties
          dc#description hasValue "A User Task is a typical “workflow” task where a human performer performs the Task with the assistance of a software application and is scheduled through a task list manager of some sort "
     endNonFunctionalProperties
     hasImplementationProperty ofType  (1 1) _string
     hasInMessage ofType  (1 1) Message
     hasOutMessage ofType  (1 1) Message
     hasPerformer ofType  (1 *) _string

concept WebService subConceptOf SupportingTypes
     nonFunctionalProperties
          dc#description hasValue "One of supporting types. Used for coherent definition of multiple concepts attributes"
     endNonFunctionalProperties
     hasInterface ofType  (1 1) _string
     hasOperation ofType  (1 1) _string
     hasWebServiceparticipant ofType  (1 1) Participant