wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-flight" namespace { _"http://ip-super.org/ontologies/process/bpmo/v2.0.1#" , upo _"http://ip-super.org/ontologies/process/upo/v2.0.1#", dc _"http://purl.org/dc/elements/1.1#", wsmostudio _"http://www.wsmostudio.org#" } ontology bpmo nonFunctionalProperties dc#publisher hasValue "European FP6 Integrated Project SUPER" wsmostudio#version hasValue "0.7.3.2" dc#contributor hasValue "Joerg Nitzsche" dc#subject hasValue "Semantic Business Process Management" dc#creator hasValue {"Liliana Cabral", "Roxana Belecheanu", "Barry Norton"} dc#description hasValue "WSML Model of the Business Process Modelling Ontology" dc#language hasValue "en-GB" dc#date hasValue "$Date: 13/10/2008$" dc#title hasValue "BPMO - Business Process Modelling Ontology v2.0.1" endNonFunctionalProperties importsOntology _"http://ip-super.org/ontologies/process/upo/v2.0.1#upo" concept BusinessActivityNonFunctionalProperties nonFunctionalProperties dc#description hasValue "The set of non-functional properties of a Process or Task." endNonFunctionalProperties hasCreator ofType (0 1) _string hasStatus ofType (0 1) _string hasPriority ofType (0 1) _string isActive ofType (0 1) _string hasCreationDate ofType (0 1) _string hasPreference ofType (0 1) _string hasConstraint ofType (0 1) _string concept BusinessDomain subConceptOf upo#BusinessDomain concept BusinessFunction subConceptOf upo#BusinessFunction concept BusinessStrategy subConceptOf upo#BusinessStrategy concept BusinessPolicy subConceptOf upo#BusinessPolicy concept BusinessProcessMetrics subConceptOf upo#BusinessProcessMetrics concept BusinessResource subConceptOf upo#Resource concept BusinessProcessGoal subConceptOf upo#BusinessProcessGoal concept BusinessActor subConceptOf upo#Agent nonFunctionalProperties dc#description hasValue "Identifies an actor." endNonFunctionalProperties hasName ofType (0 1) _string concept BusinessRole subConceptOf upo#Role nonFunctionalProperties dc#description hasValue "The role played by a partner in a process interaction." endNonFunctionalProperties hasName ofType (0 1) _string hasDescription ofType (0 1) _string hasOrganisation ofType (0 1) upo#Organisation concept BusinessActivity subConceptOf upo#BusinessActivity nonFunctionalProperties dc#description hasValue "A Process or Task, typically the result of a business process design or business process engineering activity." endNonFunctionalProperties hasName ofType (0 1) _string hasDescription ofType (0 1) _string hasNonFunctionalProperties ofType (0 1) BusinessActivityNonFunctionalProperties hasBusinessDomain ofType upo#BusinessDomain hasBusinessFunction ofType upo#BusinessFunction hasBusinessStrategy ofType upo#BusinessStrategy hasBusinessPolicy ofType upo#BusinessPolicy hasBusinessProcessMetrics ofType upo#BusinessProcessMetrics hasBusinessProcessGoal ofType upo#BusinessProcessGoal hasBusinessResource ofType upo#Resource concept Process subConceptOf { BusinessActivity, upo#BusinessProcessModel} nonFunctionalProperties dc#description hasValue "Business process as an identifiable set of tasks, decision points and their associated workflow." endNonFunctionalProperties hasWSDescription ofType (0 1) SemanticCapability hasWorkflow ofType (0 1) Workflow concept Workflow subConceptOf upo#ProcessOrchestrationSpecification nonFunctionalProperties dc#description hasValue "Upper class for defining the container of a Process workflow." endNonFunctionalProperties hasHomeProcess ofType (0 1) Process hasFirstWorkflowElement ofType (1 1) WorkflowElement concept WorkflowElement subConceptOf upo#ProcessOrchestrationElement hasHomeProcess ofType (0 1) Process concept SubProcess subConceptOf { WorkflowElement, Process} concept Task subConceptOf { BusinessActivity, WorkflowElement, upo#AtomicBusinessActivity} nonFunctionalProperties dc#description hasValue "An atomic unit of work, i.e. it cannot be described in terms of other workflow entities." endNonFunctionalProperties concept MediationTask subConceptOf Task nonFunctionalProperties dc#description hasValue "A task with a data mediation purpose" endNonFunctionalProperties hasSourceTask ofType (0 1) Task hasTargetTask ofType (0 1) Task hasDataMediator ofType DataMediator concept GoalTask subConceptOf Task nonFunctionalProperties dc#description hasValue "A Task for synchronous interaction through a Goal or Web Service." endNonFunctionalProperties hasPartnerGoal ofType (0 1) SemanticCapability hasPartnerRole ofType (0 1) BusinessRole messageTo ofType (0 1) Receive messageFrom ofType (0 1) Send hasInputDescription ofType SemanticCapability hasOutputDescription ofType SemanticCapability requestsCapability ofType (0 1) SemanticCapability providesCapability ofType (0 1) SemanticCapability concept Send subConceptOf Task nonFunctionalProperties dc#description hasValue "A Task for asynchronous interaction. Indicates sending a message." endNonFunctionalProperties hasPartnerWebService ofType (0 1) SemanticCapability hasPartnerRole ofType (0 1) BusinessRole hasReceiveCounterpart ofType (0 1) Receive messageTo ofType (0 1) Receive hasOutputDescription ofType SemanticCapability requestsCapability ofType (0 1) SemanticCapability concept Receive subConceptOf Task nonFunctionalProperties dc#description hasValue "A Task for asynchronous interaction. Indicates receiving a message." endNonFunctionalProperties hasPartnerWebService ofType (0 1) SemanticCapability hasPartnerRole ofType (0 1) BusinessRole hasSendCounterpart ofType Send messageFrom ofType (0 1) Send hasInputDescription ofType SemanticCapability providesCapability ofType (0 1) SemanticCapability concept ReceiveMessageEvent subConceptOf { IntermediateEvent, Receive} nonFunctionalProperties dc#description hasValue "An event and a Receive Task. Indicates receiving a message." endNonFunctionalProperties concept WorkflowEvent subConceptOf WorkflowElement hasName ofType (0 1) _string hasDescription ofType (0 1) _string concept StartEvent subConceptOf WorkflowEvent concept EndEvent subConceptOf WorkflowEvent concept IntermediateEvent subConceptOf WorkflowEvent concept TimerEvent subConceptOf IntermediateEvent nonFunctionalProperties dc#description hasValue "Signals the receiving of a time-out. Shows the time" endNonFunctionalProperties hasTimer ofType _dateTime concept ErrorEvent subConceptOf IntermediateEvent nonFunctionalProperties dc#description hasValue "Signals the receiving of an error. Shows the error message" endNonFunctionalProperties hasErrorMessage ofType _string concept SemanticCapability nonFunctionalProperties dc#description hasValue "Provides a pointer (e.g. uri) to a semantic Description; for instance a WSMO Goal or Web Service" endNonFunctionalProperties hasSemanticDescription ofType (0 1) _string concept Branch nonFunctionalProperties dc#description hasValue "A workflow branch, which contains workflow elements " endNonFunctionalProperties hasElement ofType (0 1) WorkflowElement concept OrderedElement subConceptOf Branch hasOrder ofType (0 1) _integer hasNextElement ofType (0 1) OrderedElement concept ConditionalBranch subConceptOf Branch nonFunctionalProperties dc#description hasValue "A branch of workflow executed depending on the satisfaction of a condition, or unconditionally." endNonFunctionalProperties hasCondition ofType (0 1) Condition hasOrder ofType (0 1) _integer hasNextElement ofType (0 1) ConditionalBranch concept UnconditionalBranch subConceptOf Branch nonFunctionalProperties dc#description hasValue "A branch of a workflow with no condition." endNonFunctionalProperties concept EventBranch subConceptOf Branch hasEvent ofType (1 1) IntermediateEvent concept DeferredChoiceMerge subConceptOf BlockPattern nonFunctionalProperties dc#description hasValue "A pair of deferred choice and simple merge gateways." endNonFunctionalProperties hasEventBranch ofType (2 *) EventBranch concept ExclusiveChoiceMerge subConceptOf BlockPattern nonFunctionalProperties dc#description hasValue "A pair of exclusive choice and exclusive merge gateways." endNonFunctionalProperties hasSize ofType (0 1) _integer hasConditionalBranch ofType (2 *) ConditionalBranch hasDefaultBranch ofType (0 1) UnconditionalBranch concept MultipleChoiceMultiMerge subConceptOf BlockPattern nonFunctionalProperties dc#description hasValue "A pair of multiple choice and exclusive merge gateways." endNonFunctionalProperties hasSize ofType (0 1) _integer hasConditionalBranch ofType (2 *) ConditionalBranch hasDefaultBranch ofType (0 1) UnconditionalBranch concept MultipleChoiceDiscriminator subConceptOf BlockPattern nonFunctionalProperties dc#description hasValue "A pair of multiple choice and exclusive discriminator gateways." endNonFunctionalProperties hasSize ofType (0 1) _integer hasConditionalBranch ofType (2 *) ConditionalBranch concept ParallelSplitSynchronise subConceptOf BlockPattern nonFunctionalProperties dc#description hasValue "A pair of parallel split and sychronise gateways." endNonFunctionalProperties hasBranch ofType (2 *) UnconditionalBranch concept ParallelSplitDiscriminator subConceptOf BlockPattern nonFunctionalProperties dc#description hasValue "A pair of parallel split and discriminator gateways." endNonFunctionalProperties hasBranch ofType (2 *) UnconditionalBranch concept BlockPattern subConceptOf WorkflowElement nonFunctionalProperties dc#description hasValue "A component with one source object, one sink object, one outside entry point and one outside exit point (see Definition 3, page 6, in (Ouyang et al.))" endNonFunctionalProperties concept Sequence subConceptOf BlockPattern nonFunctionalProperties dc#description hasValue "A list of workflow entities" endNonFunctionalProperties hasOrderedElement ofType (1 *) OrderedElement hasSize ofType (0 1) _integer concept Loop subConceptOf BlockPattern hasCondition ofType (0 1) Condition executes ofType (0 1) WorkflowElement concept GraphPattern subConceptOf WorkflowElement concept DeferredChoice subConceptOf OutgoingFlow nonFunctionalProperties dc#description hasValue "A point in the workflow where one of several branches is chosen, based on input from the environment (e.g. client)" endNonFunctionalProperties hasOutgoingConnector ofType (2 *) ControlflowConnector concept ExclusiveChoice subConceptOf OutgoingFlow nonFunctionalProperties dc#description hasValue "A point in the workflow process where, based on a decision or workflow control data, one of several branches is chosen" endNonFunctionalProperties hasSize ofType (0 1) _integer hasOutgoingConnector ofType (2 *) ConditionalflowConnector hasDefaultOutgoingConnector ofType (0 1) ControlflowConnector concept ParallelSplit subConceptOf OutgoingFlow nonFunctionalProperties dc#description hasValue "A point in the workflow process where a single thread of control splits into multiple threads of control which can be executed in parallel, thus allowing activities to be executed simultaneously or in any order." endNonFunctionalProperties hasOutgoingConnector ofType (2 *) ControlflowConnector concept MultipleChoice subConceptOf OutgoingFlow hasSize ofType (0 1) _integer hasOutgoingConnector ofType (2 *) ConditionalflowConnector concept InterleavedParallelRouting subConceptOf OutgoingFlow hasOutgoingConnector ofType (2 *) ControlflowConnector concept SimpleMerge subConceptOf Merge nonFunctionalProperties dc#description hasValue "A point in the workflow process where two or more alternative branches come together without synchronization. None of the alternative branches is ever executed in parallel." endNonFunctionalProperties concept Synchronisation subConceptOf Merge nonFunctionalProperties dc#description hasValue "A point in the workflow process where multiple parallel subprocesses/activities converge into one single thread of control, thus synchronizing multiple threads. It is an assumption of this pattern that each incoming branch of a synchronizer is executed only once." endNonFunctionalProperties concept MultiMerge subConceptOf Merge nonFunctionalProperties dc#description hasValue "A point in a workflow process where two or more branches reconverge without synchronization. Branches could be activated concurrently." endNonFunctionalProperties concept MutipleMergeSynchronise subConceptOf Merge nonFunctionalProperties dc#description hasValue "A point in a workflow process where two or more branches reconverge with synchronization. Branches could be activated concurrently." endNonFunctionalProperties concept Discriminator subConceptOf Merge nonFunctionalProperties dc#description hasValue "A point in a workflow process where two or more branches reconverge with Discriminator. Branches could be activated concurrently." endNonFunctionalProperties concept Condition hasExpression ofType (0 1) _string concept Repeat subConceptOf Loop nonFunctionalProperties dc#description hasValue "A loop which executes a workflow entity at least once." endNonFunctionalProperties concept While subConceptOf Loop nonFunctionalProperties dc#description hasValue "A loop which executes a workflow entity 0 or more times, depending on a condition" endNonFunctionalProperties concept ControlflowPattern subConceptOf GraphPattern concept OutgoingFlow subConceptOf ControlflowPattern concept IncomingFlow subConceptOf ControlflowPattern concept Merge subConceptOf IncomingFlow hasIncomingConnector ofType (2 *) ControlflowConnector concept ControlflowConnector subConceptOf ControlflowPattern hasSource ofType (1 1) WorkflowElement hasTarget ofType (1 1) WorkflowElement concept ConditionalflowConnector subConceptOf ControlflowConnector hasCondition ofType (0 1) Condition hasOrder ofType (0 1) _integer concept ProcessFragment subConceptOf BusinessActivity nonFunctionalProperties dc#description hasValue "The concept of a Process Fragment." endNonFunctionalProperties hasName ofType (0 1) _string hasDescription ofType (0 1) _string hasWorkflowElements ofType WorkflowElement hasStartElement ofType (1 1) WorkflowElement hasEndElement ofType (1 1) WorkflowElement belongsToProcess ofType (1 1) Process concept Mediator subConceptOf upo#BusinessProcessMediator hasName ofType (0 1) _string hasDescription ofType (0 1) _string concept ProcessMediator subConceptOf Mediator hasSourceProcess ofType (1 1) Process hasTargetProcess ofType (1 *) Process hasMediationProcess ofType (0 1) MediationProcess hasSWSMediator ofType (0 1) SemanticCapability concept DataMediator subConceptOf Mediator hasMediator ofType SemanticCapability hasMediationService ofType SemanticCapability hasInputDescription ofType (0 1) SemanticCapability hasOutputDescription ofType (0 1) SemanticCapability concept MediationProcess subConceptOf Process