Event Logic Assistant (Elan)
Final rept. 15 Sep 2007-14 Apr 2008
ATC-NY ITHACA NY
Pagination or Media Count:
Report developed under STTR contract for topic AF07-T019. Distributed systems, now crucial to the infrastructure of our nation, are difficult to understand and design. The most effective way to gain intellectual control over complexity has always been abstraction. ATC-NY and Cornell University have developed the event logic formalism to permit development of distributed systems at a high level of abstraction. It provides an implementation-independent way to describe distributed computation and system requirements. This report describes the design of an Event Logic Assistant Elan that provides powerful automated support for applying event logic to the design and implementation of high-assurance distributed protocols. Its guiding principle is that the developer should perform all creative work - formalizing requirements and designing algorithms - at the highest possible level of abstraction, while automated tools take care of the rest.
- Computer Programming and Software