The document defines a domain model structure including components, facets, instances, and service configurations with specific attributes such as names and properties. It outlines various checks for mandatory fields, unique naming, and compatibility of imports with component types. Additionally, it contains detailed rules for managing components and their relationships within the domain model framework.

4. Domainmodel:
(elements+= (Component | Facet | InstanceOf | ServiceECA ))*
;

5. Domainmodel:
(elements+= (Component | Facet | InstanceOf | ServiceECA ))*
;
Component:
COMMENT*
name = ID '{' EOL+
(COMMENT* (installer += InstallerComp | alias += AliasComp | icon +=
IconComp|exports += ExportComp|imports += ImportComp|children +=
ChildrenComp | facets += FacetChild))*
'}' EOL+
;

6. Domainmodel:
(elements+= (Component | Facet | InstanceOf | ServiceECA ))*
;
Component:
COMMENT*
name = ID '{' EOL+
(COMMENT* (installer += InstallerComp | alias += AliasComp | icon +=
IconComp|exports += ExportComp|imports += ImportComp|children +=
ChildrenComp | facets += FacetChild))*
'}' EOL+
;

7. Domainmodel:
(elements+= (Component | Facet | InstanceOf | ServiceECA ))*
;
Facet:
COMMENT*
'facet' ':' name = ID '{' EOL+
(COMMENT* (installer += InstallerComp | icon += IconComp|exports
+= ExportComp| children += ChildrenComp | extends += ExtendComp))*
'}' EOL+
;

8. Domainmodel:
(elements+= (Component | Facet | InstanceOf | ServiceECA ))*
;
InstanceOf:
COMMENT*
'instanceof' ':' name = [Component] '{' EOL+
( instanceOfs += InstanceOf | (COMMENT* (nameChild += NameChildComp |
count += CountComp|channel += ChannelComp| instanceData +=
InstanceDataComp | instanceState+= InstanceStateComp)))*
'}' EOL+
;

10. • checkMandatoryFields
• checkRedifinitionFields
• checkComponentNotChildOfSelf
• checkUniqueNaming
• checkImportVariableCompatibleWithComponentType
and more..

11. • checkComponentNotChildOfSelf
for (childComponent : childComp.childs) {
if (childComponent.name == parentComponentName) {
error("A component can't be child of self");
return;
}
}
Apache0{
//…
}
Apache0{
//…
children:Apache0;
}

12. • checkUniqueNaming
exportComp.exports.forEach [ str |
if (exportComp.exports.filter[item|item.equals(str)].size > 1)
error("Redifinition of variables in exports.");
];
Apache0{
//…
exports: ip1;
}
Apache0{
//…
exports: ip1, ip2, ip1;
}

13. • checkImportVariableCompatibleWithComponentType
for (var i = 0; i < comps.size; i++) {
for (export : comps.get(i).exports.get(0).exports) {
if (export == import) {
componentFound = true;
}
}
}
Tomcat{
//…
imports:Apache0.foo;
}
Apache0{
//…
exports:ip,port;
}

14. • checkImportVariableCompatibleWithComponentType
for (var i = 0; i < comps.size; i++) {
for (export : comps.get(i).exports.get(0).exports) {
if (export == import) {
componentFound = true;
}
}
}
Tomcat{
//…
imports:Apache0.foo;
}
Tomcat{
//…
imports:Apache0.port;
}
Apache0{
//…
exports:ip,port;
}

35. facet:f2{
//…
exports: foo=50;
}
Apache0{
//…
exports:ip,port;
facets: f2;
}
Tomcat{
//…
imports:Apache0.foo;
}

36. facet:f2{
//…
exports: foo=50;
}
Apache0{
//…
exports:ip,port;
facets: f2;
}
Tomcat{
//…
imports:Apache0.foo;
}

38. ServiceECA:
COMMENT*
'serviceECA' '{' EOL+
(COMMENT* (
serviceECANameComp += ServiceECANameComp
|numInstancesComp += NumInstancesComp
| minAllowedInstancesComp += MinAllowedInstancesComp
| maxAllowedInstancesComp += MaxAllowedInstancesComp
| scaleCooldownInSec += ScaleCooldownInSec
| samplingPeriodInSec+= SamplingPeriodInSec
))*
scalingRule = ScalingRule
'}' EOL+
;

39. ScalingRule:
COMMENT*
'scalingRule' '{' EOL+
'serviceStats' '{' EOL+
(COMMENT* (serviceECANameComp += ServiceECANameComp | metric += MetricComp |
movingTimeRangeInSec += MovingTimeRangeInSecComp))*
'}' EOL+
'highThreshold' '{' EOL+
(COMMENT* (hTValueComp += HTValueComp | hTInstancesIncrease += HTInstancesIncrease))*
'}' EOL+
'lowThreshold' '{' EOL+
(COMMENT* (lTValueComp += LTValueComp | hTInstancesDecrease += HTInstancesDecrease))*
'}' EOL+
'}' EOL+
;