1. Java State Explorer by: Richard Sherman Stephanie Taylor

2. Project Goals Ultimate goal - Rewrite Dr. Chow’s SETOOL in Java. Wanted a solution that allows users to run it from other Operating Systems besides UNIX Semester goal - Understand the reachability analysis software better, design the new classes & objects in Java, and begin implementation

3. Description SETOOL is a program that performs reachability analyses. It was written in C and makes calls to Openwin/Xview for its GUI. We designed the new version in Java The new tool is called the Java State Explorer (JSE).

4. SETOOL Recap Two machines we want to generate a reachability graph from

5. Machine M

6. Protocol Diagram

8. Analysis Examined the structures in the current code Determined objects and classes for JSE Examined Xview calls for mapping to Java Swing –unfortunately, no 1-1 mapping

9. Implementation Challenges Time constraints –At initial examination, SETOOL looked easy to port or rewrite –Needed to learn Swing before initial implementation could be done Reachability Analysis Algorithm –SETOOL’s C code hard to follow (many pointers)

10. Why Not Use JNI? Java Native Interface (JNI) allows programmers to utilize platform- specific functionality outside the Java Virtual Machine Code should be platform independent to reach project goal

11. Why Rewrite In Java? Pure Java solution Compile once, run anywhere Object-oriented design lends to increased readability & maintainability

12. Class Diagram

13. JSE 1.0

14. Load Machine Dialog

15. Protocol Dialog

16. Future Work Still much coding to be done –Interactive Drawing of Machines using GUI Interface –Reachability Analysis –Saving Machines to Disk File