Model:
	(componentTypes+=ComponentType | componentImpls+=ComponentImpl)*
;

ComponentType returns ComponentType:
	( SystemType
	| SubSystemType
	)
;

ComponentImpl returns ComponentImpl:
	SystemImpl 
;
/***************************************************************/
Feature : 
	PortFeature | AccessFeature
;
PortFeature returns PortFeature:  
	isSync?='sync'? isAsync?='async'? portDirection=('input' | 'output' | 'inout') type=PortType 'port' name=ID ';'
;

PortType returns PortType:
	{PortType} 'time' | {PortType} 'event' | {PortType} 'data' | {PortType} ('event' 'data')
;

AccessFeature returns AccessFeature: 
	accessDirection=('provide' | 'require') 'data' 'access' name=ID ';'
;

Property returns Property: 
	Period | Variable | Reference
;
Period returns Period: 
	'period' period=NumericValue 'ms' ';'
;
Variable returns Variable: 
	(isStateVal?='stateval')? variableType=VariableType name=ID ';'
;
Reference returns Reference: 
	variableType=VariableType '&' refName+=ID (',' '&' refName+=ID)* '->' ('system' | 'subsystem' | 'activity') componentType=ID sourceName=ID ';'
;
/*************************************************************************/
SystemType returns SystemType: 
	'system' name=ID
		('features' features+=Feature+ )?
		('properties' properties+=Property+)? 
	'end'
;

SubSystemType returns SubSystemType: 
	'subsystem' name=ID
		('features' features+=Feature+ )?
		('properties' properties+=Property+)? 
	'end'
;

/*********************************************************/
Init returns Init: 
	variableName=ID '=' value=ID ';'
;
SubSystemSubComponent returns SubSystemSubComponent: 
	'subsystem' subSystemSubComponentType=[SubSystemType|ID] '.' implName=ID componentName=ID ';'
;

DataSubComponent returns DataSubComponent:
	'data' dataSubComponentType=[DataComponentType|ID] '.' implName=ID componentName=ID ';'
;


SubComponent returns SubComponent:
	SubSystemSubComponent | DataSubComponent
;


Channel : 
	PortChannel 
;
PortChannel returns PortChannel: 
	portchannelName=ID '[' variableName=ID ']'':' portType=PortType 'port' sourceSubComponent=[SubComponent|ID] '.' sourcePort=[PortFeature|ID] ('<-'|'->'|'<->') sinkSubComponent=[SubComponent|ID] '.' sinkPort=[PortFeature|ID]';'
;

Realization returns Realization:
	implemented=[ComponentType|ID];
/*************************************************************************/
SystemImpl:
	'system' 'implementation' ownedRealization=Realization '.' name=ID
		('init' inits+=Init+)? 
		('properties' properties+=Property+)? 
		( 'components'
			(ownedSubSystemSubComponent+=SubSystemSubComponent
			)+
		)? 
		('channels' channels+=Channel+)?
	'end'
;