Decision-making for systems architecting using meta-languages

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn , Issue , 2007, Pages 703-707

  Simmons, Willard L ^a   Koo, Benjamin H Y ^b   Crawley, Edward F ^a  

^a Massachusetts Institute of Technology   (United States)

^b TSINGHUA UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ARCHITECTURAL DESIGN; DECISION MAKING; FORMAL LANGUAGES; SYSTEMS ENGINEERING;

FIXED POINT SEARCH PROCESS; META LANGUAGES; OBJECT PROCESS NETWORK; SYSTEMS ARCHITECTING;

SYSTEMS ANALYSIS;

EID: 40949087221     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2007.4414100     Document Type: Conference Paper

References (20)

1. B. H. Y. Koo, "A meta-language for systems architecting," Ph.D. dissertation, Massachusetts Institute of Technology, Cambridge, MA, 2005.
2. B. H. Y. Koo, W. L. Simmons, and E. F. Crawley, "A valuation technology for product development options using an executable meta-modeling language," in 14th ISPE International Conference on Concurrent Engineering, São José dos Campos, Brazil, 2007.
3. W. L. Simmons, B. H. Y. Koo, and E. F. Crawley, "'Architecture generation for Moon-Mars exploration using an executable meta-language," in Proceedings of AIAA Space 2005, 30 August - 1 September, Long Beach, CA, 2005.
4. _. "Space systems architecting using meta-languages," in 56th International Astronautical Congress. 2005.
5. P. Cousot and R. Cousot, "Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints." in Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Los Angeles, California: ACM Press. New York, NY, 1977, pp. 238-252.
6. E. F. Codd, "A relational model of data for large shared data banks," Communications of the ACM, vol. 13. pp. 377-387, 1970. [Online]. Available: http://www.acm.org/classics/nov95/toc.html
7. P. Chen. "The entity-relationship model-toward a unified view of data," ACM Transaction on Database Systems, vol. 1, pp. 9-36, 1976.
8. C. Y. Baldwin and K. B. Clark, Design Rules, Vol. I: The Power of Modularity. The MIT Press, Mar 2000.
9. B. J. Kuipers, Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. Cambridge, MA: MIT Press, 1994.
10. B. C. Williams. "A theory of interactions: Unifying qualitative and quantitative algebraic reasoning." Artificial Intelligence, vol. 51, no. 1-3, pp. 39-94, 1991.
11. C. A. R. Hoare, "A theory of engineering design," in EUROMICRO 94. System Architecture and Integration. Proceedings of the 20th EUROMICRO Conference. IEEE, 1994,. pp. 331-335.
12. C. A. R. Hoare and H. Jifeng, Unifying Theories of Progamming. ser. Prentice Hall Series in Computer Science. Prentice Hall, 1998.
13. P. Cousot, "Méthodes itératives de construction et d'approximation de point fixes d'opérateurs monotone sur un treilis. analyse sémantique des programmes." Univ. of Grenoble, France," Thése de Doctoratés Science Mathématiques, 1978.
14. _, "Abstract interpretation based formal methods and future challenges, invited paper," in Informatics - 10 Years Back, 10 Years Ahead, ser. Lecture Notes in Computer Science, R. Wilhelm, Ed. Springer-Verlag, 2001, vol. 2000, pp. 138-156.
15. B. H. Y. Koo, W. L. Simmons, and E. F. Crawley, "Algebra of systems: a meta-language for model synthesis and evaluation," 2007, (unpublished, submitted Jan 2007).
16. _, "Algebra of systems: on executable framework for model synthesis and evaluation," in Proceedings of the 2007 International Conference on Systems Engineering and Modeling, 2007.
17. Z. Rozenblum, "Object-process networks & object-process diagrams - implementation issues for oil exploration systems," Master's thesis, Massachusetts Institute of Technology, 2007.
18. B. G. Cameron, S. Catanzaro, and E. F. Crawley, "Value based architecture selection." in 57th International Astronautical Congress, 2006.
19. B. G. Cameron, "Value network modeling," Master's thesis, Massachusetts Institute of Technology, 2007.
20. W. L. Simmons, B. H. Y. Koo, and E. F. Crawley, "A computational method for mapping the decision space of the lunar exploration program," in 57th International Astronautical Congress, 2006.