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.

[1]  Patrick Cousot,et al.  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[2]  Yoshihiko Futamura,et al.  Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler , 1999, High. Order Symb. Comput..

[3]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[4]  Robert Seamans.  Project Apollo: The Tough Decisions , 2005 .

[5]  Edward F. Crawley,et al.  Space Systems Architecting Using Meta-Languages , 2005 .

[6]  Edward F. Crawley,et al.  IAC-06-D1.3.7 A COMPUTATIONAL METHOD FOR MAPPING THE DECISION SPACE OF THE LUNAR EXPLORATION PROGRAM , 2006 .

[7]  Patrick Cousot,et al.  Integrating Physical Systems in the Static Analysis of Embedded Control Software , 2005, APLAS.

[8]  Dov Dori,et al.  Object-Process Methodology , 2002, Springer Berlin Heidelberg.

[9]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

[10]  C. A. R. Hoare,et al.  Laws of programming , 1987, CACM.

[11]  E. Feron,et al.  Robust hybrid control for autonomous vehicle motion planning , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[12]  Edward F. Crawley,et al.  Architecture Generation for Moon-Mars Exploration Using an Executable Meta-Language , 2005 .

[13]  Edward F. Crawley,et al.  A meta-language for systems architecting , 2005 .

[14]  Brian C. Williams,et al.  A Theory of Interactions: Unifying Qualitative and Quantitative Algebraic Reasoning , 1991, Artif. Intell..

[15]  Edward F. Crawley,et al.  Value Based Architecture Selection , 2006 .

[16]  James R. Wertz,et al.  Space Mission Analysis and Design , 1992 .