This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
DEVS Formalism: A Framework for Hierarchical Model Development
February 1988 (vol. 14 no. 2)
pp. 228-241

A methodology is being developed to map hierarchical, modular discrete event models onto distributed simulator architectures. Concept developed for the first step of the methodology concerning model representation are discussed. The DEVS (Discrete Event System Specification) is extended to facilitate modular, hierarchical model specification. Procedures for top-down model development are expressed with the extended formalism and illustrated with a computer system model design.

[1] Y. Bressy, M. Humbert, and M. Mermet, "Discrete and continuous simulation mechanisms of dynamic systems with ODYSSEE," Laboratoire Artemis, Institut IMAG, France, Tech. Rep., 1984.
[2] M. Barel, "A flexible high performance multiprocessor for data network simulation," Technical Univ. Aachen, Aachen, West Germany, Tech. Rep., 1983.
[3] A. I. Concepcion, "Mapping distributed simulators onto the hierarchical multi-bus multiprocessor architecture," inProc. 1985 SCS MultiConf.: Distributed Simulation, San Diego, CA, Jan. 1985, pp. 8-13.
[4] A. I. Concepcion, "Distributed simulation on multi-processors: Specification, design, and architecture," Ph.D. dissertation, Wayne State Univ., Jan. 1985.
[5] A. I. Concepcion, "Distributed modelling and simulation: A review," Dep. Comput. Sci., Michigan State Univ., Tech. Rep. msu-engr-85-027, 1985.
[6] A. I. Concepcion, "The implementation of the hierarchical abstract simulator on the HEP computer," inProc. 1985 Winter Simulation Conf., San Francisco, CA, Dec. 1985, pp. 428-434.
[7] A. I. Concepcion, D.-K. Baik, and B. P. Zeigler, "Distributed simulation of hierarchical models," inProc. Workshop Parallel Processing Using the HEP, Norman, OK, Mar. 1985, pp. 365-385.
[8] A. I. Concepcion and S. J. Schon, "SAM--A computer aided design tool for specifying and analyzing modular, hierarchical systems," inProc. 1986 Winter Simulation Conf., 1986.
[9] A. I. Concepcion and B. P. Zeigler, "Distributed simulation of distributed system models," Dep. Comput. Sci., Wayne State Univ., Tech. Rep. CSC-82-016, Dec. 1982.
[10] A. I. Concepcion and B. P. Zeigler, "Extended DEVS for topdown modelling in distributed simulation,"Int. J. Modelling and Simulation, vol. 5, no. 4, pp. 139- 144, 1985.
[11] D. Davidson and P. Reynolds, "Performance analysis of distributed simulation based on active logical processes," inWinter Simulation Conf. Proc., Dec. 12-14, 1983, pp. 267-268.
[12] L. Dekker, E. J. H. Kerchoffs, G. C. Vansteenkiste, and J. C. Zuidervaart, "Outline of a future parallel simulator," inProc. IMACS Congress Simulation of Systems. Amsterdam, The Netherlands: North-Holland, 1979.
[13] M.M. Denneau, "The Yorktown Simulation Engine,"Proc. Design Automation Conf., 1982, pp. 53-59.
[14] M. Hamilton and S. Zeldin, "Higher order software--A methodology for defining software,"IEEE Trans. Software Eng., vol. SE-2, no. 1, pp. 9-32, Mar. 1976.
[15] P. H. Hogeweg, "Locally synchronised development systems,"Int. J. General Syst., vol. 6, pp. 57-73, 1980.
[16] P. H. Hogeweg, "Two predators and one prey in a patchy environment: An application of MICMAC modelling,"J. Theor. Biol., vol. 93, pp. 411-432, 1981.
[17] T. Hoshino, T. Kawai, T. Shirakawa, J. Higashino, A. Yamaoka, H. Ito, T. Sato, and K. Sawada, "PACS: A parallel microprocessor array for scientific calculations,"ACM Trans. Comput. Syst., vol. 1, pp. 203-221, Aug. 1983.
[18] R. P. Kurshan and B. Gopinath, "The selection/resolution model for concurrent processes," Bell Laboratories, Tech. Rep., 1983.
[19] M. Melman and M. Livny, "The DISS methodology of distributed system simulation,"Simulation, pp. 163-176, Apr. 1984.
[20] M. Mesarovic and I. Takahara,Theory of Hierarchical Control. New York: Academic, 1975.
[21] R. E. Nance, "Model representation in discrete event simulation: the conical methodology," VPISU, Blacksburg, VA, Tech. Rep. CS81003-R, 1981.
[22] C. M. Overstreet and R. E. Nance, "A specification language to assist in analysis of discrete event simulation models,"Commun. ACM, vol. 28, no. 2, pp. 190-201, Feb. 1985.
[23] Parnas, D.L. 1972. On the Criteria to be Used in Decomposing Systems into Modules,Communications of the ACM, Vol.15, pp. 1053-1058.
[24] D. L. Parnas, "Designing software for ease of extension and contraction,"IEEE Trans. Software Eng., vol. SE-5, no. 2, pp. 128-137, Mar. 1979.
[25] D. L. Parnas and D. P. Siewiorek, "Use of the concept of transparency in the design of hierarchically structured systems,"Commun. ACM, vol. 18, no. 7, pp. 401-408, July 1975.
[26] J. K. Peacock, J. W. Wong, and E. Manning, "Distributed simulation using a network of processors,"Comput. Networks, vol. 3, no. 1, pp. 44-56, 1979.
[27] J. R. Pimentel, "Real-time simulation using multiple microcomputer,"Simulation, pp. 93-104, Mar. 1983.
[28] P. F. Reynolds, "Active logical processes and distributed simulation: an analysis," inProc. 1983 Winter Simulation Conf., Dec. 1983, pp. 262-264.
[29] H. A. Simon, "The organization of complex systems," inHierarchy Theory, H. H. Patee, Ed. New York: Braziller, 1973.
[30] D. L. Wyatt, S. Sheppard, and R. E. Young, "An experiment in microprocessor based distributed digital simulation," inProc. 1983 Winter Simulation Conf., Arlington, VA, Dec. 1983, pp. 270-277.
[31] W. Wymore, "A mathematical theory of systems design," College Eng., Univ. Arizona, Tucson, Tech. Rep., 1980.
[32] K. Yamamoto, "On distributed simulation," Inst. Inform. Sci., Keio Univ., Japan, Tech. Rep., 1981.
[33] B. P. Zeigler, "Multi-level multi-formalism modelling: An ecosystem example," inTheoretical Systems Ecology, E. Halfon, Ed. New York: Academic, 1979.
[34] B. P. Zeigler,Multifaceted Modelling and Discrete Event Simulation. London: Academic, 1984.
[35] B. P. Zeigler,Theory of Modelling and Simulation. Malabar, FL: Krieger, 1984.
[36] B. P. Zeigler, "Discrete event simulation formalism for model based distributed simulation," inProc. 1985 SCS MultiConf.: Distributed Simulation, San Diego, CA, Jan. 1985, pp. 3-7.
[37] B. P. Zeigler and A. Barto, "Alternative formalisms for bio- and ecosystem modelling," inNew Directions in the Analysis of Ecological Systems, vol. 2,Simulation Councils, 1977.
[38] B. P. Zeigler and A. Barto, "The Zycad logic evaluator: Product description," Zycad Corp., N. doseville, MN, 1983.

Index Terms:
DEVS; hierarchical model development; discrete event models; distributed simulator architectures; model representation; Discrete Event System Specification; hierarchical model specification; top-down model development; distributed processing; programming theory; software engineering
Citation:
A.I. Concepcion, B.F. Zeigler, "DEVS Formalism: A Framework for Hierarchical Model Development," IEEE Transactions on Software Engineering, vol. 14, no. 2, pp. 228-241, Feb. 1988, doi:10.1109/32.4640
Usage of this product signifies your acceptance of the Terms of Use.