RO  EN
IMI/Publicaţii/CSJM/Ediţii/CSJM v.24, n.3 (72), 2016/

Insertion Modeling and Its Applications

Authors: Alexander Letichevsky, Oleksandr Letychevskyi, Vladimir Peschanenko
Keywords: process algebra, insertion modeling, formal models, verification.

Abstract

The paper relates to the theoretical and practical aspects of insertion modeling. Insertion modeling is a theory of agents and environments interaction where an environment is considered as agent with a special insertion function. The main notions of insertion modeling are presented. Insertion Modeling System is described as a tool for development of different kinds of insertion machines. The research and industrial applications of Insertion Modeling System are presented.

Alexander Letichevsky
V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine
40 Glushkov ave., Kyiv, Ukraine, 03187
Phone: +38 (044) 526-00-58
E-mail:

Oleksandr Letychevskyi
V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine
40 Glushkov ave., Kyiv, Ukraine, 03187
Phone:+38 (044) 526-00-58
E-mail:

Vladimir Peschanenko
Kherson State University of Ukraine
27, 40 rokiv Zhovtnya St., Kherson, Ukraine 73000
Phone: +38 (0552) 32-67-68
E-mail:

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License

Fulltext

Adobe PDF document0.20 Mb