Welcome to the InfoSci Platform
Reference Hub5
The Formal Design Models of Tree Architectures and Behaviors

The Formal Design Models of Tree Architectures and Behaviors

Yingxu Wang, Xinming Tan
Copyright: © 2011 |Volume: 3 |Issue: 4 |Pages: 25
ISSN: 1942-9045|EISSN: 1942-9037|EISBN13: 9781613509203|DOI: 10.4018/jssci.2011100106
Cite Article Cite Article

MLA

Wang, Yingxu, and Xinming Tan. "The Formal Design Models of Tree Architectures and Behaviors." IJSSCI vol.3, no.4 2011: pp.84-108. http://doi.org/10.4018/jssci.2011100106

APA

Wang, Y. & Tan, X. (2011). The Formal Design Models of Tree Architectures and Behaviors. International Journal of Software Science and Computational Intelligence (IJSSCI), 3(4), 84-108. http://doi.org/10.4018/jssci.2011100106

Chicago

Wang, Yingxu, and Xinming Tan. "The Formal Design Models of Tree Architectures and Behaviors," International Journal of Software Science and Computational Intelligence (IJSSCI) 3, no.4: 84-108. http://doi.org/10.4018/jssci.2011100106

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Trees are one of the most fundamental and widely used non-linear hierarchical structures of linked nodes. A binary tree (B-Tree) is a typical balanced tree where the fan-out of each node is at most two known as the left and right children. This paper develops a comprehensive design pattern of formal trees using the B-Tree architecture. A rigorous denotational mathematics, Real-Time Process Algebra (RTPA), is adopted, which allows both architectural and behavioral models of B-Trees to be rigorously designed and implemented in a top-down approach. The architectural models of B-Trees are created using RTPA architectural modeling methodologies known as the Unified Data Models (UDMs). The physical model of B-Trees is implemented using the left and right child nodes dynamically created in memory. The behavioral models of B-Trees 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 general system organization model, and the ADT library for an RTPA-based automatic code generator.

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.