140 likes | 283 Views
CS511 - Spring 2006 Final Presentation Project 3 - Team 1. Ching Chang Panagiotis Papapetrou Raymond Sweha. Outline. Project Management Progress Diagrams The system: Requirements Specification Type-checking Web-site Demo Directions for Future Work. Purpose of the Project.
E N D
CS511 - Spring 2006Final PresentationProject 3 - Team 1 Ching Chang Panagiotis Papapetrou Raymond Sweha
Outline • Project Management • Progress Diagrams • The system: • Requirements Specification • Type-checking • Web-site • Demo • Directions for Future Work
Purpose of the Project • Creation of a graphical "programming" interface for a sensor network tasking language STEP (Sensor Task Execution Plan). • The graphical interface allows the user to specify a program execution graphically and save the results as a properly formatted STEP file. • The software can load a file in STEP format and convert to its corresponding graphical representation. • During both phases a type-checker is activated on demand to ensure that both the graphical representation and the STEP file are syntactically correct.
Requirements Specification (1/2)Functional Requirements • Design of a graphical “programming” interface for STEP. • Load STEP-formatted execution files and convert them to a graphical representation. • Type-check the STEP file on demand. • Connects to SNBENCH and executes the graphical representation.
Requirements Specification (2/2)Interface Requirements • GUI • Menu that offers the user all the functionalities needed to design the appropriate modules of a STEP program. • Area where the user designs the execution and where all the objects are placed. • Current version of the STEP file. • INPUT • Graph or STEP-formatted file. • OUTPUT • A syntactically correct STEP file, created based on the graphical execution design or the graph of the input STEP file.
Type-checker • Validates on demand using a “Compile” button. • When an error is detected, a message is shown. • Supports every type of STEP node. • Current version does not type-check “expression” nodes.
Testing our system • Used the STEP files available in testsuite. • Loaded the STEP files and produced the STEPGraph. • Converted the STEPGraph to its corresponding STEP file. • The original file and the new file were identical.
Web-site http://cs-people.bu.edu/panagpap/511
Current Limitations and Future Work • Type-check expressions: • More complex than the other STEP nodes. • Handling duplicate IDs in multiple STEP programs. • Recognize SNAFU-formatted files