
Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/atl/USECASE2/extracted
Source used for this grammar: Youssef Srour, USECASE2 1.0, USECASE2.ecore, 2006/07/19
String, Boolean, Integer, Requirement, NonFunctionnelRequirement, FunctionnelRequirement, UseCase, Goal, Role, HumanRole, SystemRole, EventRole, Manage, Resource, ScenarioDescription, Condition, Pre, Post), 0 root (—), 4 top (String, Boolean, Integer, Requirement), 0 bottom (—).[scopes], [specifies], [scenario], [condition], [interacter], [specified_by], [scoped_by], [meet_by], [to_meet], [interacted_with] 4, [managed_Resource], [useCase], [constrained_with] 3.String ::= string
Boolean ::= "true" "false"
Integer ::= integer
Requirement ::= NonFunctionnelRequirement
Requirement ::= FunctionnelRequirement
Requirement ::= NonFunctionnelRequirement FunctionnelRequirement
NonFunctionnelRequirement ::=
[scopes]::UseCaseFunctionnelRequirement ::=
[specifies]::UseCaseUseCase ::= Manage
UseCase ::= [scenario]::ScenarioDescription [condition]::Condition [interacter]::Role [specified_by]::FunctionnelRequirement [scoped_by]::NonFunctionnelRequirement [meet_by]::Goal
Goal ::=
[to_meet]::UseCaseRole ::= HumanRole
Role ::= SystemRole
Role ::= EventRole
Role ::=
[interacted_with]::UseCaseHumanRole ::=
[interacted_with]::UseCaseSystemRole ::=
[interacted_with]::UseCaseEventRole ::=
[interacted_with]::UseCaseManage ::=
[managed_Resource]::ResourceResource ::= ε
ScenarioDescription ::= [useCase]::UseCase
Condition ::= Pre
Condition ::= Post
Condition ::=
[constrained_with]::UseCasePre ::=
[constrained_with]::UseCasePost ::=
[constrained_with]::UseCase