Transcript PowerPoint - University of Ottawa

UNIVERSITE D’OTTAWA
UNIVERSITY OF OTTAWA
SITE
Description of WIN
Incoming Call Screening Service
using
Use Case Maps
Rossana Andrade
[email protected]
TSERG
CITO
p. 14
UNIVERSITE D’OTTAWA
UNIVERSITY OF OTTAWA
SITE
Wireless Intelligent Networks
• TIA/EIA standard
• IN technology into wireless networks
– separates call processing intelligent and feature
functionality from network switches
– facilitates mobility management functions
– offers a diversity of enhanced services to subscribers
• WIN Services
– Calling Name Presentation (CNAP)
– Voice Controlled Services (VCS)
– Incoming Call Screening (ICS)
TSERG
CITO
p. 15
UNIVERSITE D’OTTAWA
UNIVERSITY OF OTTAWA
SITE
WIN Network Reference Model
SCP
IP
AC
HLR
Cell
BSC
MSC
VLR
BST
SN
EIR
Mobile
Stations
External Networks
(PSTN, ISDN, …)
MC
SME
TSERG
CITO
p. 16
UNIVERSITE D’OTTAWA
UNIVERSITY OF OTTAWA
SITE
How WIN Is Described using UCMs
To UCM Scenario
Steps From WIN Standard
1
2
3
WIN Informal
Description
Paths and Responsibilities
for the general WIN Scenario
WIN Services (e.g. ICS) Paths and Responsibilities
for the ICS service Scenario
Informal Description
DFM: Functional Entities Components based on FE
4
NRM: Network Entities
5
Mapping of Fes to NEs
6
MSCs (low level of details
for NEs)
TSERG
Components based on NE
Responsibilities based on FE and NE
CITO
Paths and Responsibilities
based on NEs
p. 17
UNIVERSITE D’OTTAWA
UNIVERSITY OF OTTAWA
SITE
Incoming Call Screening Service
• Provides for alternate routing, blocking, or allowing
of specified incoming calls
• Incoming Call Termination Treatments
– Terminated normally to the subscriber with normal
alerting
– Terminated normally to the subscriber with distinctive
alerting
– Forwarded to another number
– Forwarded to voice mail
– Routed to subscriber-specific announcement
– Blocked
TSERG
CITO
p. 18
UNIVERSITE D’OTTAWA
UNIVERSITY OF OTTAWA
SITE
Wireless Intelligent Network Scenario
using Use Case Maps
Wireless Intelligent Network
callBlocked
ICS
incomingCall
callSetup
callForwarded
request
ReqServ
voiceMail
serviceRequest
announcement
TSERG
CITO
p. 19
UNIVERSITE D’OTTAWA
UNIVERSITY OF OTTAWA
SITE
ICS UCM Scenario based on NRM
HLR
SCP
voiceMailboxNumber
screeningFunction
anotherNumber
normalAlerting
checkICS
distinctiveAlerting
MSC
incomingCall
IP
voiceMail
playSpecAnnounc
checkLocation
callForwarded
playBlockAnnounc
callSetup
Routing
announcement
TSERG
callBlocked
CITO
p. 20
UNIVERSITE D’OTTAWA
UNIVERSITY OF OTTAWA
SITE
ICS Interaction with other Wireless Services
Wireless Intelligent Network
announcement
callForwarded
callBlocked
ICS
incomingCall
E911
SCA
PCA
voiceMail
callSetup
ReqServ
request
serviceRequest
TSERG
CITO
p. 21
UNIVERSITE D’OTTAWA
UNIVERSITY OF OTTAWA
SITE
Prototyping and Validation of the
General Packet Radio Service: A
Data Service of GSM
Brahim Ghribi, Laurent Andriantsiferana
• Develop validated protocol suites and use cases for mobile
systems
• Develop prototypes of these systems.
• This is done by using formal methods (LOTOS, SDL,...)
TSERG
CITO
p. 22
UNIVERSITE D’OTTAWA
UNIVERSITY OF OTTAWA
SITE
Why Develop a Formal Prototype?
• The protocols and services can be validated early during the
standardization process.
• Ambiguities and errors can be detected and fixed before the
implementation phase.
• Feedback and suggestions can be provided to the
standardization committee.
• The prototype can provide a way to observe and simulate
the behaviour of the system before the actual
implementation.
TSERG
CITO
p. 23
UNIVERSITE D’OTTAWA
UNIVERSITY OF OTTAWA
SITE
Problems With Standards
• Abstraction and separation of concerns not used
• Information is spread through out the draft documents
• Changes may have unknown global effects
• Incomplete details and ambiguities
• Slow process
==> A Need to address these issues by defining a methodology
for Standard development
TSERG
CITO
p. 24
UNIVERSITE D’OTTAWA
UNIVERSITY OF OTTAWA
SITE
LOTOS
LOTOS (Language of Temporal Ordering Specifications)
A formal Specification Language for Distributed Systems
=> An ISO standard
Application Areas:
Protocols, Telephony, Distributed Systems.
Used for:
Formal Specification, Design, Design Validation,
Test Case Generation.
TSERG
CITO
p. 25
UNIVERSITE D’OTTAWA
UNIVERSITY OF OTTAWA
SITE
Transmission Plane
IP/X.25
SNDCP
LLC
RLC/MAC
GSM RF
MS
TSERG
SNDCP GTP
LLC TCP/UDP
BSS
BSSGP
Frame Relay
IP / L2
L1bis
L1
SGSN
CITO
IP/X.25
GTP
UDP / TCP
IP / L2
L1
GGSN
p. 26
UNIVERSITE D’OTTAWA
UNIVERSITY OF OTTAWA
SITE
Validation Activities
By using various tools such as ELUDO (LOTOS toolkit
developed at the University of Ottawa) and LOLA (developed
at the University of Madrid) we can:
• Execute the LOTOS specification in a Step-by-Step mode.
• Generate a number of representative use cases, thus
providing a set of behaviour scenarios.
• Generate finite state machines that can be used for
verification such as model checking.
• Generate MSCs (Message Sequence Charts) to visually
inspect the different scenarios.
TSERG
CITO
p. 27
SITE
An Example Scenario
TSERG
CITO
UNIVERSITE D’OTTAWA
UNIVERSITY OF OTTAWA
p. 28
UNIVERSITE D’OTTAWA
UNIVERSITY OF OTTAWA
SITE
Future Work
•
Similar work towards:
- UMTS/IMT-2000.
- WIN (Wireless Intelligent Network) Services
• Investigate the application of SDL versus LOTOS in
prototyping Wireless Networks
This project is funded by:
ARRC (Advanced Radio Data Research center) of MOTOROLA Canada.
NSERC under an IOR grant.
TSERG
CITO
p. 29