The Real-Time Process Algebra (RTPA)
Annals of Software Engineering
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Software Engineering Foundations: A Software Science Perspective
Software Engineering Foundations: A Software Science Perspective
On contemporary denotational mathematics for computational intelligence
Transactions on computational science II
On mathematical laws of software
Transactions on computational science II
On the cognitive process of human problem solving
Cognitive Systems Research
The Formal Design Model of an Automatic Teller Machine ATM
International Journal of Software Science and Computational Intelligence
Design and Implementation of an Autonomic Code Generator Based on RTPA
International Journal of Software Science and Computational Intelligence
International Journal of Software Science and Computational Intelligence
The Formal Design Model of a File Management System FMS
International Journal of Software Science and Computational Intelligence
The Formal Design Model of Doubly-Linked-Circular Lists DLC-Lists
International Journal of Software Science and Computational Intelligence
The Formal Design Models of a Universal Array UA and its Implementation
International Journal of Software Science and Computational Intelligence
The Formal Design Models of Tree Architectures and Behaviors
International Journal of Software Science and Computational Intelligence
Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA
International Journal of Software Science and Computational Intelligence
Hi-index | 0.00 |
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.