wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-flight" namespace { _"http://www.ip-super.org/ontologies/BPMO/bpmo-1-5-20080430#" , upo _"http://www.ip-super.org/ontologies/UPO/upo-1-4-20080109#", dc _"http://purl.org/dc/Elements/1.1#", wsmostudio _"http://www.wsmostudio.org#" } ontology _"http://www.ip-super.org/ontologies/BPMO/bpmo-1-5-20080430#" nonFunctionalProperties dc#publisher hasValue "SUPER European Integrated Project" wsmostudio#version hasValue "0.7.3" dc#creator hasValue {"Liliana Cabral", "Roxana Belecheanu", "Barry Norton"} dc#contributor hasValue "Joerg Nitzsche" dc#subject hasValue "Semantic Business Process Management" dc#description hasValue "WSML Model of the Business Process Modelling Ontology" dc#language hasValue "en-GB" dc#date hasValue "$Date: 30/04/2008$" dc#title hasValue "BPMO - Business Process Modelling Ontology v1.5" endNonFunctionalProperties importsOntology _"http://www.ip-super.org/ontologies/UPO/upo-1-4-20080109#" 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 Resource subConceptOf upo#Resource concept BusinessProcessGoal subConceptOf upo#BusinessProcessGoal 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 BusinessDomain hasBusinessFunction ofType BusinessFunction hasResource ofType Resource hasRole ofType (0 1) Role concept Process subConceptOf BusinessActivity nonFunctionalProperties dc#description hasValue "Business process as an identifiable set of tasks, decision points and their associated workflow." endNonFunctionalProperties hasWSMOWebService ofType (0 1) SemanticCapability hasBusinessStrategy ofType BusinessStrategy hasBusinessPolicy ofType BusinessPolicy hasBusinessProcessMetrics ofType BusinessProcessMetrics hasBusinessProcessGoal ofType BusinessProcessGoal hasActor ofType (0 1) Actor 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 hasWorkflowElement ofType (1 1) WorkflowElement concept WorkflowElement hasHomeProcess ofType (0 1) Process concept SubProcess subConceptOf { WorkflowElement, Process} concept Task subConceptOf { BusinessActivity, WorkflowElement} nonFunctionalProperties dc#description hasValue "An atomic unit of work, i.e. it cannot be described in terms of other workflow entities." endNonFunctionalProperties belongsToInteraction ofType (0 1) PartnerInteraction concept MediationTask subConceptOf Task nonFunctionalProperties dc#description hasValue "An atomic unit of work, i.e. it cannot be described in terms of other workflow entities." endNonFunctionalProperties hasDataMediator ofType DataMediator concept GoalTask subConceptOf Task nonFunctionalProperties dc#description hasValue "A Task for synchronous interaction through a WSMO Goal or Web Service." endNonFunctionalProperties 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 hasWSMOGoal ofType (0 1) SemanticCapability concept Send subConceptOf Task nonFunctionalProperties dc#description hasValue "A Task for asynchronous interaction. Indicates sending a message." endNonFunctionalProperties hasWSMOWebService ofType (0 1) SemanticCapability 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 hasWSMOWebService ofType (0 1) SemanticCapability 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 StartEvent subConceptOf Event concept EndEvent subConceptOf Event concept IntermediateEvent subConceptOf Event concept Event subConceptOf WorkflowElement hasName ofType (0 1) _string hasDescription ofType (0 1) _string 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 PartnerInteraction nonFunctionalProperties dc#description hasValue "Identify communication with a partner (service/process)" endNonFunctionalProperties hasName ofType (0 1) _string hasDescription ofType (0 1) _string concept PartnerConstraint nonFunctionalProperties dc#description hasValue "Identifies a set of PartnerInteraction that have to be performed with one single partner" endNonFunctionalProperties hasName ofType (0 1) _string hasDescription ofType (0 1) _string validFor ofType PartnerInteraction 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 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) Event 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 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 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 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 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 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 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 hasIncomingConnector ofType (2 *) ControlflowConnector 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 hasIncomingConnector ofType (2 *) ControlflowConnector 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 hasIncomingConnector ofType (2 *) ControlflowConnector 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 hasIncomingConnector ofType (2 *) ControlflowConnector 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 hasIncomingConnector ofType (2 *) ControlflowConnector 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 Actor nonFunctionalProperties dc#description hasValue "Identifies an actor." endNonFunctionalProperties hasName ofType (0 1) _string hasDescription ofType (0 1) _string concept Role nonFunctionalProperties dc#description hasValue "The role assumed by the instance of the process." endNonFunctionalProperties hasName ofType (0 1) _string hasDescription ofType (0 1) _string concept ControlflowPattern subConceptOf GraphPattern concept OutgoingFlow subConceptOf ControlflowPattern concept IncomingFlow subConceptOf ControlflowPattern concept Merge subConceptOf IncomingFlow concept ControlflowConnector subConceptOf ControlflowPattern hasSource ofType (1 1) WorkflowElement hasTarget ofType (1 1) WorkflowElement concept ConditionalflowConnector subConceptOf ControlflowConnector hasCondition ofType (0 1) Condition concept Dependency subConceptOf ControlflowConnector hasName ofType (0 1) _string hasDescription ofType (0 1) _string concept ProcessFragment nonFunctionalProperties dc#description hasValue "The concept of a Process Fragment." endNonFunctionalProperties hasName ofType (0 1) _string hasDescription ofType (0 1) _string hasWorkflowElements ofType WorkflowElement hasBusinessProcessGoal ofType (0 1) BusinessProcessGoal concept Mediator subConceptOf upo#BusinessProcessMediator hasName ofType (0 1) _string hasDescription ofType (0 1) _string concept ProcessMediator subConceptOf Mediator hasSource ofType (1 1) Process hasTarget ofType (1 *) Process hasMediationProcess ofType (0 1) MediationProcess hasSWSMediator ofType _string concept DataMediator subConceptOf Mediator hasMapping ofType (0 1) SemanticCapability hasInputDescription ofType (0 1) SemanticCapability hasOutputDescription ofType (0 1) SemanticCapability concept MediationProcess subConceptOf Process