- 1 ABRAMSK'Y, S., AND HANKIN, C. Abstract Interpretation of Declarative Languages. E}lis Horwood/Wfiey, 1987. Google Scholar
- 2 ADDANKI, S., CREMONINI, R., AND PENBERTHY, J.S. Reasoning about assumptions in graphs of models. In Eleventh International Joint Conference on Artif~ctal Intelhgence (Detroit, Mich., Aug. 1989), IJCAI, pp. 1432-1438.Google Scholar
- 3 AKKURMANS, H. A., AND DIJKUM, C.v. Worlds apart? The modeling cycle, paradigms and the world view in simulation modeling. In European Simulation Multiconference (Nuremberg, June 1990), Society for Computer Simulation, pp. 99-106.Google Scholar
- 4 ASHBY, W.R. An Introductzon to Cybernetics. Wiley, 1963.Google Scholar
- 5 ATHENA SYSTEMS. Foresight User's Manual. Athena Systems, Inc., Sunnyvale, Calif., Feb. 1989.Google Scholar
- 6 BAILEY, R. Functional Programming with HOPE. Horwood/Simon and Schuster, 1990. Google Scholar
- 7 BALCI, O., AND NANCE, R. E. Simulation model development environments: A research prototype. J. Oper. Res. Soc. 38, 8 (1987), 753-763.Google Scholar
- 8 BALCI, O., NANCE, R. E., DERRICK, E. J., PAGE, E., AND BISHOP, J.L. Model generation issues in a simulation support environment. In 1990 Winter S~mulatzon Conference (New Orleans, La., Dec. 1990), pp. 257-263. Google Scholar
- 9 BANKS, J., AND CARLSON, J.S. Discrete Event System Simulation. Prentice Hall, 1984.Google Scholar
- 10 BECK, H. W., AND FISHWICK, P.h. Incorporating natural language descriptions into model- ~ng and simulation. Simulation J. 52, 3 (Mar. 1989), 102-109.Google Scholar
- 11 BECK, H. W., AND FISHWICK, P.h. Natural language, cognitive models and simulation. In Qualitative S~mulat~on Modeling and Analysis, P. A. Fishwick and P. A. Luker, Eds. Springer Verlag, 1990. (In press). Google Scholar
- 12 BERTALANFFY, L.V. General System Theory. George Braziller, New York, 1968.Google Scholar
- 13 BOBROW, D.G. Qualitative Reasoning about Physical Systems. MIT Press, 1985. Google Scholar
- 14 BOOCH, G. Object-Oriented Development. IEEE Trans. Softw. Eng. 12, 2 (Feb. 1986), 211-221. Google Scholar
- 15 BOOCH, G. On the concepts of object-oriented design. In Modern Software Engineering', P. A. Ng and R. T. Yeh, Eds. Van Nostrand Reinhold, 1990, Ch. 6, 165 204. Google Scholar
- 16 BOOCH, G. Object OrLented Design, Benjamin Cummings, 1991. Google Scholar
- 17 BRACHMAN, R., AND LEVESQUE, H., EDS. Readings in Knowledge Representation. Morgan Kaufmann, 1985. Google Scholar
- 18 CELLIER, F.E. Combined continuous system simulation by use of digital computers: Techniques and tools. Ph.D. dissertation, Swiss Federal Inst. of Technology, Zurich, 1979.Google Scholar
- 19 CELLIER, F.E. Continuous System Modehng. Springer Verlag, 1991. Google Scholar
- 20 CHECKLAND, P.B. Systems Thinking. Systems Science. Wiley, 1981.Google Scholar
- 21 DAVIS, A.M. A comparison of techniques for the specification of external system behavior. Commun. ACM 31, 9 (Sept. 1988), 1098-1115. Google Scholar
- 22 DAVIS, E. Representations of Commonsense Knowledge. Morgan Kaufmann, 1990. Google Scholar
- 23 DAvis, R., AND KING, J. An overview of production systems. Mach. Intell. 8 (1977).Google Scholar
- 24 ELZAS, M. S., OREN, T. I., AND ZEtGLER, B.P. Modeling and Szmulation Methodology in the Artificial Intelligence Era. North Holland, 1986.Google Scholar
- 25 ELZAS, M. S., OREN, T. I., AND ZEIGLER, B. P. Modelling and Stmulation Methodology: Knowledge Systems' Paradigms. North Holland, 1989. Google Scholar
- 26 ENDERTON, H. A Mathematical Introduction to Logic. Academic Press, 1972.Google Scholar
- 27 FINDLER, N. V., ED. Associative Networks: Representation and Use of Knowledge By Computers. Academic Press, 1979. Google Scholar
- 28 FISHWICK, P.A. Hierarchical reasoning: Simulating complex processes over multiple levels of abstraction. Ph.D. dissertation, Univ. of Pennsylvania, 1986. Google Scholar
- 29 FISHWICK, P.A. The Role of Process Abstraction in Simulation. IEEE Trans. Syst. Man Cybernetics 18, i (Jam/Feb. 1988), 18 39. Google Scholar
- 30 FISHWlCK, P.A. Qualitative methodology in simulation model engineering. Simulation J. 52, 3 (Mar. 1989), 95-101.Google Scholar
- 31 FISHWICK, P.A. Studying how models evolve: An emphasis on simulation model engineering. In Advances ~n AI and Simulation (Tampa, Fla., 1989), pp. 74-79.Google Scholar
- 32 FISHWtCK, P.A. Toward an integrated approach to simulation model engineering. Int. J. General Syst. 17, i (May 1990), 1-19.Google Scholar
- 33 FISHWICK, P.A. Heterogeneous decomposition and coupling for combined modeling. In 1991 Wznter Simulation Conference (Phoenix, Ariz., Dec. 1991), pp. 1199-1208. Google Scholar
- 34 FISHWICK, P.A. A functional/declarative dichotomy for characterizing simulation models. In AI, Simulation and Planntng Htgh Autonomy Systems (Perth, Australia, 1992), IEEE Computer Society Press, pp. 102-109.Google Scholar
- 35 FiSHWICK, P.A. Computer Stmulatton Modeltng: Methodology, Algortthms and Programs, 1992. (to be published as a textbook in 1993).Google Scholar
- 36 FISHWICK, P. A., AND MODJESKI, R. B., EDS. Knowledge Based SlmuIatton: Methodology and Application. Springer Verlag, 1991. Google Scholar
- 37 FISHW~CK, P. A., AND ZEIGLER, B. P. A multimodel methodology for qualitative model engineering. ACM Trans. ModelLng Comput. SLm. 2, i (1992), 52 81. Google Scholar
- 38 FLOOD, R. L., AND CARSON, E.R. Dealing with Complexity: An Introduction to the Theory and Application of Systems Science. Plenum Press, {988. Google Scholar
- 39 FORBUS, K. Qualitative physics: Past, present and future. In Exploring Artificial Intelligence, H. Shrobe, Ed. Morgan Kaufmann, 1988, pp. 239 296. Google Scholar
- 40 FORBUS, K. D., AND FALKENHAINER, B. Self-explanatory simulations: An integration of quahtative and quantitative knowledge. In AAA/Conference (1990), pp. 380-387.Google Scholar
- 41 FORRESTER, J.W. Urban Dynamics. MIT Press, Cambridge, Mass., 1969.Google Scholar
- 42 FORRESTER, J.W. World Dynamics. Wright-Allen Press, 1971.Google Scholar
- 43 FUTO, I., AND GERGELY, T. Arttficial Intelligence in ~'~mulation. Ellis Horwood/Wiley, 1990.Google Scholar
- 44 HAREL, D. On visual formalisms. Commun. ACM 31, 5 (May 1988), 514-530. Google Scholar
- 45 HAREL, D. STATEMATE: A working environment for the development of complex reactive systems. IEEE Trans. Softw. Eng. 16, 3 (Apr. 1990), 403 414. Google Scholar
- 46 HAREL, D. Biting the silver bullet: Toward a brighter future for system development. IEEE Computer 25, i (Jan. 1992), 8-20. Google Scholar
- 47 HEINTZE, N., JAFFAR, J., MICHAYLOV, S., STUCKEY, P., AND YAP, R. The CLP(S) Programmer's Manual: Verszon 1.1, Tech. Rep. Carnegie Mellon Umv., Nov. 1991.Google Scholar
- 48 HENDERSON, P. Functional Programming: Appltcation and Implementation. Prentice Hall International, 1980. Google Scholar
- 49 HOGGER, C.J. Essenttals of Logic Programmtng. Oxford Umversity Press, 1990. Google Scholar
- 50 HOPCROFT, J. E., AND ULLMAN, J. D. Introduction to Automata Theory, Languages and Computation. Addison Wesley, 1979. Google Scholar
- 51 KALMAN, a. E., FALB, P. L., AND ARBIB, M. h. Topics zn Mathematical Systems Theory. McGraw-Hill, New York, 1962.Google Scholar
- 52 KLm, G.J. Architecture of Systems Problem Solwng. Plenum Press, 1985.Google Scholar
- 53 KOWALSKI, R. Logic for Problem Solwng. Elsevier North Holland, 1979. Google Scholar
- 54 LAW, A. M., AND KELTON, D.W. Szmulat~on Modeling and Analysts. 2nd ed. McGraw-Hill, New York, 1991. Google Scholar
- 55 LELER, W. Constraint Programming Languages: Thetr Specification and Generation. Addison Wesley, 1988. Google Scholar
- 56 MILLER, D. P., ROTHENBERG, J., FRANKE, D. W., FISHW{CK, P. A., AND FIRBY, R.J. AI: What simulationists really need to know. In 1990 Winter Simulation Conference (New Orleans, La., Dec. 1990), pp. 204-209. Google Scholar
- 57 MILLER, V. T., AND FISHWICK, P.A. Heterogeneous hierarchical models. In Art~ftcial Intelligence X: Knowledge Based Systems (Orlando, Fla., Apr. 1992), SPIE, pp. 357-367.Google Scholar
- 58 MILLS, H. D. Stepwise refinement and verification in box-structured systems. IEEE Computer 21, 6 (June 1988), 23 36. Google Scholar
- 59 NANCE, R.E. The time and state relationships in simulation modeling. Commun. ACM 24, 4 (Apr. 1981), 173 179. Google Scholar
- 60 NANCE, R. E. A conical methodology: A framework for simulation model development. In Conference on Methodology and Validation (San Diego, Calif., April 1987), Society for Computer Simulation, pp. 38-43.Google Scholar
- 61 NANCE, R.E. Modeling and programming: An evolutionary convergence, April 1988. Unpublished overheads requested from author.Google Scholar
- 62 NARAIN, S., AND ROTHENBERG, J. Qualitative modeling using the causality relation. Trans. Soc. Comput. Simul. 7, 3 (1990), 265-289. Google Scholar
- 63 NIELSEN, N.R. Applications of AI techniques to simulation. In Knowledge Based S~mulation: Methodology and Application, P. Fishwick and R. Modjeski, Eds. Springer Verlag, 1991, pp. 1-19. Google Scholar
- 64 O'KEEFE, R.M. The role of artificial intelligence in discrete event simulation. In Artificial Intelligence, Simulation and Modelmg, L. E. Widman, K. A. Loparo, and N. R. Nielsen, Eds. Wiley, 1989, pp. 359 379. Google Scholar
- 65 OREN, T. I. Model-based activities: A paridigm shift. In Simulation and Model-Based Methodologies: An Integrative View, T. I. Oren, B. P. Zeigler, and E. M. S., Eds. Springer Verlag, 1984, pp. 3 40.Google Scholar
- 66 OREN, T.I. Simulation: Taxonomy. In Systems and Control Encyclopedia, M. G. Singh, Ed. Pergammon Press, 1987, pp. 4411 4414.Google Scholar
- 67 OREN, T.I. Dynamic templates and semantic rules for simulation advisors and certifiers. In Knowledge Based Simulation: Methodology and Application, P. Fishwick and R. Modjeski, Eds. Springer Verlag, 1991, pp. 53 76. Google Scholar
- 68 OVERSTREET, C. M., AND NANCE, R. E. A specification language to assist in analysis of discrete event simulation models. Commun. ACM 28, 2 (Feb. 1985), 190-201. Google Scholar
- 69 PADULO, L., AND ARBIB, M.A. Systems Theory: A Unified State Space Approach to Continuous and Discrete Systems. W. B. Saunders, Philadelphia, Pa., 1974.Google Scholar
- 70 PETERSON, J.L. Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, N.J., 1981. Google Scholar
- 71 PRAEHOFER, H. System theoretic foundations for combined discrete-continuous system simulation, Ph.D. dissertations, Johannes Kepler Univ. of Linz, 1991.Google Scholar
- 72 PRESSMAN, R.S. Software Engineeri,g: A Practitioner's Approach. McGraw-Hill, 1992. Google Scholar
- 73 RICH, E., AND KNIGHT, K. Artificial Intelligence. McGraw-Hill, 1991. Google Scholar
- 74 RICHARDSON, G. P., AND PUaH, A. L. Introduction to System Dynamics Modeling with DYNAMO. MIT Press, Cambridge, Mass., 1981. Google Scholar
- 75 ROBERTS, N., ANDERSEN, D., DEAL, R., GARET, M., AND SHAFEER, W. Introduction to Computer Stmulation: A Systems Dynamics Approach. Addison-Wesley, 1983. Google Scholar
- 76 ROTHENBERG, J. Object-oriented simulation: Where do we go from here? Tech. Rep. RAND Corp., October 1989.Google Scholar
- 77 ROTHENBERG, J. Knowledge-based simulation at the RAND Corporation. In Knowledge Based Simulation: Methodology and Application, P. Fishwick and R. Modjeski, Eds. Springer Verlag, 1991, pp. 133-161. Google Scholar
- 78 ROZENBLIT, J. W., AND ZEIGI,ER, B.P. Knowledge-based simulation and design methodology: A flexible test architecture application. Trans. Soc. Comput. Simul. 7, 3 (1990). Google Scholar
- 79 RUMBAUGH, J., BLAHA, M.~ PREMERLANI, W., FREDERICK, E., AND LORENSON, W. Object- Oriented Modeling und Design. Prentice Hall, 1991. Google Scholar
- 80 S~ANNON, R.E. Systems S~mulat~on: The Art and Science. Prentice Hall, 1975.Google Scholar
- 81 SowA, J.F. Conceptual Structures: Information Processing in Mind and Muchine. Addison- Wesley, 1984. Google Scholar
- 82 WELD, D. S. The use of aggTegation in causal simulation. Artif. Intell. 30, i (Oct. 1986), 1-34. Google Scholar
- 83 WELD, D. S., AND DEKLEER, J. Readings ~n Qualitative Reasoning about Physical Systems. Morgan Kaufmann, 1990. Google Scholar
- 84 WIDMAN, L. E., LOPARO, K. A., AND NIELSEN, N.R. Artificial Intelligence, S~mulat~on and Modeling. Wiley, 1989. Google Scholar
- 85 WINOGRAD, T. Frame representations and the declarative/procedural controversy. In Representution and Understonding, D. Bobrow and A. Collins, Eds. Academic Press, 1975, pp. 185-210.Google Scholar
- 86 WOODS, W.A. What's in a link: Foundations for semantic networks. In Representatwn and Understanding, D. Bobrow and A. Collins, Eds. Academic Press, 1975, pp. 35-82.Google Scholar
- 87 WYMORE, A. W. A Mathematical Theory of Systems Engineering: The Elements. Krieger, 1977.Google Scholar
- 88 ZEIGLER, B.P. Theory of Modelhng and Simulation. Wiley, 1976. Google Scholar
- 89 ZEIGLER, B.P. Multz-Facetted Modelling and Discrete Event Szmulation. Academic Press, 1984. Google Scholar
- 90 ZEIGLER, B.P. Multlfaceted systems modeling: Structure and behavior at a multiplicity of levels. In Individual Development and Social Change. Explanatory Analysis. Academic Press, 1985, pp. 265-293.Google Scholar
- 91 ZEIGLER, g.r. DEVS representatmn of dynamical systems: Event-based intelligent control. Proceedings of the IEEE 77, i (Jan. 1989h 72 80.Google Scholar
- 92 ZEIGLER, B.P. Object Oriented Simulation with Hlerarchtcal, Modular Models: Intelhgent Agents and Endomorph~c Systems. Academm Press, 1990. Google Scholar
Index Terms
- An integrated approach to system modeling using a synthesis of artificial intelligence, software engineering and simulation methodologies
Recommendations
Intelligent Software Engineering: Synergy between AI and Software Engineering
ISEC '18: Proceedings of the 11th Innovations in Software Engineering ConferenceThere has been a long history of applying AI technologies to address software engineering problems especially on tool automation. On the other hand, given the increasing importance and popularity of AI software, recent research efforts have been on ...
Artificial intelligence for software engineering
AI and InterpretationArtificial intelligence is predicted to impact many industries (including the software industry), changing how we produce, manufacture, and deliver. The rise of artificial intelligence may significantly transform the practice of software engineering, ...
Comments