Browsable BPEL (Business Process Execution Language) Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: dsl/business/bpel/jouault/extracted
Source used for this grammar: Frédéric Jouault, BPEL 1.0, BPEL.ecore, 2006/09/15

Summary

• Total 329 production rules with 369 top alternatives and 2175 symbols.
• Vocabulary: 523 = 208 nonterminals + 0 terminals + 315 labels + 0 markers.
• Total 208 nonterminal symbols: 196 defined (XSDAnnotation, XSDAttributeDeclaration, XSDAttributeGroupContent, XSDAttributeGroupDefinition, XSDAttributeUse, XSDBoundedFacet, XSDCardinalityFacet, XSDComplexTypeContent, XSDComplexTypeDefinition, XSDComponent, XSDConcreteComponent, XSDConstrainingFacet, XSDDiagnostic, XSDElementDeclaration, XSDEnumerationFacet, XSDFacet, XSDFeature, XSDFixedFacet, XSDFractionDigitsFacet, XSDFundamentalFacet, XSDIdentityConstraintDefinition, XSDImport, XSDInclude, XSDLengthFacet, XSDMaxExclusiveFacet, XSDMaxFacet, XSDMaxInclusiveFacet, XSDMaxLengthFacet, XSDMinExclusiveFacet, XSDMinFacet, XSDMinInclusiveFacet, XSDMinLengthFacet, XSDModelGroup, XSDModelGroupDefinition, XSDNamedComponent, XSDNotationDeclaration, XSDNumericFacet, XSDOrderedFacet, XSDParticle, XSDParticleContent, XSDPatternFacet, XSDRedefinableComponent, XSDRedefineContent, XSDRedefine, XSDRepeatableFacet, XSDSchema, XSDSchemaCompositor, XSDSchemaContent, XSDSchemaDirective, XSDScope, XSDSimpleTypeDefinition, XSDTerm, XSDTotalDigitsFacet, XSDTypeDefinition, XSDWhiteSpaceFacet, XSDWildcard, XSDXPathDefinition, XSDAttributeUseCategory, XSDCardinality, XSDComplexFinal, XSDCompositor, XSDConstraint, XSDContentTypeCategory, XSDDerivationMethod, XSDDiagnosticSeverity, XSDDisallowedSubstitutions, XSDForm, XSDIdentityConstraintCategory, XSDNamespaceConstraintCategory, XSDOrdered, XSDProcessContents, XSDProhibitedSubstitutions, XSDSimpleFinal, XSDSubstitutionGroupExclusions, XSDVariety, XSDWhiteSpace, XSDXPathVariety, Property, PropertyAlias, messagepropertiesQuery, EObject, PartnerLinkType, Role, Process, PartnerLink, FaultHandler, Activity, CorrelationSet, Invoke, Link, Catch, Reply, PartnerActivity, Receive, Exit, Throw, Wait, Empty, Sequence, Switch, Case, While, Pick, Flow, OnAlarm, Assign, Copy, Extension, Scope, Compensate, CompensationHandler, To, From, OnMessage, Expression, BooleanExpression, Correlation, CorrelationPattern, EndpointReferenceRole, EventHandler, Source, Target, PartnerLinks, Variables, CorrelationSets, Links, CatchAll, Correlations, Variable, Otherwise, UnknownExtensibilityAttribute, OnEvent, BPELImport, Rethrow, Condition, Targets, Sources, BPELQuery, ServiceRef, Extensions, ExtensionActivity, FromPart, ToPart, OpaqueActivity, ForEach, RepeatUntil, TerminationHandler, Validate, If, Then, ElseIf, Else, CompletionCondition, Branches, BPELExtensibleElement, Documentation, Iterator, WSDLElement, PortType, Operation, Message, Part, Binding, BindingOperation, Service, Port, ExtensibilityElement, Definition, WSDLImport, WSDLExtensibleElement, Input, Output, Fault, BindingInput, BindingOutput, BindingFault, Namespace, IPortType, IOperation, IMessage, IPart, IService, IPort, IBinding, IBindingOperation, IBindingInput, IBindingOutput, IBindingFault, IExtensibilityElement, IDefinition, IImport, Types, ITypes, UnknownExtensibilityElement, XSDSchemaExtensibilityElement, MessageReference), 0 root (—), 16 top (WSDLElement, IPortType, IOperation, IMessage, IPart, IService, IPort, IBinding, IBindingOperation, IBindingInput, IBindingOutput, IBindingFault, IExtensibilityElement, IDefinition, IImport, ITypes), 12 bottom (QName ¹², EString ⁸⁰, XSDDOMDocument, DOMAttr, Value ⁶, EInt ⁹, EJavaObject ¹⁰, DOMNode, XSDDOMElement ², EBoolean ³¹, EBooleanObject ²³, OperationType).
• Total 315 labels: [applicationInformation], [userInformation], [attributes], [attributeDeclarationReference], [annotation] ¹¹, [anonymousTypeDefinition] ², [typeDefinition] ³, [resolvedAttributeDeclaration], [attributeGroupDefinitionReference], [contents] ⁵, [attributeUses] ², [attributeWildcardContent] ², [attributeWildcard] ², [resolvedAttributeGroupDefinition], [syntheticWildcard] ², [required] ³, [value] ²², [constraint], [use], [lexicalValue], [attributeDeclaration], [content] ³, [derivationMethod], [final] ², [abstract] ², [contentTypeCategory], [prohibitedSubstitutions], [lexicalFinal] ³, [block] ², [mixed] ², [contentAnnotation], [baseTypeDefinition] ², [contentType], [attributeContents], [rootTypeDefinition] ², [syntheticParticle], [severity], [message], [locationURI] ², [line], [column], [node], [annotationURI], [key] ², [substitutions], [components], [primaryComponent], [nillable], [disallowedSubstitutions], [substitutionGroupExclusions], [elementDeclarationReference], [circular], [identityConstraintDefinitions] ², [resolvedElementDeclaration], [substitutionGroupAffiliation], [substitutionGroup], [identityConstraintCategory], [referencedKey], [selector] ², [fields], [namespace] ³, [inclusive] ⁴, [exclusive] ⁴, [compositor], [particles], [modelGroupDefinitionReference], [modelGroup], [resolvedModelGroupDefinition], [systemIdentifier], [publicIdentifier], [minOccurs], [maxOccurs], [term], [annotations] ³, [document], [schemaLocation], [targetNamespace] ³, [attributeFormDefault], [elementFormDefault], [finalDefault], [blockDefault], [version], [elementDeclarations], [attributeDeclarations], [attributeGroupDefinitions], [typeDefinitions], [modelGroupDefinitions], [notationDeclarations], [allDiagnostics], [referencingDirectives], [rootVersion], [originalVersion], [incorporatedVersions], [schemaForSchema], [variety] ², [validFacets], [facetContents], [facets], [memberTypeDefinitions], [fundamentalFacets], [primitiveTypeDefinition], [itemTypeDefinition], [minFacet], [maxFacet], [maxInclusiveFacet], [minInclusiveFacet], [minExclusiveFacet], [maxExclusiveFacet], [lengthFacet], [whiteSpaceFacet], [enumerationFacets], [patternFacets], [cardinalityFacet], [numericFacet], [maxLengthFacet], [minLengthFacet], [totalDigitsFacet], [fractionDigitsFacet], [orderedFacet], [boundedFacet], [effectiveMaxFacet], [effectiveWhiteSpaceFacet], [effectiveMaxLengthFacet], [effectiveFractionDigitsFacet], [effectivePatternFacet], [effectiveEnumerationFacet], [effectiveTotalDigitsFacet], [effectiveMinLengthFacet], [effectiveLengthFacet], [effectiveMinFacet], [syntheticFacets], [namespaceConstraintCategory], [namespaceConstraint], [processContents], [lexicalNamespaceConstraint], [prohibited], [optional], [countablyInfinite], [finite], [all] ⁵, [restriction] ⁶, [extension] ⁵, [choice], [sequence], [fixed], [default], [elementOnly], [simple], [empty], [fatal], [warning], [error], [information], [substitution], [unqualified], [qualified], [keyref], [unique], [set] ², [not], [any], [total], [partial], [skip], [lax], [strict], [list] ², [union] ², [atomic], [replace], [collapse], [preserve], [field], [qName] ⁶, [name] ²⁴, [type] ⁴, [ID] ⁴, [messageType] ³, [part] ⁴, [propertyName], [wsdlPart], [query] ², [XSDElement] ², [queryLanguage] ³, [role], [portType] ⁴, [expressionLanguage] ⁴, [suppressJoinFailure] ⁷, [variableAccessSerializable], [partnerLinks] ², [variables] ³, [activity] ¹⁹, [faultHandlers] ², [eventHandlers] ², [correlationSets] ³, [imports], [extensions], [exitOnStandardFault], [myRole] ², [partnerRole] ², [PartnerLinkType], [initializePartnerRole], [catch], [catchAll], [targets] ⁷, [sources] ⁷, [properties], [outputVariable], [inputVariable], [compensationHandler] ², [faultHandler], [toPart] ², [fromPart] ⁴, [faultName] ³, [faultVariable] ², [faultMessageType], [faultElement], [variable] ⁵, [partnerLink] ⁴, [correlations] ³, [operation] ³, [createInstance] ², [for] ², [until] ², [activities] ², [cases], [otherwise], [condition] ⁵, [messages], [alarm] ², [links], [completionCondition] ², [repeatEvery], [copy], [validate], [to] ², [from] ³, [keepSrcElementName], [mustUnderstand], [isolated], [terminationHandler], [scope], [property], [opaque] ⁴, [endpointReference], [literal], [unsafeLiteral], [expression], [serviceRef], [body] ³, [initiate], [pattern], [outin], [in], [out], [events], [Link] ², [transitionCondition], [children] ¹⁰, [location] ², [importType], [joinCondition], [referenceScheme], [parallel], [counterName], [iterator], [then], [elseIf], [else], [branches], [countCompletedBranchesOnly], [documentation], [lang], [source], [finalCounterValue], [startCounterValue], [undefined] ⁵, [proxy] ⁵, [resourceURI] ⁵, [eOperations], [style], [eInput] ², [eOutput] ², [eFaults], [eParameterOrdering], [eParts], [elementName], [typeName], [elementDeclaration], [eMessage] ⁴, [ePortType], [eBindingOperations], [eOperation], [eBindingInput], [eBindingOutput], [eBindingFaults], [ePorts], [eBinding], [elementType], [encoding], [eImports], [eTypes], [eMessages], [ePortTypes], [eBindings], [eServices], [eNamespaces], [namespaceURI], [eDefinition], [eSchema], [eFault], [URI], [prefix], [eExtensibilityElements], [schema].

Syntax

XSDAnnotation ::=
	[applicationInformation]::XSDDOMElement+ [userInformation]::XSDDOMElement+ [attributes]::DOMAttr+

XSDAttributeDeclaration ::=
	[attributeDeclarationReference]::EBoolean [annotation]::XSDAnnotation [anonymousTypeDefinition]::XSDSimpleTypeDefinition [typeDefinition]::XSDSimpleTypeDefinition [resolvedAttributeDeclaration]::XSDAttributeDeclaration

XSDAttributeGroupContent ::=
	XSDAttributeUse

XSDAttributeGroupDefinition ::=
	[attributeGroupDefinitionReference]::EBoolean [annotation]::XSDAnnotation [contents]::XSDAttributeGroupContent+ [attributeUses]::XSDAttributeUse+ [attributeWildcardContent]::XSDWildcard [attributeWildcard]::XSDWildcard [resolvedAttributeGroupDefinition]::XSDAttributeGroupDefinition [syntheticWildcard]::XSDWildcard

XSDAttributeUse ::=
	[required]::EBoolean [value]::Value [constraint]::XSDConstraint [use]::XSDAttributeUseCategory [lexicalValue]::EString [attributeDeclaration]::XSDAttributeDeclaration [content]::XSDAttributeDeclaration

XSDBoundedFacet ::=
	[value]::EBoolean

XSDCardinalityFacet ::=
	[value]::XSDCardinality

XSDComplexTypeContent ::=
	XSDParticle

XSDComplexTypeContent ::=
	XSDSimpleTypeDefinition

XSDComplexTypeDefinition ::=
	[derivationMethod]::XSDDerivationMethod [final]::XSDComplexFinal+ [abstract]::EBoolean [contentTypeCategory]::XSDContentTypeCategory [prohibitedSubstitutions]::XSDProhibitedSubstitutions+ [lexicalFinal]::XSDComplexFinal+ [block]::XSDProhibitedSubstitutions+ [mixed]::EBoolean [contentAnnotation]::XSDAnnotation [baseTypeDefinition]::XSDTypeDefinition [content]::XSDComplexTypeContent [contentType]::XSDComplexTypeContent [attributeUses]::XSDAttributeUse+ [attributeContents]::XSDAttributeGroupContent+ [attributeWildcard]::XSDWildcard [attributeWildcardContent]::XSDWildcard [rootTypeDefinition]::XSDTypeDefinition [syntheticParticle]::XSDParticle [syntheticWildcard]::XSDWildcard

XSDComponent ::=
	XSDComplexTypeContent

XSDComponent ::=
	XSDFacet

XSDComponent ::=
	XSDNamedComponent

XSDComponent ::=
	XSDScope

XSDComponent ::=
	XSDXPathDefinition

XSDComponent ::=
	XSDAnnotation

XSDComponent ::=
	XSDAttributeUse

XSDComponent ::=
	XSDTerm

XSDConcreteComponent ::=
	XSDAttributeGroupContent

XSDConcreteComponent ::=
	XSDComponent

XSDConcreteComponent ::=
	XSDDiagnostic

XSDConcreteComponent ::=
	XSDParticleContent

XSDConcreteComponent ::=
	XSDSchemaContent

XSDConstrainingFacet ::=
	XSDFixedFacet

XSDConstrainingFacet ::=
	XSDRepeatableFacet

XSDDiagnostic ::=
	[severity]::XSDDiagnosticSeverity [message]::EString [locationURI]::EString [line]::EInt [column]::EInt [node]::DOMNode [annotationURI]::EString [key]::EString [substitutions]::EString+ [components]::XSDConcreteComponent+ [primaryComponent]::XSDConcreteComponent

XSDElementDeclaration ::=
	[nillable]::EBoolean [disallowedSubstitutions]::XSDDisallowedSubstitutions+ [substitutionGroupExclusions]::XSDSubstitutionGroupExclusions+ [abstract]::EBoolean [lexicalFinal]::XSDProhibitedSubstitutions+ [block]::XSDDisallowedSubstitutions+ [elementDeclarationReference]::EBoolean [circular]::EBoolean [annotation]::XSDAnnotation [anonymousTypeDefinition]::XSDTypeDefinition [typeDefinition]::XSDTypeDefinition [identityConstraintDefinitions]::XSDIdentityConstraintDefinition+ [resolvedElementDeclaration]::XSDElementDeclaration [substitutionGroupAffiliation]::XSDElementDeclaration [substitutionGroup]::XSDElementDeclaration+

XSDEnumerationFacet ::=
	[value]::Value+

XSDFacet ::=
	XSDConstrainingFacet

XSDFacet ::=
	XSDFundamentalFacet

XSDFeature ::=
	XSDAttributeDeclaration

XSDFeature ::=
	XSDElementDeclaration

XSDFixedFacet ::=
	XSDFractionDigitsFacet

XSDFixedFacet ::=
	XSDLengthFacet

XSDFixedFacet ::=
	XSDMaxFacet

XSDFixedFacet ::=
	XSDMaxLengthFacet

XSDFixedFacet ::=
	XSDMinFacet

XSDFixedFacet ::=
	XSDMinLengthFacet

XSDFixedFacet ::=
	XSDTotalDigitsFacet

XSDFixedFacet ::=
	XSDWhiteSpaceFacet

XSDFractionDigitsFacet ::=
	[value]::EInt

XSDFundamentalFacet ::=
	XSDBoundedFacet

XSDFundamentalFacet ::=
	XSDCardinalityFacet

XSDFundamentalFacet ::=
	XSDNumericFacet

XSDFundamentalFacet ::=
	XSDOrderedFacet

XSDIdentityConstraintDefinition ::=
	[identityConstraintCategory]::XSDIdentityConstraintCategory [annotation]::XSDAnnotation [referencedKey]::XSDIdentityConstraintDefinition [selector]::XSDXPathDefinition [fields]::XSDXPathDefinition+

XSDImport ::=
	[namespace]::EString [annotation]::XSDAnnotation

XSDInclude ::=
	[annotation]::XSDAnnotation

XSDLengthFacet ::=
	[value]::EInt

XSDMaxExclusiveFacet ::=
	[value]::Value [inclusive]::EBoolean [exclusive]::EBoolean

XSDMaxFacet ::=
	XSDMaxExclusiveFacet

XSDMaxFacet ::=
	XSDMaxInclusiveFacet

XSDMaxInclusiveFacet ::=
	[value]::Value [inclusive]::EBoolean [exclusive]::EBoolean

XSDMaxLengthFacet ::=
	[value]::EInt

XSDMinExclusiveFacet ::=
	[value]::Value [inclusive]::EBoolean [exclusive]::EBoolean

XSDMinFacet ::=
	XSDMinExclusiveFacet

XSDMinFacet ::=
	XSDMinInclusiveFacet

XSDMinInclusiveFacet ::=
	[value]::Value [inclusive]::EBoolean [exclusive]::EBoolean

XSDMinLengthFacet ::=
	[value]::EInt

XSDModelGroup ::=
	[compositor]::XSDCompositor [annotation]::XSDAnnotation [contents]::XSDParticle+ [particles]::XSDParticle+

XSDModelGroupDefinition ::=
	[modelGroupDefinitionReference]::EBoolean [annotation]::XSDAnnotation [modelGroup]::XSDModelGroup [resolvedModelGroupDefinition]::XSDModelGroupDefinition

XSDNamedComponent ::=
	XSDFeature

XSDNamedComponent ::=
	XSDIdentityConstraintDefinition

XSDNamedComponent ::=
	XSDNotationDeclaration

XSDNamedComponent ::=
	XSDRedefinableComponent

XSDNotationDeclaration ::=
	[systemIdentifier]::EString [publicIdentifier]::EString [annotation]::XSDAnnotation

XSDNumericFacet ::=
	[value]::EBoolean

XSDOrderedFacet ::=
	[value]::XSDOrdered

XSDParticle ::=
	[minOccurs]::EInt [maxOccurs]::EInt [content]::XSDParticleContent [term]::XSDTerm

XSDParticleContent ::=
	XSDTerm

XSDPatternFacet ::=
	[value]::EString+

XSDRedefinableComponent ::=
	XSDAttributeGroupDefinition

XSDRedefinableComponent ::=
	XSDModelGroupDefinition

XSDRedefinableComponent ::=
	XSDTypeDefinition

XSDRedefineContent ::=
	XSDAnnotation

XSDRedefineContent ::=
	XSDRedefinableComponent

XSDRedefineContent ::=
	XSDTypeDefinition

XSDRedefine ::=
	[annotations]::XSDAnnotation+ [contents]::XSDRedefineContent+

XSDRepeatableFacet ::=
	XSDEnumerationFacet

XSDRepeatableFacet ::=
	XSDPatternFacet

XSDSchema ::=
	[document]::XSDDOMDocument [schemaLocation]::EString [targetNamespace]::EString [attributeFormDefault]::XSDForm [elementFormDefault]::XSDForm [finalDefault]::XSDProhibitedSubstitutions+ [blockDefault]::XSDDisallowedSubstitutions+ [version]::EString [contents]::XSDSchemaContent+ [elementDeclarations]::XSDElementDeclaration+ [attributeDeclarations]::XSDAttributeDeclaration+ [attributeGroupDefinitions]::XSDAttributeGroupDefinition+ [typeDefinitions]::XSDTypeDefinition+ [modelGroupDefinitions]::XSDModelGroupDefinition+ [identityConstraintDefinitions]::XSDIdentityConstraintDefinition+ [notationDeclarations]::XSDNotationDeclaration+ [annotations]::XSDAnnotation+ [allDiagnostics]::XSDDiagnostic+ [referencingDirectives]::XSDSchemaDirective+ [rootVersion]::XSDSchema [originalVersion]::XSDSchema [incorporatedVersions]::XSDSchema+ [schemaForSchema]::XSDSchema

XSDSchemaCompositor ::=
	XSDInclude

XSDSchemaCompositor ::=
	XSDRedefine

XSDSchemaContent ::=
	XSDRedefineContent

XSDSchemaContent ::=
	XSDSchemaDirective

XSDSchemaContent ::=
	XSDAttributeDeclaration

XSDSchemaContent ::=
	XSDNotationDeclaration

XSDSchemaDirective ::=
	XSDImport

XSDSchemaDirective ::=
	XSDSchemaCompositor

XSDScope ::=
	XSDSchema

XSDScope ::=
	XSDComplexTypeDefinition

XSDSimpleTypeDefinition ::=
	[variety]::XSDVariety [final]::XSDSimpleFinal+ [lexicalFinal]::XSDSimpleFinal+ [validFacets]::EString+ [contents]::XSDSimpleTypeDefinition+ [facetContents]::XSDConstrainingFacet+ [facets]::XSDConstrainingFacet+ [memberTypeDefinitions]::XSDSimpleTypeDefinition+ [fundamentalFacets]::XSDFundamentalFacet+ [baseTypeDefinition]::XSDSimpleTypeDefinition [primitiveTypeDefinition]::XSDSimpleTypeDefinition [itemTypeDefinition]::XSDSimpleTypeDefinition [rootTypeDefinition]::XSDSimpleTypeDefinition [minFacet]::XSDMinFacet [maxFacet]::XSDMaxFacet [maxInclusiveFacet]::XSDMaxInclusiveFacet [minInclusiveFacet]::XSDMinInclusiveFacet [minExclusiveFacet]::XSDMinExclusiveFacet [maxExclusiveFacet]::XSDMaxExclusiveFacet [lengthFacet]::XSDLengthFacet [whiteSpaceFacet]::XSDWhiteSpaceFacet [enumerationFacets]::XSDEnumerationFacet+ [patternFacets]::XSDPatternFacet+ [cardinalityFacet]::XSDCardinalityFacet [numericFacet]::XSDNumericFacet [maxLengthFacet]::XSDMaxLengthFacet [minLengthFacet]::XSDMinLengthFacet [totalDigitsFacet]::XSDTotalDigitsFacet [fractionDigitsFacet]::XSDFractionDigitsFacet [orderedFacet]::XSDOrderedFacet [boundedFacet]::XSDBoundedFacet [effectiveMaxFacet]::XSDMaxFacet [effectiveWhiteSpaceFacet]::XSDWhiteSpaceFacet [effectiveMaxLengthFacet]::XSDMaxLengthFacet [effectiveFractionDigitsFacet]::XSDFractionDigitsFacet [effectivePatternFacet]::XSDPatternFacet [effectiveEnumerationFacet]::XSDEnumerationFacet [effectiveTotalDigitsFacet]::XSDTotalDigitsFacet [effectiveMinLengthFacet]::XSDMinLengthFacet [effectiveLengthFacet]::XSDLengthFacet [effectiveMinFacet]::XSDMinFacet [syntheticFacets]::XSDFacet+

XSDTerm ::=
	XSDModelGroup

XSDTerm ::=
	XSDWildcard

XSDTotalDigitsFacet ::=
	[value]::EInt

XSDTypeDefinition ::=
	XSDComplexTypeDefinition

XSDTypeDefinition ::=
	XSDSimpleTypeDefinition

XSDWhiteSpaceFacet ::=
	[value]::XSDWhiteSpace

XSDWildcard ::=
	[namespaceConstraintCategory]::XSDNamespaceConstraintCategory [namespaceConstraint]::EString+ [processContents]::XSDProcessContents [lexicalNamespaceConstraint]::EString+ [annotation]::XSDAnnotation [annotations]::XSDAnnotation+

XSDXPathDefinition ::=
	[variety]::XSDXPathVariety [value]::EString [annotation]::XSDAnnotation

XSDAttributeUseCategory ::=
	[prohibited]::ε
	[optional]::ε
	[required]::ε

XSDCardinality ::=
	[countablyInfinite]::ε
	[finite]::ε

XSDComplexFinal ::=
	[all]::ε
	[restriction]::ε
	[extension]::ε

XSDCompositor ::=
	[all]::ε
	[choice]::ε
	[sequence]::ε

XSDConstraint ::=
	[fixed]::ε
	[default]::ε

XSDContentTypeCategory ::=
	[elementOnly]::ε
	[mixed]::ε
	[simple]::ε
	[empty]::ε

XSDDerivationMethod ::=
	[extension]::ε
	[restriction]::ε

XSDDiagnosticSeverity ::=
	[fatal]::ε
	[warning]::ε
	[error]::ε
	[information]::ε

XSDDisallowedSubstitutions ::=
	[extension]::ε
	[substitution]::ε
	[all]::ε
	[restriction]::ε

XSDForm ::=
	[unqualified]::ε
	[qualified]::ε

XSDIdentityConstraintCategory ::=
	[keyref]::ε
	[unique]::ε
	[key]::ε

XSDNamespaceConstraintCategory ::=
	[set]::ε
	[not]::ε
	[any]::ε

XSDOrdered ::=
	[total]::ε
	[partial]::ε

XSDProcessContents ::=
	[skip]::ε
	[lax]::ε
	[strict]::ε

XSDProhibitedSubstitutions ::=
	[extension]::ε
	[restriction]::ε
	[all]::ε

XSDSimpleFinal ::=
	[list]::ε
	[restriction]::ε
	[all]::ε
	[union]::ε

XSDSubstitutionGroupExclusions ::=
	[restriction]::ε
	[extension]::ε

XSDVariety ::=
	[union]::ε
	[list]::ε
	[atomic]::ε

XSDWhiteSpace ::=
	[replace]::ε
	[collapse]::ε
	[preserve]::ε

XSDXPathVariety ::=
	[field]::ε
	[selector]::ε

Property ::=
	[qName]::QName [name]::EString [type]::EJavaObject [ID]::EString

PropertyAlias ::=
	[messageType]::EJavaObject [part]::EString [propertyName]::EJavaObject [ID]::EString [wsdlPart]::Part [query]::messagepropertiesQuery [type]::EJavaObject [XSDElement]::EJavaObject

messagepropertiesQuery ::=
	[queryLanguage]::EString [value]::EString

EObject ::=
	ε

PartnerLinkType ::=
	[name]::EString [ID]::EString [role]::Role+

Role ::=
	[ID]::EString [name]::EString [portType]::EJavaObject

Process ::=
	[name]::EString [targetNamespace]::EString [queryLanguage]::EString [expressionLanguage]::EString [suppressJoinFailure]::EBooleanObject [variableAccessSerializable]::EBooleanObject [partnerLinks]::PartnerLinks [variables]::Variables [activity]::Activity [faultHandlers]::FaultHandler [eventHandlers]::EventHandler [correlationSets]::CorrelationSets [imports]::BPELImport+ [extensions]::Extensions [exitOnStandardFault]::EBooleanObject

PartnerLink ::=
	[name]::EString [myRole]::Role [partnerRole]::Role [PartnerLinkType]::PartnerLinkType [initializePartnerRole]::EBooleanObject

FaultHandler ::=
	[catch]::Catch+ [catchAll]::CatchAll

Activity ::=
	PartnerActivity

Activity ::=
	Exit

Activity ::=
	Throw

Activity ::=
	Wait

Activity ::=
	Empty

Activity ::=
	Sequence

Activity ::=
	Switch

Activity ::=
	While

Activity ::=
	Pick

Activity ::=
	Flow

Activity ::=
	Assign

Activity ::=
	Scope

Activity ::=
	Compensate

Activity ::=
	Rethrow

Activity ::=
	ExtensionActivity

Activity ::=
	OpaqueActivity

Activity ::=
	ForEach

Activity ::=
	RepeatUntil

Activity ::=
	Validate

Activity ::=
	If

Activity ::=
	Reply

Activity ::=
	[name]::EString [suppressJoinFailure]::EBooleanObject [targets]::Targets [sources]::Sources

CorrelationSet ::=
	[name]::EString [properties]::Property+

Invoke ::=
	[outputVariable]::Variable [inputVariable]::Variable [compensationHandler]::CompensationHandler [faultHandler]::FaultHandler [toPart]::ToPart+ [fromPart]::FromPart+

Link ::=
	[name]::EString [sources]::Source+ [targets]::Target+

Catch ::=
	[faultName]::QName [faultVariable]::Variable [activity]::Activity [faultMessageType]::Message [faultElement]::XSDElementDeclaration

Reply ::=
	[faultName]::QName [variable]::Variable [toPart]::ToPart+

PartnerActivity ::=
	Invoke

PartnerActivity ::=
	Receive

PartnerActivity ::=
	Reply

PartnerActivity ::=
	[partnerLink]::PartnerLink [correlations]::Correlations [portType]::PortType [operation]::Operation

Receive ::=
	[createInstance]::EBooleanObject [variable]::Variable [fromPart]::FromPart+

Exit ::=
	[name]::EString [suppressJoinFailure]::EBooleanObject [targets]::Targets [sources]::Sources

Throw ::=
	[faultName]::QName [faultVariable]::Variable

Wait ::=
	[for]::Expression [until]::Expression

Empty ::=
	[name]::EString [suppressJoinFailure]::EBooleanObject [targets]::Targets [sources]::Sources

Sequence ::=
	[activities]::Activity+

Switch ::=
	[cases]::Case+ [otherwise]::Otherwise

Case ::=
	[activity]::Activity [condition]::Condition

While ::=
	[activity]::Activity [condition]::Condition

Pick ::=
	[createInstance]::EBooleanObject [messages]::OnMessage+ [alarm]::OnAlarm+

Flow ::=
	[activities]::Activity+ [links]::Links [completionCondition]::CompletionCondition

OnAlarm ::=
	[activity]::Activity [for]::Expression [until]::Expression [repeatEvery]::Expression

Assign ::=
	[copy]::Copy+ [validate]::EBooleanObject

Copy ::=
	[to]::To [from]::From [keepSrcElementName]::EBooleanObject

Extension ::=
	[namespace]::EString [mustUnderstand]::EBooleanObject

Scope ::=
	[isolated]::EBooleanObject [faultHandlers]::FaultHandler [compensationHandler]::CompensationHandler [activity]::Activity [variables]::Variables [correlationSets]::CorrelationSets [eventHandlers]::EventHandler [partnerLinks]::PartnerLinks [terminationHandler]::TerminationHandler

Compensate ::=
	[scope]::EObject

CompensationHandler ::=
	[activity]::Activity

To ::=
	From

To ::=
	[variable]::Variable [part]::Part [partnerLink]::PartnerLink [property]::Property [query]::BPELQuery

From ::=
	[opaque]::EBooleanObject [endpointReference]::EndpointReferenceRole [literal]::EString [unsafeLiteral]::EBooleanObject [expression]::Expression [serviceRef]::ServiceRef [type]::XSDTypeDefinition

OnMessage ::=
	[variable]::Variable [activity]::Activity [portType]::PortType [partnerLink]::PartnerLink [correlations]::Correlations [operation]::Operation [fromPart]::FromPart+

Expression ::=
	BooleanExpression

Expression ::=
	Condition

Expression ::=
	Branches

Expression ::=
	[body]::EJavaObject [expressionLanguage]::EString [opaque]::EBooleanObject

BooleanExpression ::=
	[body]::EJavaObject [expressionLanguage]::EString [opaque]::EBooleanObject

Correlation ::=
	[initiate]::EString [pattern]::CorrelationPattern [set]::CorrelationSet

CorrelationPattern ::=
	[outin]::ε
	[in]::ε
	[out]::ε

EndpointReferenceRole ::=
	[partnerRole]::ε
	[myRole]::ε

EventHandler ::=
	[alarm]::OnAlarm+ [events]::OnEvent+

Source ::=
	[Link]::Link [activity]::Activity [transitionCondition]::Condition

Target ::=
	[Link]::Link [activity]::Activity

PartnerLinks ::=
	[children]::PartnerLink+

Variables ::=
	[children]::Variable+

CorrelationSets ::=
	[children]::CorrelationSet+

Links ::=
	[children]::Link+

CatchAll ::=
	[activity]::Activity

Correlations ::=
	[children]::Correlation+

Variable ::=
	[name]::EString [messageType]::Message [XSDElement]::XSDElementDeclaration [type]::XSDTypeDefinition [from]::From

Otherwise ::=
	[activity]::Activity

UnknownExtensibilityAttribute ::=
	[children]::UnknownExtensibilityElement+

OnEvent ::=
	[activity]::Activity [variable]::Variable [partnerLink]::PartnerLink [correlations]::Correlations [operation]::Operation [portType]::PortType [messageType]::Message [fromPart]::FromPart+ [correlationSets]::CorrelationSets

BPELImport ::=
	[namespace]::EString [location]::EString [importType]::EString

Rethrow ::=
	[name]::EString [suppressJoinFailure]::EBooleanObject [targets]::Targets [sources]::Sources

Condition ::=
	[body]::EJavaObject [expressionLanguage]::EString [opaque]::EBooleanObject

Targets ::=
	[children]::Target+ [joinCondition]::Condition

Sources ::=
	[children]::Source+

BPELQuery ::=
	[value]::EString [queryLanguage]::EString

ServiceRef ::=
	[referenceScheme]::EString [value]::EJavaObject

Extensions ::=
	[children]::Extension+

ExtensionActivity ::=
	[name]::EString [suppressJoinFailure]::EBooleanObject [targets]::Targets [sources]::Sources

FromPart ::=
	[part]::EString [to]::To

ToPart ::=
	[part]::EString [from]::From

OpaqueActivity ::=
	[name]::EString [suppressJoinFailure]::EBooleanObject [targets]::Targets [sources]::Sources

ForEach ::=
	[parallel]::EBooleanObject [counterName]::Variable [completionCondition]::CompletionCondition [iterator]::Iterator [activity]::Activity

RepeatUntil ::=
	[activity]::Activity [condition]::Condition

TerminationHandler ::=
	[activity]::Activity

Validate ::=
	[variables]::Variable+

If ::=
	[condition]::Condition [then]::Then [elseIf]::ElseIf+ [else]::Else

Then ::=
	[activity]::Activity

ElseIf ::=
	[condition]::Condition [activity]::Activity

Else ::=
	[activity]::Activity

CompletionCondition ::=
	[branches]::Branches

Branches ::=
	[countCompletedBranchesOnly]::EBooleanObject

BPELExtensibleElement ::=
	Process

BPELExtensibleElement ::=
	PartnerLink

BPELExtensibleElement ::=
	FaultHandler

BPELExtensibleElement ::=
	Activity

BPELExtensibleElement ::=
	CorrelationSet

BPELExtensibleElement ::=
	Link

BPELExtensibleElement ::=
	Catch

BPELExtensibleElement ::=
	Case

BPELExtensibleElement ::=
	OnAlarm

BPELExtensibleElement ::=
	Copy

BPELExtensibleElement ::=
	Extension

BPELExtensibleElement ::=
	CompensationHandler

BPELExtensibleElement ::=
	To

BPELExtensibleElement ::=
	OnMessage

BPELExtensibleElement ::=
	Correlation

BPELExtensibleElement ::=
	EventHandler

BPELExtensibleElement ::=
	Source

BPELExtensibleElement ::=
	Target

BPELExtensibleElement ::=
	PartnerLinks

BPELExtensibleElement ::=
	Variables

BPELExtensibleElement ::=
	CorrelationSets

BPELExtensibleElement ::=
	Links

BPELExtensibleElement ::=
	CatchAll

BPELExtensibleElement ::=
	Correlations

BPELExtensibleElement ::=
	Variable

BPELExtensibleElement ::=
	Otherwise

BPELExtensibleElement ::=
	OnEvent

BPELExtensibleElement ::=
	Targets

BPELExtensibleElement ::=
	Sources

BPELExtensibleElement ::=
	Extensions

BPELExtensibleElement ::=
	TerminationHandler

BPELExtensibleElement ::=
	Then

BPELExtensibleElement ::=
	ElseIf

BPELExtensibleElement ::=
	Else

BPELExtensibleElement ::=
	From

BPELExtensibleElement ::=
	[documentation]::Documentation

Documentation ::=
	[lang]::EString [source]::EString [value]::EString

Iterator ::=
	[finalCounterValue]::Expression [startCounterValue]::Expression

WSDLElement ::=
	WSDLExtensibleElement

WSDLElement ::=
	MessageReference

WSDLElement ::=
	PortType

WSDLElement ::=
	Operation

WSDLElement ::=
	Message

WSDLElement ::=
	Part

WSDLElement ::=
	ExtensibilityElement

WSDLElement ::=
	WSDLImport

PortType ::=
	[qName]::QName [undefined]::EBoolean [proxy]::EBoolean [resourceURI]::EString [eOperations]::Operation+

Operation ::=
	[style]::OperationType [name]::EString [undefined]::EBoolean [proxy]::EBoolean [resourceURI]::EString [eInput]::Input [eOutput]::Output [eFaults]::Fault+ [eParameterOrdering]::Part+

Message ::=
	[qName]::QName [undefined]::EBoolean [proxy]::EBoolean [resourceURI]::EString [eParts]::Part+

Part ::=
	[name]::EString [elementName]::QName [typeName]::QName [typeDefinition]::XSDTypeDefinition [elementDeclaration]::XSDElementDeclaration [eMessage]::Message

Binding ::=
	[qName]::QName [undefined]::EBoolean [proxy]::EBoolean [resourceURI]::EString [ePortType]::PortType [eBindingOperations]::BindingOperation+

BindingOperation ::=
	[name]::EString [eOperation]::Operation [eBindingInput]::BindingInput [eBindingOutput]::BindingOutput [eBindingFaults]::BindingFault+

Service ::=
	[qName]::QName [undefined]::EBoolean [proxy]::EBoolean [resourceURI]::EString [ePorts]::Port+

Port ::=
	[name]::EString [eBinding]::Binding

ExtensibilityElement ::=
	Property

ExtensibilityElement ::=
	PropertyAlias

ExtensibilityElement ::=
	messagepropertiesQuery

ExtensibilityElement ::=
	PartnerLinkType

ExtensibilityElement ::=
	Role

ExtensibilityElement ::=
	Expression

ExtensibilityElement ::=
	UnknownExtensibilityElement

ExtensibilityElement ::=
	XSDSchemaExtensibilityElement

ExtensibilityElement ::=
	[required]::EBoolean [elementType]::QName

Definition ::=
	[targetNamespace]::EString [location]::EString [qName]::QName [encoding]::EString [eImports]::WSDLImport+ [eTypes]::Types [eMessages]::Message+ [ePortTypes]::PortType+ [eBindings]::Binding+ [eServices]::Service+ [eNamespaces]::Namespace+

WSDLImport ::=
	[namespaceURI]::EString [locationURI]::EString [eDefinition]::Definition [eSchema]::XSDSchema

WSDLExtensibleElement ::=
	BPELExtensibleElement

WSDLExtensibleElement ::=
	Binding

WSDLExtensibleElement ::=
	BindingOperation

WSDLExtensibleElement ::=
	Service

WSDLExtensibleElement ::=
	Port

WSDLExtensibleElement ::=
	Definition

WSDLExtensibleElement ::=
	BindingInput

WSDLExtensibleElement ::=
	BindingOutput

WSDLExtensibleElement ::=
	BindingFault

WSDLExtensibleElement ::=
	Types

Input ::=
	[name]::EString [eMessage]::Message

Output ::=
	[name]::EString [eMessage]::Message

Fault ::=
	[name]::EString [eMessage]::Message

BindingInput ::=
	[name]::EString [eInput]::Input

BindingOutput ::=
	[name]::EString [eOutput]::Output

BindingFault ::=
	[name]::EString [eFault]::Fault

Namespace ::=
	[URI]::EString [prefix]::EString

IPortType ::=
	PortType

IOperation ::=
	Operation

IMessage ::=
	Message

IPart ::=
	Part

IService ::=
	Service

IPort ::=
	Port

IBinding ::=
	Binding

IBindingOperation ::=
	BindingOperation

IBindingInput ::=
	BindingInput

IBindingOutput ::=
	BindingOutput

IBindingFault ::=
	BindingFault

IExtensibilityElement ::=
	ExtensibilityElement

IDefinition ::=
	Definition

IImport ::=
	WSDLImport

Types ::=
	[eExtensibilityElements]::ExtensibilityElement+

ITypes ::=
	Types

UnknownExtensibilityElement ::=
	UnknownExtensibilityAttribute

UnknownExtensibilityElement ::=
	[children]::UnknownExtensibilityElement+

XSDSchemaExtensibilityElement ::=
	[schema]::XSDSchema

MessageReference ::=
	Input

MessageReference ::=
	Output

MessageReference ::=
	Fault

Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated in September 2015. [↑]