Specification of an Architecture Meta-Model - SPES 2020
Specification of an Architecture Meta-Model - SPES 2020
Specification of an Architecture Meta-Model - SPES 2020
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Associations<br />
<strong>Specification</strong> <strong>of</strong> <strong>an</strong> <strong>Architecture</strong> <strong>Meta</strong>-<strong>Model</strong><br />
• association : Type [m..n] Association description.<br />
EnumerationLiterals<br />
enumLiteral Enumeration literal description<br />
Operations<br />
• operation(ParameterType(s)): ReturnType Description <strong>of</strong> the operation.<br />
...<br />
context SomeContext<br />
def: involves(someParameter: ParameterType): ReturnType<br />
...<br />
Constraints <strong>SPES</strong><strong>Meta</strong>Classes are subject to the following constraints:<br />
1. Constraint description:<br />
...<br />
context <strong>SPES</strong><strong>Meta</strong>Class inv someInv:<br />
self .value.type().conformsTo(self .target.type())<br />
...<br />
6/135
Change language