Dynamic structures in modeling and simulation: a reflective approach

ABSTRACT

As the number of flexible, adaptable systems grows so does the need for specification and analysis tools that support adaptable system structures. The increasing number of simulation tools that equip models with the capability of changing their behavior patterns, composition, and interactions raises the desire for a theoretical and methodological approach. A formalism is introduced based on DEVS which emphasizes the reflective nature of variable structure models. The proposed formalism and DEVS are shown to be bisimilar, which emphasizes the role of variable structure models as an agency of modularization. The formalism is used to reveal general problems and solutions in implementing variable structure models.

REFERENCES

• 1: A. Asperti , N. Busi, Mobile Petri Nets, University of Bologna, 1996
• 2: F. J. Barros, The dynamic structure discrete event system specification formalism, Transactions of the Society for Computer Simulation International, v.13 n.1, p.35-46, March 1996
• 3: Fernando J. Barros, Modeling formalisms for dynamic structure systems, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.7 n.4, p.501-515, Oct. 1997 [doi>10.1145/268403.268423]
• 4: François E. Cellier, Combined continuous/discrete simulation: applications, techniques and tools, Proceedings of the 18th conference on Winter simulation, p.24-33, December 08-10, 1986, Washington, D.C., United States [doi>10.1145/318242.318256]
• 5: Francois E. Cellier, Continuous System Modeling, Springer-Verlag New York, Inc., Secaucus, NJ, 1991
• 6: CELLIER,F.AND ELMQUIST, H. 1993. Automated formula manipulation supports objectoriented continuous system modeling. IEEE Control Syst. 28, 2, 28-29.
• 7: CELLIER,F.AND MUGICA, F. 1995. Inductive reasoning supports the design of fuzzy controllers. J. Intell. Fuzzy Syst. 3, 1, 71-85.
• 8: DANILOW-DANILYAN, V., TOLMACHEV, I., AND SHURSHALOV, V. 1984. On the problem of simulation of systems with changing structure. In Systems Research - Methodological Problems, J. Guishiani, Ed. Pergamon Press, Inc., Elmsford, NY.
• 9: DOMINGO, C., TONELLA, G., AND TERAN, O. 1996. Generating scenarios by structural simulation. In Proceedings of the 1996 Conference on Artificial Intelligence, Simulation and Planning of High Autonomous Systems (Univ. of Arizona, Tucson). 331-335.
• 10: ELMQUIST, H., CELLIER, F., AND OTTER, M. 1995. Object-oriented modeling of hybrid systems. In Proceedings of the 9th Annual SCS European Multiconference on Simulation (ESM '95, Delft, The Netherlands). 31-39.
• 11: FERBER,J.AND CARLE, P. 1992. Actors and agents as reflective concurrent objects: A Mering IV perspective. IEEE Trans. Syst. Man Cybern. 21,6.
• 12: HOGEWEG,P.AND HESPER, B. 1986. Knowledge seeking in variable structure models. In Modelling and Simulation Methodology in the Artificial Intelligence Era, M. Elzas, B. Zeigler, and T. Oeren, Eds. Elsevier Sci. Pub. B. V., Amsterdam, The Netherlands, 227-243.
• 13: HOGEWEG,B.AND HESPER, B. 1989. An adaptive, self-modifying, non-goal modeling architecture. In Modelling and Simulation Methodology - Knowledge Systems Paradigm,B. Zeigler, M. Elzas, and T. Oeren, Eds. Elsevier North-Holland, Inc., Amsterdam, The Netherlands.
• 14: Mamdouh H. Ibrahim, Reflection and metalevel architectures in object-oriented programming (workshop session), Proceedings of the European conference on Object-oriented programming addendum : systems, languages, and applications: systems, languages, and applications, p.73-80, October 1990, Ottawa, Canada [doi>10.1145/319016.319050]
• 15: KLEE, A., MOHRING, M., AND STROTMANN, V. 1994. The modelling and simulation of the dynamic change of structure in birth/death processes. In Advances in Statistical Software, F. Faulbaum, Ed. Gustav Fischer Verlag KG, Stuttgart, Germany, 171-178.
• 16: KLIR, G. 1985. Architecture of Systems Problem Solving. Plenum Press, New York, NY.
• 17: LEE, K., CHOI, K., KIM, J., AND VANSTEENKISTE, G. 1997. A methodology for variable structure system specification: Formalism, framework, and its application to ATM-based network systems. ETRI Journal 18, 4, 245-254.
• 18: NEBOT, A., CELLIER, F., AND LINKENS, D. 1996. Synthesis of an anaesthetic agent administration system using fuzzy inductive reasoning. Artif. Intell. Medicine 8, 3, 147-166.
• 19: OREN, T. 1984. Model-based information technology: Computer and system theoretic foundations. Behav. Sci. 29, 179-185.
• 20: PAWLETTA,T.AND PAWLETTA, S. 1995. Object-oriented simulation of continuous systems with discrete structure changes. In Proceedings of the European Multiconference on Modeling and Simulation (ESM'95). 627-630.
• 21: Benjamin C. Pierce, Basic category theory for computer scientists, MIT Press, Cambridge, MA, 1991
• 22: POLLACK,M.E.AND RINGUETTE, M. 1990. Introducing the Tileworld: Experimentally evaluating agent architectures. In Proceedings of the 8th National Conference on Artificial Intelligence (AAAI-90, Boston, MA). MIT Press, Cambridge, MA, 183-189.
• 23: PRAEHOFER, H. 1992. System theoretic foundations for combined discrete-continuous system simulation. Ph.D. Dissertation. Johannes Kepler University, Linz, Austria.
• 24: J. J.M.M. Rutten, Automata and coinduction (an exercise in coalgebra), CWI (Centre for Mathematics and Computer Science), Amsterdam, The Netherlands, 1998
• 25: SAVATSKY,K.AND REYNOLDS, R. G. 1989. A hierarchical model of the evolution of cooperation in cultural systems. Biosystems 23, 2, 261-281.
• 26: Adelinde M. Uhrmacher, Concepts of object- and agent-oriented simulation, Transactions of the Society for Computer Simulation International, v.14 n.2, p.59-67, June 1997
• 27: UHRMACHER, A. 2000. A system theoretic approach to constructing test beds for multi-agent systems. In A Tapestry of Systems and AI-Based Mdeling and Simulation Theories and Methodologies: A Tribute to the 60th Birthday of B. P. Zeigler, F. Cellier and H. Sarjoughian, Eds. Springer-Verlag, New York, NY.
• 28: A. M. Uhrmacher , K. Gugler, Distributed, parallel simulation of multiple, deliberative agents, Proceedings of the fourteenth workshop on Parallel and distributed simulation, p.101-108, May 28-31, 2000, Bologna, Italy
• 29: UHRMACHER,A.AND SCHATTENBERG, B. 1998. Agents in discrete event simulation. In Proceedings of the European Symposium on Simulation (ESS '98, Nottingham, England, Oct.). Society for Computer Simulation, San Diego, CA.
• 30: Adelinde M. Uhrmacher , Petra Tyschler , Dirk Tyschler, Modeling and simulation of mobile agents, Future Generation Computer Systems, v.17 n.2, p.107-118, Oct. 2000 [doi>10.1016/S0167-739X(99)00107-7]
• 31: UHRMACHER, A. M. 1995. Reasoning about changing structure: A modeling concept for ecological systems. Int. J. Appl. Artif. Intell. 9, 2, 157-180.
• 32: UHRMACHER,A.M.AND ARNOLD, R. 1994. Distributing and maintaining knowledge: Agents in variable structure environment. In Proceedings of the 5th Annual Conference on Artificial Intelligence, Simulation and Planning in High Autonomy Systems (San Diego, CA, Dec.). IEEE Computer Society Press, Los Alamitos, CA, 178-184.
• 33: VAN WELDEN, D., KERCKHOFFS, E., AND VANSTEENKISTE, G. 1999. Automatic recoding in a fuzzy inductive reasoner. In Proceedings of the 13th European Multiconference on Simulation (ESM '99), H. Szczerbicka, Ed. 348-354.
• 34: VASCONCELOS,M.AND ZEIGLER, B. P. 1993. Simulation of forest landscape response to fire disturbances. Ecological Modeling 65, 177-198.
• 35: Bernard P. Zeigler, Multifacetted modelling and discrete event simulation, Academic Press Professional, Inc., San Diego, CA, 1984
• 36: ZEIGLER, B. P. 1986. Toward a simulation methodology for variable structure modeling. In Modelling and Simulation Methodology in the Artificial Intelligence Era, M. Elzas, B. Zeigler, and T. Oeren, Eds. Elsevier Sci. Pub. B. V., Amsterdam, The Netherlands, 195-210.
• 37: ZEIGLER, B. P. 1989. Concepts for distributed knowledge maintenance in variable structure models. In Modelling and Simulation Methodology - Knowledge Systems Paradigm,B. Zeigler, M. Elzas, and T. Oeren, Eds. Elsevier North-Holland, Inc., Amsterdam, The Netherlands, 45-54.
• 38: Bernard P. Zeigler, Object-oriented simulation with hierarchical, modular models: intelligent agents and endomorphic systems, Academic Press Professional, Inc., San Diego, CA, 1990
• 39: ZEIGLER, B. P. 1996. A framework for modeling and simulation. In Applied Modeling and Simulation: An Integrated Approach to Development and Operation, D. Cloud and L. Rainey, Eds. US Air Force, Bethesda, Md..
• 40: Bernard P. Zeigler , Tuncer I. Ören, Multifaceted, multiparadigm modeling perspectives: tools for the 90's, Proceedings of the 18th conference on Winter simulation, p.708-712, December 08-10, 1986, Washington, D.C., United States [doi>10.1145/318242.318513]
• 41: Bernard P. Zeigler , Herbert Praehofer, Systems Theory Challenges in the Simulation of Variable Structure and Intelligent Systems, Selection of Papers from the International Workshop on Computer Aided Systems Theory, p.41-51, February 26-March 04, 1989
• 42: Bernard P. Zeigler , Tag Gon Kim , Chilgee Lee, Variable structure modelling methodology: an adaptive computer architecture example, Transactions of the Society for Computer Simulation International, v.7 n.4, p.291-318, Dec. 1990
• 43: Bernard P. Zeigler , Tag Gon Kim , Herbert Praehofer, Theory of Modeling and Simulation, Academic Press, Inc., Orlando, FL, 2000

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.6 SIMULATION AND MODELING

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

  I. Computing Methodologies
  I.6 SIMULATION AND MODELING

General Terms:
Design, Experimentation

Keywords:
DEVS, bisimulation, modeling and simulation formalism, reflection, variable structure models