Fundamentals of OOP and data structures in Java
Fundamentals of OOP and data structures in Java
The Real-Time Process Algebra (RTPA)
Annals of Software Engineering
The Real-Time Specification for Java
Computer
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
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 Models of a Set of Abstract Data Types ADTs
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 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 |
Abstract Data Types ADTs are a set of highly generic and rigorously modeled data structures in type theory. Lists as a finite sequence of elements are one of the most fundamental and widely used ADTs in system modeling, which provide a standard encapsulation and access interface for manipulating large-volume information and persistent data. This paper develops a comprehensive design pattern of formal lists using a doubly-linked-circular DLC list architecture. A rigorous denotational mathematics, Real-Time Process Algebra RTPA, is adopted, which allows both architectural and behavioral models of lists to be rigorously designed and implemented in a top-down approach. The architectural models of DLC-Lists are created using RTPA architectural modeling methodologies known as the Unified Data Models UDMs. The behavioral models of DLC-Lists are specified and refined by a set of Unified Process Models UPMs in three categories namely the management operations, traversal operations, and node I/O operations. This work has been applied in a number of real-time and nonreal-time system designs such as a real-time operating system RTOS+, a file management system FMS, and the ADT library for an RTPA-based automatic code generation tool.