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: © 2010 |Pages: 29
ISBN13: 9781605669021|ISBN10: 1605669024|ISBN13 Softcover: 9781616924140|EISBN13: 9781605669038
DOI: 10.4018/978-1-60566-902-1.ch009
Cite Chapter Cite Chapter

MLA

Wang, Yingxu. "On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling." Discoveries and Breakthroughs in Cognitive Informatics and Natural Intelligence, edited by Yingxu Wang, IGI Global, 2010, pp. 149-177. https://doi.org/10.4018/978-1-60566-902-1.ch009

APA

Wang, Y. (2010). On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling. In Y. Wang (Ed.), Discoveries and Breakthroughs in Cognitive Informatics and Natural Intelligence (pp. 149-177). IGI Global. https://doi.org/10.4018/978-1-60566-902-1.ch009

Chicago

Wang, Yingxu. "On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling." In Discoveries and Breakthroughs in Cognitive Informatics and Natural Intelligence, edited by Yingxu Wang, 149-177. Hershey, PA: IGI Global, 2010. https://doi.org/10.4018/978-1-60566-902-1.ch009

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 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.