skip to main content
Department of Computer Science University of Colorado Boulder
cu: home | engineering | mycuinfo | about | cu a-z | search cu | contact cu cs: about | calendar | directory | catalog | schedules | mobile | contact cs
home · undergraduate program · senior project · projects · 

Senior Project - STRAPPS


A Tool for Construction of Functional Models of Distributed Applications and Protocols

Senior Project: 1992-1993
Kenneth Belmear, Phil Bostley, Scott Magee and Andy Pai
Advanced Technologies
Boulder, CO

Many of the new network capabilities planned by U S WEST involve distributed processing. An important part of the network architecture work for those new capabilities is specification of the necessary application-level protocols that allow the different components to coordinate their activities. Such specifications are difficult and subject to frequent mistakes. This project involved the development of a tool, which builds and runs in a "vanilla" POSIX and X Windows environment, supporting rapid construction of functional models of the distributed application and its protocols. The goal for the tool was to make construction of such models quick and easy enough that they become a normal part of the architecture work. Capabilities that the tool supports include: fundamental concepts are objects and messages; messages are real data structures which can be buffered, etc.; data structures which can be easily extended; debugging mode for executing models supporting breakpoints, monitors, data invariant violations, etc.; ability to patch data structures at a breakpoint and continue execution; various tools for viewing sets of message handlers; graphical display capability for monitors; specialized language for expressing message handlers, data invariant conditions, and monitors.

See also:
Department of Computer Science
College of Engineering and Applied Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
Send email to

Engineering Center Office Tower
ECOT 717
FAX +1-303-492-2844
XHTML 1.0/CSS2 ©2012 Regents of the University of Colorado
Privacy · Legal · Trademarks
May 5, 2012 (14:07)