Welcome to the InfoSci Platform
Reference Hub4
The Formal Design Models of a Universal Array (UA) and its Implementation

The Formal Design Models of a Universal Array (UA) and its Implementation

Yingxu Wang, Jason Huang, Jingsheng Lei
Copyright: © 2011 |Volume: 3 |Issue: 3 |Pages: 21
ISSN: 1942-9045|EISSN: 1942-9037|EISBN13: 9781613509197|DOI: 10.4018/ijssci.2011070106
Cite Article Cite Article

MLA

Wang, Yingxu, et al. "The Formal Design Models of a Universal Array (UA) and its Implementation." IJSSCI vol.3, no.3 2011: pp.69-89. http://doi.org/10.4018/ijssci.2011070106

APA

Wang, Y., Huang, J., & Lei, J. (2011). The Formal Design Models of a Universal Array (UA) and its Implementation. International Journal of Software Science and Computational Intelligence (IJSSCI), 3(3), 69-89. http://doi.org/10.4018/ijssci.2011070106

Chicago

Wang, Yingxu, Jason Huang, and Jingsheng Lei. "The Formal Design Models of a Universal Array (UA) and its Implementation," International Journal of Software Science and Computational Intelligence (IJSSCI) 3, no.3: 69-89. http://doi.org/10.4018/ijssci.2011070106

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Arrays are one of the most fundamental and widely applied data structures, which are useful for modeling both logical designs and physical implementations of multi-dimensional data objects sharing the same type of homogeneous elements. However, there is a lack of a formal model of the universal array based on it any array instance can be derived. This paper studies the fundamental properties of Universal Array (UA) and presents a comprehensive design pattern. A denotational mathematics, Real-Time Process Algebra (RTPA), allows both architectural and behavioral models of UA to be rigorously designed and refined in a top-down approach. The conceptual model of UA is rigorously described by tuple- and matrix-based mathematical models. The architectural models of UA are created using RTPA architectural modeling methodologies known as the Unified Data Models (UDMs). The physical model of UA is implemented using linear list that is indexed by an offset pointer of elements. The behavioral models of UA are specified and refined by a set of Unified Process Models (UPMs). As a case study, the formal UA models are implemented in Java. This work has been applied in a number of real-time and nonreal-time systems such as compilers, a file management system, the real-time operating system (RTOS+), 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.