Algebra of systems: A metalanguage for model synthesis and evaluation

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 39, Issue 3, 2009, Pages 501-513

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

^a TSINGHUA UNIVERSITY   (China)

^b Massachusetts Institute of Technology   (United States)

^c DataXu Inc   (United States)

Author keywords

Algebraic reasoning; Metalanguage; Metamodeling; Systems architecture; Systems engineering

Indexed keywords

ALGEBRAIC MODELING; ALGEBRAIC OPERATIONS; ALGEBRAIC REASONING; ALGEBRAIC SPECIFICATIONS; AUTOMATIC MODELS; COMPLEX MODEL; LANDING MISSION; METALANGUAGE; METAMODELING; MODEL SYNTHESIS; MODEL TRANSFORMATION; MODELING FRAMEWORKS; PROCESS NETWORKS; REASONING TASKS; SYSTEM DESIGN; SYSTEM MODELS; SYSTEMS ARCHITECTURE;

LANDING; LUNAR LANDING; LUNAR MISSIONS; MODEL STRUCTURES; SYSTEMS ENGINEERING;

ALGEBRA;

EID: 65649127827     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2009.2014546     Document Type: Article

References (51)

1. B. H. Y. Koo, W. L. Simmons, and E. F. Crawley, "Algebra of systems: An executable framework for model synthesis and evaluation," in Proc. Int. Conf. Syst. Eng. Model., 2007, pp. 42-49.
2. C. A. R. Hoare, I. J. Hayes, J. He, C. C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Sorensen, J. M. Spivey, and B. A. Sufrin, "Laws of programming," Commun. ACM, vol. 30, no. 8, pp. 672-686, Aug. 1987.
3. E. F. Codd, "A relational model of data for large shared data banks," Commun. ACM, vol. 13, no. 6, pp. 377-387, Jun. 1970.
4. P. Chen, "The entity-relationship model - Toward a unified view of data," ACM Trans. Database Syst., vol. 1, no. 1, pp. 9-36, Mar. 1976.
5. P. Cousot, "Integrating physical systems in the static analysis of embedded control software," in Proc. 3rd Asian Symp. Program. Languages Syst., K. Yi, Ed., 2005, pp. 135-138.
6. B. C. Williams, "A theory of interactions: Unifying qualitative and quantitative algebraic reasoning," Artif. Intell., vol. 51, no. 1-3, pp. 39-94, 1991.
7. P. Cousot and R. Cousot, "Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fix-points," in Proc. Conf. Rec. 4th Annu. ACM SIGPLAN-SIGACT Symp. Principles Program. Languages, Los Angeles, CA, 1977, pp. 238-252.
8. N. P. Suh, The Principles of Design. London, U.K.: Oxford Univ. Press, 1990.
9. C. Y. Baldwin and K. B. Clark, Design Rules, vol. 1. Cambridge, MA: MIT Press, Mar. 2000.
10. R. de Neufville, Applied Systems Analysis: Engineering Planning and Technology Management. New York: McGraw-Hill, 1990.
11. W. Griswold, M. Shonle, K. Sullivan, Y. Song, N. Tewari, Y. Cai, and H. Rajan, "Modular software design with crosscutting interfaces," IEEE Softw., vol. 23, no. 1, pp. 51-60, Jan./Feb. 2006.
12. M. Ernst, J. Cockrell, W. Griswold, and D. Notkin, "Dynamically discovering likely program invariants to support program evolution," IEEE Trans. Softw. Eng., vol. 27, no. 2, pp. 99-123, Feb. 2001.
13. C. Carlson, "Grammatical programming: An algebraic approach to the description of design spaces," Ph.D. dissertation, Carnegie Mellon Univ., Pittsburgh, PA, 1993.
14. B. Wielinga and G. Schreiber, "Configuration-design problem solving," IEEE Expert: Intell. Syst. Their Appl., vol. 12, no. 2, pp. 49-56, Mar. 1997. [Online]. Available: http://www.cs.vu.nl/~guus/papers/Wielinga97a.pdf
15. R. Dechter, Constraint Processing. San Mateo, CA: Morgan Kaufmann, 2003.
16. T. Darr, M. Klein, and D. L. McGuinness, "Special issue: Configuration design," Artif Intell. Eng. Des., Anal. Manuf., vol. 12, no. 4, pp. 293-294, Sep. 1998.
17. A. Padovitz, S. W. Loke, and A. Zaslavsky, "Multiple-agent perspectives in reasoning about situations for context-aware pervasive computing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 4, pp. 729-742, Jul. 2008.
18. S. Burris and H. P. Sankappanavar, A Course in Universal Algebra. New York: Springer-Verlag, 1981.
19. S. Pedroni and N. Rapping, Jython Essentials. Sebastopol, CA: O'Reilly, 2002.
20. C. A. Petri, "Kommunikation mit automaten," Ph.D. dissertation, Univ. Bonn, Bonn, Germany, 1962.
21. B. H. Y. Koo, "A meta-language for systems architecting," Ph.D. dissertation, MIT, Cambridge, MA, 2005.
22. D. Dori, Object-Process Methodology: A Holistic Systems Paradigm. New York: Springer-Verlag, 2002.
23. C. G. Brooks, J. M. Grimwood, and L. S. Swenson, Chariots for Apollo: A History of Manned Lunar Spacecraft. Washington DC: NASA: Sci. Tech. Inf. Branch, 1979.
24. J. R. Hansen, Spaceflight Revolution: NASA Langley Research Center From Sputnik to Apollo, ser. The NASA History Series. Washington, DC: Nat. Aeronautics Space Admin., 1995. NASA SP-4308.
25. C. Murray and C. B. Cox, Apollo. Burkittsville, MD: South Mountain Books, 2004.
26. R. C. Seamans, Jr., Project Apollo: The Tough Decisions, ser. Monographs in Aerospace History Number 37. Washington, DC: Nat. Aeronautics Space Admin., 2005. NASA SP-2005-4537.
27. W. Simmons, M. Kinnunen, and B. H. Y. Koo, Apr. 1, 2005, Beverly, MA. Interview with Robert C. Seamans.
28. W. L. Simmons, B. H. Y. Koo, and E. F. Crawley, "Architecture generation for Moon-Mars exploration using an executable meta-language," in Proc. AIAA Space, Long Beach, CA, Aug. 30-Sep. 1, 2005.
29. 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 Complex Systems Concurrent Engineering: Collaboration, Technology Innovation and Sustainability. New York: Springer-Verlag, 2007, pp. 107-115.
30. M. Amram and N. Kulatilaka, Real Options: Managing Strategic Investment in an Uncertain World. London, U.K.: Oxford Univ. Press, 1998.
31. S. M. LaValle, Planning Algorithms. Cambridge, U.K.: Cambridge Univ. Press, 2006.
32. E. Frazzoli, "Robust hybrid control for autonomous vehicle motion planning," Ph.D. dissertation, MIT, Cambridge, MA, Jun. 2001.
33. V. A. Chobotov, Ed., Orbital Mechanics, 2nd ed. Washington, DC: AIAA, 1996.
34. J. C. Houbolt, "Manned lunar-landing through use of lunar-orbit rendezvous," NASA, Washington, DC, Tech. Rep. NASA-TM-74736, 1961.
35. Y. Futamura, "Partial evaluation of computation process; An approach to a compiler-compiler," Higher- Order Symbolic Comput., vol. 12, pp. 381-391, 1999.
36. V. Pareto, Manual of Political Economy. New York: A. M. Kelley Publisher, 1971.
37. W. L. Simmons, B. H. Y. Koo, and E. F. Crawley, "Space systems architecting using meta-languages," presented at the 56th Int. Astronautical Congr., Fukuoka, Japan, 2005, Paper IAC-05-D1.P.03.
38. B. G. Cameron, S. Catanzaro, and E. F. Crawley, "Value based architecture selection," presented at the 57th Int. Astronautical Congr., Valencia, Spain, 2006, Paper IAC-06-D3.1.03.
39. W. L. Simmons, B. H. Y. Koo, and E. F. Crawley, "A computational method for mapping the decision space of the lunar exploration program," presented at the 57th Int. Astronautical Congr., Valencia, Spain, 2006, Paper IAC-06-D1.3.07.
40. W. L. Simmons, B. H. Y. Koo, and E. F. Crawley, "Decision-making for systems architecting using meta-languages," in Proc. IEEE Int. Conf. SMC, Montréal, QC, Canada, Oct. 2007, pp. 703-707.
41. W. L. Simmons, "A framework for decision-support in systems architecting," Ph.D. dissertation, MIT, Cambridge, MA, Feb. 2008.
42. N. Jones, C. Gomard, and P. Sestoft, Partial Evaluation and Automatic Program Generation. Englewood Cliffs, NJ: Prentice-Hall, 1993.
43. S. Kent, "Model driven engineering," in Proc. IFM. Berlin, Germany: Springer-Verlag, 2002, vol. 2335, pp. 286-298.
44. S. J. Mellor and M. Balcer, Executable UML: A Foundation for Model-Driven Architectures. Boston, MA: Addison-Wesley, 2002.
45. K. Murphy, Bayes Net Toolbox for MATLAB. [Online]. Available: http://www.cs.ubc.ca/~murphyk/Bayes/bnsoft.html
46. K. Huang, Z. Li, and B. H. Y. Koo, "Process abstraction and its applications in transportation systems," in Proc. IEEE Int. Conf. Ind. Inf., Jul. 2008, pp. 227-232.
47. S. B. Akers, "Binary decision diagrams," IEEE Trans. Comput., vol. C-27, no. 6, pp. 509-516, Jun. 1978.
48. R. E. Bryant, "Symbolic Boolean manipulation with ordered binary-decision diagrams," ACM Comput. Surv., vol. 24, no. 3, pp. 293-318, Sep. 1992.
49. D. Jackson, Software Abstractions: Logic, Language, and Analysis. Cambridge, MA: MIT Press, 2006.
50. Wolfram Research, Mathematica. [Online]. Available: http://www. wolfram.com/products/mathematica/index.html
51. Inst. Software and Integrated Syst., Vanderbilt Univ., GME: Generic Modeling Environment. [Online]. Available: ttp://www. isis.vanderbilt.edu/projects/gme/