Insertion Programming

Authors:
A. A. Letichevskii;Yu. V. Kapitonova;V. A. Volkov;V. V. Vyshemirskii;A. A. Letichevskii, Jr.
Affiliations:
Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine let@d105.icyb.kiev.ua;Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine kap@d105.icyb.kiev.ua;Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine vlad@d105.icyb.kiev.ua;Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine vladislav.vyshemirsky@iss.org.ua;Information Program Systems Co., Ltd, Kiev, Ukraine let@iss.org.ua
Venue:
Cybernetics and Systems Analysis
Year:
2003

Citing 0
Cited 4

Systems Specification by Basic Protocols

Cybernetics and Systems Analysis
Basic protocols, message sequence charts, and the verification of requirements specifications

Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Basic protocols, message sequence charts, and the verification of requirements specifications

Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Insertion modeling system

PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics

Quantified Score

Hi-index	0.00

Visualization

Abstract

Basic concepts of insertion programming as a new technology of programming are proposed. An insertion program is constructed as a three-level system. The first level is represented by the text of the program in an extended action language. The second level is a function of unfolding agent expressions. The third level is represented by a function of unfolding insertions.