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

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. [Article copies are available for purchase from InfoSci-on-Demand.com]

[1]  Yingxu Wang,et al.  The Real-Time Process Algebra (RTPA) , 2002, Ann. Softw. Eng..

[2]  Yingxu Wang,et al.  RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors , 2008, Int. J. Cogn. Informatics Nat. Intell..

[3]  Yingxu Wang,et al.  The Cognitive Process of Decision Making , 2007, Int. J. Cogn. Informatics Nat. Intell..

[4]  John A. McDermid,et al.  Software Engineer's Reference Book , 1993 .

[5]  Yingxu Wang,et al.  Deductive Semantics of RTPA , 2008, Int. J. Cogn. Informatics Nat. Intell..

[6]  Richard A. Thompson,et al.  Telephone Switching Systems , 2000 .

[7]  Edgar H Vogel,et al.  Empirical Issues and Theoretical Mechanisms of Pavlovian Conditioning , 2011 .

[8]  Du Zhang,et al.  Advances in Machine Learning Applications in Software Engineering , 2007 .

[9]  Jan A. Bergstra,et al.  Process algebra for hybrid systems , 2004, Theor. Comput. Sci..

[10]  C. A. R. Hoare,et al.  Laws of programming , 1987, CACM.

[11]  Yingxu Wang,et al.  Formal description of a real-time operating system using RTPA , 2003, CCECE 2003 - Canadian Conference on Electrical and Computer Engineering. Toward a Caring and Humane Technology (Cat. No.03CH37436).

[12]  Emilio Soria Olivas,et al.  Handbook of Research on Machine Learning Applications and Trends : Algorithms , Methods , and Techniques , 2009 .

[13]  Yingxu Wang,et al.  Design and Implementation of an Autonomic Code Generator Based on RTPA , 2010, Int. J. Softw. Sci. Comput. Intell..

[14]  Jan A. Bergstra,et al.  Real time process algebra , 1991, Formal Aspects of Computing.

[15]  Roy Rada,et al.  Machine Learning and Financial Investing , 2010 .

[16]  Gary D. Boetticher,et al.  Improving Credibility of Machine Learner Models in Software Engineering , 2007 .

[17]  Yingxu Wang,et al.  On the Cognitive Complexity of Software and its Quantification and Formal Measurement , 2009, Int. J. Softw. Sci. Comput. Intell..

[18]  Yingxu Wang,et al.  A Formal Knowledge Representation System (FKRS) for the Intelligent Knowledge Base of a Cognitive Learning Engine , 2011, Int. J. Softw. Sci. Comput. Intell..

[19]  Dipak Laha,et al.  Handbook of Computational Intelligence in Manufacturing and Production Management , 2007 .

[20]  Yingxu Wang,et al.  A novel type checker for software system specifications in RTPA , 2004, Canadian Conference on Electrical and Computer Engineering 2004 (IEEE Cat. No.04CH37513).

[21]  Ben Goertzel,et al.  Classifier ensemble based analysis of a genome-wide SNP dataset concerning Late-Onset Alzheimer Disease , 2009, 2009 8th IEEE International Conference on Cognitive Informatics.

[22]  Eduardo Alonso,et al.  Computational Neuroscience for Advancing Artificial Intelligence: Models, Methods and Applications , 2010 .

[23]  Henning Dierks,et al.  A Process Algebra for Real-Time Programs , 2000, FASE.

[24]  Angelo Montanari,et al.  Dealing with different time granularities in formal specifications of real-time systems , 1991, Real-Time Systems.

[25]  Yingxu Wang,et al.  On Contemporary Denotational Mathematics for Computational Intelligence , 2008, Trans. Comput. Sci..

[26]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[27]  Jan Joris Vereijken.  A Process Algebra for Hybrid Systems , 1999 .

[28]  Yingxu Wang,et al.  Software Engineering Foundations: A Software Science Perspective , 2007 .

[29]  Yingxu Wang,et al.  Formal specification of a real-time lift dispatching system , 2002, IEEE CCECE2002. Canadian Conference on Electrical and Computer Engineering. Conference Proceedings (Cat. No.02CH37373).

[30]  Yingxu Wang,et al.  The real-time task scheduling algorithm of RTOS+ , 2004 .

[31]  Yingxu Wang,et al.  On the mathematical laws of software , 2005, Canadian Conference on Electrical and Computer Engineering, 2005..

[32]  Yingxu Wang,et al.  Formal Description of the Mechanisms and Cognitive Process of Memorization , 2007, 6th IEEE International Conference on Cognitive Informatics.

[33]  Yingxu Wang,et al.  Formal Description of the Cognitive Process of Memorization , 2009, Trans. Comput. Sci..

[34]  Yingxu Wang,et al.  Formal description of an ATM system by RTPA , 2003, CCECE 2003 - Canadian Conference on Electrical and Computer Engineering. Toward a Caring and Humane Technology (Cat. No.03CH37436).

[35]  Graham King,et al.  Software Engineering Processes: Principles and Applications , 2000 .

[36]  Yingxu Wang,et al.  Using Process Algebra to Describe Human and Software Behaviors , 2003 .

[37]  Jose D. Montero.  Introduction to Data Mining and its Applications to Manufacturing , 2008 .