Language Specification and Implementation

This section describes how device models can be specified in the Device Modeling Language (DML) encoded in Scala (Device Modeling in Scala – DMS).

• Overview
  • Specification Form
  • Representation and API
    • Nullity and Immutability
    • String Representation
• Model
  • Representation Classes and Construction
  • Extraction
  • SymbolTable
  • De/serialization
  • Traversal/Visitor
  • Well-Formedness
• Basic Type
  • Built-in Type
  • Hierarchy
  • Declaration
  • Operations
  • Factory and Implicit Conversion
  • Representation Classes
  • Symbol Table
  • Well-Formedness
• Feature and Requirement
  • Feature
    • Hierarchy
    • Annotation
      • Level
      • Data
      • Settable
    • Attribute
      • Annotation
        • Override
        • Const
        • Multiplicity
    • Invariant
    • Representation Classes
    • Symbol Table
  • Requirement
    • Representation Classes
    • Symbol Table
  • Well-Formedness
• Type and Initialization
  • Representation Classes
  • Type Refinement
  • Well-Formedness