Perspectives Technical Documentation

Perspectives Technical Documentation

• 1. Introduction to the docs
• 2. Introduction to the PDR
• PART I. HIGH LEVEL SYSTEM OVERVIEW
• PART II. THE LANGUAGE: DESIGN DECISIONS
  • 7. The Type System
    • 7.1. Semantics of the Perspectives Language
      • 7.1.1. Context
      • 7.1.2. Property
      • 7.1.3. Role
      • 7.1.4. Ordering of Role types as property sets
      • 7.1.5. Another ordering of Role types
      • 7.1.6. Creating products and sums of roles
    • 7.2. Logical Foundation of Types
    • 7.3. Abstract Data Type
    • 7.4. Type reflection
  • 8. Identifiers and Variables
  • 9. Models
  • 10. Perspectives
  • 11. Queries
• PART III. IMPLEMENTATION DETAILS
• PART IV. ESSENTIAL MODELS
• PART V. MODELLING PATTERNS
• PART VI. DESIGN OF MYCONTEXTS