wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-rule"
namespace { _"http://www.ip-super.org/ontologies/PMO/20070402#"
, 
     wsml _"http://www.wsmo.org/wsml/wsml-syntax#", 
     EVO _"http://www.ip-super.org/ontologies/EVO/20070402#", 
     UPO _"http://www.ip-super.org/ontologies/UPO/20070402#",
     wsmostudio _"http://www.wsmostudio.org#" }

ontology PMO
     nonFunctionalProperties
          wsmostudio#version hasValue "0.5.5"
          wsml#version hasValue "0.3"
          _"http://purl.org/dc/elements/1.1#creator" hasValue "Carlos Pedrinaci"
     endNonFunctionalProperties

     importsOntology
            _"http://www.ip-super.org/ontologies/EVO/20070402#EVO"

axiom eventBelongsToProcessExecutionLog
     nonFunctionalProperties
          _"http://purl.org/dc/elements/1.1#description" hasValue "Events are not aware of the overall ProcessExecutionLog they belong to. This axiom associates Events to the appropriate container for further references by the analysis and monitoring tools."
     endNonFunctionalProperties
     definedBy 
          ?x[hasProcessEvents hasValue ?e] memberOf ProcessExecutionLog
impliedBy
?x[logsUserProcess hasValue ?p] memberOf ProcessExecutionLog
  and ?e[EVO#occurredDuringProcessExecution hasValue ?p] memberOf EVO#ProcessEvent. 

axiom dataEventBelongsToLog
     nonFunctionalProperties
          _"http://purl.org/dc/elements/1.1#description" hasValue "This axiom associates every Data Event to a global container to be used later on by the analysis and monitoring tools."
     endNonFunctionalProperties
     definedBy 
          ?x[hasDataEvents hasValue ?e] memberOf DataEventsLog
impliedBy
?e memberOf EVO#DataEvent. 

axiom createProcessLog
     nonFunctionalProperties
          _"http://purl.org/dc/elements/1.1#description" hasValue "Create the Process Execution Log container as soon as we obtain the first event from the process execution."
     endNonFunctionalProperties
     definedBy 
          _#1[logsUserProcess hasValue ?p] memberOf ProcessExecutionLog
  and ?w[hasProcessExecutionLogs hasValue _#1]
:-
?e[EVO#occurredDuringProcessExecution hasValue ?p]
  and naf ?pl[logsUserProcess hasValue ?p]
  and ?w memberOf WorkflowLog. 

axiom disorderedReceptionOfEvents
     nonFunctionalProperties
          _"http://purl.org/dc/elements/1.1#description" hasValue "Every Event generated by the same actor in some order (as determined by the generation timestamp) should be received in the same order (as indicated by the reception timestamp). This axiom takes us into WSML-Rule"
     endNonFunctionalProperties
     definedBy 
          _#1[hasFirstReceivedEvent hasValue ?f, hasFirstGeneratedEvent hasValue ?e] memberOf DisorderedEventsReception
:-
?e[hasReceptionTimestamp hasValue ?er, hasCreationTimestamp hasValue ?ec, generatedBy hasValue ?eg] memberOf EVO#MonitoringEvent
  and ?f[hasReceptionTimestamp hasValue ?fr, hasCreationTimestamp hasValue ?fc, generatedBy hasValue ?fg] memberOf EVO#MonitoringEvent
  and ?eg = ?fg
  and wsml#dateTimeLessThan(?ec,?fc)
  and wsml#dateTimeLessThan(?fr,?er). 

axiom inconsistentCauseTimeEvents
     nonFunctionalProperties
          _"http://purl.org/dc/elements/1.1#description" hasValue "If Event A caused Event B, then the reception of Event A should be no later than reception of Event B"
     endNonFunctionalProperties
     definedBy 
          _#1[hasConsequenceEvent hasValue ?f, hasCauseEvent hasValue ?e] memberOf InconsistentCauseTimeRelationship
:-
?e[hasReceptionTimestamp hasValue ?er, causedBy hasValue ?f] memberOf EVO#MonitoringEvent
  and ?f[hasReceptionTimestamp hasValue ?fr] memberOf EVO#MonitoringEvent
  and wsml#dateTimeLessThan(?er,?fr). 

concept WorkflowLog
     nonFunctionalProperties
          _"http://purl.org/dc/elements/1.1#description" hasValue "This concept is a container for all the existing process logs."
     endNonFunctionalProperties
     hasProcessExecutionLogs ofType ProcessExecutionLog

concept ProcessExecutionLog
     nonFunctionalProperties
          _"http://purl.org/dc/elements/1.1#description" hasValue "This concept gathers all the Process Events related to a specific process instance."
     endNonFunctionalProperties
     hasProcessEvents ofType EVO#ProcessEvent
     logsUserProcess ofType UPO#UserProcess
     hasAnomalies ofType LogAnomaly

concept DataEventsLog
     nonFunctionalProperties
          _"http://purl.org/dc/elements/1.1#description" hasValue "This concept gathers all the data events sent or received. These events cannot always be associated to a specific process instance a priori although they may affect several process instances."
     endNonFunctionalProperties
     hasDataEvents ofType EVO#DataEvent

concept LogAnomaly

concept LogInconsistency subConceptOf LogAnomaly

concept DisorderedEventsReception subConceptOf LogAnomaly
     nonFunctionalProperties
          _"http://purl.org/dc/elements/1.1#relation" hasValue DisorderedReceptionOfEvents
          _"http://purl.org/dc/elements/1.1#description" hasValue "Every Event generated by the same actor in some order (as determined by the generation timestamp) should be received in the same order (as indicated by the reception timestamp). The inconsistency holds between the FirstGeneratedEvent and the FirstReceivedEvent."
     endNonFunctionalProperties
     hasFirstGeneratedEvent ofType  (1 1) EVO#MonitoringEvent
     hasFirstReceivedEvent ofType  (1 1) EVO#MonitoringEvent

concept InconsistentCauseTimeRelationship subConceptOf LogInconsistency
     nonFunctionalProperties
          _"http://purl.org/dc/elements/1.1#relation" hasValue InconsistentCauseTimeEvents
          _"http://purl.org/dc/elements/1.1#description" hasValue "No Event should be received before every causal Event  has been received."
     endNonFunctionalProperties
     hasCauseEvent ofType EVO#MonitoringEvent
     hasConsequenceEvent ofType EVO#MonitoringEvent

instance dataEventsLogInstance memberOf DataEventsLog
     nonFunctionalProperties
          _"http://purl.org/dc/elements/1.1#description" hasValue "Default Data Events Log instance"
     endNonFunctionalProperties

instance workflowLogInstance memberOf WorkflowLog
     nonFunctionalProperties
          _"http://purl.org/dc/elements/1.1#description" hasValue "Default Workflow Log instance"
     endNonFunctionalProperties