Algebra of Systems: An Executable Framework for Model Synthesis and Evaluation

This paper represents system models as algebraic entities and formulates the 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 meta-language named object-process network (OPN), 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.