Algebra of systems: A metalanguage for model synthesis and evaluation
Name
Koo-2009-Algebra of systems.pdf
Size
936.17 KB
Format
Adobe PDF
Checksum (MD5)
43a2288d8f6a29ae652dee52e38cbdf4
Author(s)
Koo, Benjamin H. Y.
Simmons, Willard L.
Crawley, Edward F.
Date Issued
May 2009
Journal
IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans
Publisher
Institute of Electrical and Electronics Engineers
Citation
Koo, B., W.L. Simmons, and E.F. Crawley. “Algebra of Systems: A Metalanguage for Model Synthesis and Evaluation.” Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions On 39.3 (2009) : 501-513. © 2009 IEEE.
Version
Final published version
Abstract
This paper represents system models as algebraic entities and formulates model transformation activities as algebraic operations. We call this modeling framework ldquoalgebra of systemsrdquo (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.
MIT Department
Massachusetts Institute of Technology. Department of Aeronautics and Astronautics
Terms of Use
Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use.
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1109/TSMCA.2009.2014546
