Browsable SecureUML 1.0 Grammar

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

Summary

• Total 17 production rules with 18 top alternatives and 104 symbols.
• Vocabulary: 28 = 13 nonterminals + 2 terminals + 13 labels + 0 markers.
• Total 13 nonterminal symbols: 13 defined (String, Boolean, Integer, Group, User, Subject, Role, Permission, AuthorizationConstraint, AtomicAction, CompositeAction, Action, Resource), 0 root (—), 3 top (String, Boolean, Integer), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 13 labels: [subjectGroup], [group] ², [role] ³, [roleHierarchy], [subjectAssignment], [permissionAssignment], [constraintAssignment], [actionAssignment], [permission] ³, [resource] ², [actionHyerarchy] ², [subordinatedAction], [resourceAction].

Syntax

String ::=
	string

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

Group ::=
	[subjectGroup]::Subject+

User ::=
	[group]::Group [role]::Role+

Subject ::=
	Group

Subject ::=
	User

Subject ::=
	[group]::Group [role]::Role+

Role ::=
	[roleHierarchy]::Role+ [subjectAssignment]::Subject+ [permissionAssignment]::Permission+

Permission ::=
	[role]::Role+ [constraintAssignment]::AuthorizationConstraint [actionAssignment]::Action+

AuthorizationConstraint ::=
	[permission]::Permission+

AtomicAction ::=
	[permission]::Permission+ [resource]::Resource [actionHyerarchy]::CompositeAction+

CompositeAction ::=
	[subordinatedAction]::Action+

Action ::=
	AtomicAction

Action ::=
	CompositeAction

Action ::=
	[permission]::Permission+ [resource]::Resource [actionHyerarchy]::CompositeAction+

Resource ::=
	[resourceAction]::Action+

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