Browsable Perceptory 1.0 Grammar

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

Summary

• Total 44 production rules with 46 top alternatives and 316 symbols.
• Vocabulary: 64 = 29 nonterminals + 2 terminals + 33 labels + 0 markers.
• Total 29 nonterminal symbols: 29 defined (String, Boolean, Integer, RelationSchip, ConstrainedRelationSchip, Aggregation, Composition, Association, Generalisation, Dependency, AssociationEnd, Package, Steriotype, Class, Constraint, Operation, Characteristic, BusnissRule, MetaData, Source, Domain, DescriptiveAttribute, Geometry, Temporality, VisualInfo, Value, RangeDomain, EnumeratedDomain, PerceptorySteriotype), 0 root (—), 5 top (String, Boolean, Integer, ConstrainedRelationSchip, AssociationEnd), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 33 labels: [affectCharacteristic] ³, [constraint] ⁶, [steriotype] ⁷, [packages] ⁴, [associatePackages] ³, [children], [parent], [classes], [relationSchip] ⁶, [connectedRelationSchip], [descriptiveAttribute] ⁴, [operations] ⁶, [theClass] ⁶, [thePackage] ², [characteristic] ³, [details] ³, [myOperations], [caracteristic], [detail], [inCharacteristic], [affectFeature], [behaviour], [rule] ², [source], [metaData], [tempsDef] ², [specialDef], [domain], [descriptiveAttributeg], [geometry], [descriptiveAttributet], [enumeratedDomain], [value].

Syntax

String ::=
	string

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

RelationSchip ::=
	Association

RelationSchip ::=
	Generalisation

RelationSchip ::=
	Dependency

RelationSchip ::=
	[affectCharacteristic]::Characteristic+ [constraint]::Constraint [steriotype]::Steriotype+ [packages]::Package+ [associatePackages]::Package

ConstrainedRelationSchip ::=
	ε

Aggregation ::=
	ε

Composition ::=
	ε

Association ::=
	Aggregation

Association ::=
	Composition

Association ::=
	Aggregation
	Composition

Generalisation ::=
	[affectCharacteristic]::Characteristic+ [constraint]::Constraint [steriotype]::Steriotype+ [packages]::Package+ [associatePackages]::Package

Dependency ::=
	[affectCharacteristic]::Characteristic+ [constraint]::Constraint [steriotype]::Steriotype+ [packages]::Package+ [associatePackages]::Package

AssociationEnd ::=
	ε

Package ::=
	[steriotype]::Steriotype [children]::Package+ [parent]::Package [classes]::Class+ [relationSchip]::RelationSchip+ [connectedRelationSchip]::RelationSchip+

Steriotype ::=
	PerceptorySteriotype

Steriotype ::=
	[descriptiveAttribute]::DescriptiveAttribute+ [operations]::Operation+ [relationSchip]::RelationSchip+ [theClass]::Class+ [thePackage]::Package+

Class ::=
	[characteristic]::Characteristic+ [details]::MetaData [operations]::Operation [myOperations]::Operation+ [constraint]::Constraint+ [steriotype]::Steriotype [packages]::Package+

Constraint ::=
	[caracteristic]::Characteristic [theClass]::Class [relationSchip]::RelationSchip+

Operation ::=
	[detail]::MetaData [inCharacteristic]::Characteristic+ [affectFeature]::Class+ [steriotype]::Steriotype [behaviour]::Class

Characteristic ::=
	DescriptiveAttribute

Characteristic ::=
	Geometry

Characteristic ::=
	Temporality

Characteristic ::=
	VisualInfo

Characteristic ::=
	[details]::MetaData [rule]::BusnissRule [operations]::Operation [theClass]::Class [relationSchip]::RelationSchip [constraint]::Constraint

BusnissRule ::=
	[characteristic]::Characteristic

MetaData ::=
	[source]::Source [characteristic]::Characteristic [operations]::Operation [theClass]::Class

Source ::=
	[metaData]::MetaData

Domain ::=
	RangeDomain

Domain ::=
	EnumeratedDomain

Domain ::=
	[descriptiveAttribute]::DescriptiveAttribute+

DescriptiveAttribute ::=
	[tempsDef]::Temporality [specialDef]::Geometry [steriotype]::Steriotype [domain]::Domain

Geometry ::=
	[tempsDef]::Temporality [descriptiveAttributeg]::DescriptiveAttribute

Temporality ::=
	[geometry]::Geometry [descriptiveAttributet]::DescriptiveAttribute

VisualInfo ::=
	[details]::MetaData [rule]::BusnissRule [operations]::Operation [theClass]::Class [relationSchip]::RelationSchip [constraint]::Constraint

Value ::=
	[enumeratedDomain]::EnumeratedDomain

RangeDomain ::=
	[descriptiveAttribute]::DescriptiveAttribute+

EnumeratedDomain ::=
	[value]::Value+

PerceptorySteriotype ::=
	Geometry

PerceptorySteriotype ::=
	Temporality

PerceptorySteriotype ::=
	VisualInfo

PerceptorySteriotype ::=
	[descriptiveAttribute]::DescriptiveAttribute+ [operations]::Operation+ [relationSchip]::RelationSchip+ [theClass]::Class+ [thePackage]::Package+

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