Algebra of systems: a metalanguage for model synthesis and evaluation

  • Authors:

  • Benjamin H. Y. Koo;Willard L. Simmons;Edward F. Crawley

  • Affiliations:

  • Department of Industrial Engineering, Tsinghua University, Beijing, China;DataXu, Inc., Cambridge, MA and Department of Aeronautics and Astronautics, Massachusetts Institute of Technology, Cambridge, MA;Department of Aeronautics and Astronautics, Massachusetts Institute of Technology, Cambridge, MA

  • Venue:
  • IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper represents system models as algebraic entities and formulates model transformation activities as algebraic operations. We call this modeling framework "Algebra of Systems" (AoS). To show that AoS can automate complex model reasoning tasks in system design projects, we implemented the abstract algebraic specification as an executable metalanguage named Object-Process Network, which serves as a tool for automatic model transformation, enumeration, and evaluation. A case study of the Apollo lunar landing mission design is developed using this algebraic modeling approach.