Project Summary

ORGANIZATION: Carnegie-Mellon University

PRINCIPAL INVESTIGATORS: Fax (412) 681-5739)

  -David Garlan    garlan+@cs.cmu.edu        (412) 268-5056
  -David Notkin    notkin@cs.washington.edu  (206) 685-3798

OBJECTIVE

To provide a formal basis for reasoning about systems designed using the implicit invocation architectural style. To replace current ad hoc reasoning approaches used by practitioners who use the implicit invocation style with a collection of sound ideas that allow better informal reasoning about such systems.

The two research lines are a foundations and an applications component. The project will develop a framework for reasoning, including interface specifications and corresponding system-level deduction rules, for implicit invocation systems. The project will apply this foundational framework to stylistic uses of implicit invocation, such as mediator-based systems.

PAPERS

Towards a Formal Treatment of Implicit Invocation, J. Dingel, D. Garlan, S. Jha, and D. Notkin, Draft. Submitted for publication, February 1997.