Perspectives Technical Documentation

Perspectives Technical Documentation

• 1. Introduction to the docs
• 2. Introduction to the PDR
• PART I. HIGH LEVEL SYSTEM OVERVIEW
  • 3. Parser and Compiler
    • 3.1. Understanding a Perspective source text
    • 3.2. Parsing and compiling models
      • 3.2.1. Introduction
      • 3.2.2. Constructing a DomeinFile
      • 3.2.3. Transformation phases
      • 3.2.4. Interdependencies of models; packages
      • 3.2.5. Putting a model into operation for a PDR installation
  • 4. Functional Reactive Pattern
  • 5. Assignment and state change
  • 6. Synchronization
• PART II. THE LANGUAGE: DESIGN DECISIONS
• PART III. IMPLEMENTATION DETAILS
• PART IV. ESSENTIAL MODELS
• PART V. MODELLING PATTERNS
• PART VI. DESIGN OF MYCONTEXTS