
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
A.I. Concepcion, B.F. Zeigler, "DEVS Formalism: A Framework for Hierarchical Model Development," IEEE Transactions on Software Engineering, vol. 14, no. 2, pp. 228241, February, 1988.  
BibTex  x  
@article{ 10.1109/32.4640, author = {A.I. Concepcion and B.F. Zeigler}, title = {DEVS Formalism: A Framework for Hierarchical Model Development}, journal ={IEEE Transactions on Software Engineering}, volume = {14}, number = {2}, issn = {00985589}, year = {1988}, pages = {228241}, doi = {http://doi.ieeecomputersociety.org/10.1109/32.4640}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Software Engineering TI  DEVS Formalism: A Framework for Hierarchical Model Development IS  2 SN  00985589 SP228 EP241 EPD  228241 A1  A.I. Concepcion, A1  B.F. Zeigler, PY  1988 KW  DEVS; hierarchical model development; discrete event models; distributed simulator architectures; model representation; Discrete Event System Specification; hierarchical model specification; topdown model development; distributed processing; programming theory; software engineering VL  14 JA  IEEE Transactions on Software Engineering ER   
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 topdown 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 multibus multiprocessor architecture," inProc. 1985 SCS MultiConf.: Distributed Simulation, San Diego, CA, Jan. 1985, pp. 813.
[4] A. I. Concepcion, "Distributed simulation on multiprocessors: 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. msuengr85027, 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. 428434.
[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. 365385.
[8] A. I. Concepcion and S. J. Schon, "SAMA 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. CSC82016, 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. 1214, 1983, pp. 267268.
[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: NorthHolland, 1979.
[13] M.M. Denneau, "The Yorktown Simulation Engine,"Proc. Design Automation Conf., 1982, pp. 5359.
[14] M. Hamilton and S. Zeldin, "Higher order softwareA methodology for defining software,"IEEE Trans. Software Eng., vol. SE2, no. 1, pp. 932, Mar. 1976.
[15] P. H. Hogeweg, "Locally synchronised development systems,"Int. J. General Syst., vol. 6, pp. 5773, 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. 411432, 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. 203221, 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. 163176, 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. CS81003R, 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. 190201, 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. 10531058.
[24] D. L. Parnas, "Designing software for ease of extension and contraction,"IEEE Trans. Software Eng., vol. SE5, no. 2, pp. 128137, 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. 401408, 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. 4456, 1979.
[27] J. R. Pimentel, "Realtime simulation using multiple microcomputer,"Simulation, pp. 93104, Mar. 1983.
[28] P. F. Reynolds, "Active logical processes and distributed simulation: an analysis," inProc. 1983 Winter Simulation Conf., Dec. 1983, pp. 262264.
[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. 270277.
[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, "Multilevel multiformalism 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. 37.
[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.