wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-flight"
namespace { _"http://www.ip-super.org/ontologies/BPEL2_0/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#"}

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

     nonFunctionalProperties
          dc#title hasValue "BPEL Ontology"
          dc#description hasValue "WSML Model of the BPEL 2.0 metamodel"
          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", "Daniel Wutke"}
          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#"}

axiom allowedInitiateValues
	definedBy !- ?x[doesInitiate hasValue ?initiate] memberOf Correlation
		and ?initiate != yes
		and ?initiate != no
		and ?initiate != _"http://www.ip-super.org/ontologies/BPEL2_0/20080227#join".

axiom allowedPatternValues
	definedBy !- ?x[hasPattern hasValue ?pattern] memberOf Correlation
		and ?pattern != response
		and ?pattern != request
		and ?pattern != _"http://www.ip-super.org/ontologies/BPEL2_0/20080227#request-response".

axiom allowedEndpointReferenceValues
	definedBy 
		!- ?x[hasEndpointReference hasValue ?value] memberOf CopyPartnerLinkEndpointReference
		and ?value != myRole
		and ?value != partnerRole.

axiom disjointFaultHandlers
definedBy !- ?x memberOf Catch
          and ?x memberOf CatchAll. 

axiom disjointWaitStatements
definedBy !- ?x memberOf For
          and ?x memberOf _"http://www.ip-super.org/ontologies/BPEL2_0/20080227#Until". 

axiom disjointDataTypes
definedBy !- ?x memberOf Type
          and ?x memberOf MessageType or
          ?x memberOf Type
          and ?x memberOf Element or
          ?x memberOf Element
          and ?x memberOf MessageType.

axiom disjointActivityTypes
definedBy !- ?x memberOf BasicActivity
          and ?x memberOf StructuredActivity.
          
instance yes memberOf Initiate

instance no memberOf Initiate

concept Initiate
     
instance _"http://www.ip-super.org/ontologies/BPEL2_0/20080227#join" memberOf Initiate

concept Pattern

instance response memberOf Pattern

instance request memberOf Pattern

instance _"http://www.ip-super.org/ontologies/BPEL2_0/20080227#request-response" memberOf Pattern

concept EndpointReference

instance myRole memberOf EndpointReference

instance partnerRole memberOf EndpointReference

concept Process subConceptOf upo#Process
     nonFunctionalProperties
          xmlns hasValue "http://docs.oasis-open.org/wsBPEL/2.0/Process/executable"
          dc#description hasValue "Concept of being a <process>-Element of an executable BPEL Process"
     endNonFunctionalProperties
     hasName ofType  (1) _string
     hasTargetNamespace ofType  (1) _iri
     hasQueryLanguage ofType (0 1) _iri
     hasExpressionLanguage ofType  (0 1) _iri
     doesSuppressJoinFailure ofType  (0 1) _boolean
     doesExitOnStandardFault ofType (0 1) _boolean
     hasExtension ofType Extension
     hasImport ofType Import
     hasPartnerLink ofType _"http://www.ip-super.org/ontologies/BPEL2_0/20080227#PartnerLink"
     hasMessageExchange ofType MessageExchange
     hasVariable ofType Variable
     hasCorrelationSet ofType CorrelationSet
     hasCatch ofType Catch
     hasCatchAll ofType (0 1) CatchAll
     hasOnEvent ofType OnEvent
     hasOnAlarm ofType RepeatableOnAlarm
     hasActivity ofType (1) Activity
     correspondsTo ofType bpmo#Process

concept Extension
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <extension>-Element"
     endNonFunctionalProperties
     hasNamespace ofType (1) _iri
     isMustUnderstand ofType (1) _boolean
     
concept Import
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <import>-Element"
     endNonFunctionalProperties
     hasNamespace ofType (1) _iri
     hasLocation ofType (0 1) _iri
     hasImportType ofType (1) _iri

concept _"http://www.ip-super.org/ontologies/BPEL2_0/20080227#PartnerLink"
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <partnerLink>-Element"
     endNonFunctionalProperties
     hasName ofType  (1) _string
     hasPartnerLinkType ofType  (1) wsdlx#PartnerLinkType
     hasMyRole ofType  (0 1) wsdlx#Role
     hasPartnerRole ofType  (0 1) wsdlx#Role
     doesInitializePartnerRole ofType (0 1) _boolean

concept Variable
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <variable>-Element"
     endNonFunctionalProperties
     hasName ofType  (1) _string
     hasType ofType (1) Type
     hasFromSpecification ofType (0 1) FromSpecification
     
concept Type
     nonFunctionalProperties
          dc#description hasValue "Concept of representing data types"
     endNonFunctionalProperties
     hasDefinition ofType (1) _sqname
     
concept XSDType subConceptOf Type
     nonFunctionalProperties
          dc#description hasValue "Concept of representing XSD simple types and XSD complex types"
     endNonFunctionalProperties

concept XSDElement subConceptOf Type
     nonFunctionalProperties
          dc#description hasValue "Concept of being an XSD element"
     endNonFunctionalProperties

concept WSDLMessageType subConceptOf Type
     nonFunctionalProperties
          dc#description hasValue "Concept of being a WSDL message type"
     endNonFunctionalProperties
     

concept CorrelationSet
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <correlationSet>-Element"
     endNonFunctionalProperties
     hasName ofType  (1) _string
     hasProperties ofType  (1 *) _sqname

concept CompensationHandler
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <compensationHandler>-Element"
     endNonFunctionalProperties
     hasActivity ofType (1) Activity

concept FaultHandler
     nonFunctionalProperties
          dc#description hasValue "Concept of being a faultHandlert"
     endNonFunctionalProperties
     hasActivity ofType  (1) Activity

concept Catch subConceptOf FaultHandler
     nonFunctionalProperties
          dc#relation hasValue catchDisjointCatchAll
          dc#description hasValue "Concept of being a <catch>-Element"
     endNonFunctionalProperties
     hasFaultName ofType  (0 1) _sqname
     hasFaultVariable ofType  (0 1) Variable
     hasFaultType ofType (0 1) Type

concept CatchAll subConceptOf FaultHandler
     nonFunctionalProperties
          dc#relation hasValue catchDisjointCatchAll
          dc#description hasValue "Concept of being a <catchAll>-Element"
     endNonFunctionalProperties
     
concept TerminationHandler
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <terminationHandler>-Element"
     endNonFunctionalProperties
     hasActivity ofType (1) Activity
     
concept OnEvent subConceptOf OnMessage
     nonFunctionalProperties
          dc#description hasValue "Concept of being an <onEvent>-Element"
     endNonFunctionalProperties
     hasTypeOfMessage ofType (0 1) Type
     hasActivity ofType  (1) Scope

concept Event
     nonFunctionalProperties
          dc#description hasValue "Concept of being an Event"
     endNonFunctionalProperties

concept MessageEvent subConceptOf Event
     nonFunctionalProperties
          dc#description hasValue "Concept of being a message Event"
     endNonFunctionalProperties

concept OnMessage subConceptOf {WSDLInteraction, MessageEvent} 
     nonFunctionalProperties
          dc#description hasValue "Concept of being an <onMessage>-Element"
     endNonFunctionalProperties
     hasVariable ofType  (0 1) Variable
     hasMessageExchange ofType (0 1) MessageExchange
     hasFromParts ofType (0 1) FromParts
     hasActivity ofType  (1) Activity
   
concept OnAlarm subConceptOf Event
     nonFunctionalProperties
          dc#description hasValue "Concept of being an <onAlarm>-Element within a <pick>-Activity"
     endNonFunctionalProperties
     hasWaitStatement ofType  (1) WaitStatement
     hasActivity ofType  (1) Activity

concept RepeatableOnAlarm subConceptOf OnAlarm
     nonFunctionalProperties
          dc#description hasValue "Concept of being an <onAlarm>-Element"
     endNonFunctionalProperties
     hasRepeatEvery ofType (0 1) For
     hasActivity ofType  (1) Scope

       
concept StandardAttributes
     nonFunctionalProperties
          dc#description hasValue "Concept of providing the standard attributes For Activities in BPEL"
     endNonFunctionalProperties
     hasName ofType  (0 1) _string
     doesSuppressJoinFailure ofType  (0 1) _boolean
     isTarget ofType Link
     hasJoinCondition ofType  (0 1) Condition
     isSource ofType (1) OrderedLink
     
concept OrderedLink
     nonFunctionalProperties
          dc#description hasValue "Concept used to specify an ordered list of Activities"
     endNonFunctionalProperties
     hasLink ofType  (1) Link
     hasOrderedLink ofType  (0 1) OrderedLink
     
concept Activity subConceptOf upo#Activity
     nonFunctionalProperties
          dc#description hasValue "Concept of being a BPEL activity"
     endNonFunctionalProperties
     correspondsTo ofType bpmo#Task
     
concept BasicActivity subConceptOf Activity
     nonFunctionalProperties
          dc#description hasValue "Concept of being a basic activity"
     endNonFunctionalProperties

concept StructuredActivity subConceptOf Activity
     nonFunctionalProperties
          dc#description hasValue "Concept of being a structured activity"
     endNonFunctionalProperties

concept Link
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <link>-Element"
     endNonFunctionalProperties
     hasName ofType  (1) _string
     hasTransitionCondition ofType (0 1) Condition

concept Condition
     nonFunctionalProperties
          dc#description hasValue "Concept of being a Condition"
     endNonFunctionalProperties
	 hasExpression ofType (1 1) _string
	 hasExpressionLanguage ofType (0 1) _iri
	     
concept Interaction
     nonFunctionalProperties
          dc#description hasValue "Concept of doing interaction"
     endNonFunctionalProperties
	     
concept WSDLInteraction subConceptOf Interaction
     nonFunctionalProperties
          dc#description hasValue "Concept of doing WSDL dependent interaction"
     endNonFunctionalProperties
     hasPartnerLink ofType  (1) _"http://www.ip-super.org/ontologies/BPEL2_0/20080227#PartnerLink"
     hasPortType ofType  (0 1) _sqname
     hasOperation ofType  (1) _string
     hasCorrelation ofType Correlation

concept ExtensionActivity subConceptOf BasicActivity
	 nonFunctionalProperties
          dc#description hasValue "Concept of being an ExtensionActivity"
     endNonFunctionalProperties
     hasActivity ofType (1) NewActivityType

concept NewActivityType subConceptOf StandardAttributes
	 nonFunctionalProperties
          dc#description hasValue "Concept of being a new activity type, i.e. by inheriting from this concept a new activity type with new operational semantics can be defined using another namespace"
     endNonFunctionalProperties

concept CorrelationWithPattern subConceptOf Correlation
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <correlation>-Element"
     endNonFunctionalProperties
     hasPattern ofType (0 1) Pattern

concept Correlation
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <correlation>-Element"
     endNonFunctionalProperties
     hasSet ofType  (1) CorrelationSet
     doesInitiate ofType  (0 1) Initiate
     
     
concept Validate subConceptOf BasicActivity
	   nonFunctionalProperties
          dc#description hasValue "Concept of being a <validate>-Activity"
     endNonFunctionalProperties
     hasVariable ofType (1 *) Variable

concept _"http://www.ip-super.org/ontologies/BPEL2_0/20080227#Receive" subConceptOf {WSDLInteraction, BasicActivity, StandardAttributes}
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <receive>-Activity"
     endNonFunctionalProperties
     hasVariable ofType  (0 1) Variable
     doesCreateInstance ofType  (0 1) _boolean
     hasMessageExchange ofType (0 1) MessageExchange
     hasFromParts ofType  FromParts
     
concept MessageExchange
     nonFunctionalProperties
          dc#description hasValue "Concept of being a MessageExchange attribute"
     endNonFunctionalProperties
     hasName ofType (1) _string

concept Reply subConceptOf {WSDLInteraction, BasicActivity, StandardAttributes}
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <reply>-Activity"
     endNonFunctionalProperties
     hasVariable ofType  (1) Variable
     hasFaultName ofType  (0 1) _sqname
     hasMessageExchange ofType (0 1) MessageExchange
     hasToParts ofType  ToParts

concept Invoke subConceptOf {WSDLInteraction, BasicActivity, StandardAttributes}
     nonFunctionalProperties
          dc#description hasValue "Concept of being an <invoke>-Activity"
     endNonFunctionalProperties
     hasInputVariable ofType  (1) Variable
     hasOutputVariable ofType  (0 1) Variable
     hasCatch ofType Catch
     hasCatchAll ofType  (0 1) CatchAll
     hasCompensationHandler ofType  (0 1) CompensationHandler
     hasToParts ofType ToParts
     hasFromParts ofType FromParts

concept ToParts
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <toParts>-Element"
     endNonFunctionalProperties
     hasToPart ofType (1) _string
     hasFromVariable ofType (1) Variable
    
concept FromParts
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <fromParts>-Element"
     endNonFunctionalProperties
     hasFromPart ofType (1) _string
     hasToVariable ofType (1) Variable

concept Assign subConceptOf {BasicActivity, StandardAttributes}
     nonFunctionalProperties
          dc#description hasValue "Concept of being an <assign>-Activity"
     endNonFunctionalProperties
     hasValidate ofType (0 1) _boolean
     hasAssignOperation ofType  (1 *) AssignOperation

concept AssignOperation
     nonFunctionalProperties
          dc#description hasValue "Concept of being an assign operation"
     endNonFunctionalProperties

concept ExtensionAssignOperation subConceptOf AssignOperation
	 nonFunctionalProperties
          dc#description hasValue "Concept of being an <extensionAssignOperation>-Element"
     endNonFunctionalProperties
 
concept Copy subConceptOf AssignOperation
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <copy>-Element"
     endNonFunctionalProperties
     doesKeepSrcElementName ofType (0 1) _boolean
     hasFromSpecification ofType  (1) CopySpecification
     hasToSpecification ofType  (1) CopySpecification 

concept CopySpecification
     nonFunctionalProperties
          dc#description hasValue "Concept of being a copy specification"
     endNonFunctionalProperties

concept CopyVariablePart subConceptOf CopySpecification
     nonFunctionalProperties
          dc#description hasValue "Concept used to specify which part of a variable should be written or read"
     endNonFunctionalProperties
     hasVariable ofType  (1) Variable
     hasPart ofType  (0 1) _string
     hasQuery ofType (0 1) Query
     
concept Query
     nonFunctionalProperties
          dc#description hasValue "Concept used define a query"
     endNonFunctionalProperties
     hasQueryLanguage ofType (0 1) _iri
     hasContent ofType (1) _string

concept CopyPartnerLinkEndpointReference subConceptOf CopySpecification
     nonFunctionalProperties
          dc#description hasValue "Concept used to specify from which partnerLink the endpointreference should be copied"
     endNonFunctionalProperties
     hasPartnerLink ofType  (1) _"http://www.ip-super.org/ontologies/BPEL2_0/20080227#PartnerLink"
     hasEndpointReference ofType  (1) EndpointReference

concept CopyVariableProperty subConceptOf CopySpecification
     nonFunctionalProperties
          dc#description hasValue "Concept used to specify which variable has to be written or read"
     endNonFunctionalProperties
     hasVariable ofType  (1) Variable
     hasProperty ofType  (0 1) _sqname

concept CopyExpression subConceptOf CopySpecification
     nonFunctionalProperties
          dc#description hasValue "Concept used to specify an expression"
     endNonFunctionalProperties
     hasExpressionLanguage ofType (0 1) _iri
     hasExpression ofType  (1) _string

concept CopyLiteral subConceptOf CopySpecification
     nonFunctionalProperties
          dc#description hasValue "Concept used to specify a literal"
     endNonFunctionalProperties
	 hasLiteralValue ofType (1) _string

concept CopyPartnerLink subConceptOf CopySpecification
     nonFunctionalProperties
          dc#description hasValue "Concept used to specify to which partnerLink an endpointreference should be written"
     endNonFunctionalProperties
     hasPartnerLink ofType  (1) _"http://www.ip-super.org/ontologies/BPEL2_0/20080227#PartnerLink"

concept Throw subConceptOf {BasicActivity, StandardAttributes}
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <throw>-Activity"
     endNonFunctionalProperties
     hasFaultName ofType  (1) _sqname
     hasFaultVariable ofType  (0 1) Variable

concept Wait subConceptOf {BasicActivity, StandardAttributes}
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <wait>-Activity"
     endNonFunctionalProperties
     hasWaitStatement ofType  (1) WaitStatement

concept WaitStatement
     nonFunctionalProperties
          dc#description hasValue "Concept of being a wait statement"
     endNonFunctionalProperties

concept For subConceptOf WaitStatement
     nonFunctionalProperties
          dc#relation hasValue forDisjointUntil
          dc#description hasValue "Concept of being a <For>-Element"
     endNonFunctionalProperties
     hasExpressionLanguage ofType (0 1) _iri
     hasDurationExpression ofType  (1) _string

concept _"http://www.ip-super.org/ontologies/BPEL2_0/20080227#Until" subConceptOf WaitStatement
     nonFunctionalProperties
          dc#relation hasValue forDisjointUntil
          dc#description hasValue "Concept of being an <Until>-Element"
     endNonFunctionalProperties
     hasExpressionLanguage ofType (0 1) _iri
     hasDeadlineExpression ofType  (1) _string


concept Empty subConceptOf {BasicActivity, StandardAttributes}
     nonFunctionalProperties
          dc#description hasValue "Concept of being an <empty>-Activity"
     endNonFunctionalProperties
     
concept Exit subConceptOf {BasicActivity, StandardAttributes}
     nonFunctionalProperties
          dc#description hasValue "Concept of being an <exit>-Activity"
     endNonFunctionalProperties   
     
concept Rethrow subConceptOf {BasicActivity, StandardAttributes}
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <rethrow>-Activity"
     endNonFunctionalProperties
     
concept Compensate subConceptOf {BasicActivity, StandardAttributes}
     nonFunctionalProperties
          dc#description hasValue "Concept of being an <compensate>-Activity"
     endNonFunctionalProperties
     
concept CompensateScope subConceptOf {BasicActivity, StandardAttributes}
     nonFunctionalProperties
          dc#description hasValue "Concept of being an <compensateScope>-Activity"
     endNonFunctionalProperties
     compensatesScope ofType  (1) Scope

concept Sequence subConceptOf {StructuredActivity, StandardAttributes}
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <sequence>-Activity"
     endNonFunctionalProperties
     hasOrderedActivity ofType  (1) OrderedActivity

concept OrderedActivity
     nonFunctionalProperties
          dc#description hasValue "Concept used to specify an ordered list of Activities"
     endNonFunctionalProperties
     hasActivity ofType  (1) Activity
     hasOrderedActivity ofType  (0 1) OrderedActivity

concept OrderedConditionalBranch
	   nonFunctionalProperties
          dc#description hasValue "Concept used to specify an ordered list of conditional branches"
     endNonFunctionalProperties
     hasIfBranch ofType ConditionalBranch
     hasElseIfBranch ofType OrderedConditionalBranch

concept _"http://www.ip-super.org/ontologies/BPEL2_0/20080227#If" subConceptOf {StructuredActivity, StandardAttributes}
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <if>-Activity"
     endNonFunctionalProperties
     hasIfBranch ofType (1) ConditionalBranch
     hasElseIfBranch ofType OrderedConditionalBranch
     hasElseBranch ofType (0 1) _"http://www.ip-super.org/ontologies/BPEL2_0/20080227#Else"

concept ConditionalBranch
	   nonFunctionalProperties
          dc#description hasValue "Concept of being a conditional branch"
     endNonFunctionalProperties
     hasCondition ofType (1) Condition
     hasActivity ofType (1) Activity
         
concept _"http://www.ip-super.org/ontologies/BPEL2_0/20080227#Else"
	 nonFunctionalProperties
          dc#description hasValue "Concept of being a <else>-branch"
     endNonFunctionalProperties 
     hasActivity ofType (1) Activity 
     
concept _"http://www.ip-super.org/ontologies/BPEL2_0/20080227#While" subConceptOf {StructuredActivity, StandardAttributes}
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <while>-Activity, i.e. first the Condition is evaluated and then the Activity is done"
     endNonFunctionalProperties
     hasCondition ofType (1) Condition
     hasActivity ofType  (1) Activity

concept RepeatUntil subConceptOf {StructuredActivity, StandardAttributes}
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <repeatUntil>-Activity, i.e. first the Activity is done and the the Condition is evaluated"
     endNonFunctionalProperties
     hasCondition ofType (1) Condition
     hasActivity ofType  (1) Activity

concept Pick subConceptOf {BasicActivity, StandardAttributes}
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <pick>-Activity"
     endNonFunctionalProperties
     doesCreateInstance ofType  (0 1) _boolean
     hasOnMessage ofType  (1 *) OnMessage 
     hasOnAlarm ofType OnAlarm

concept Flow subConceptOf {StructuredActivity, StandardAttributes}
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <flow>-Activity"
     endNonFunctionalProperties
     hasLink ofType Link
     hasActivity ofType  (1 *) Activity
     
concept ForEach subConceptOf {StructuredActivity, StandardAttributes}
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <forEach>-Activity"
     endNonFunctionalProperties
     hasCounterName ofType (1) variable
     isParallel ofType (1) _boolean
     hasStartCounterValue ofType (1) CounterValue
     hasFinalCounterValue ofType (1) CounterValue
     hasCompletionCondition ofType (0 1) CompletionCondition
     hasScope ofType (1) Scope
     
concept CompletionCondition subConceptOf CounterValue
     nonFunctionalProperties
          dc#description hasValue "Concept of being a CompletionCondition"
     endNonFunctionalProperties
     hasSuccesfulBranchesOnly ofType (0 1) _boolean
     
concept CounterValue
     nonFunctionalProperties
          dc#description hasValue "Concept of being a CounterValue"
     endNonFunctionalProperties
     hasExpressionLanguage ofType (0 1) _iri
     hasUnsignedIntegerExpression ofType (1) _string
     
concept Scope subConceptOf {StructuredActivity, StandardAttributes}
     nonFunctionalProperties
          dc#description hasValue "Concept of being a <scope>-Activity"
     endNonFunctionalProperties
     isIsolated ofType (0 1) _boolean
     hasExitOnStandardFault ofType (0 1) _boolean
     hasVariable ofType Variable
     hasPartnerLink ofType _"http://www.ip-super.org/ontologies/BPEL2_0/20080227#PartnerLink"
     hasMessageExchange ofType MessageExchange 
     hasCorrelationSet ofType CorrelationSet
     hasCatch ofType Catch
     hasCatchAll ofType (0 1) CatchAll
     hasOnEvent ofType OnEvent
     hasOnAlarm ofType RepeatableOnAlarm
     hasCompensationHandler ofType  (0 1) CompensationHandler
     hasTerminationHandler ofType  (0 1) TerminationHandler
     hasActivity ofType  (1) Activity