1. CS 6361 Fall 2005 University of Texas at Dallas Semi-Formal Specification of Synergy Distributed Meeting Scheduler Jeannette Bennett Roberto Bruni Mike Graves Robin Pillai Dr. Lawrence Chung

2. CS 6361 Fall 2005 University of Texas at Dallas Process UML+ Activity Diagram

3. CS 6361 Fall 2005 University of Texas at Dallas UML+ State Machine Behavioral Element Classifier-Transition Association

4. CS 6361 Fall 2005 University of Texas at Dallas UML+ Activity Graph Behavioral Element Classifier-Transition Association Control Classifier- State Association Mechanism Classifier-State Association

5. CS 6361 Fall 2005 University of Texas at Dallas Enterprise Requirements Specification Main Goal – Schedule Meeting Key Steps in Functional Requirements –The meeting initiator starts arranging a meeting by sending a meeting request. –Meeting participants respond to the meeting request. –The meeting initiator finalizes the meeting schedule and location.

6. CS 6361 Fall 2005 University of Texas at Dallas Enterprise Requirements Specification UML+ Modeling Use Case diagram with SADT-inspired notation

7. CS 6361 Fall 2005 University of Texas at Dallas System Functional Requirements – Use Case Diagram

8. CS 6361 Fall 2005 University of Texas at Dallas System Functional Requirements – SADT Diagram

9. CS 6361 Fall 2005 University of Texas at Dallas SDMS Prototype “User area” access available to every user via SDMS main page

10. CS 6361 Fall 2005 University of Texas at Dallas SDMS Prototype User ID – password traditional authentication mechanism User authentication realized against SDMS centralized database

11. CS 6361 Fall 2005 University of Texas at Dallas SDMS Prototype Personal options: –Personal data editing –Exclusion set visualization - editing

12. CS 6361 Fall 2005 University of Texas at Dallas SDMS Prototype Exclusion set editing features via graphic user interface Possible choices for ever hour: “free” or “busy” Weekly table customization features

13. CS 6361 Fall 2005 University of Texas at Dallas Thank you. Questions?