Overview

This section gives both an introduction to the language philosophy as well as an explanation of the intended uses. It is meant to be read in order, and mainly targets:

• Users that would like to better understand how the language works

• Contributors that would like to be provided with explanations on design decisions

• Researchers that would like to find open problems with the language

Contents:

• Language Landscape
  • Modeling languages
  • Formal languages
  • Markup languages
  • Simulation languages
  • Wrapping Up
• Design Rationale
  • Documents-model bridge
  • Requirements-centric
  • Progressively-formal
  • Text-first
  • Wrapping up
• Use Cases
  • Text-Based Specifications
  • Traceability and Impact Analysis
  • Progressive Formalization
  • Incremental Structure
  • Tool Integration
  • Wrapping Up