Welcome to the InfoSci Platform
The Formal Design Model of a Telephone Switching System (TSS)

The Formal Design Model of a Telephone Switching System (TSS)

Yingxu Wang
Copyright: © 2012 |Pages: 25
ISBN13: 9781466602618|ISBN10: 1466602619|EISBN13: 9781466602625
DOI: 10.4018/978-1-4666-0261-8.ch018
Cite Chapter Cite Chapter

MLA

Wang, Yingxu. "The Formal Design Model of a Telephone Switching System (TSS)." Software and Intelligent Sciences: New Transdisciplinary Findings, edited by Yingxu Wang, IGI Global, 2012, pp. 302-326. https://doi.org/10.4018/978-1-4666-0261-8.ch018

APA

Wang, Y. (2012). The Formal Design Model of a Telephone Switching System (TSS). In Y. Wang (Ed.), Software and Intelligent Sciences: New Transdisciplinary Findings (pp. 302-326). IGI Global. https://doi.org/10.4018/978-1-4666-0261-8.ch018

Chicago

Wang, Yingxu. "The Formal Design Model of a Telephone Switching System (TSS)." In Software and Intelligent Sciences: New Transdisciplinary Findings, edited by Yingxu Wang, 302-326. Hershey, PA: IGI Global, 2012. https://doi.org/10.4018/978-1-4666-0261-8.ch018

Export Reference

Mendeley
Favorite

Abstract

A typical real-time system, the Telephone Switching System (TSS), is a highly complicated system in design and implementation. This paper presents the formal design, specification, and modeling of the TSS system using a denotational mathematics known as Real-Time Process Algebra (RTPA). The conceptual model of the TSS system is introduced as the initial requirements for the system. Then, the architectural model of the TSS system is created using the RTPA architectural modeling methodologies and refined by a set of Unified Data Models (UDMs). The static behaviors of the TSS system are specified and refined by a set of Unified Process Models (UPMs) such as call processing and support processes. The dynamic behaviors of the TSS system are specified and refined by process priority allocation, process deployment, and process dispatching models. Based on the formal design models of the TSS system, code can be automatically generated using the RTPA Code Generator (RTPA-CG), or be seamlessly transformed into programs by programmers. The formal model of TSS may not only serve as a formal design paradigm of real-time software systems, but also a test bench of the expressive power and modeling capability of exiting formal methods in software engineering.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.