Perspectives Technical Documentation
Table of Contents
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
PART III. IMPLEMENTATION DETAILS
12. PDR architecture
13. A proxy for the PDR
14. Modifying State
15. Synchronization revisited
16. Extensions
17. Internal Representation
18. Security
18.1. Threat Model
18.2. Security To-Do list
19. Various topics
PART IV. ESSENTIAL MODELS
PART V. MODELLING PATTERNS
PART VI. DESIGN OF MYCONTEXTS
18.1. Threat Model
1
. If no authoring role is provided by the API caller, we take it to be the System User.