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

B.H.-Y.  Koo; W.L Simmons; E.F.  Crawley

1st International ICST Conference on Systems Engineering and Modeling

Research Article

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

Cite: BibTeX Plain Text

@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. Koo¹, W.L Simmons¹, E.F. Crawley¹

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.

Published: 2007-06-18
Publisher: IEEE

: http://dx.doi.org/10.1109/ICSEM.2007.373332