Secrets of Call Forwarding: A Specification Case Study
نویسنده
چکیده
Call forwarding and features related to it have remained mysterious despite the efforts of many telecommunications experts to understand them. This paper shows how an analysis of the human situations supported by telecommunications features can clarify what feature behavior is desirable, even in subtle and apparently ambiguous situations. The paper also shows how a formal specification of the routing view of a switching system, written in a tabular form of Z, can provide a concise yet comprehensive description of forwarding features—including their interactions with each other and with blocking features. This vieworiented approach to formal specification of telecommunications systems has many practical advantages.
منابع مشابه
Using Supervised Clustering Technique to Classify Received Messages in 137 Call Center of Tehran City Council
Supervised clustering is a data mining technique that assigns a set of data to predefined classes by analyzing dataset attributes. It is considered as an important technique for information retrieval, management, and mining in information systems. Since customer satisfaction is the main goal of organizations in modern society, to meet the requirements, 137 call center of Tehran city council is ...
متن کاملUsing Supervised Clustering Technique to Classify Received Messages in 137 Call Center of Tehran City Council
Supervised clustering is a data mining technique that assigns a set of data to predefined classes by analyzing dataset attributes. It is considered as an important technique for information retrieval, management, and mining in information systems. Since customer satisfaction is the main goal of organizations in modern society, to meet the requirements, 137 call center of Tehran city council is ...
متن کاملDirect Marketing Based on Fuzzy Clustering of Customers (Case Study: on one Mobile Company)
Objective There is a general tendency toward direct marketing these days. Therefore, instead of designing advertisement and marketing strategies for all the customers in the market, it is recommended to classify the customers based on clustering techniques and then design specific strategies accordingly. This will reduce marketing and advertisement expenses, increase sale department efficientl...
متن کاملRepresenting and Verifying Intentions in Telephony Features Using Abstract Data Types
Feature intentions describe the intended behavior of telephony features. A method for formally specifying feature intentions by abstract data types is given. Further, a method for detecting violation of certain types of feature intentions at the design stage is provided. Specification languages considered are SDL, Prolog, and LOTOS. If the specification is in LOTOS, detection can be helped by t...
متن کاملThe Evaluation of Using Computer Assisted Language Learning (CALL) Facilities in Developing EFL Among Islamic Azad University Practitioners: The Case of Computer Literacy
The present study investigated the university practitioners’ attitudes towards using computer assisted language learning (CALL) in teaching English language at Islamic Azad universities of Khuzestan Province. This study was also to examine the English as foreign language (EFL) MA and PhD teachers’ computer literacy and its effects on using CALL facilities in English classrooms. The participants...
متن کامل