wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-flight"
namespace { _"http://ip-super.org/ontologies/process/sbpel/v2.0.0#",
     sbpel _"http://ip-super.org/ontologies/process/sbpel/v2.0.0#", 
     dc _"http://purl.org/dc/Elements/1.1#", 
     bpmo _"http://ip-super.org/ontologies/process/bpmo/v2.0.1#",
     upo _"http://ip-super.org/ontologies/process/upo/v2.0.1#",
     bpel _"http://ip-super.org/ontologies/process/bpel20/v2.0.0#"}

 
ontology sbpel

     nonFunctionalProperties
          dc#title hasValue "sbpel Ontology"
          dc#description hasValue "WSML Model of the semantic Extensions to BPEL 2.0"
          dc#publisher hasValue "SUPER European Integrated Project"
          dc#subject hasValue {"bpel", "Business Process", "workFlow"}
          dc#creator hasValue "Joerg Nitzsche"
          dc#contributor hasValue {"Joerg Nitzsche", "Barry Norton", "Tammo van Lessen", "Carlos Pedrinaci", "Dimka Karastoyanova"}
          dc#language hasValue "en-US"
          dc#date hasValue "$Date: 2008/10/14$"
     endNonFunctionalProperties

importsOntology
          _"http://ip-super.org/ontologies/process/bpel20/v2.0.0#bpel20"


concept SemanticProcess subConceptOf bpel#Process
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <process>-Element of an executable sbpel Process"
     endNonFunctionalProperties
     hasConversation ofType Conversation
     hasPartner ofType Partner
     hasSemanticOnMessage ofType SemanticOnMessage

concept SemanticScope subConceptOf bpel#Scope
     nonFunctionalProperties
          dc#description hasValue "Concept of being an Scope used within a semantic process"
     endNonFunctionalProperties
     hasSemanticOnMessage ofType SemanticOnMessage

concept Partner
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <partner>-Element"
     endNonFunctionalProperties
     hasName ofType  (1) _string
     hasBusinessEntity ofType (0 1) _string /* _"http://www.wsmo.org/wsml/wsml-syntax#Concept" / _"http://www.wsmo.org/wsml/wsml-syntax#Instance" */
     hasConversation ofType  (1 *) Conversation

concept SemanticVariable subConceptOf bpel#Variable
     nonFunctionalProperties
          dc#description hasValue "Concept of being a semantic Variable"
     endNonFunctionalProperties
     hasSemanticType ofType (1) _string /* _"http://www.wsmo.org/wsml/wsml-syntax#Concept" */

concept SendReceive subConceptOf {bpel#Interaction, bpel#NewActivityType}
     nonFunctionalProperties
          dc#description hasValue "Concept of being a an activity that only completes after it first sends a message and then receives a message"
     endNonFunctionalProperties
     belongsToConversation ofType (1) Conversation
     hasInputVariable ofType (1) SemanticVariable
     hasOutputVariable ofType (1) SemanticVariable

concept Receive subConceptOf {bpel#Interaction, bpel#NewActivityType}     
     nonFunctionalProperties
          dc#description hasValue "Concept of being an activity that receives a message"
     endNonFunctionalProperties
     doesCreateInstance ofType  (0 1) _boolean
     belongsToConversation ofType (1) Conversation
     hasVariable ofType (1) SemanticVariable

concept Send subConceptOf {bpel#Interaction, bpel#NewActivityType}     
     nonFunctionalProperties
          dc#description hasValue "Concept of being an activity that sends a message"
     endNonFunctionalProperties
     belongsToConversation ofType (1) Conversation
     hasVariable ofType (1) SemanticVariable

concept SemanticPick subConceptOf bpel#NewActivityType
     nonFunctionalProperties
          dc#description hasValue "Concept of being a semantic Pick"
     endNonFunctionalProperties
     doesCreateInstance ofType  (0 1) _boolean
     hasOnMessage ofType  (1 *) bpel#MessageEvent 
     hasOnAlarm ofType bpel#OnAlarm

concept SemanticOnMessage subConceptOf {bpel#Interaction, bpel#MessageEvent}
     nonFunctionalProperties
          dc#description hasValue "Concept of being a semantic onMessage"
     endNonFunctionalProperties
     belongsToConversation ofType (1) Conversation
     hasVariable ofType (1) SemanticVariable
     hasActivity ofType (1) bpel#Activity

concept Conversation  
     nonFunctionalProperties
          dc#description hasValue "Concept of being a Conversation"
     endNonFunctionalProperties
     hasName ofType (1) _string
     describesInterface ofType (1) InterfaceDescription
     correspondsTo ofType bpmo#Process

concept InterfaceDescription
     nonFunctionalProperties
          dc#description hasValue "Concept of describing what kind of interface the Conversation defines"
     endNonFunctionalProperties

concept IncomingInterface subConceptOf InterfaceDescription
     nonFunctionalProperties
          dc#description hasValue "Concept of being an incoming interface"
     endNonFunctionalProperties
     hasWebServiceDescription ofType (1) _string /*_"http://www.wsmo.org/wsml/wsml-syntax#Webservice"*/

concept OutgoingInterface subConceptOf InterfaceDescription
     nonFunctionalProperties
          dc#description hasValue "Concept of being an outgoing interface"
     endNonFunctionalProperties
     hasGoalDescription ofType (1) _string /*_"http://www.wsmo.org/wsml/wsml-syntax#Goal"*/

concept sbpel#Mediate subConceptOf bpel#ExtensionAssignOperation
	 nonFunctionalProperties
          dc#description hasValue "Concept of being an <extensionAssignOperation>-Element"
     endNonFunctionalProperties
     hasInputVariable ofType (1) SemanticVariable
     hasOutputVariable ofType (1) SemanticVariable
     usesDataMediator ofType (0 1) DataMediator
     correspondsTo ofType bpmo#DataMediator
     
concept DataMediator subConceptOf upo#BusinessProcessMediator
     nonFunctionalProperties
          dc#description hasValue "Concept of being a (WSMO-like) data mediator"
     endNonFunctionalProperties
     sbpel#usesMediator ofType _string
     hasMediationService ofType _string
     correspondsTo ofType bpmo#DataMediator