wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-flight" namespace { _"http://ip-super.org/SEPC/20080625#" , 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/SEPC/20080625#" nonFunctionalProperties dc#title hasValue "Ontology of Event Driven Process Chain Notation" dc#creator hasValue "OU & PUE" wsmostudio#version hasValue "0.7.2" endNonFunctionalProperties // axioms to be defined later concept EPCEntity nonFunctionalProperties dc#description hasValue "Entities are real or abstract objects of interest for a given segment of an enterprise’s tasks." endNonFunctionalProperties concept Resource nonFunctionalProperties dc#description hasValue "A resource concept is a resource that cannot be described in detail and does not have to be either a person or an operating resource. A resource is for executing procedures." endNonFunctionalProperties hasResourceID ofType _integer concept TimeEntity nonFunctionalProperties dc#description hasValue "A TimeEntity is a concept used to group a time related concepts used to express time needed to perform a certain activity or a process." endNonFunctionalProperties concept Duration subConceptOf TimeEntity nonFunctionalProperties dc#description hasValue "Duration enables to specify the amount of time needed to perform a certain activity or process." endNonFunctionalProperties concept TimePoint subConceptOf TimeEntity nonFunctionalProperties dc#description hasValue "TimePoint expresses a specific point in time e.g. a date." endNonFunctionalProperties concept InformationResource subConceptOf Resource nonFunctionalProperties dc#description hasValue "InformationResource concept is used to group all resources providing information for or being produced by an activity or a process." endNonFunctionalProperties concept MaterialResource subConceptOf Resource nonFunctionalProperties dc#description hasValue "MaterialResource concept is used to group all resources being used/produced by a certain activity or a process." endNonFunctionalProperties concept DataRepository subConceptOf MaterialResource nonFunctionalProperties dc#description hasValue "e.g. database, data warehouse" endNonFunctionalProperties concept ITSystemOrApplication subConceptOf MaterialResource nonFunctionalProperties dc#description hasValue "e.g. MRP software" endNonFunctionalProperties concept Material subConceptOf MaterialResource nonFunctionalProperties dc#description hasValue "e.g. raw material" endNonFunctionalProperties concept PhysicalAsset subConceptOf MaterialResource nonFunctionalProperties dc#description hasValue "e.g. truck, filling cabinet" endNonFunctionalProperties concept Document subConceptOf InformationResource nonFunctionalProperties dc#description hasValue "Document concept is used to specify a document being used/produced by an activity or a process." endNonFunctionalProperties concept ElectronicDocument subConceptOf Document nonFunctionalProperties dc#description hasValue "Electronic version of a document being used/produced by an activity or a process." endNonFunctionalProperties concept PhysicalDocument subConceptOf Document nonFunctionalProperties dc#description hasValue "Paper version of a document being used/produced by an activity or a process." endNonFunctionalProperties concept BusinessProcess subConceptOf EPCEntity nonFunctionalProperties dc#description hasValue "BusinessProcess concept is used to represent a flow of activities (i.e. events and functions) taking place in an enterprise." endNonFunctionalProperties hasGraphicalRepresentation ofType EPCGraph hasWorkflow ofType Workflow concept EPCGraph subConceptOf EPCEntity nonFunctionalProperties dc#description hasValue "EPCGraph concept represents Event-driven Process Chains diagrams." endNonFunctionalProperties isStoredInFile ofType _string concept OrganisationalUnit subConceptOf EPCEntity nonFunctionalProperties dc#description hasValue "Organisational units are task performers which are carrying out the tasks that must be performed in order to reach the business objectives." endNonFunctionalProperties belongsToProcess ofType (1 1) BusinessProcess concept OrganisationalUnitAssignment subConceptOf EPCEntity nonFunctionalProperties dc#description hasValue "OrganisationalUnitAssignment concept enables defining relation between business processes, functions performed and responsible entities " endNonFunctionalProperties belongsToProcess ofType (1 1) BusinessProcess hasFunction ofType Function hasOrganisationalUnit ofType OrganisationalUnit concept Workflow subConceptOf EPCEntity nonFunctionalProperties dc#description hasValue "Workflow concept is used to group activities (i.e. events and functions) performed within a process. Each workflow has at least one start and end event." endNonFunctionalProperties belongsToProcess ofType (1 1) BusinessProcess hasEndEvent ofType (1 1) EndEvent hasStartEvent ofType (1 1) StartEvent concept WorkflowElement subConceptOf EPCEntity nonFunctionalProperties dc#description hasValue "Any workflow element (F, E, LC, PI, A) has an ID. This is different than the execution ID and is used when an element appears more than once in a workflow, with the same name. Thus the name of the element (i.e. of the class) will be the same but the workflowID will be different." endNonFunctionalProperties belongsToProcess ofType (1 1) BusinessProcess concept Arc subConceptOf WorkflowElement nonFunctionalProperties dc#description hasValue "Arc connects two workflow elements using source and target attributes." endNonFunctionalProperties hasSource ofType (1 1) WorkflowElement //add axiom that hasSource is not Arc hasTarget ofType (1 1) WorkflowElement //add axiom that hasTarget is not Arc concept Event subConceptOf WorkflowElement nonFunctionalProperties dc#description hasValue "By an event we understand the fact that an information object has taken on a business-relevant status which is controlling or influencing the further procedure of the business process. Events are triggering functions and can be the result of functions. In contrast to a function, which is a time-consuming occurrence, an event is limited to one point in time." endNonFunctionalProperties hasIncomingFlow ofType (0 1) {Function, LogicalConnector, ProcessInterface} hasOutgoingFlow ofType (0 1) {Function, LogicalConnector, ProcessInterface} occursAt ofType TimePoint concept EndEvent subConceptOf Event nonFunctionalProperties dc#description hasValue "The last event within a workflow/process." endNonFunctionalProperties //axiom defining a cardinality restriction to 1 in case of incoming flow and 0 in case of outcoming flow for this event concept StartEvent subConceptOf Event nonFunctionalProperties dc#description hasValue "The event initiating the process." endNonFunctionalProperties //axiom defining a cardinality restriction to 0 in case of incoming flow and 1 in case of outcoming flow for this event concept Function subConceptOf WorkflowElement nonFunctionalProperties dc#description hasValue "A function is a technical task or action performed on an object to support one or more company goals." endNonFunctionalProperties hasOutput ofType Resource hasOutgoingFlow ofType (1 1) {Event, LogicalConnector} hasInput ofType Resource hasIncomingFlow ofType (1 1) {Event, LogicalConnector} hasDuration ofType Duration expandsIntoProcess ofType (0 1) BusinessProcess concept LogicalConnector subConceptOf WorkflowElement nonFunctionalProperties dc#description hasValue "Decision points within the process." endNonFunctionalProperties hasIncomingFlow ofType WorkflowElement hasOutgoingFlow ofType WorkflowElement concept Branch subConceptOf LogicalConnector nonFunctionalProperties dc#description hasValue "Decision point that has one incoming flow and at least 2 outgoing flows. It is used to group all EPC types of branches." endNonFunctionalProperties //Incoming flow shoud be set to 1, Outgoing to >= 2 concept Merge subConceptOf LogicalConnector nonFunctionalProperties dc#description hasValue "Synchronisation point of at least two branches of the process. It has only one outgoing flow." endNonFunctionalProperties //Incoming flow >=2, Outgoing to 1 concept EFMerge subConceptOf Merge nonFunctionalProperties dc#description hasValue " Synchronisation point of at least two events that is followed by a function. It is used to group all types of events to function merging points." endNonFunctionalProperties concept FEMerge subConceptOf Merge nonFunctionalProperties dc#description hasValue " Synchronisation point of at least two functions that is followed by an event. It is used to group all type of functions to event merging points." endNonFunctionalProperties concept ANDFEMerge subConceptOf FEMerge nonFunctionalProperties dc#description hasValue "AND synchronisation point of an AND split of type functions to event." endNonFunctionalProperties concept ORFEMerge subConceptOf FEMerge nonFunctionalProperties dc#description hasValue "OR synchronisation point of an OR split of type functions to event." endNonFunctionalProperties concept XORFEMerge subConceptOf FEMerge nonFunctionalProperties dc#description hasValue "XOR synchronisation point of a XOR split of type functions to event." endNonFunctionalProperties concept ANDEFMerge subConceptOf EFMerge nonFunctionalProperties dc#description hasValue "AND synchronisation point of an AND split of type events to function." endNonFunctionalProperties concept OREFMerge subConceptOf EFMerge nonFunctionalProperties dc#description hasValue "OR synchronisation point of an OR split of type events to function." endNonFunctionalProperties concept XOREFMerge subConceptOf EFMerge nonFunctionalProperties dc#description hasValue "XOR synchronisation point of a XOR split of type events to function." endNonFunctionalProperties concept EFBranch subConceptOf Branch nonFunctionalProperties dc#description hasValue "Decision point that has one incoming flow from an event and at least 2 outgoing flows to functions. It is used to group all types of EPC branches from an event to functions." endNonFunctionalProperties concept ANDEFBranch subConceptOf EFBranch nonFunctionalProperties dc#description hasValue "AND split point that has one incoming flow from an event and at least 2 outgoing flows to functions." endNonFunctionalProperties concept FEBranch subConceptOf Branch nonFunctionalProperties dc#description hasValue "Decision point that has one incoming flow from a function and at least 2 outgoing flows to events. It is used to group all types of EPC branches from a function to events." endNonFunctionalProperties concept ANDFEBranch subConceptOf FEBranch nonFunctionalProperties dc#description hasValue "AND split point that has one incoming flow from a function and at least 2 outgoing flows to events." endNonFunctionalProperties concept ORFEBranch subConceptOf FEBranch nonFunctionalProperties dc#description hasValue "OR split point that has one incoming flow from a function and at least 2 outgoing flows to events." endNonFunctionalProperties concept XORFEBranch subConceptOf FEBranch nonFunctionalProperties dc#description hasValue "XOR split point that has one incoming flow from a function and at least 2 outgoing flows to events." endNonFunctionalProperties