Proposal for

Project

ABS
TRA
CT
Now
a
days
,
mob
ile
pho
nes
are
use
d
ever
ywh

Mobile Manager
Now a days, mobile phones are used everywhere in our daily routine of life
ranging from communication. Sometimes People don't want to set and reset
the settings of phone again and again. And often forget to set their phone
silent in meeting, Mosque etc. And if they turn their phone on silent mode at
some time then they usually forget to change the state and can miss
important calls.

Problem Statement
People don't want to do manually silent their Smartphones by following steps
in the volume settings and sometimes forget to set their phone, silent or
forget to change the state when it already on silent mode.

Description
Name:

Mobile Manager

Aim:

give solution to user for scheduling task

Description:

User selects this module and set initial task time and end task
time. And select this task time repeatedly use or just one time.
On Completion the scheduled task save into the data base[1].

Pre-Conditions

User should have selected the future time. Past time should not
be selected.

Successful PostConditions

Should alert on time and give notification about the state

changed

Project Objectives:
User can schedule some task on time base ,by selecting to time to from time.
User mentions the description about task.
User select future date and time when he/she want to alert or silent his/her cell phone.
Application save description about task in database.
User select the alert type If silent mode selected mobile will silent on that time. If ring mode
selected, mobile will ring.
Scheduled task save in inventory. Application will match the time periodically
On time, Alert will be generated.
User will get alert and can see the notification about task description.

After completion of task, mobile will set back to its previous mode.

Z-Specification:
[Events,Text,Date,STime ,ETime,Days,Mode,Time,EName]

Report ::= Event_Added | Event_Already_Exsist| Event_Canceld|

Alert_Genrated|Event_Edited|Event_Deleted|Silent_Mood_Activated|
Silent_Mood_Deactivated|Genral_Mode_Activated|All_Events_Shown

MobileManager
events: Events
EventName: EName
Desc: Text
date: Date
Day: Days
mode: Mode
startTime : STime
endTime : ETime
EventDelete:TextText
ShowEvent: ENameDate
Event: Text Days
StartTime: STimeDays
EndTime: ETime Days
ChangeSTime: STimeSTime
ChangeETime: ETimeETime
SilentActivate:ModeSTime
SilentDeactive:ModeETime
Result!:Report
|
Desc= dom Event
startTime = dom StartTime
endTime =dom EndTime
Day =ran StartTime
EventName= dom ShowEvent
mode = dom SilentActivate

Initialize
MobileManager
|
Desc=
startTime=
endTime=
Days=
mode=
EventName =

AddEvent
MobileManager
desc?: Text

day?: Days
starttime?: STime
endtime?: ETime
mode?: Mode
|
(desc?Desc starttime? startTime endtime? endTime)
(Event=Event {desc?day?}(StartTime=StartTime{starttime?day?})
(EndTime=EndTime{endtime?day?})(SilentActivate
=SilentActivate{mode?starttime?})
Result! =Event_Added)

EventEdite
MobileManager
desc?: Text
day?: Days
Newday?:Days
starttime?: STime
NewStime?:STime
NewETime?:ETime
endtime?: ETime
mode?: Mode
|
(desc?Desc starttime? startTime endtime? endTime)
(Event=Event {desc?Newday?}(ChangeSTime=ChangeSTime{starttime?
NewStime?})
(ChangeETime=ChangeETime{endtime?NewETime?})(SilentActivate
=SilentActivate{mode?starttime?})
Result! =Event_Edited)

EventDelete
MobileManager
event?: Events
day?:Days
desc?:Text
DeletDesc?:Text
|
(event?events desc?Desc)
Event=Event \{desc?day?}EventDelete=EventDelete\{DeletDesc?desc? }
Result!= Event_Deleted

ShowEvent
MobileManager
Events?: Events
EventName? : Events
event?: EName
Today!:Date
|
(event? EventName)
(Today!= ShowEvent(event?)
Result!=All_Events_Shown)

 SilentModeActivated
MobileManager
Today?:Days
Time?:STime
Description!: Text
|
(Description!={n:Text|Event(n)=Today?}(Time?startTime)
Result!=Silent_Mood_Activated)

SilentModeDeactivated
MobileManager
Today?:Days
Time?:ETime
Description!: Text
|
(Description!={n:Text|Event(n)=Today?}(Time?endTime)
Result!=Genral_Mode_Activated)

High Level Pertinent:

Formal Specification:
Application Success:

a a. (a ac)
Application Fail:

a a. (aac)
Delete Success:

D D. (ac=ac (ac/D))
Delete Fail:

D D. (ac=ac)
Edit Success:

E E. (ac=ac (ac/E))
Edit Fail:

E E. (ac=ac)
Notification Success:

N N. (TN ac N)
Notification Fail:

N N. (TN acN)
Data Input Success:

ac ac. (di=di ac) (di T)

Data Input Fail:

ac ac. (di=di) (di T)

Timer Success:

(di di ac ac). ((di ac) T)

Timer Fail:

(di di ac ac). ((di ac) T)

Interface Success:

ac ac. (acI)
Interface Fail:

ac ac. (acI)