{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T15:50:02Z","timestamp":1781106602509,"version":"3.54.1"},"reference-count":26,"publisher":"IGI Global Scientific Publishing","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,10,1]]},"abstract":"<p>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.<\/p>","DOI":"10.4018\/jssci.2010100106","type":"journal-article","created":{"date-parts":[[2011,2,15]],"date-time":"2011-02-15T16:00:28Z","timestamp":1297785628000},"page":"72-100","source":"Crossref","is-referenced-by-count":10,"title":["The Formal Design Models of a Set of Abstract Data Types (ADTs)"],"prefix":"10.4018","volume":"2","author":[{"given":"Yingxu","family":"Wang","sequence":"first","affiliation":[{"name":"University of Calgary, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xinming","family":"Tan","sequence":"additional","affiliation":[{"name":"Wuhan University of Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cyprian F.","family":"Ngolah","sequence":"additional","affiliation":[{"name":"Sentinel Trending & Diagnostics Ltd., Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Philip","family":"Sheu","sequence":"additional","affiliation":[{"name":"University of California, Irvine, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"jssci.2010100106-0","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90086-0"},{"key":"jssci.2010100106-1","doi-asserted-by":"publisher","DOI":"10.1145\/6041.6042"},{"key":"jssci.2010100106-2","doi-asserted-by":"publisher","DOI":"10.1145\/359605.359618"},{"key":"jssci.2010100106-3","author":"S.Lipschutz","year":"1997","journal-title":"Schaum\u2019s Outline of Theories and Problems of Discrete Mathematics"},{"key":"jssci.2010100106-4","author":"K. C.Louden","year":"1993","journal-title":"Programming Languages: Principles and Practice"},{"key":"jssci.2010100106-5","author":"J.McDermid","year":"1991","journal-title":"Software Engineer\u2019s Reference Book"},{"key":"jssci.2010100106-6","first-page":"365","article-title":"Type systems for programming languages","author":"J. C.Mitchell","year":"1990","journal-title":"Handbook of Theoretical Computer Science"},{"issue":"3","key":"jssci.2010100106-7","first-page":"71","article-title":"Tool Support for Software Development based on Formal Specifications in RTPA.","volume":"3","author":"C. F.Ngolah","year":"2009","journal-title":"International Journal of Software Engineering and Its Applications"},{"key":"jssci.2010100106-8","author":"B.Russel","year":"1903","journal-title":"The Principles of Mathematics"},{"key":"jssci.2010100106-9","author":"D. F.Stubbs","year":"1985","journal-title":"Data Structures with Abstract Data Types and Pascal"},{"key":"jssci.2010100106-10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020561826073"},{"key":"jssci.2010100106-11","doi-asserted-by":"crossref","DOI":"10.1201\/9780203496091","author":"Y.Wang","year":"2007","journal-title":"Software Engineering Foundations: A Software Science Perspective"},{"issue":"2","key":"jssci.2010100106-12","doi-asserted-by":"crossref","first-page":"44","DOI":"10.4018\/jcini.2008040103","article-title":"RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors.","volume":"2","author":"Y.Wang","year":"2008","journal-title":"International Journal of Cognitive Informatics and Natural Intelligence"},{"key":"jssci.2010100106-13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87563-5_4"},{"issue":"2","key":"jssci.2010100106-14","doi-asserted-by":"crossref","first-page":"95","DOI":"10.4018\/jcini.2008040106","article-title":"Deductive Semantics of RTPA.","volume":"2","author":"Y.Wang","year":"2008","journal-title":"International Journal of Cognitive Informatics and Natural Intelligence"},{"key":"jssci.2010100106-15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87563-5_2"},{"issue":"3","key":"jssci.2010100106-16","doi-asserted-by":"crossref","first-page":"282","DOI":"10.3233\/FI-2009-0019","article-title":"Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing.","volume":"90","author":"Y.Wang","year":"2009","journal-title":"Fundamenta Informatic."},{"issue":"3","key":"jssci.2010100106-17","doi-asserted-by":"crossref","first-page":"92","DOI":"10.4018\/jssci.2009070107","article-title":"The Formal Design Model of a Telephone Switching System (TSS).","volume":"1","author":"Y.Wang","year":"2009","journal-title":"International Journal of Software Science and Computational Intelligence"},{"key":"jssci.2010100106-18","doi-asserted-by":"publisher","DOI":"10.1016\/j.cogsys.2008.08.003"},{"issue":"1","key":"jssci.2010100106-19","doi-asserted-by":"crossref","first-page":"100","DOI":"10.4018\/jcini.2008010108","article-title":"Formal Modeling and Specification of Design Patterns using RTPA.","volume":"2","author":"Y.Wang","year":"2008","journal-title":"International Journal of Cognitive Informatics and Natural Intelligence"},{"issue":"4","key":"jssci.2010100106-20","doi-asserted-by":"crossref","first-page":"98","DOI":"10.4018\/jssci.2009062506","article-title":"The Formal Design Model of a Lift Dispatching System (LDS).","volume":"1","author":"Y.Wang","year":"2009","journal-title":"International Journal of Software Science and Computational Intelligence"},{"issue":"2","key":"jssci.2010100106-21","doi-asserted-by":"crossref","first-page":"105","DOI":"10.4018\/jssci.2010040106","article-title":"The Formal Design Models of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks.","volume":"2","author":"Y.Wang","year":"2010","journal-title":"International Journal of Software Science and Computational Intelligence"},{"issue":"3","key":"jssci.2010100106-22","doi-asserted-by":"crossref","first-page":"79","DOI":"10.4018\/jssci.2010070106","article-title":"The Formal Design Models of a Real-Time Operating System (RTOS+): Static and Dynamic Behavior Models.","volume":"2","author":"Y.Wang","year":"2010","journal-title":"International Journal of Software Science and Computational Intelligence"},{"issue":"2","key":"jssci.2010100106-23","doi-asserted-by":"crossref","first-page":"73","DOI":"10.4018\/jcini.2007040105","article-title":"The Cognitive Process of Decision Making.","volume":"1","author":"Y.Wang","year":"2007","journal-title":"International Journal of Cognitive Informatics and Natural Intelligence"},{"issue":"2","key":"jssci.2010100106-24","doi-asserted-by":"crossref","first-page":"44","DOI":"10.4018\/jssci.2010040103","article-title":"Design and Implementation of an Autonomic Code Generator based on RTPA (RTPA-CG).","volume":"2","author":"Y.Wang","year":"2010","journal-title":"International Journal of Software Science and Computational Intelligence"},{"issue":"1","key":"jssci.2010100106-25","doi-asserted-by":"crossref","first-page":"102","DOI":"10.4018\/jssci.2010101907","article-title":"The Formal Design Models of an Automatic Teller Machine (ATM).","volume":"2","author":"Y.Wang","year":"2010","journal-title":"International Journal of Software Science and Computational Intelligence"}],"container-title":["International Journal of Software Science and Computational Intelligence"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=49133","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,5]],"date-time":"2023-06-05T02:52:23Z","timestamp":1685933543000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jssci.2010100106"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2010,10,1]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,10]]}},"URL":"https:\/\/doi.org\/10.4018\/jssci.2010100106","relation":{},"ISSN":["1942-9045","1942-9037"],"issn-type":[{"value":"1942-9045","type":"print"},{"value":"1942-9037","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,10,1]]}}}