In this paper we briefly present our views on composability of models and interoperation of simulations; we introduce our simulation software framework, namely Simulation Modelling Architecture (SiMA), and we present our contributions to the underlying formal model (i.e. discrete event system specification). We also present our simulation construction environment, which supports composability of simulation models through a simulation construction tool chain. Finally, we provide a case study where a sample simulation scenario is used to demonstrate the features of our SiMA environment that facilitate composability of simulation models.
OtterMElmqvistH. The Dsblock model interface for exchanging model components. In: proceedings of EUROSIM’95, 1995, pp.505–510.
3.
The Mathworks Inc. Using Simulink, version 5.0.2. Natick, MA: The Mathworks Inc., April2003.
4.
ZeiglerBPPraehoferHKimTG. Theory of modeling and simulation. 2nd ed.Academic Press, 2000. San Diego, USA.
5.
ChenGSzymanskiBK. COST: a component-oriented discrete event simulator. In: proceedings of the 2002 winter simulation conference, 2002, pp.776–782.
6.
BussA. component-based simulation modelling with SIMKIT. In: proceedings of the 2002 winter simulation conference, 2002, pp.243–249.
7.
PageEHOpperJM. Observations on the complexity of composable simulations. In: proceedings of the 1999 winter simulation conference, 1999, pp.553–560.
8.
KasputisSNgHC. Composable simulations. In:JoinesJABartonRRKangK. (eds) proceedings of the 2000 winter simulation conference, 2000, pp.1577–1584.
9.
TolkATurnitsaCDDalloSY. Composable M&S web services for net-centric applications. J Defense Model Simulat2006; 3: 27–44.
10.
YilmazL. Models to improve reuse and composability of defense simulations. J Defense Model Simulat2004; 1: 141–151.
11.
SarjoughianHS. Model composability. In: Felipe PerroneLLawsonBGLiuJ. (eds) proceedings of the 2006 winter simulation conference (WSC ‘06), 2006, pp.149–158.
12.
DavisPKTolkA. Observations on new developments in composability and multiresolution modeling. In: proceedings of the 2007 winter simulation conference, IEEE Press, 2007, pp.859–870.
13.
CardelliL. Type systems. In: CRC handbook of science and engineering. 2nd ed.2004, Ch. 97. Chapman and Hall/CRC, Bowdoin College, Brunswick, Maine, USA
YilmazL. On the need for contextualized introspective simulation models to improve reuse and composability of defense simulations. J Defense Model Simulat2004; 1: 135–145.
16.
TolkADialloS. Model-based data engineering for web services. In: Evolution of the web in artificial intelligence environments. 2008, pp.37–161. Springer-Verlag, Berlin, Heidelberg
17.
PraehoferH. System theoretic foundations for combined discrete – continuous system simulation. PhD Thesis, J Keper University of Linz, 1991.
18.
KofmanELapadulaMPaglieroE. PowerDEVS: a DEVS–based environment for hybrid system modeling and simulation. Technical Report LSD0306, Universidad Nacional de Rosario, 2003.
19.
ZeiglerBP, Theory of Modeling and Simulation, First ed., 1976, Wiley Interscience, New York.
20.
KaraADenizFBozagacCD. Simulation modeling architecture (SiMA), a DEVS based modeling and simulation framework. In: proceedings of summer computer simulation conference (SCSC’09), SCS, 2009, pp.315–321.
21.
FujimotoRMWeatherleyRM. Time management in the DoD high level architecture. In: proceedings of PADS’96, 1996, pp.60–67.
22.
HwangMH. Identifying equivalence of DEVSs: language approach. In: proceedings of 2003 summer computer simulation conference, Society for Computer Simulation International, 2003, pp.319–324.
23.
HwangMH. Equivalence and minimization of output augmented DEVS. In: proceedings of 2003 IEEE conference on system, man, and cybernetics, IEEE, 2003, pp.409–414.
24.
HwangMHChoSK. Timed behavior analysis of schedule preserved DEVS. In: proceedings of 2004 summer computer simulation conference, Society for Computer Simulation International, 2004, pp.173–178.
25.
UhrmacherAM. Dynamic structures in modeling and simulation: a reflective approach. ACM Trans Model Comput Simulat2001; 11: 206–232.
26.
BaatiLFrydmanCGiambiasiN. LSIS_DME MS environment extended by dynamic hierarchical structure DEVS modeling approach. In: proceedings of the 2007 spring simulation multiconference, Norfolk, VA, Volume 2, 25–29 March 2007, pp.227–234.
27.
BarrosFJ. Dynamic structure discrete event system specification: formalism, abstract simulators and applications. Trans Soc Comput Simulat1996; 13: 35–46.
28.
BarrosFJ. Modeling formalisms for dynamic structure systems. ACM Trans Model Comput Simulat1997; 7: 501–515.
29.
DenizFKaraAAlpdemirMN. Variable structure and dynamism extensions to SiMA a DEVS based modeling -and simulation framework. In: proceedings of summer computer simulation conference (SCSC’09), SCS, 2009, pp.117–124.
30.
SzaboCTeoYM. An Approach for validation of semantic composability in simulation models. In: proceedings of the 2009 ACM/IEEE/SCS 23rd workshop on principles of advanced and distributed simulation (PADS ‘09), IEEE Computer Society, Washington, DC, 2009, pp.3–10.
31.
BartholetRGBroganDCReynoldsPF. The computational complexity of component selection in simulation reuse. In: KuhlMESteigerNMArmstrongFB. (eds) proceedings of the 2005 winter simulation conference, 2005, pp.2472–2481.
32.
AhnJHSeokMGSungCH. Hierarchical federation composition for information hiding in HLA-based distributed simulation. In: proceedings of the 2010 IEEE/ACM 14th international symposium on distributed simulation and real time applications (DS-RT ‘10), IEEE Computer Society, Washington, DC, 2010, pp.223–226.
33.
Al-ZoubiKWainerGA. RISE: REST-ing heterogeneous simulations interoperability. In: proceedings of the winter simulation conference 2010, 2010, pp.2968–2980.
