Welcome to the InfoSci Platform
Reference Hub10
The Formal Design Models of a Set of Abstract Data Types (ADTs)

The Formal Design Models of a Set of Abstract Data Types (ADTs)

Yingxu Wang, Xinming Tan, Cyprian F. Ngolah, Philip Sheu
Copyright: © 2010 |Volume: 2 |Issue: 4 |Pages: 29
ISSN: 1942-9045|EISSN: 1942-9037|EISBN13: 9781613502648|DOI: 10.4018/jssci.2010100106
Cite Article Cite Article

MLA

Wang, Yingxu, et al. "The Formal Design Models of a Set of Abstract Data Types (ADTs)." IJSSCI vol.2, no.4 2010: pp.72-100. http://doi.org/10.4018/jssci.2010100106

APA

Wang, Y., Tan, X., Ngolah, C. F., & Sheu, P. (2010). The Formal Design Models of a Set of Abstract Data Types (ADTs). International Journal of Software Science and Computational Intelligence (IJSSCI), 2(4), 72-100. http://doi.org/10.4018/jssci.2010100106

Chicago

Wang, Yingxu, et al. "The Formal Design Models of a Set of Abstract Data Types (ADTs)," International Journal of Software Science and Computational Intelligence (IJSSCI) 2, no.4: 72-100. http://doi.org/10.4018/jssci.2010100106

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

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.

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.