Welcome to the InfoSci Platform
Reference Hub2
Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA

Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA

Yingxu Wang, Yousheng Tian
Copyright: © 2012 |Volume: 4 |Issue: 2 |Pages: 24
ISSN: 1942-9045|EISSN: 1942-9037|EISBN13: 9781466614208|DOI: 10.4018/jssci.2012040105
Cite Article Cite Article

MLA

Wang, Yingxu, and Yousheng Tian. "Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA." IJSSCI vol.4, no.2 2012: pp.81-104. http://doi.org/10.4018/jssci.2012040105

APA

Wang, Y. & Tian, Y. (2012). Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA. International Journal of Software Science and Computational Intelligence (IJSSCI), 4(2), 81-104. http://doi.org/10.4018/jssci.2012040105

Chicago

Wang, Yingxu, and Yousheng Tian. "Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA," International Journal of Software Science and Computational Intelligence (IJSSCI) 4, no.2: 81-104. http://doi.org/10.4018/jssci.2012040105

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

The Telephone Switching Systems (TSS) is a typical real-time system that is highly complicated in design and implementation. In order to deal with the extreme complexity in real-world settings, a suitable and efficient mathematical means is required beyond any programming language. To this purpose, an efficient and precise denotational mathematics known as the Real-Time Process Algebra (RTPA) and the RTPA methodology for system modeling are introduced. Empirical experimental results are reported in this paper on the implementation of TSS based on formal models of the system in RTPA. Three phases of experiments are designed on TSS conceptual modeling, system interface design, and programming implementation and testing. All groups in the experiments with 7 to 8 members have been able to efficiently understood, design, and implement the TSS system in a simplified version in four weeks, which has been estimated as a 10+ person-year project in the industry. The efficiency and expressiveness of RTPA are empirically demonstrated base on the case studies in the experiments.

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.