The Formal Design Models of a Set of Abstract Data Types (ADTs)

Type theories are fundamental for underpinning data object modeling and system architectural design in computing and software engineering. Abstract Data Types ADTs are a set of highly generic and rigorously modeled data structures in type theory. ADTs also play a key role in Object-Oriented OO technologies for software system design and implementation. This paper presents a formal modeling methodology for ADTs using the Real-Time Process Algebra RTPA, which allows both architectural and behavioral models of ADTs and complex data objects. Formal architectures, static behaviors, and dynamic behaviors of a set of ADTs are comparatively studied. The architectural models of the ADTs are created using RTPA architectural modeling methodologies known as the Unified Data Models UDMs. The static behaviors of the ADTs are specified and refined by a set of Unified Process Models UPMs of RTPA. The dynamic behaviors of the ADTs are modeled by process dispatching technologies of RTPA. This work has been applied in a number of real-time and non-real-time system designs such as a Real-Time Operating System RTOS+, a Cognitive Learning Engine CLE, and the automatic code generator based on RTPA.

[1]  John C. Mitchell,et al.  Type Systems for Programming Languages , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[2]  Daniel F. Stubbs,et al.  Data Structures with Abstract Data Types: Pascal Version , 1984 .

[3]  Yingxu Wang,et al.  Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing , 2009, Fundam. Informaticae.

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

[5]  Manfred Broy,et al.  A Systematic Study of Models of Abstract Data Types , 1984, Theor. Comput. Sci..

[6]  Yingxu Wang,et al.  The Formal Design Model of a Telephone Switching System (TSS) , 2009, Int. J. Softw. Sci. Comput. Intell..

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

[8]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[9]  Amit Konar,et al.  Swarm Intelligence in Production Management and Engineering , 2008 .

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

[11]  R. H.,et al.  The Principles of Mathematics , 1903, Nature.

[12]  Daniel F. Stubbs,et al.  Data structures with abstract data types and Ada , 1985 .

[13]  Guodong Shi,et al.  EEG feature extraction and pattern classification based on motor imagery in brain-computer interface , 2010, 9th IEEE International Conference on Cognitive Informatics (ICCI'10).

[14]  Yingxu Wang,et al.  The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks , 2010, Int. J. Softw. Sci. Comput. Intell..

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

[16]  Patricia Adams,et al.  Programming Languages: Principles and Practice , 1993 .

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

[18]  Yoshiyasu Takefuji,et al.  Information Hiding by Machine Learning: A Method of Key Generation for Information Extracting Using Neural Network , 2011, Int. J. Organ. Collect. Intell..

[19]  Seymour Lipschutz,et al.  Schaum's Outline of Theory and Problems of Discrete Mathematics , 1976 .

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

[21]  WangYingxu,et al.  The Formal Design Model of an Automatic Teller Machine ATM , 2010 .

[22]  Yingxu Wang,et al.  On the cognitive process of human problem solving , 2010, Cognitive Systems Research.

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

[24]  A. Maffezzoli,et al.  Explorative Data Analysis of In-Vitro Neuronal Network Behavior Based on an Unsupervised Learning Approach , 2012 .

[25]  Daniel F. Stubbs,et al.  Data structures with abstract data types and Pascal: 2nd edition , 1989 .

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

[27]  Yingxu Wang,et al.  The Formal Design Models of Tree Architectures and Behaviors , 2011, Int. J. Softw. Sci. Comput. Intell..

[28]  B. Russell.  The Principles of Mathematics , 1938 .

[29]  John V. Guttag,et al.  Abstract data types and the development of data structures , 1976, Software Pioneers.

[30]  Yingxu Wang,et al.  The Formal Design Model of a Lift Dispatching System (LDS) , 2009, Int. J. Softw. Sci. Comput. Intell..

[31]  Yingxu Wang,et al.  Tool Support for Software Development Based on Formal Specifications in RTPA , 2009 .

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

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

[34]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[35]  James F. Peters,et al.  Ethology-Based Approximate Adaptive Learning: A Near Set Approach , 2009 .

[36]  Yingxu Wang,et al.  The Formal Design Model of a Real-Time Operating System (RTOS+): Static and Dynamic Behaviors , 2010, Int. J. Softw. Sci. Comput. Intell..

[37]  Eduardo Alonso,et al.  Temporal uncertainty during overshadowing: A temporal difference account , 2010 .

[38]  Yingxu Wang,et al.  Formal Modeling and Specification of Design Patterns Using RTPA , 2008, Int. J. Cogn. Informatics Nat. Intell..

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