SemiFormal Specification of Synergy Distributed Meeting Scheduler

1
Semi-Formal Specification of Synergy Distributed
Meeting Scheduler
Jeannette Bennett Roberto Bruni Mike Graves Robin
Pillai
Dr. Lawrence Chung
2
Process UML Activity Diagram
3
UML State Machine Behavioral Element
Classifier-Transition Association
4
UML Activity Graph Behavioral Element

• Control Classifier-State Association
• Mechanism Classifier-State Association

Classifier-Transition Association
5
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
Enterprise Requirements SpecificationUML
Modeling

• Use Case diagram with SADT-inspired notation

7
System Functional Requirements Use Case Diagram
8
System Functional Requirements SADT Diagram
9
SDMS Prototype

• User area access available to every user via
  SDMS main page

10
SDMS Prototype

• User ID password traditional authentication
  mechanism
• User authentication realizedagainst SDMS
  centralized database

11
SDMS Prototype

• Personal options
• Personal data editing
• Exclusion set visualization - editing

12
SDMS Prototype

• Exclusion set editing features via graphic user
  interface
• Possible choices for ever hour free or busy
• Weekly table customization features

13
Thank you.Questions?