CALM Style Grammar (incomplete)

Top-level syntax.

Style.

i0 ∈Id,i∈ Identifier-list,s∈Style-Body

style i0 extends i { s }

Style body.

ε ∈ Style-Body




s1 , s2 ∈ Style-Body

s1 ; s2 ∈ Style-Body

Style body elements.

s ∈ Type-Spec

s ∈ Style-Body




s ∈ Meta-Kind-Decl

s ∈ Style-Body




s ∈ Kind-Definition

s ∈ Style-Body

Meta-kinds.

Interface meta-kind

id0 ∈ Id , i ∈ Identifier-list , b ∈ Interface-MK-Body

metainterface id0 extends i { b } ∈ Meta-Kind-Decl

Interface meta-kind body

ε ∈ Interface-MK-Body




t1 , t2 ∈ Interface-MK-Body

t1 ; t2 ∈ Interface-MK-Body




a ∈ Attribute

a ∈ Interface-MK-Body

Connector meta-kind

id0 ∈ Id , i ∈ Identifier-list , b ∈ Connector-MK-Body

metaconnector id0 extends i { b } ∈ Meta-Kind-Decl

Connector meta-kind body

ε ∈ Connector-MK-Body




t1 , t2 ∈ Connector-MK-Body

t1 ; t2 ∈ Connector-MK-Body




a ∈ Attribute

a ∈ Connector-MK-Body




r ∈ Role-Option

r ∈ Connector-MK-Body

Component meta-kind

id0 ∈ Id , i ∈ Identifier-list , b ∈ Component-MK-Body

metacompontn id0 extends i { b } ∈ Meta-Kind-Decl

Component meta-kind body

ε ∈ Component-MK-Body




t1 , t2 ∈ Component-MK-Body

t1 ; t2 ∈ Component-MK-Body




a ∈ Attribute

a ∈ Component-MK-Body




p ∈ Port-Option

p ∈ Component-MK-Body