Algebra of systems: A metalanguage for model synthesis and evaluation
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...
Main Authors: | , , |
---|---|
Other Authors: | |
Format: | Article |
Language: | en_US |
Published: |
Institute of Electrical and Electronics Engineers
2011
|
Online Access: | http://hdl.handle.net/1721.1/65148 |
_version_ | 1811074402056404992 |
---|---|
author | Koo, Benjamin H. Y. Simmons, Willard L. Crawley, Edward F. |
author2 | Massachusetts Institute of Technology. Department of Aeronautics and Astronautics |
author_facet | Massachusetts Institute of Technology. Department of Aeronautics and Astronautics Koo, Benjamin H. Y. Simmons, Willard L. Crawley, Edward F. |
author_sort | Koo, Benjamin H. Y. |
collection | MIT |
description | 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. |
first_indexed | 2024-09-23T09:48:53Z |
format | Article |
id | mit-1721.1/65148 |
institution | Massachusetts Institute of Technology |
language | en_US |
last_indexed | 2024-09-23T09:48:53Z |
publishDate | 2011 |
publisher | Institute of Electrical and Electronics Engineers |
record_format | dspace |
spelling | mit-1721.1/651482022-09-26T13:51:48Z Algebra of systems: A metalanguage for model synthesis and evaluation Koo, Benjamin H. Y. Simmons, Willard L. Crawley, Edward F. Massachusetts Institute of Technology. Department of Aeronautics and Astronautics Crawley, Edward F. Crawley, Edward F. Simmons, Willard L. 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. National Natural Science Foundation of China (Project 70771059) United States. National Aeronautics and Space Administration Charles Stark Draper Laboratory 2011-08-15T18:02:35Z 2011-08-15T18:02:35Z 2009-05 2008-08 Article http://purl.org/eprint/type/JournalArticle 1083-4427 1558-2426 http://hdl.handle.net/1721.1/65148 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. en_US http://dx.doi.org/10.1109/TSMCA.2009.2014546 IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 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. application/pdf Institute of Electrical and Electronics Engineers IEEE |
spellingShingle | Koo, Benjamin H. Y. Simmons, Willard L. Crawley, Edward F. Algebra of systems: A metalanguage for model synthesis and evaluation |
title | Algebra of systems: A metalanguage for model synthesis and evaluation |
title_full | Algebra of systems: A metalanguage for model synthesis and evaluation |
title_fullStr | Algebra of systems: A metalanguage for model synthesis and evaluation |
title_full_unstemmed | Algebra of systems: A metalanguage for model synthesis and evaluation |
title_short | Algebra of systems: A metalanguage for model synthesis and evaluation |
title_sort | algebra of systems a metalanguage for model synthesis and evaluation |
url | http://hdl.handle.net/1721.1/65148 |
work_keys_str_mv | AT koobenjaminhy algebraofsystemsametalanguageformodelsynthesisandevaluation AT simmonswillardl algebraofsystemsametalanguageformodelsynthesisandevaluation AT crawleyedwardf algebraofsystemsametalanguageformodelsynthesisandevaluation |