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

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

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

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

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.

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

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

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

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

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

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

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

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