An integrated approach to system modeling using a synthesis of artificial intelligence, software engineering and simulation methodologies

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An integrated approach to system modeling using a synthesis of artificial intelligence, software engineering and simulation methodologies

Full text

Pdf (1.58 MB)

Source

ACM Transactions on Modeling and Computer Simulation (TOMACS) archive
Volume 2 , Issue 4 (October 1992) table of contents

Pages: 307 - 330

Year of Publication: 1992

ISSN:1049-3301

Author

Paul A. Fishwick

Univ. of Florida, Gainesville

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 21, Downloads (12 Months): 67, Citation Count: 10

Additional Information:

references cited by index terms review collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/149516.149530 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	S. Abramsky , C. Hankin, Abstract interpretation of declarative languages, Halsted Press, New York, NY, 1987
	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.
	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.
	4	ASHBY, W.R. An Introductzon to Cybernetics. Wiley, 1963.
	5	ATHENA SYSTEMS. Foresight User's Manual. Athena Systems, Inc., Sunnyvale, Calif., Feb. 1989.
	6	Roger Bailey, Functional programming with Hope, Ellis Horwood, Upper Saddle River, NJ, 1990
	7	BALCI, O., AND NANCE, R. E. Simulation model development environments: A research prototype. J. Oper. Res. Soc. 38, 8 (1987), 753-763.
	8	Osman Balci , Richard E. Nance , E. Joseph Derrick , Ernest H. Page , John L. Bishop, Model generation issues in a simulation support environment, Proceedings of the 22nd conference on Winter simulation, p.257-263, December 09-12, 1990, New Orleans, Louisiana, United States
	9	BANKS, J., AND CARLSON, J.S. Discrete Event System Simulation. Prentice Hall, 1984.
	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.
	11	Howard W. Beck , Paul A. Fishwick, Natural language, cognitive models, and simulation, Qualitative simulation modeling and analysis, Springer-Verlag New York, Inc., New York, NY, 1991
	12	BERTALANFFY, L.V. General System Theory. George Braziller, New York, 1968.
	13	D G Bobrow, Qualitative reasoning about physical systems, Massachusetts Institute of Technology, Cambridge, MA, 1985
	14	G Booch, Object-oriented development, IEEE Transactions on Software Engineering, v.12 n.2, p.211-221, Feb. 1986
	15	Grady Booch, On the concepts of object-oriented design, Modern software engineering, foundations and current perspectives, Van Nostrand Reinhold Co., New York, NY, 1989
	16	Grady Booch, Object oriented design with applications, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1990
	17	Ronald J. Brachman , Hector J. Levesque, Readings in Knowledge Representation, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1985
	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.
	19	Francois E. Cellier, Continuous System Modeling, Springer-Verlag New York, Inc., Secaucus, NJ, 1991
	20	CHECKLAND, P.B. Systems Thinking. Systems Science. Wiley, 1981.
	21	Alan,M. Davis, A comparison of techniques for the specification of external system behavior, Communications of the ACM, v.31 n.9, p.1098-1115, Sept. 1988 [doi>10.1145/48529.48534]
	22	Ernest Davis, Representations of commonsense knowledge, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1990
	23	DAvis, R., AND KING, J. An overview of production systems. Mach. Intell. 8 (1977).
	24	ELZAS, M. S., OREN, T. I., AND ZEtGLER, B.P. Modeling and Szmulation Methodology in the Artificial Intelligence Era. North Holland, 1986.
	25	Maurice S. Elzas , Bernard P. Zeigler , Tuncer I. Oren, Modelling and Simulation Methodology: Knowledge Systems Paradigms, Elsevier Science Inc., New York, NY, 1989
	26	ENDERTON, H. A Mathematical Introduction to Logic. Academic Press, 1972.
	27	Nicholas V. Findler, Associative Networks: The Representation and Use of Knowledge by Computers, Academic Press, Inc., Orlando, FL, 1979
	28	Paul Anthony Fishwick, Hierarchical reasoning: simulating complex processes over multiple levels of abstraction, University of Pennsylvania, Philadelphia, PA, 1986
	29	Paula A. Fishwick, Role of process abstraction in simulation, IEEE Transactions on Systems, Man and Cybernetics, v.18 n.1, p.18-39, January/February 1988 [doi>10.1109/21.87052]
	30	FISHWlCK, P.A. Qualitative methodology in simulation model engineering. Simulation J. 52, 3 (Mar. 1989), 95-101.
	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.
	32	FISHWtCK, P.A. Toward an integrated approach to simulation model engineering. Int. J. General Syst. 17, i (May 1990), 1-19.
	33	Paul A. Fishwick, Heterogeneous decomposition and inter-level coupling for combined modeling, Proceedings of the 23rd conference on Winter simulation, p.1120-1128, December 08-11, 1991, Phoenix, Arizona, United States
	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.
	35	FiSHWICK, P.A. Computer Stmulatton Modeltng: Methodology, Algortthms and Programs, 1992. (to be published as a textbook in 1993).
	36	Paul A. Fishwick , Richard B. Modjeski, Knowledge-based simulation, Springer-Verlag, London, 1991
	37	Paul A. Fishwick , Bernard P. Zeigler, A multimodel methodology for qualitative model engineering, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.2 n.1, p.52-81, Jan. 1992 [doi>10.1145/132277.132280]
	38	Robert L. Flood , EwarT R. Carson, Dealing with complexity: an introduction to the theory & applications of systemsscience, Plenum Press, New York, NY, 1988
	39	K. D. Forbus, Qualitative physics: past, present, and future, Exploring artificial intelligence, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	40	FORBUS, K. D., AND FALKENHAINER, B. Self-explanatory simulations: An integration of quahtative and quantitative knowledge. In AAA/Conference (1990), pp. 380-387.
	41	FORRESTER, J.W. Urban Dynamics. MIT Press, Cambridge, Mass., 1969.
	42	FORRESTER, J.W. World Dynamics. Wright-Allen Press, 1971.
	43	FUTO, I., AND GERGELY, T. Arttficial Intelligence in ~'~mulation. Ellis Horwood/Wiley, 1990.
	44	David Harel, On visual formalisms, Communications of the ACM, v.31 n.5, p.514-530, May 1988 [doi>10.1145/42411.42414]
	45	David Harel , Amir Pnueli , Hagi Lachover , Amnon Naamad , Michal Politi , Rivi Sherman , Aharon Shtull-Trauring , Mark Trakhtenbrot, STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Transactions on Software Engineering, v.16 n.4, p.403-414, April 1990 [doi>10.1109/32.54292]
	46	David Harel, Biting the Silver Bullet: Toward a Brighter Future for System Development, Computer, v.25 n.1, p.8-20, January 1992 [doi>10.1109/2.161283]
	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.
	48	Peter Henderson, Functional Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1980
	49	Christopher John Hogger, Essentials of logic programming, Oxford University Press, Inc., New York, NY, 1990
	50	John E. Hopcroft , Jeffrey D. Ullman, Introduction To Automata Theory, Languages, And Computation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
	51	KALMAN, a. E., FALB, P. L., AND ARBIB, M. h. Topics zn Mathematical Systems Theory. McGraw-Hill, New York, 1962.
	52	KLm, G.J. Architecture of Systems Problem Solwng. Plenum Press, 1985.
	53	Robert Kowalski, Logic for problem-solving, North-Holland Publishing Co., Amsterdam, The Netherlands, 1986
	54	Averill M. Law , W. David Kelton, Simulation Modeling and Analysis, McGraw-Hill Higher Education, 1997
	55	William Leler, Constraint programming languages: their specification and generation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1988
	56	David P. Miller , Jeff Rothenberg , David W. Franke , Paul A. Fishwick , R. James Firby, AI (panel session): what simulationists really need to know, Proceedings of the 22nd conference on Winter simulation, p.204-209, December 09-12, 1990, New Orleans, Louisiana, United States
	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.
	58	Harlan D. Mills, Stepwise Refinement and Verification in Box-Structured Systems, Computer, v.21 n.6, p.23-36, June 1988 [doi>10.1109/2.948]
	59	Richard E. Nance, The time and state relationships in simulation modeling, Communications of the ACM, v.24 n.4, p.173-179, April 1981 [doi>10.1145/358598.358601]
	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.
	61	NANCE, R.E. Modeling and programming: An evolutionary convergence, April 1988. Unpublished overheads requested from author.
	62	Sanjai Narain , Jeff Rothenberg, Qualitative modeling using the causality relation, Transactions of the Society for Computer Simulation International, v.7 n.3, p.265-289, Sept. 1990
	63	Norman R. Nielsen, Application of artificial intelligence techniques to simulation, Knowledge-based simulation, Springer-Verlag, London, 1991
	64	R. M. O'Keefe, The role of artifical intelligence in discrete-event simulation, Artificial intelligence, simulation & modeling, John Wiley & Sons, Inc., New York, NY, 1989
	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.
	66	OREN, T.I. Simulation: Taxonomy. In Systems and Control Encyclopedia, M. G. Singh, Ed. Pergammon Press, 1987, pp. 4411 4414.
	67	Tuncer I. Ören, Dynamic templates and semantic rules for simulation advisors and certifiers, Knowledge-based simulation, Springer-Verlag, London, 1991
	68	C Michael Overstreet , Richard E. Nance, A specification language to assist in analysis of discrete event simulation models, Communications of the ACM, v.28 n.2, p.190-201, Feb. 1985 [doi>10.1145/2786.2792]
	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.
	70	James Lyle Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall PTR, Upper Saddle River, NJ, 1981
	71	PRAEHOFER, H. System theoretic foundations for combined discrete-continuous system simulation, Ph.D. dissertations, Johannes Kepler Univ. of Linz, 1991.
	72	Roger S. Pressman, Software engineering (3rd ed.): a practitioner's approach, McGraw-Hill, Inc., New York, NY, 1992
	73	Elaine Rich, Artificial intelligence, McGraw-Hill, Inc., New York, NY, 1983
	74	George P. Richardson , Alexander L. Pugh, Introduction to System Dynamics Modeling with Dynamo, MIT Press, Cambridge, MA, 1981
	75	David Andersen , Nancy Roberts , Ralph Deal , Michael Garet , William D. Shaffer, Introduction to Computer Simulation: The System Dynamics Approach, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
	76	ROTHENBERG, J. Object-oriented simulation: Where do we go from here? Tech. Rep. RAND Corp., October 1989.
	77	Jeff Rothenberg, Knowledge-based simulation at the RAND Corporation, Knowledge-based simulation, Springer-Verlag, London, 1991
	78	Jerzy W. Rozenblit , Bernard P. Zeigler, Knowledge-based simulation design methodology: a flexible test architecture application, Transactions of the Society for Computer Simulation International, v.7 n.3, p.195-228, Sept. 1990
	79	James Rumbaugh , Michael Blaha , William Premerlani , Frederick Eddy , William Lorensen, Object-oriented modeling and design, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
	80	S~ANNON, R.E. Systems S~mulat~on: The Art and Science. Prentice Hall, 1975.
	81	J. F. Sowa, Conceptual structures: information processing in mind and machine, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1984
	82	D S Weld, The use of aggregation in causal simulation, Artificial Intelligence, v.30 n.1, p.1-34, Oct. 1986 [doi>10.1016/0004-3702(86)90066-4]
	83	Daniel S. Weld , Johan de Kleer, Readings in qualitative reasoning about physical systems, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1989
	84	Lawrence E. Widman , Kenneth A. Loparo , Norman R. Nielsen, Artificial intelligence, simulation & modeling, John Wiley & Sons, Inc., New York, NY, 1989
	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.
	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.
	87	WYMORE, A. W. A Mathematical Theory of Systems Engineering: The Elements. Krieger, 1977.
	88	Bernard P. Zeigler, Theory of Modelling and Simulation, Krieger Publishing Co., Inc., Melbourne, FL, 1984
	89	Bernard P. Zeigler, Multifacetted modelling and discrete event simulation, Academic Press Professional, Inc., San Diego, CA, 1984
	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.
	91	ZEIGLER, g.r. DEVS representatmn of dynamical systems: Event-based intelligent control. Proceedings of the IEEE 77, i (Jan. 1989h 72 80.
	92	Bernard P. Zeigler, Object-oriented simulation with hierarchical, modular models: intelligent agents and endomorphic systems, Academic Press Professional, Inc., San Diego, CA, 1990

CITED BY 10

	Paul A. Fishwick, Simulation model design, Proceedings of the 27th conference on Winter simulation, p.209-211, December 03-06, 1995, Arlington, Virginia, United States
	Joel J. Luna, Towards a computer aided simulation model engineering (CASME) environment, Proceedings of the 25th conference on Winter simulation, p.1296-1303, December 12-15, 1993, Los Angeles, California, United States
	Jin Joo Lee , Paul A. Fishwick, Simulation-based planning for multi-agent environments, Proceedings of the 29th conference on Winter simulation, p.405-412, December 07-10, 1997, Atlanta, Georgia, United States
	Paul A. Fishwick, Simulation model design, Proceedings of the 26th conference on Winter simulation, p.173-175, December 11-14, 1994, Orlando, Florida, United States
	Frederick K. Frantz, A taxonomy of model abstraction techniques, Proceedings of the 27th conference on Winter simulation, p.1413-1420, December 03-06, 1995, Arlington, Virginia, United States
	Howard W. Beck , Paul Fishwick , Glen Smerage, A database design for uniform representation of hypermedia and mathematical models, Proceedings of the 26th conference on Winter simulation, p.619-624, December 11-14, 1994, Orlando, Florida, United States
	Francesco Amigoni , Nicola Gatti, A formal framework for connective stability of highly decentralized cooperative negotiations, Autonomous Agents and Multi-Agent Systems, v.15 n.3, p.253-279, December 2007
	Paul A. Fishwick, Multimodeling as a unified modeling framework, Proceedings of the 25th conference on Winter simulation, p.580-581, December 12-15, 1993, Los Angeles, California, United States
	Hessam S. Sarjoughian, Model composability, Proceedings of the 37th conference on Winter simulation, December 03-06, 2006, Monterey, California
	Andrew L. Feller , Teresa Wu , Dan L. Shunk , John Fowler, Petri net translation patterns for the analysis of ebusiness collaboration messaging protocols, IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, v.39 n.5, p.1022-1034, September 2009

INDEX TERMS

Primary Classification:
I. Computing Methodologies
I.6 SIMULATION AND MODELING
I.6.5 Model Development
Subjects: Modeling methodologies

Additional Classification:
D. Software
D.2 SOFTWARE ENGINEERING
D.2.1 Requirements/Specifications
Subjects: Methodologies (e.g., object-oriented, structured)
D.2.10 Design**
Subjects: Methodologies**; Representation**
D.2.2 Design Tools and Techniques
Subjects: Computer-aided software engineering (CASE)

I. Computing Methodologies
I.2 ARTIFICIAL INTELLIGENCE
I.2.0 General
Subjects: Cognitive simulation
I.2.4 Knowledge Representation Formalisms and Methods
Subjects: Representations (procedural and rule-based)
I.6 SIMULATION AND MODELING
I.6.8 Types of Simulation
Subjects: Combined; Discrete event

General Terms:
Design, Theory

REVIEW

"Daniel J. Schuster : Reviewer"

Software and simulation engineers, artificial intelligence practitioners, students, and educators all simulate systems. Work in each field is insular, and not much has been written about creating models. The author says a common framework is n more...

Collaborative Colleagues:

Paul A. Fishwick: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player