Insertion Modeling and Its Applications

Computer Science Journal of Moldova

Vladimir Peschanenko¹  Alexander Letichevsky²  Oleksandr Letychevskyi² 

[1] Kherson State University of Ukraine, 27, 40 rokiv Zhovtnya St., Kherson, Ukraine 73000;V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine, 40 Glushkov ave., Kyiv, Ukraine, 03187;

关键词: process algebra;    insertion modeling;    formal models;    verification;   

DOI  :  

来源: DOAJ

【 摘 要 】

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.

【 授权许可】

Unknown