Welcome to the InfoSci Platform
On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling

On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling

Yingxu Wang
Copyright: © 2009 |Pages: 26
ISBN13: 9781605660608|ISBN10: 1605660604|EISBN13: 9781605660615
DOI: 10.4018/978-1-60566-060-8.ch179
Cite Chapter Cite Chapter

MLA

Wang, Yingxu. "On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling." Software Applications: Concepts, Methodologies, Tools, and Applications, edited by Pierre F. Tiako, IGI Global, 2009, pp. 3076-3101. https://doi.org/10.4018/978-1-60566-060-8.ch179

APA

Wang, Y. (2009). On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling. In P. Tiako (Ed.), Software Applications: Concepts, Methodologies, Tools, and Applications (pp. 3076-3101). IGI Global. https://doi.org/10.4018/978-1-60566-060-8.ch179

Chicago

Wang, Yingxu. "On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling." In Software Applications: Concepts, Methodologies, Tools, and Applications, edited by Pierre F. Tiako, 3076-3101. Hershey, PA: IGI Global, 2009. https://doi.org/10.4018/978-1-60566-060-8.ch179

Export Reference

Mendeley
Favorite

Abstract

Systems are the most complicated entities and phenomena in abstract, physical, information, and social worlds across all science and engineering disciplines. System algebra is an abstract mathematical structure for the formal treatment of abstract and general systems as well as their algebraic relations, operations, and associative rules for composing and manipulating complex systems. This article presents a mathematical theory of system algebra and its applications in cognitive informatics, system engineering, software engineering, and cognitive informatics. A rigorous treatment of abstract systems is described, and the algebraic relations and compositional operations of abstract systems are analyzed. System algebra provides a denotational mathematical means that can be used to model, specify, and manipulate generic “to be” and “to have” type problems, particularly system architectures and high-level system designs, in computing, software engineering, system engineering, and cognitive informatics.

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.