wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-flight"
namespace { _"http://www.ip-super.org/ontologies/sBPEL/20080227#", 
     dc _"http://purl.org/dc/Elements/1.1#", 
     wsdlx _"http://www.ip-super.org/ontologies/WSDLExtension4BPEL/20070126#",
     upo _"http://www.ip-super.org/ontologies/UPO/20070402#",
     bpmo _"http://www.ip-super.org/ontologies/BPMO/20070402#",
     bpel _"http://www.ip-super.org/ontologies/BPEL2_0/20080227#"}

 
ontology _"http://www.ip-super.org/ontologies/sBPEL/20080227#"

     nonFunctionalProperties
          dc#title hasValue "sBPEL Ontology"
          dc#description hasValue "WSML Model 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: 2007/07/19$"
     endNonFunctionalProperties

importsOntology
          { _"http://www.ip-super.org/ontologies/WSDLExtension4BPEL/20070126#",
            _"http://www.ip-super.org/ontologies/BPMO/20070402#",
            _"http://www.ip-super.org/ontologies/UPO/20070402#",
            _"http://www.ip-super.org/ontologies/BPEL2_0/20080227#"}


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) _sqname
     hasConversation ofType  (1 *) Conversation

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

concept SendReceive subConceptOf {bpel#Interaction, bpel#NewActivityType}
     nonFunctionalProperties
          dc#description hasValue "Concept of being a semantic Invoke"
     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 a semantic Receive"
     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 a semantic Reply"
     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) _sqname
     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) _iri /*"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) _iri /*"http://www.wsmo.org/wsml/wsml-syntax#Goal"*/

concept _"http://www.ip-super.org/ontologies/sBPEL/20080227#Mediation" 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) upo#DataMediator
     correspondsTo ofType bpmo#DataflowConnector