![](bg7.png)
Figure 6: Conceptual model of computer network is
transformed to Petri net.
9 CONCLUSIONS
So we considered ontological approach using by the
developers of simulation system.
Ontological approach was applied for automation
of several steps of simulation process: redefining of
simulation model, adjusting of conceptual simulation
model to a specific domain (embedded DSL
component). Moreover one more very important step
of simulation process was implemented in TriadNS:
verification and validation. Special software
component build ontology of errors. After the step of
translation this component carries out the elimination
of errors due to rules specified in ontology.
Thus the automation of these steps allows
investigators to carry out simulation in convenient
software environment, to involve in simulation
process specialists in various specific domains and in
this way to receive more adequate simulation models
and appropriate results. Moreover ontological
approach help to reduce the overall time needed for
simulation.
ACKNOWLEDGMENTS
The reported study was funded by RFBR according
to the research project № 18-01-00359.
REFERENCES
Balci, O., 1998. Verification, Validation, and
Accreditation. Proceedings of the 1998 Winter
Simulation Conference. D.J. Medeiros, E.F. Watson,
J.S. Carson and M.S. Manivannan, eds., Grand Hyatt
Washington, Washington DC, pp.41-48.
Balci, O., Nance, R. E., Arthur J. D., 2002. Expanding Our
Horizons In Verification, Validation And Accreditation
Research and Practice Proceedings of the 2002 Winter
Simulation Conference E. Yücesan, C.-H. Chen, J. L.
Snowdon, and J. M. Charnes, eds., WSC 2002, San
Diego, California, pp.653-663.
Law, A. M., McComas, M. G., 2001. How to build valid
and credible simulation models. In Proc. 2001 Winter
Simulation Conf., ed. B.A. Peters, J. S. Smith, D. J
Medeiros, and M. W. Rohrer, Piscataway, New Jersey:
IEEE. pp. 22-29.
Sargent, R. G., 2005. Verification and validation of
simulation models. Proceedings of Winter Simulation
Conf., ed. M. E. Kuhl, N. M. Steiger, F. B. Armstrong,
and J. A. Joines, Piscataway, New Jersey, 2005: IEEE
pp.130-143.
Sargent, R. G. 2007. Verification and Validation of
Simulation Models. Proceedings of Winter Simulation
Conf., S. G. Henderson, B. Biller, M.-H. Hsieh, J.
Shortle, J. D. Tew, and R. R. Barton, eds., J.W. Marriott
Hotel, Washington, 2007, pp.124-137
Salmon, S., Aarag, H., 2011. Simulation Based
Experiments Using Ednas: The Event-Driven Network
Аrchitecture Simulator. In Proceedings of the 2011
Winter Simulation Conference S. Jain, R.R. Creasey, J.
Himmelspach, K.P. White, and M. Fu, eds.. The 2011
Winter Simulation Conference 11-14 December 2011
Grand Arizona Resort Phoenix, AZ, pp. 3266-3277
Cetinkaya, D., Verbraeck A., 2011. Metamodeling and
model transformations in modeling and simulation //
Proceedings of the 2011 Winter Simulation Conference,
2011, pp. 3048-3058
Sokolov, B. V., Uysupov, R. M. 2005. Konceptualnye
osnovy kvalimetrii modeley i polimodelnyh
kompleksov//Imitacionnoe modelirovanie. Teoria I
praktika. Sbornik dokladov vtoroi vserossiyskoy
nauchno-prakticheskoi konferencii IMMOD-2005.
Tom 1. Spb..: CNIITS. 2005.-s.65-70.
Zamyatina, E. B., Mikov, A. I., Mikheev, R. A., 2012.
Lingvisticheskie i intellektualnye instrumentalnye
sredstva simulyatora kompiutornyh setei TRIADNS.
International Journal “Information theories &
Applications (IJ ITA). Vol 19, Number 4, 2012, pp.355-
368. ITHEA, Sofia, 1000, P.O.B. 775, Bulgaria.
Zamyatina, E. B., Mikov, A. I., 2012. Programmnye
sredstva imitatsii Triad.Net dlya obespecheniya eyo
Automation of Simulation Steps using Ontological Approach
229