Browsable DoDAF-SV5 Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: dsl/architecture/dodaf/sv5/extracted
Source used for this grammar: Albin Jossic, DoDAF-SV5 0.1, DoDAF-SV5.ecore, 2006/06/26

Summary

• Total 61 production rules with 63 top alternatives and 584 symbols.
• Vocabulary: 95 = 33 nonterminals + 0 terminals + 62 labels + 0 markers.
• Total 33 nonterminal symbols: 33 defined (Element, DoDAFModel, Document, SystemFunctionTraceabilityMatrix, SystemFunctionTraceabilityElement, SystemDocument, ArchitectureDocument, PA, SystemFunction, SystemPA, SoftwareApplicationProcedurePA, AM, InformationAsset, AMPA, System, Task, ArchitectureTask, OperationalCapabilityTask, SystemOperationalCapabilityTask, PATask, Capability, CapabilityDocument, SystemCapability, NetworkCapability, NodeLinkCapability, MaterielItemCapabilityNorm, OrganizationTypeCapabilityNorm, RequiredInformationTechnologyCapability, InformationTechnologyRequirement, InformationExchangeRequirement, PAExchangeRequirement, SupportStatusCode, String), 0 root (—), 1 top (Element), 0 bottom (—).
• Total 62 labels: [document], [sftm], [sd], [am], [system] ², [task], [capability] ², [capabilityDocument], [systemCapability], [type] ², [cites], [describes], [records], [isThePrimaryReferenceFor], [isDefinedBy], [systemFunction], [operationalActivity], [systemProcessActivity], [supportStatusCode], [name] ⁴, [description] ⁴, [view] ⁴, [isParentFor], [isChildFor], [correspondsTo] ⁴, [isIncludedIn], [isAssignedTo], [isSupportedBy] ⁴, [isTheConsumerFor], [isTheProducerFor], [isCitedFor] ⁴, [mayBeCitedFor], [provides], [enables], [isCitedBy], [includes], [isOrdinateOf], [isSubordinateOf] ⁷, [isDesignedToProvide], [isDescribedBy], [performs], [isUsedToAccomplish], [levelIdentifier] ³, [references] ³, [cost] ³, [isTheSourceOfNeedFor] ³, [isTheDestinationOfNeedFor] ³, [isAccomplishedA], [isPerformedBy] ⁶, [isOrdinateFor] ⁶, [isPerformedByNC] ⁶, [isPerformedByNLC] ⁶, [isPerformedBySC] ⁶, [isCitedInCD] ⁶, [isUsedInMICN] ⁶, [isUsedInOTCN] ⁶, [isAttainedFor] ⁶, [isCitedIn] ³, [specifies] ², [red], [yellow], [green].

Syntax

Element ::=
	DoDAFModel

Element ::=
	Document

Element ::=
	SystemFunctionTraceabilityElement

Element ::=
	SystemDocument

Element ::=
	ArchitectureDocument

Element ::=
	PA

Element ::=
	SystemPA

Element ::=
	SoftwareApplicationProcedurePA

Element ::=
	InformationAsset

Element ::=
	AMPA

Element ::=
	System

Element ::=
	Task

Element ::=
	ArchitectureTask

Element ::=
	Capability

Element ::=
	CapabilityDocument

Element ::=
	SystemCapability

Element ::=
	InformationTechnologyRequirement

DoDAFModel ::=
	[document]::Document+ [sftm]::SystemFunctionTraceabilityMatrix+ [sd]::SystemDocument+ [am]::AM+ [system]::System+ [task]::Task+ [capability]::Capability+ [capabilityDocument]::CapabilityDocument+ [systemCapability]::SystemCapability+

Document ::=
	SystemFunctionTraceabilityMatrix

Document ::=
	[type]::String [cites]::CapabilityDocument+ [describes]::SystemDocument+ [records]::ArchitectureDocument+ [isThePrimaryReferenceFor]::PA+

SystemFunctionTraceabilityMatrix ::=
	[isDefinedBy]::SystemFunctionTraceabilityElement+

SystemFunctionTraceabilityElement ::=
	[systemFunction]::SystemFunction [operationalActivity]::Task [systemProcessActivity]::SystemPA [system]::System [capability]::Capability [supportStatusCode]::SupportStatusCode

SystemDocument ::=
	[name]::String [description]::String [view]::String

ArchitectureDocument ::=
	[name]::String [description]::String [view]::String

PA ::=
	SystemFunction

PA ::=
	[isParentFor]::PA+ [isChildFor]::PA+ [correspondsTo]::PATask+ [isIncludedIn]::AMPA+ [isAssignedTo]::SystemPA+ [isSupportedBy]::SoftwareApplicationProcedurePA+ [isTheConsumerFor]::PAExchangeRequirement+ [isTheProducerFor]::PAExchangeRequirement+

SystemFunction ::=
	[isCitedFor]::SystemFunctionTraceabilityElement+

SystemPA ::=
	[mayBeCitedFor]::SystemFunctionTraceabilityElement+ [provides]::SystemCapability+ [enables]::SystemOperationalCapabilityTask+

SoftwareApplicationProcedurePA ::=
	[name]::String [description]::String [view]::String

AM ::=
	[type]::String [isCitedBy]::PATask+ [includes]::AMPA+

InformationAsset ::=
	AM

AMPA ::=
	[isOrdinateOf]::AMPA+ [isSubordinateOf]::AMPA+

System ::=
	[isDesignedToProvide]::SystemPA+ [isDescribedBy]::SystemDocument+ [performs]::SystemCapability+ [isUsedToAccomplish]::SystemOperationalCapabilityTask+

Task ::=
	OperationalCapabilityTask

Task ::=
	SystemOperationalCapabilityTask

Task ::=
	PATask

Task ::=
	[levelIdentifier]::String [references]::String [cost]::String [correspondsTo]::PATask+ [isSupportedBy]::ArchitectureTask+ [isTheSourceOfNeedFor]::InformationExchangeRequirement+ [isTheDestinationOfNeedFor]::InformationExchangeRequirement+ [isCitedFor]::SystemFunctionTraceabilityElement+

ArchitectureTask ::=
	[name]::String [description]::String [view]::String

OperationalCapabilityTask ::=
	[isAccomplishedA]::SystemOperationalCapabilityTask

SystemOperationalCapabilityTask ::=
	[levelIdentifier]::String [references]::String [cost]::String [correspondsTo]::PATask+ [isSupportedBy]::ArchitectureTask+ [isTheSourceOfNeedFor]::InformationExchangeRequirement+ [isTheDestinationOfNeedFor]::InformationExchangeRequirement+ [isCitedFor]::SystemFunctionTraceabilityElement+

PATask ::=
	[levelIdentifier]::String [references]::String [cost]::String [correspondsTo]::PATask+ [isSupportedBy]::ArchitectureTask+ [isTheSourceOfNeedFor]::InformationExchangeRequirement+ [isTheDestinationOfNeedFor]::InformationExchangeRequirement+ [isCitedFor]::SystemFunctionTraceabilityElement+

Capability ::=
	NetworkCapability

Capability ::=
	NodeLinkCapability

Capability ::=
	MaterielItemCapabilityNorm

Capability ::=
	OrganizationTypeCapabilityNorm

Capability ::=
	RequiredInformationTechnologyCapability

Capability ::=
	[isPerformedBy]::SystemCapability+ [isOrdinateFor]::Capability+ [isSubordinateOf]::Capability+ [isPerformedByNC]::NetworkCapability+ [isPerformedByNLC]::NodeLinkCapability+ [isPerformedBySC]::SystemCapability+ [isCitedInCD]::CapabilityDocument+ [isUsedInMICN]::MaterielItemCapabilityNorm+ [isUsedInOTCN]::OrganizationTypeCapabilityNorm+ [isAttainedFor]::RequiredInformationTechnologyCapability+

CapabilityDocument ::=
	[isCitedIn]::Capability+

SystemCapability ::=
	[isCitedIn]::Capability+

NetworkCapability ::=
	[isPerformedBy]::SystemCapability+ [isOrdinateFor]::Capability+ [isSubordinateOf]::Capability+ [isPerformedByNC]::NetworkCapability+ [isPerformedByNLC]::NodeLinkCapability+ [isPerformedBySC]::SystemCapability+ [isCitedInCD]::CapabilityDocument+ [isUsedInMICN]::MaterielItemCapabilityNorm+ [isUsedInOTCN]::OrganizationTypeCapabilityNorm+ [isAttainedFor]::RequiredInformationTechnologyCapability+

NodeLinkCapability ::=
	[isPerformedBy]::SystemCapability+ [isOrdinateFor]::Capability+ [isSubordinateOf]::Capability+ [isPerformedByNC]::NetworkCapability+ [isPerformedByNLC]::NodeLinkCapability+ [isPerformedBySC]::SystemCapability+ [isCitedInCD]::CapabilityDocument+ [isUsedInMICN]::MaterielItemCapabilityNorm+ [isUsedInOTCN]::OrganizationTypeCapabilityNorm+ [isAttainedFor]::RequiredInformationTechnologyCapability+

MaterielItemCapabilityNorm ::=
	[isPerformedBy]::SystemCapability+ [isOrdinateFor]::Capability+ [isSubordinateOf]::Capability+ [isPerformedByNC]::NetworkCapability+ [isPerformedByNLC]::NodeLinkCapability+ [isPerformedBySC]::SystemCapability+ [isCitedInCD]::CapabilityDocument+ [isUsedInMICN]::MaterielItemCapabilityNorm+ [isUsedInOTCN]::OrganizationTypeCapabilityNorm+ [isAttainedFor]::RequiredInformationTechnologyCapability+

OrganizationTypeCapabilityNorm ::=
	[isPerformedBy]::SystemCapability+ [isOrdinateFor]::Capability+ [isSubordinateOf]::Capability+ [isPerformedByNC]::NetworkCapability+ [isPerformedByNLC]::NodeLinkCapability+ [isPerformedBySC]::SystemCapability+ [isCitedInCD]::CapabilityDocument+ [isUsedInMICN]::MaterielItemCapabilityNorm+ [isUsedInOTCN]::OrganizationTypeCapabilityNorm+ [isAttainedFor]::RequiredInformationTechnologyCapability+

RequiredInformationTechnologyCapability ::=
	[isPerformedBy]::SystemCapability+ [isOrdinateFor]::Capability+ [isSubordinateOf]::Capability+ [isPerformedByNC]::NetworkCapability+ [isPerformedByNLC]::NodeLinkCapability+ [isPerformedBySC]::SystemCapability+ [isCitedInCD]::CapabilityDocument+ [isUsedInMICN]::MaterielItemCapabilityNorm+ [isUsedInOTCN]::OrganizationTypeCapabilityNorm+ [isAttainedFor]::RequiredInformationTechnologyCapability+

InformationTechnologyRequirement ::=
	InformationExchangeRequirement

InformationTechnologyRequirement ::=
	PAExchangeRequirement

InformationTechnologyRequirement ::=
	[specifies]::RequiredInformationTechnologyCapability+

InformationExchangeRequirement ::=
	[specifies]::RequiredInformationTechnologyCapability+

PAExchangeRequirement ::=
	[isCitedIn]::InformationExchangeRequirement+

SupportStatusCode ::=
	[red]::ε
	[yellow]::ε
	[green]::ε

String ::=
	string

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