Welcome to the InfoSci Platform
Reference Hub5
The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists)

The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists)

Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Phillip C.Y. Sheu
Copyright: © 2011 |Volume: 3 |Issue: 2 |Pages: 20
ISSN: 1942-9045|EISSN: 1942-9037|EISBN13: 9781613509180|DOI: 10.4018/jssci.2011040106
Cite Article Cite Article

MLA

Wang, Yingxu, et al. "The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists)." IJSSCI vol.3, no.2 2011: pp.83-102. http://doi.org/10.4018/jssci.2011040106

APA

Wang, Y., Ngolah, C. F., Tan, X., & Sheu, P. C. (2011). The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists). International Journal of Software Science and Computational Intelligence (IJSSCI), 3(2), 83-102. http://doi.org/10.4018/jssci.2011040106

Chicago

Wang, Yingxu, et al. "The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists)," International Journal of Software Science and Computational Intelligence (IJSSCI) 3, no.2: 83-102. http://doi.org/10.4018/jssci.2011040106

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

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.

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.