@purview-dev/astroc4 0.0.0-stage → 1.0.0-prerelease.2

package/src/grammar/like-c4.langium

@@ -0,0 +1,1357 @@
+// SPDX-License-Identifier: MIT
+//
+// Copyright (c) 2023-2026 Denis Davydkov
+// Copyright (c) 2026 NVIDIA CORPORATION & AFFILIATES. All rights reserved.
+//
+// Portions of this file have been modified by NVIDIA CORPORATION & AFFILIATES.
+
+grammar LikeC4
+
+entry LikeC4Grammar:
+  (
+    imports+=ImportsFromPoject |
+    specifications+=SpecificationRule |
+    models+=Model  |
+    views+=ModelViews |
+    globals+=Globals |
+    deployments+=ModelDeployments  |
+    diffs+=ModelDiff |
+    likec4lib+=LikeC4Lib
+  )*
+;
+
+// Lib -------------------------------------
+LikeC4Lib:
+  'likec4lib' '{'
+    'icons' '{'
+      (icons+=LibIcon)+
+    '}'
+  '}';
+
+LibIcon:
+  name=IconId;
+
+// Specification -------------------------------------
+
+ElementKind:
+  name=Id;
+Tag:
+  name=Id;
+RelationshipKind:
+  name=Id;
+CustomColor:
+  name=CustomColorId;
+DeploymentNodeKind:
+  name=Id;
+
+SpecificationRule:
+  name='specification' '{'
+    (
+      elements+=SpecificationElementKind |
+      tags+=SpecificationTag |
+      relationships+=SpecificationRelationshipKind |
+      colors+=SpecificationColor |
+      deploymentNodes+=SpecificationDeploymentNodeKind
+    )*
+  '}';
+
+SpecificationElementKind:
+  'element' kind=ElementKind ('{'
+    tags=Tags?
+    props+=(
+      SpecificationElementStringProperty |
+      LinkProperty |
+      DescriptionFileProperty |
+      ElementStyleProperty
+    )*
+  '}')?;
+
+SpecificationElementStringProperty:
+  key=('title' | 'description' | 'technology' | 'notation' | 'summary') ':'? value=MarkdownOrString ';'?;
+
+SpecificationDeploymentNodeKind:
+  'deploymentNode' kind=DeploymentNodeKind ('{'
+    tags=Tags?
+    props+=(
+      SpecificationElementStringProperty |
+      LinkProperty |
+      DescriptionFileProperty |
+      ElementStyleProperty
+    )*
+  '}')?;
+
+SpecificationTag:
+  'tag' tag=Tag ('{'
+    ('color' (ColorRef | color=ColorLiteral))?
+  '}')?;
+
+SpecificationColor:
+  'color' name=CustomColor color=ColorLiteral;
+
+SpecificationRelationshipKind:
+  'relationship' kind=RelationshipKind ('{'
+    tags=Tags?
+    props+=(
+      LinkProperty |
+      DescriptionFileProperty |
+      RelationshipStyleProperty |
+      SpecificationRelationshipStringProperty |
+      MultipleProperty
+    )*
+  '}')?
+;
+
+SpecificationRelationshipStringProperty:
+  key=('title' | 'description' | 'technology' | 'notation') ':'? value=MarkdownOrString ';'?;
+
+// Imports -------------------------------------
+
+ImportsFromPoject:
+  'import' ( '{' imports=Imported '}' | imports=Imported) 'from' project=String ';'?
+;
+
+Imported:
+  imported=[Element:Id] ({infer Imported.prev=current} ',' imported=[Element:Id])* ';'?
+;
+
+// Model -------------------------------------
+
+// Allow use spaces and commas in tags
+Tags:
+  (values+=TagRef)+ ({infer Tags.prev=current} ',' (values+=TagRef)*)* ';'?
+;
+
+Model:
+  name='model' '{'
+    elements+=(ModelElement)*
+  '}'
+;
+
+ModelElement:
+  ExtendElementOrRelation |
+  Relation<true> |
+  Element
+;
+
+Element:
+  (
+    kind=[ElementKind] name=Id |
+    name=Id Eq kind=[ElementKind]
+  )
+  (props+=String  // title
+    (props+=String  // summary
+      (props+=String  // technology
+        (props+=String)?   // tags (ignored by likec4, but still parsed for Structurizr compatibility)
+      )?
+    )?
+  )?
+  body=ElementBody?
+;
+
+ElementBody:
+  '{'
+  tags=Tags?
+  props+=ElementProperty*
+  elements+=(
+    Relation<false> |
+    Element
+  )*
+'}'
+;
+
+ElementProperty:
+  ElementStringProperty |
+  ElementStyleProperty |
+  LinkProperty |
+  DescriptionFileProperty |
+  IconProperty |
+  MetadataProperty;
+
+ElementStringProperty:
+  key=('title' | 'description' | 'technology' | 'summary') ':'? value=MarkdownOrString ';'?;
+
+ExtendElementOrRelation:
+  'extend' (
+    {infer ExtendRelation}
+      source=FqnRef
+      RelationConnector
+      target=FqnRef
+      title=String?
+      body=ExtendRelationBody |
+    {infer ExtendElement}
+      element=StrictFqnElementRef
+      body=ExtendElementBody
+  )
+;
+
+ExtendElementBody:
+  '{'
+  tags=Tags?
+  props+=ExtendElementProperty*
+
+  elements+=(
+    Relation<false> |
+    Element
+  )*
+'}'
+;
+
+ExtendElementProperty:
+  LinkProperty |
+  MetadataProperty;
+
+ExtendRelationBody:
+  '{'
+  tags=Tags?
+  props+=ExtendRelationProperty*
+'}'
+;
+
+ExtendRelationProperty:
+  LinkProperty |
+  MetadataProperty;
+
+// Hack, to strictly enforce resolution of model elements ONLY (in active scope)
+interface ElementRef {
+  modelElement: FqnRef;
+}
+ElementRef returns ElementRef:
+  modelElement=FqnRef;
+
+interface StrictFqnElementRef {
+  parent?: StrictFqnElementRef;
+  el: @Element;
+}
+
+StrictFqnElementRef returns StrictFqnElementRef:
+  el=[Element:Id] ({StrictFqnElementRef.parent=current} StickyDot el=[Element:Id])*;
+
+
+type ModelReferenceable = Element | Imported;
+type Referenceable = DeploymentNode | DeployedInstance | Element | Imported;
+
+interface FqnRef {
+  parent?: FqnRef;
+  value: @Referenceable;
+}
+
+interface StrictFqnRef {
+  parent?: StrictFqnRef;
+  value: @Referenceable;
+}
+
+// Reference to Elements in logical or deployment model
+// Scope computation is based on the parent element:
+//  - If parent is DeploymentNode, then it can reference nested DeploymentNodes and DeployedInstances
+//  - If parent is DeployedInstance, then it can reference  nested  Element
+//  - If parent is Element, then it can reference  nested  Element
+//  Mix of DeploymentRef and ElementRef
+FqnRef returns FqnRef:
+  value=[Referenceable:Id] ({FqnRef.parent=current} StickyDot value=[Referenceable:Id])*
+;
+
+
+// Strict reference allows only direct children of parent
+StrictFqnRef returns StrictFqnRef:
+  value=[Referenceable:Id] ({StrictFqnRef.parent=current} StickyDot value=[Referenceable:Id])*
+;
+
+Relation<isExplicit>:
+  (<isExplicit> source=FqnRef | <!isExplicit> source=FqnRef?)
+  RelationConnector
+  target=FqnRef
+  (title=String  // title
+    (description=String  // description
+      (technology=String)?
+    )?
+  )?
+  tags=Tags?
+  body=RelationBody?
+;
+
+fragment RelationConnector:
+  dotKind=RelationKindDotRef |
+  '-[' kind=[RelationshipKind] (isBidirectional?=']<->' | ']->') |
+  isBidirectional?='<->' |
+  '->'
+;
+
+RelationBody:
+  '{'
+  tags=Tags?
+  props+=RelationProperty*
+'}'
+;
+
+RelationProperty:
+  RelationStringProperty |
+  RelationNavigateToProperty |
+  RelationStyleProperty |
+  LinkProperty |
+  DescriptionFileProperty |
+  MetadataProperty
+;
+
+RelationStringProperty:
+  key=('title' | 'technology' | 'description') ':'? value=MarkdownOrString ';'?;
+
+RelationStyleProperty:
+  key='style' '{'
+    props+=RelationshipStyleProperty*
+  '}'
+;
+
+MetadataProperty:
+  'metadata' MetadataBody
+;
+
+MetadataBody:
+  '{'
+  props+=(MetadataAttribute)*
+'}'
+;
+
+MetadataAttribute:
+  key=Id ':'? (value=MetadataValue | boolValue=BOOLEAN) ';'?
+;
+
+MetadataValue:
+  MarkdownOrString | MetadataArray
+;
+
+MetadataArray:
+  '[' values+=(MarkdownOrString) (',' values+=(MarkdownOrString))* ']'
+;
+
+// Views -------------------------------------
+
+ModelViews:
+  name='views' folder=String? '{' (
+      views+=LikeC4ViewRule |
+      styles+=ViewRuleStyleOrGlobalRef
+    )*
+  '}';
+
+type LikeC4View = ElementView | DynamicView | DeploymentView;
+LikeC4ViewRule returns LikeC4View:
+  DynamicView |
+  DeploymentView |
+  ElementView;
+
+ElementView:
+  'view' name=Id? (
+    'extends' extends=ElementViewRef |
+    'of' viewOf=ElementRef
+  )?
+  body=ElementViewBody?
+;
+
+DynamicView:
+  'dynamic' 'view' name=Id body=DynamicViewBody?
+;
+
+ViewRef:
+  view=[LikeC4View];
+
+ElementViewRef:
+  view=[ElementView];
+
+DynamicViewRef:
+  view=[DynamicView];
+
+ElementViewBody:
+  '{'
+  tags=Tags?
+  props+=ViewProperty*
+  rules+=ViewRule*
+'}'
+;
+
+DynamicViewBody:
+  '{'
+  tags=Tags?
+  props+=DynamicViewProperty*
+  (
+    steps+=StepStatement |
+    rules+=DynamicViewRule
+  )*
+'}'
+;
+
+DynamicViewProperty:
+  DynamicViewDisplayVariantProperty | ViewProperty
+;
+
+DynamicViewDisplayVariantProperty:
+  key='variant'  value=DynamicViewDisplayVariantValue
+;
+
+
+type StringProperty =
+  ElementStringProperty |
+  ViewStringProperty |
+  RelationStringProperty |
+  MetadataAttribute |
+  SpecificationElementStringProperty |
+  SpecificationRelationshipStringProperty |
+  NotationProperty |
+  NotesProperty;
+
+type AnyProperty =
+  StringProperty |
+  ViewProperty |
+  DynamicViewProperty |
+  ElementProperty |
+  RelationProperty |
+  RelationshipStyleProperty |
+  NavigateToProperty |
+  StyleProperty;
+
+ViewProperty:
+  ViewStringProperty | ViewOrderProperty | LinkProperty | DescriptionFileProperty | ViewRoutingProperty
+;
+
+ViewStringProperty:
+  key=('title' | 'description') ':'? value=MarkdownOrString ';'?;
+
+ViewOrderProperty:
+  key='order' value=Number ';'?;
+
+ViewRoutingProperty:
+  key='routing' ':'? value=EdgeRoutingValue ';'?;
+
+EdgeRoutingValue returns string:
+  'spline' | 'ortho';
+
+ViewLayoutDirection returns string:
+  'TopBottom' | 'LeftRight' | 'BottomTop' | 'RightLeft';
+
+ViewRule:
+  ViewRulePredicate |
+  ViewRuleGlobalPredicateRef |
+  ViewRuleGroup |
+  ViewRuleStyleOrGlobalRef |
+  ViewRuleAutoLayout |
+  ViewRuleRank
+;
+
+ViewRuleRank:
+  'rank' value=RankValue? '{'
+    targets=FqnExpressions
+  '}'
+;
+
+RankValue returns string:
+  'same' | 'min' | 'max' | 'source' | 'sink';
+
+ViewRuleGroup:
+  'group' title=String? '{'
+    props+=(
+      ColorProperty |
+      BorderProperty |
+      OpacityProperty
+    )*
+    groupRules+=(
+      ViewRulePredicate |
+      ViewRuleGlobalPredicateRef |
+      ViewRuleGroup
+    )*
+  '}';
+
+DynamicViewRule:
+  DynamicViewIncludePredicate |
+  DynamicViewGlobalPredicateRef |
+  ViewRuleStyleOrGlobalRef |
+  ViewRuleAutoLayout
+;
+
+ViewRulePredicate:
+  (isInclude?='include' | 'exclude')
+  exprs=Expressions
+;
+
+ViewRuleGlobalPredicateRef:
+  'global' 'predicate' predicate=[GlobalPredicateGroup:Id];
+
+DynamicViewIncludePredicate:
+  'include' exprs=Expressions
+;
+
+DynamicViewGlobalPredicateRef:
+  'global' 'predicate' predicate=[GlobalDynamicPredicateGroup:Id];
+
+
+ViewRuleStyle:
+  'style' targets=FqnExpressions '{'
+    props+=(
+      StyleProperty |
+      NotationProperty
+    )*
+  '}';
+
+ViewRuleGlobalStyle:
+  'global' 'style' style=[GlobalStyleId:Id];
+
+ViewRuleStyleOrGlobalRef:
+  ViewRuleStyle | ViewRuleGlobalStyle;
+
+ViewRuleAutoLayout:
+  'autoLayout' direction=ViewLayoutDirection (
+    rankSep=Number (
+      nodeSep=Number)?
+    )? (routing=EdgeRoutingValue)?;
+
+NotationProperty:
+  key='notation' ':'? value=MarkdownOrString ';'?
+;
+NotesProperty:
+  key='notes' ':'? value=MarkdownOrString ';'?
+;
+
+CustomElementProperties:
+  '{'
+  props+=(
+    NavigateToProperty |
+    ElementStringProperty |
+    NotationProperty |
+    NotesProperty |
+    StyleProperty
+  )*
+'}'
+;
+
+CustomRelationProperties:
+  '{'
+  props+=(
+    RelationNavigateToProperty |
+    RelationStringProperty |
+    NotationProperty |
+    NotesProperty |
+    RelationshipStyleProperty |
+    MultipleProperty
+  )*
+'}'
+;
+
+NavigateToProperty:
+  key='navigateTo' value=ViewRef;
+
+RelationNavigateToProperty:
+  key='navigateTo' value=DynamicViewRef;
+
+// Expressions -------------------------------------
+
+Expressions:
+  value=ExpressionV2 ({infer Expressions.prev=current} ',' (value=ExpressionV2)?)*
+;
+
+ExpressionV2:
+  RelationExprOrWith |
+  FqnExprOrWith
+;
+
+FqnExprOrWith:
+  FqnExprOrWhere ({infer FqnExprWith.subject=current} 'with' custom=CustomElementProperties?)?
+;
+
+FqnExprOrWhere:
+  FqnExpr ({infer FqnExprWhere.subject=current} 'where' where=WhereElementExpression?)?
+;
+
+RelationExprOrWith:
+  RelationExprOrWhere ({infer RelationExprWith.subject=current} 'with' custom=CustomRelationProperties?)?
+;
+
+RelationExprOrWhere:
+  RelationExpr ({infer RelationExprWhere.subject=current} 'where' where=WhereRelationExpression?)?
+;
+
+FqnExpr:
+  {infer WildcardExpression} isWildcard?='*' |
+  // These are not valid in FqnExpr, but we keep for backward compatibility
+  {infer ElementTagExpression} 'element.tag' IsEqual tag=TagRef |
+  {infer ElementKindExpression} 'element.kind' IsEqual kind=[ElementKind] |
+  FqnRefExpr
+;
+
+FqnRefExpr:
+  ref=FqnRef selector=(DotUnderscore | DotWildcard)?
+;
+
+RelationExpr:
+  InOutRelationExpr |
+  DirectedRelationExpr
+;
+
+InOutRelationExpr infers RelationExpr:
+  IncomingRelationExpr ({infer InOutRelationExpr.inout=current} '->')?
+;
+
+IncomingRelationExpr:
+  '->' to=FqnExpr;
+
+DirectedRelationExpr infers RelationExpr:
+  OutgoingRelationExpr ({infer DirectedRelationExpr.source=current} target=FqnExpr)?
+;
+
+OutgoingRelationExpr:
+  from=FqnExpr
+  (isBidirectional?='<->' | dotKind=RelationKindDotRef | '->' | '-[' kind=[RelationshipKind:Id] ']->')
+;
+
+FqnExpressions:
+  value=FqnExpr ({infer FqnExpressions.prev=current} ',' (value=FqnExpr)?)*
+;
+
+WhereElementExpression:
+  WhereElementOr
+;
+WhereElementOr infers WhereElementExpression:
+  WhereElementAnd ({infer WhereBinaryExpression.left=current} operator='or' right=WhereElementAnd)*
+;
+WhereElementAnd infers WhereElementExpression:
+  WhereElementPrimary ({infer WhereBinaryExpression.left=current} operator='and' right=WhereElementPrimary)*
+;
+
+WhereElementPrimary infers WhereElementExpression:
+  '(' WhereElementExpression ')' |
+  WhereElementNegation |
+  WhereElement
+;
+
+WhereElementNegation:
+  'not' value=WhereElementExpression;
+
+WhereElement:
+  {infer WhereElementMetadata} 'metadata' StickyDot key=Id (EqOperator value=MetadataFilterValue)? |
+  {infer WhereElementTag} 'tag' EqOperator value=TagRef |
+  {infer WhereElementKind} 'kind' EqOperator value=[DeploymentNodeOrElementKind]
+;
+
+MetadataFilterValue returns string:
+  String | BOOLEAN
+;
+
+WhereRelationExpression:
+  WhereRelationOr
+;
+
+WhereRelationOr infers WhereRelationExpression:
+  WhereRelationAnd ({infer WhereBinaryExpression.left=current} operator='or' right=WhereRelationAnd)*
+;
+WhereRelationAnd infers WhereRelationExpression:
+  WhereRelationPrimary ({infer WhereBinaryExpression.left=current} operator='and' right=WhereRelationPrimary)*
+;
+
+WhereRelationPrimary infers WhereRelationExpression:
+  '(' WhereRelationExpression ')' |
+  WhereRelationNegation |
+  WhereRelation
+;
+
+WhereRelationNegation:
+  'not' value=WhereRelationExpression;
+
+WhereRelation:
+  {infer WhereRelationParticipantMetadata} participant=Participant StickyDot 'metadata' StickyDot key=Id (EqOperator value=MetadataFilterValue)? |
+  {infer WhereRelationParticipantKind} participant=Participant StickyDot 'kind' EqOperator value=[DeploymentNodeOrElementKind:Id] |
+  {infer WhereRelationParticipantTag} participant=Participant StickyDot 'tag' EqOperator value=TagRef |
+  {infer WhereRelationMetadata} 'metadata' StickyDot key=Id (EqOperator value=MetadataFilterValue)? |
+  {infer WhereRelationKind} 'kind' EqOperator value=[RelationshipKind:Id] |
+  {infer WhereRelationTag} 'tag' EqOperator value=TagRef
+;
+type DeploymentNodeOrElementKind = ElementKind | DeploymentNodeKind
+type WhereTagEqual = WhereElementTag | WhereRelationTag | WhereRelationParticipantTag;
+type WhereKindEqual = WhereElementKind | WhereRelationKind | WhereRelationParticipantKind;
+type WhereMetadataEqual = WhereElementMetadata | WhereRelationMetadata | WhereRelationParticipantMetadata;
+
+type WhereExpression = WhereElementExpression | WhereRelationExpression;
+
+// -----------------------------------------------
+// Dynamic view flow steps
+// -----------------------------------------------
+type StepStatement =
+  StepOrSeries |
+  TryStep |
+  AltSteps |
+  SubflowStep;
+
+StepStatement returns StepStatement:
+  SubflowStep |
+  AltSteps |
+  TryStep |
+  StepSeries
+;
+
+interface StepsBlock {
+  steps: StepStatement[]
+}
+
+fragment StepsBlockFragment:
+  '{' steps+=StepStatement* '}'
+;
+
+// -----------------------------------------------
+// Semantic group of dynamic view steps (flow branch)
+
+type SubflowKind =
+  'opt' | 'par' | 'parallel' | 'loop' | 'when' | 'if' | 'else' | 'break';
+SubflowKind returns SubflowKind:
+  'opt' | 'par' | 'parallel' | 'loop' | 'when' | 'if' | 'else' | 'break'
+;
+
+interface SubflowStep extends StepsBlock {
+  kind: SubflowKind
+  /// Optional title for the branch
+  title?: string
+}
+
+// Must be defined before "StepsBlock"
+SubflowStep returns SubflowStep:
+  kind=SubflowKind
+  title=String? StepsBlockFragment
+;
+
+/**
+ * Represents a block of step statements, i.e. { ... }
+ */
+StepsBlock returns StepsBlock:
+  StepsBlockFragment
+;
+
+// -----------------------------------------------
+// Dynamic view TRY block
+
+interface TryBlock extends StepsBlock {
+  /// Optional title for the try block
+  title?: string
+}
+
+interface CatchBlock {
+  try: TryBlock
+  // Optional title for the catch block
+  title?: string
+  catch: StepsBlock
+}
+
+interface FinallyBlock {
+  tryCatch: TryBlock | CatchBlock
+  // Optional title for the finally block
+  title?: string
+  finally: StepsBlock
+}
+
+type TryStep =
+  TryBlock |
+  CatchBlock |
+  FinallyBlock;
+
+TryStep returns TryStep:
+  FinallyBlock;
+
+FinallyBlock returns FinallyBlock:
+  CatchBlock ({FinallyBlock.tryCatch=current}
+    'finally' title=String?
+    finally=StepsBlock
+  )?
+;
+
+CatchBlock returns CatchBlock:
+  TryBlock ({CatchBlock.try=current}
+    'catch' title=String?
+    catch=StepsBlock
+  )?
+;
+
+TryBlock returns TryBlock:
+  'try' title=String? StepsBlockFragment
+;
+
+// -----------------------------------------------
+// Dynamic view ALT block
+
+interface AltSteps {
+  title?: string
+  branches: SubflowStep[]
+}
+
+AltSteps returns AltSteps:
+  'alt' title=String? '{' branches+=SubflowStep* '}'
+;
+
+
+// -----------------------------------------------
+// Dynamic view step (from previous model)
+
+fragment StepTarget:
+  target=ElementRef
+  title=String?
+  custom=CustomRelationProperties?
+;
+
+interface AbstractStep {
+  kind?: @RelationshipKind;
+  dotKind?: RelationKindDotRef;
+  target: ElementRef;
+  title?: string;
+  custom?: CustomRelationProperties;
+}
+
+/**
+ * A single step in a dynamic view flow
+ * source -> target
+ */
+interface Step extends AbstractStep {
+  source: ElementRef;
+  isBackward?: boolean;
+}
+
+/**
+ * A series of steps in a dynamic view flow
+ * source -> target1 -> target2 -> ...
+ */
+interface StepSeries extends AbstractStep {
+  source: Step | StepSeries;
+}
+
+type StepOrSeries = Step | StepSeries;
+
+StepSeries returns StepSeries:
+  Step
+  ({StepSeries.source=current}
+    (dotKind=RelationKindDotRef | '->' | '-[' kind=[RelationshipKind] ']->')
+      StepTarget
+  )*
+;
+
+Step returns Step:
+  source=ElementRef
+  (isBackward?='<-' | dotKind=RelationKindDotRef | '->' | '-[' kind=[RelationshipKind] ']->')
+  StepTarget
+;
+
+// Deployment -------------------------------------
+
+ModelDeployments:
+  name='deployment' '{'
+    elements+=(
+      DeploymentNode |
+      DeploymentRelation<true> |
+      ExtendDeployment
+    )*
+  '}';
+
+type DeploymentElement = DeploymentNode | DeployedInstance;
+
+DeploymentNode:
+  (
+    kind=[DeploymentNodeKind:Id] name=Id |
+    name=Id Eq kind=[DeploymentNodeKind:Id]
+  )
+  (
+    title=String
+    summary=String?
+  )?
+  body=DeploymentNodeBody?
+;
+
+DeploymentNodeBody:
+  '{'
+  tags=Tags?
+  props+=ElementProperty*
+  elements+=(
+    DeployedInstance |
+    DeploymentRelation<false> |
+    DeploymentNode
+  )*
+'}';
+
+DeployedInstance:
+  (name=Id Eq)?
+  'instanceOf'
+  target=ElementRef
+  (
+    title=String
+    summary=String?
+  )?
+  body=DeployedInstanceBody?
+  ';'?
+;
+
+DeployedInstanceBody:
+  '{'
+  tags=Tags?
+  props+=ElementProperty*
+  elements+=(
+    DeploymentRelation<false>
+  )*
+'}';
+
+ExtendDeployment:
+  'extend' deploymentNode=StrictFqnRef body=ExtendDeploymentBody
+;
+
+ExtendDeploymentBody:
+  '{'
+  tags=Tags?
+  props+=ExtendElementProperty*
+
+  elements+=(
+    DeployedInstance |
+    DeploymentRelation<true> |
+    DeploymentNode
+  )*
+'}'
+;
+
+
+DeploymentRelation<isExplicit>:
+  (<isExplicit> source=FqnRef | <!isExplicit> source=FqnRef?)
+  RelationConnector
+  target=FqnRef
+  (title=String  // title
+    (description=String  // description
+      (technology=String)?
+    )?
+  )?
+  tags=Tags?
+  body=DeploymentRelationBody?
+;
+
+DeploymentRelationBody:
+  '{'
+  tags=Tags?
+  props+=RelationProperty*
+'}'
+;
+
+DeploymentView:
+  'deployment' 'view' name=Id body=DeploymentViewBody?
+;
+
+DeploymentViewBody:
+  '{'
+  tags=Tags?
+  props+=ViewProperty*
+  rules+=DeploymentViewRule*
+'}';
+
+DeploymentViewRule:
+  DeploymentViewRulePredicate |
+  DeploymentViewRuleGroup |
+  DeploymentViewRuleStyle |
+  ViewRuleAutoLayout |
+  ViewRuleAncestors
+;
+
+DeploymentViewRuleGroup:
+  'group' title=String? '{'
+    props+=(
+      ColorProperty |
+      BorderProperty |
+      OpacityProperty |
+      MultipleProperty |
+      ShapeSizeProperty |
+      PaddingSizeProperty |
+      TextSizeProperty
+    )*
+    groupRules+=(
+      DeploymentViewRulePredicate |
+      DeploymentViewRuleGroup
+    )*
+  '}';
+
+ViewRuleAncestors:
+  key='includeAncestors' ':'? value=BOOLEAN ';'?
+;
+
+DeploymentViewRuleStyle:
+  'style' targets=FqnExpressions '{'
+    props+=(
+      StyleProperty |
+      NotationProperty
+    )*
+  '}';
+
+
+DeploymentViewRulePredicate:
+  (isInclude?='include' | 'exclude')
+  expr=Expressions
+;
+// Model diff -------------------------------------
+// Named change set of the model: elements and relations to remove, and model elements to add
+
+ModelDiff:
+  'diff' name=Id title=String? '{'
+    (
+      props+=DiffStringProperty |
+      removes+=DiffRemove |
+      adds+=DiffAdd
+    )*
+  '}'
+;
+
+DiffStringProperty:
+  key=('title' | 'description') ':'? value=MarkdownOrString ';'?;
+
+DiffRemove:
+  'remove' '{'
+    entries+=DiffRemoveEntry*
+  '}'
+;
+
+// Element (source only) or relation (source, connector and target)
+DiffRemoveEntry:
+  source=FqnRef
+  (
+    RelationConnector
+    target=FqnRef
+    title=String?
+  )?
+  ';'?
+;
+
+DiffAdd:
+  'add' '{'
+    elements+=ModelElement*
+  '}'
+;
+
+// Global -------------------------------------
+
+Globals:
+  name='global' '{'
+    (
+      predicates+=(GlobalPredicateGroup | GlobalDynamicPredicateGroup) |
+      styles+=(GlobalStyle | GlobalStyleGroup)
+    )*
+  '}';
+
+GlobalPredicateGroup:
+  'predicateGroup' name=Id '{'
+    predicates+=ViewRulePredicate*
+  '}';
+
+GlobalDynamicPredicateGroup:
+  'dynamicPredicateGroup' name=Id '{'
+    predicates+=DynamicViewIncludePredicate*
+  '}';
+
+GlobalStyleId:
+  name=Id;
+
+GlobalStyle:
+  'style' id=GlobalStyleId targets=FqnExpressions '{'
+    props+=(
+      StyleProperty |
+      NotationProperty
+    )*
+  '}';
+
+GlobalStyleGroup:
+  'styleGroup' id=GlobalStyleId '{'
+    styles+=ViewRuleStyle*
+  '}';
+
+type FqnReferenceable = Referenceable | Element | ExtendElement | ExtendDeployment;
+
+// Common properties -------------------------------------
+
+LinkProperty:
+  key='link' ':'? value=Uri title=String? ';'?;
+
+// A path to a markdown file, resolved like a link and read when the model is built
+DescriptionFileProperty:
+  key='descriptionFile' ':'? value=Uri ';'?;
+
+fragment ColorRef:
+  themeColor=ThemeColor | customColor=[CustomColor:CustomColorId];
+
+ColorProperty:
+  key='color' ':'? ColorRef ';'?;
+
+OpacityProperty:
+  key='opacity' ':'? value=Percent ';'?;
+
+MultipleProperty:
+  key='multiple' ':'? value=BOOLEAN ';'?;
+
+// Element properties -------------------------------------
+IconProperty:
+  key='icon' ':'? (libicon=[LibIcon:IconId] | value=('none'|Uri)) ';'?;
+
+IconColorProperty:
+  key='iconColor' ':'? ColorRef ';'?;
+
+IconSizeProperty:
+  key='iconSize' ':'? value=SizeValue ';'?;
+
+IconPositionValue returns string:
+  'left' |
+  'right' |
+  'top' |
+  'bottom';
+
+IconPositionProperty:
+  key='iconPosition' ':'? value=IconPositionValue ';'?;
+
+ShapeProperty:
+  key='shape' ':'? value=ElementShape ';'?;
+
+BorderStyleValue returns string:
+  LineOptions | 'none';
+
+BorderProperty:
+  key='border' ':'? value=BorderStyleValue ';'?;
+
+SizeValue returns string:
+  'xs' |
+  'sm' |
+  'md' |
+  'lg' |
+  'xl' |
+  'xsmall' |
+  'small' |
+  'medium' |
+  'large' |
+  'xlarge';
+
+ShapeSizeProperty:
+  key='size' ':'? value=SizeValue ';'?;
+
+PaddingSizeProperty:
+  key='padding' ':'? value=SizeValue ';'?;
+
+TextSizeProperty:
+  key='textSize' ':'? value=SizeValue ';'?;
+
+SizingValue returns string:
+  'auto' |
+  'fixed';
+
+SizingProperty:
+  key='sizing' ':'? value=SizingValue ';'?;
+
+type SizeProperty = ShapeSizeProperty | PaddingSizeProperty | TextSizeProperty | IconSizeProperty;
+
+StyleProperty:
+  ColorProperty |
+  ShapeProperty |
+  BorderProperty |
+  OpacityProperty |
+  IconProperty |
+  IconColorProperty |
+  MultipleProperty |
+  ShapeSizeProperty |
+  PaddingSizeProperty |
+  TextSizeProperty |
+  IconSizeProperty |
+  IconPositionProperty |
+  SizingProperty
+;
+
+ElementStyleProperty:
+  key='style' '{'
+    props+=StyleProperty*
+  '}';
+
+
+// -------------------------
+// Relationship Style Properties
+LineProperty:
+  key='line' ':'? value=LineOptions ';'?;
+ArrowProperty:
+  key=('head' | 'tail') ':'? value=ArrowType ';'?;
+
+RelationshipStyleProperty:
+  ColorProperty | LineProperty | ArrowProperty;
+
+TagRef:
+  tag=[Tag:HashId]
+;
+
+RelationKindDotRef:
+  Dot kind=[RelationshipKind:Id]
+;
+
+LineOptions returns string:
+  'solid' |
+  'dashed' |
+  'dotted'
+;
+
+ArrowType returns string:
+  'none' |
+  'normal' |
+  'onormal' |
+  'dot' |
+  'odot' |
+  'diamond' |
+  'odiamond' |
+  'crow' |
+  'open' |
+  'vee'
+;
+
+DynamicViewDisplayVariantValue returns string:
+  'diagram' | 'sequence';
+
+DynamicViewFlowKeyword returns string:
+  'alt' |
+  'opt' |
+  'par' |
+  'parallel' |
+  'loop' |
+  'when' |
+  'if' |
+  'else' |
+  'break' |
+  'try' |
+  'catch' |
+  'finally';
+
+ThemeColor returns string:
+  'primary' |
+  'secondary' |
+  'muted' |
+  'slate' |
+  'blue' |
+  'indigo' |
+  'sky' |
+  'red' |
+  'gray' |
+  'green' |
+  'amber';
+
+ElementShape returns string:
+  'rectangle' |
+  'component' |
+  'person' |
+  'browser' |
+  'mobile' |
+  'cylinder' |
+  'storage' |
+  'queue' |
+  'bucket' |
+  'document' |
+  'agent';
+
+Participant returns string:
+  'source' | 'target';
+
+ColorLiteral:
+  RGBAColor | HexColor;
+
+RGBAColor:
+  ('rgba' | 'rgb') '(' red=Number ','? green=Number ','? blue=Number ','? alpha=(Float | Number | Percent)? ')';
+
+// Validated later
+HexColor:
+  Hash hex=(Hex | Number | IdTerminal | 'add');
+
+IconId returns string:
+  LIB_ICON;
+
+Uri returns string:
+  URI_WITH_SCHEMA | URI_RELATIVE | URI_ALIAS;
+
+MarkdownOrString:
+  markdown=MarkdownString | text=String;
+
+CustomColorId returns string:
+  IdTerminal |
+  SizingValue |
+  ElementShape |
+  ArrowType |
+  LineOptions |
+  Participant |
+  'element' |
+  'model' |
+  'diff' |
+  'add' |
+  'remove';
+
+// We need to add all the possible terminal values to Id,
+// so that the parser can accept them as "Id" (not a bug and not a feature of Langium)
+Id returns string:
+  IdTerminal |
+  ElementShape |
+  ThemeColor |
+  ArrowType |
+  LineOptions |
+  Participant |
+  SizeValue |
+  DynamicViewDisplayVariantValue |
+  DynamicViewFlowKeyword |
+  IconPositionValue |
+  SizingValue |
+  RankValue |
+  EdgeRoutingValue |
+  // Allow reserved keywords as Id
+  'element' | 'model' | 'group' | 'node' | 'deployment' | 'instance' | 'relationship' | 'diff' | 'add' | 'remove' | 'routing';
+
+HashId returns string:
+  Hash Id;
+
+fragment EqOperator:
+  (
+    operator=(Eq | NotEqual) |
+    operator="is" not?='not'?
+  )
+;
+
+fragment IsEqual:
+  isEqual?=Eq | NotEqual;
+
+// -----------------------------------
+// Symbols
+// terminal fragment HASH: '#';
+// terminal fragment UNDERSCORE: '_';
+// terminal fragment DASH: '-';
+// terminal fragment LETTER: /[^\W\d_]/;
+// terminal fragment DIGIT: /[0-9]/;
+// terminal fragment NEWLINE: /[\r?\n]/;
+// terminal fragment SPACE: /[^\S\r\n]/;
+
+// -------------------------
+// Comments
+hidden terminal BLOCK_COMMENT: /\/\*[\s\S]*?\*\//;
+hidden terminal LINE_COMMENT: /\/\/[^\n\r]*/;
+hidden terminal WS: /[\t ]+/;
+hidden terminal NL: /[\r\n]+/;
+
+// -----------------------------------
+// Terminals
+//terminal LineStartWithDash: /(?<=([\r?\n][^\S\r\n]*))-/;
+// terminal Boolean returns boolean: 'true' | 'false';
+
+terminal BOOLEAN returns boolean: /\b(true|false)\b/;
+// LibIcons
+terminal LIB_ICON: /(aws|azure|bootstrap|gcp|md|tech):[-\w]*/;
+
+terminal URI_WITH_SCHEMA: /\w+:\/{2}\S+/;
+terminal URI_RELATIVE: /\.{0,2}\/[^\/]\S+/;
+terminal URI_ALIAS: /@[a-zA-Z0-9_-]*\/[^\s]+/;
+
+terminal DotUnderscore: /\b\._(?![_a-zA-Z])/;
+terminal DotWildcard: /\b\.\*{1,2}/;
+// terminal HashPrefix: /\B#\b/;
+terminal Hash: '#';
+
+// No space allowed before dot
+terminal StickyDot: /\b\./;
+terminal Dot: '.';
+terminal NotEqual: /\!\={1,2}/;
+terminal Eq: /\={1,2}/;
+terminal Percent: /\b\d+%/;
+
+terminal MarkdownString: '\'\'\'' -> '\'\'\'' | '"""' -> '"""';
+terminal String: /"(?:[^"\\]|\\.)*"|'(?:[^'\\]|\\.)*'/;
+
+// terminal fragment QuotedString: ;
+
+// terminal  TagId: HASH LETTER (LETTER | DIGIT | UNDERSCORE | DASH)*;
+terminal Float returns number: /\b\d+\.\d+\b/;
+terminal Number returns number: /\b\d+\b/;
+terminal IdTerminal:  /([a-zA-Z]|_+[a-zA-Z0-9])[-\w]*/;
+terminal Hex: /[a-fA-F0-9]{3,}(?![-_g-zG-Z])/;