1st International ICST Conference on Systems Engineering and Modeling

Research Article

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

  • @INPROCEEDINGS{10.1109/ICSEM.2007.373332,
        author={B.H.-Y.  Koo and W.L Simmons and E.F.  Crawley},
        title={Algebra of Systems: An Executable Framework for Model Synthesis and Evaluation},
        proceedings={1st International ICST Conference on Systems Engineering and Modeling},
        publisher={IEEE},
        proceedings_a={ICSEM},
        year={2007},
        month={6},
        keywords={},
        doi={10.1109/ICSEM.2007.373332}
    }
    
  • B.H.-Y. Koo
    W.L Simmons
    E.F. Crawley
    Year: 2007
    Algebra of Systems: An Executable Framework for Model Synthesis and Evaluation
    ICSEM
    IEEE
    DOI: 10.1109/ICSEM.2007.373332
B.H.-Y. Koo1, W.L Simmons1, E.F. Crawley1
  • 1: Tsinghua Univ., Beijing

Abstract

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.