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.1.1. Types and scopes
      • 3.1.2. Perspectives
      • 3.1.3. Notifications and state
      • 3.1.4. More on states transitions; automatic effects
      • 3.1.5. Perspective and state
      • 3.1.6. About expressions and variables
    • 3.2. Parsing and compiling models
  • 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