Reference Hub1
A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors

A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors

ISBN13: 9781605660608|ISBN10: 1605660604|EISBN13: 9781605660615
DOI: 10.4018/978-1-60566-060-8.ch172
Cite Chapter Cite Chapter

MLA

Wang, Yingxu. "A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors." Software Applications: Concepts, Methodologies, Tools, and Applications, edited by Pierre F. Tiako, IGI Global, 2009, pp. 2943-2962. https://doi.org/10.4018/978-1-60566-060-8.ch172

APA

Wang, Y. (2009). A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors. In P. Tiako (Ed.), Software Applications: Concepts, Methodologies, Tools, and Applications (pp. 2943-2962). IGI Global. https://doi.org/10.4018/978-1-60566-060-8.ch172

Chicago

Wang, Yingxu. "A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors." In Software Applications: Concepts, Methodologies, Tools, and Applications, edited by Pierre F. Tiako, 2943-2962. Hershey, PA: IGI Global, 2009. https://doi.org/10.4018/978-1-60566-060-8.ch172

Export Reference

Mendeley
Favorite

Abstract

Real-time process algebra (RTPA) is a denotational mathematical structure for denoting and manipulating system behavioral processes. RTPA is designed as a coherent algebraic system for intelligent and software system modeling, specification, refinement, and implementation. RTPA encompasses 17 metaprocesses and 17 relational process operations. RTPA can be used to describe both logical and physical models of software and intelligent systems. Logic views of system architectures and their physical platforms can be described using the same set of notations. When a system architecture is formally modeled, the static and dynamic behaviors performed on the architectural model can be specified by a three-level refinement scheme at the system, class, and object levels in a top-down approach. RTPA has been successfully applied in real-world system modeling and code generation for software systems, human cognitive processes, and intelligent systems.

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.