Central Registry
Central Registry is a new design pattern to provide a modular, component-based framework for developing implicit invocation(II) software systems. Building on the contributions of prior II work, the Central Registry framework gives programmers the freedom of decoupling component development while still allowing sound reasoning about global invariants across system components. We have implemented this framework with several medium-scale applications and modelled the systems in the Alloy modelling language. We used the Alloy model to check that the central registry infrastructure makes certain promises when users of the infrastructure adhere to certain requirements.
For more information, email jwhitney@lcs.mit.edu.
Members
- Allison Waingold
- Jon Whitney
- Robert Lee