Browsable USECASE1 1.0 Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/atl/USECASE1/extracted
Source used for this grammar: Youssef Srour, USECASE1 1.0, USECASE1.ecore, 2006/07/19

Summary

• Total 22 production rules with 23 top alternatives and 141 symbols.
• Vocabulary: 35 = 19 nonterminals + 2 terminals + 14 labels + 0 markers.
• Total 19 nonterminal symbols: 19 defined (Task, User, Actor, Goal, UseCase, Service, Scenario, Context, PreCondition, PostCondition, Episode, Event, Action, Responce, Stimilus, Parameter, String, Boolean, Integer), 0 root (—), 4 top (Scenario, String, Boolean, Integer), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 14 labels: [service] ³, [useCase] ⁴, [actor] ³, [goal] ², [user] ², [context] ³, [task], [preCondition], [postCondition], [event], [episode] ², [parameter] ², [stimilus], [responce].

Syntax

Task ::=
	[service]::Service+

User ::=
	[useCase]::UseCase+ [actor]::Actor+

Actor ::=
	[useCase]::UseCase+ [goal]::Goal+ [user]::User+

Goal ::=
	[service]::Service+ [actor]::Actor+

UseCase ::=
	[context]::Context [service]::Service+ [user]::User+ [actor]::Actor+

Service ::=
	[useCase]::UseCase+ [goal]::Goal+ [task]::Task+

Scenario ::=
	ε

Context ::=
	[preCondition]::PreCondition+ [postCondition]::PostCondition+ [useCase]::UseCase+

PreCondition ::=
	[context]::Context+

PostCondition ::=
	[context]::Context+

Episode ::=
	[event]::Event+

Event ::=
	Action

Event ::=
	Responce

Event ::=
	Stimilus

Event ::=
	[episode]::Episode+

Action ::=
	[episode]::Episode+

Responce ::=
	[parameter]::Parameter+

Stimilus ::=
	[parameter]::Parameter+

Parameter ::=
	[stimilus]::Stimilus+ [responce]::Responce+

String ::=
	string

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

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