2006 DEVS Symposium Session Layout

(Tentative Schedule)

Joint ADS/DEVS/MMS Keynote

·        DEVS Agents to Support Conformance Testing of Emerging Defense Information Standards

Speaker: Bernard P. Zeigler (zeigler@ece.arizona.edu)

DEVS Symposium Keynote

·        Title: Domain-specific Multi-Paradigm Modeling

Speaker: Hans Vangheluwe (hv@cs.mcgill.ca)

Joint DEVS/HPC Plenary Talk

·        Title: Integrating DEVS and Modern Parallel Discrete Event Simulation Technology

Speaker: James Nutaro (nutarojj@ornl.gov)

Session 1: DEVS Foundation Session 

·        Simulation Interoperability Across Parallel DEVS Models Expressed in Multiple Programming Languages 

Authors:  Thomas Wutzler Hessam S. Sarjoughian (Hessam.Sarjoughian@asu.edu) 

·        Coupling Permutation and Model Migration Based on Dynamic and Adaptive Coupling Mechanisms 

Authors:  Sunwoo Park and C. Anthony Hunt (spark4@itsa.ucsf.edu) 

·        A Framework for Visual Specification and Simulation of Cellular Systems 

Authors:  Ernesto Posse, Alexandre Muzy, Hans Vangheluwe (hv@cs.mcgill.ca) 

Session 2: Formal Analysis

·        Making DEVS Models Amenable to Formal Analysis 

Authors:  Mamadou K. Traoré (traore@isima.fr) 

·        Simulation Semantics For Dynamic Hierarchical Structure DEVS Model 

Authors:  L. Baati, C. Frydman, N. Giambiasi (claudia.frydman@lsis.org) 

·        A Reachable Graph of Finite and Deterministic DEVS Networks 

Authors:  Moon Ho Hwang and Bernard P. Zeigler (mhhwang@ece.arizona.edu) 

·        A Modular Verification Framework Based on Finite and Deterministic DEVS 

Authors:  Moon Ho Hwang and Bernard P. Zeigler (mhhwang@ece.arizona.edu) 

Session 3: Joint DEVS/MMS session

·        Representing Military Mission with Discrete Event Formalism

Authors:Karine Andrien, Jean Caussanel, Norbert Giambiasi

·        DEVS for Modeling of Realistic Human Behavior

Authors: C.Frydman, N. Giambiasi, M. Seck

·        Parametric Behavior Modeling Framework for War Game Models Development Using OO Co-Modeling Methodology 

Authors:  Jae-Hyun Kim and Tag Gon Kim (tkim@ee.kaist.ac.kr) 

Session 4: Joint DEVS/HPC Session

·        DEVS/RMI—A Dynamic and Flexible Distributed Simulation Environment 

Authors:  Ming Zhang, Bernard P. Zeigler, and Phillip Hammonds (mingz@ece.arizona.edu) 

·        RAPIDS 4.0: A simulation/emulation tool for dependability analysis,

Authors: V. Lakamraju, I. Koren, C. Mani Krishna

·        Transforming DEVS to Non-Modular Form for Faster Cellular Space Simulation 

Authors:  Fahad A. Shiginah and Bernard P. Zeigler (shiginah@ece.arizona.edu) 

Session 5: DEVS Applications

·        Dynamic Multi-resolution Cellular Space Modeling for Forest Fire Simulation 

Authors:  Xiaolin Hu, Lewis Ntaimo (xhu@cs.gsu.edu) 

·        Two-Dimensional Fire Spread Decomposition in Cellular DEVS Models 

Authors:  Lewis Ntaimo,Bithika Khargharia (ntaimo@tamu.edu) 

·        Towards DEVS-Based Simulations of GeoAgent-Based Models with Decentralised Dynamic Properties 

Authors:  António Gonçalves, Luís Correia, Armanda Rodrigues, Maria Alzira Santos (agoncalves@lnec.pt) 

·        Experimental results on the implementation of Modelica using DEVS modeling and simulation 

Authors:  Mariana C. D’Abreu, Gabriel A. Wainer (gwainer@sce.carleton.ca) 

Session 6: DEVS Standardization Session

·        Embedding DEV&DESS in DEVS: Characteristic Behavior of Hybrid Models 

Authors:  Bernard P. Zeigler (zeigler@ece.arizona.edu) 

·        DEVSView: A tool for visualizing CD++ simulation models 

Authors:  Wilson Venhola, Gabriel Wainer (Gabriel.Wainer@sce.carleton.ca) 

Session 7: Modeling and Simulation Methods

·        DEVS, a Formalism to Operationnalize Chronicle Models in the ELP Laboratory 

Authors:  Marc Le Goc, Philippe Bouché and Norbert Giambiasi (marc.legoc@lsis.org) 

·        DEVS-Based Modeling and Simulation in Scientific and Technical Computing Environments 

Authors:  Thorsten Pawletta, Christina Deatcu, Olaf Hagendorf, Sven Pawletta, Gary Colquhoun (pawel@mb.hs-wismar.de) 

·        Web Service Oriented Architecture for DEVS Model Retrieval by System Entity Structure and Segment Decomposition 

Authors:  Saehoon Cheon, Bernard P.Zeigler (cheon@ece.arizona.edu) 

·        Data Coupling and Downcasting in Discrete Event Simulation Software 

Authors:  James Nutaro, Richard Ward, Glenn Allgood, Alexander Parfenov, Jason Holmstedt (nutarojj@ornl.gov) 

Tentative Schedule:

DEVS Agents to Support Conformance Testing of Emerging

Defense Information Standards

Bernard P. Zeigler,

Arizona Center for Integrative Modeling and Simulation, and

Joint Interoperability Test Command

Fort Huachuca, AZ 85613-7051

Using the Agent-Directed Simulation (ADS’06) conference’s definition, “agent-supported simulation deals with the use of agents as a support facility to enable computer assistance in problem solving or enhancing cognitive capabilities.”  In this talk, I will make use of the agent-supported simulation metaphor to show how DEVS modeling and simulation methodology is attaining core-technology status in the infrastructure for standards conformance testing of information technology-based defense systems. The overall context of the talk is the development of automated test case generation for testing new defense systems for conformance to military tactical data link standards (which constitutes a significant and necessary step for evaluating system interoperability in Joint and multinational operations).  In particular, the DEVS formalism has proved capable of capturing the information-processing complexities underlying the MIL-STD-6016C standard for message exchange and collaboration among radar sensors and control systems. An emerging family, the current version already goes beyond specifying basic message formats to constraining dialogic protocols for radar track observation and sharing; extensions are under way to push further into collaborative agent approaches for formation of integrated battle space pictures. Viewed as agent technology for testing the behavior of multi-agent systems, this testing context serves as an apt one to expose the DEVS modeling and simulation methodology as a generic agent-based support facility for enhancing the cognitive capabilities of human testers of complex defense information standards.

Domain-specific Multi-Paradigm Modeling

Hans Vangheluwe

Modeling, Simulation & Design Lab

School of Computer Science

McGill University

Montréal, Québec, Canada H3A 2A7

Engineering (design) and Science (analysis) invariably use models to describe structure as well as behaviour of systems. Models may have components described in different formalisms, and may span different levels of abstraction. In addition, model transformation (notable, onto DEVS models) is often used to transform models into domains/formalisms where certain questions can be easily answered. These various aspects are condensed into the term "multi-paradigm modelling". Recently, the multi-paradigm ideas have been extended into "domain-specific modelling". Using domain-specific modelling environments maximally constrains users, allowing them, by construction, to only build syntactically correct models. Furthermore, the domain-specific, often visual syntax used matches the users' mental model of the problem domain. The time required to construct domain/formalism-specific modelling and simulation environments can however be prohibitive. Thus, rather than using domain-specific environments, users resort to generic environments. Such generic environments are necessarily a compromise.

In this presentation, the foundations of domain-specific multi-paradigm modelling will be presented. It will be shown how all aspects of modelling can be explicitly (meta-)modeled enabling the efficient synthesis of domain-specific multi-paradigm modelling environments. It will be shown how even model transformation can benefit from the modularity and discrete-event nature of DEVS. We will demonstrate the above concepts by means of an example: the modelling, analysis, simulation, and eventual synthesis of software components for Traffic networks. In the examples, AToM^3 (A Tool for Multi-formalism and Meta Modelling) will be used.

Integrating DEVS and Modern Parallel Discrete Event Simulation Technology

James Nutaro

Oak Ridge National Laboratory

Oak Ridge, TN 37831

The Discrete Event System Specification (DEVS) has been, and continues to be, used in large industrial and academic modeling projects. As the size and scope of modeling projects grow, its computational requirements generally increase. When this occurs, it can be advantageous to integrate advanced parallel discrete event simulation technology with an existing, DEVS-based modeling and simulation environment. If this is done effectively, it can bring substantial parallel computing technology to bear on legacy DEVS models while avoiding the cost of rebuilding these models in a new simulation environment. This presentation will discuss some of the opportunities, techniques, and research challenges in integrating DEVS-based M&S tools and modern software for parallel discrete event simulation.