Browsable WSDL Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: dsl/architecture/wsdl/extracted
Source used for this grammar: Hugo Brunelière, WSDL.ecore, 2005/08/11

Summary

• Total 20 production rules with 22 top alternatives and 147 symbols.
• Vocabulary: 30 = 15 nonterminals + 0 terminals + 15 labels + 0 markers.
• Total 15 nonterminal symbols: 15 defined (Port, Service, Param, Input, Output, PortType, Operation, StartWithExtensions, Binding, BindingFault, BindingOperation, Fault, Message, Part, String), 0 root (—), 0 top (—), 0 bottom (—).
• Total 15 labels: [name] ¹⁰, [service], [binding] ³, [ports] ², [message] ³, [operation] ⁴, [operations] ², [bindings], [input] ², [output] ², [type] ², [faults] ³, [bind], [params], [parts].

Syntax

Port ::=
	[name]::String [service]::Service [binding]::Binding

Service ::=
	[name]::String [ports]::Port+

Param ::=
	Input

Param ::=
	Output

Param ::=
	[name]::String [message]::Message

Input ::=
	[operation]::Operation

Output ::=
	[operation]::Operation

PortType ::=
	[name]::String [operations]::Operation+ [bindings]::Binding+

Operation ::=
	[name]::String [input]::Input [output]::Output [type]::PortType [faults]::Fault+

StartWithExtensions ::=
	Binding

StartWithExtensions ::=
	BindingFault

StartWithExtensions ::=
	BindingOperation

StartWithExtensions ::=
	Binding
	BindingFault
	BindingOperation

Binding ::=
	[name]::String [ports]::Port+ [type]::PortType [operations]::BindingOperation+

BindingFault ::=
	[operation]::BindingOperation [binding]::Fault

BindingOperation ::=
	[name]::String [bind]::Binding [binding]::Operation [input]::StartWithExtensions [output]::StartWithExtensions [faults]::BindingFault+

Fault ::=
	[name]::String [operation]::Operation [message]::Message

Message ::=
	[name]::String [params]::Param+ [faults]::Fault+ [parts]::Part+

Part ::=
	[name]::String [message]::Message

String ::=
	string

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