wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-flight"
namespace { _"http://www.sembiz.org/bpmo/bpmoBusinessProcess#" ,
     dc _"http://purl.org/dc/elements/1.1#",
     bpmo _"http://www.sembiz.org/bpmo/bpmoOntology#" }

ontology bpmoBusinessProcess
     nonFunctionalProperties
          dc#title hasValue {"BPMO-Business Process"}
          dc#language hasValue "en-US"
          dc#subject hasValue {"Semantic Business Process Modeling", "BPMO Model", "WSMO"}
          dc#contributor hasValue {"Emilia Cimpian", "Adina Sirbu", "Srdjan Komazec", "Bernhard Schreder", "Michal Zaremba", "Zhixian Yan"}
          dc#format hasValue "text/html"
          dc#publisher hasValue "DERI Innsbruck, SemBiz"
          dc#version hasValue "2.0"
          dc#date hasValue {"2008-02-28"}
          dc#creator hasValue {"Zhixian Yan", "Emilia Cimpian"}
     endNonFunctionalProperties

     importsOntology
            _"http://www.sembiz.org/bpmo/bpmoOntology#bpmoOntology"

concept BusinessProcess
     nonFunctionalProperties
          dc#description hasValue "concept describing a Business Process "
     endNonFunctionalProperties
     hasName ofType (0 1) _string
     withExecution ofType Execution
     withCapability ofType Capability


concept Execution
     nonFunctionalProperties
          dc#description hasValue "contains information relevant for the execution of the process (who is involved in the executions, what processes need to be executed before this one, what Web Service actually executes the process)"
     endNonFunctionalProperties
     executedBy ofType bpmo#BusinessRole
     interactsWith ofType bpmo#BusinessRole
     //_iri represents the iri of a WSMO Web Service
     hasGrounding ofType _iri

concept Capability
     nonFunctionalProperties
          dc#description hasValue "describes what a process does, in terms of inputs, outputs, preconditions and postconditions"
     endNonFunctionalProperties
     //_iri represents the iri of a WSMO axiom
     hasPrecondition ofType _iri
     hasPostcondition ofType _iri
          
concept CompensationProcess subConceptOf BusinessProcess
	 nonFunctionalProperties
          dc#description hasValue "concept describing a Compensation Process - it has all the attributes of a business process, exept the capability (this process shoulld not be dyscovered by a dyscovery engine, but only used when the process it compensates for fails to execute)"
     endNonFunctionalProperties
     withCapability ofType (0 0) Capability
     
relation hasCompensation(ofType BusinessProcess, ofType CompensationProcess)

relation hasFaultHandler(ofType BusinessProcess, ofType BusinessProcess, ofType bpmo#Exception)

concept AtomicProcess subConceptOf BusinessProcess
     nonFunctionalProperties
          dc#description hasValue "concept describing AtomicProcess"
     endNonFunctionalProperties

concept CompositeProcess subConceptOf BusinessProcess
     nonFunctionalProperties
          dc#description hasValue "concept describing CompositeProcess"
     endNonFunctionalProperties
     subprocess ofType  (1 *) BusinessProcess
     
axiom direct_instance definedBy
    di(?x, ?T) :- ?x memberOf ?T and naf(ndi(?x, ?T)).
    ndi(?x, ?T) :- ?x memberOf ?T and ?subT subConceptOf ?T and naf(equals(?T, ?subT)) and ?x memberOf ?subT.
	equals(?x, ?y) :- ?x  subConceptOf ?y and ?y  subConceptOf ?x.
		
axiom setAbstractConceptsConstraint definedBy 
	!- di(?x, CompositeProcess).

concept ParallelProcess subConceptOf CompositeProcess
     nonFunctionalProperties
          dc#description hasValue "the sub-processes of a parallel process are all executed in parallel, by default followed by a syncronous merge"
     endNonFunctionalProperties

concept SequenceProcess subConceptOf CompositeProcess
     nonFunctionalProperties
          dc#description hasValue "the sub-processes of a sequence process are all executed in sequence"
     endNonFunctionalProperties
     headProcess ofType (1 1) BusinessProcess
     tailProcess ofType (0 1) SequenceProcess

concept SelectProcess subConceptOf CompositeProcess
     nonFunctionalProperties
          dc#description hasValue "only some of the sub-processes of a select process are executed, by default followed by a joint of the same type with the select type"
     endNonFunctionalProperties
     hasRule ofType (1 1) bpmo#BusinessRule
     hasSelectType ofType (1 1) SelectType

concept LoopProcess subConceptOf CompositeProcess
     nonFunctionalProperties
          dc#description hasValue "repeating a sub-process until some condition is met"
     endNonFunctionalProperties
     hasRule ofType (1 1) bpmo#BusinessRule
     hasLoopType ofType (1 1) LoopType
     
concept SelectType
     nonFunctionalProperties
          dc#description hasValue "used for describing what types of selections are allowed"
     endNonFunctionalProperties

concept LoopType
     nonFunctionalProperties
          dc#description hasValue "used for describing what types of loops are allowed"
     endNonFunctionalProperties

instance XOR memberOf SelectType

instance OR memberOf SelectType

instance CASE memberOf SelectType

instance FOR memberOf LoopType

instance WHILE_DO memberOf LoopType

instance DO_UNTIL memberOf LoopType

axiom allowed_select_types
     definedBy
          !- ?x memberOf SelectType and
          naf ((?x = XOR or ?x = OR or ?x=CASE)).

axiom allowed_loop_types
     definedBy
          !- ?x memberOf LoopType and
          naf ((?x = FOR or ?x = WHILE_DO or ?x = DO_UNTIL)).