Partial evaluation in insertion modeling system

V.S. Peschanenko

Abstract


The paper relates to practical aspects of insertion modeling. Insertion modeling system is an environment for development of insertion machines, used to represent insertion models of distributed systems. The notions of insertion modeling are stated. The main features of partial evaluation are described in the paper. The concep-tion of partial evaluation in insertion modeling is presented.

Problems in programming 2013; 1: 14-22


Full Text:

PDF

References


Letichevsky A.A., Gilbert D.R. A universal interpreter for nondeterministic concurrent programming languages // Fifth Compulog

network area meeting on language design and semantic analysis methods, 1996.

Letichevsky A., Gilbert D. A general theory of action languages // Cybernetics and System Analyses. – 1998. – Vol. 1. – P. 16–36.

Letichevsky A., Gilbert D. A Model for Interaction of Agents and Environments // [In D. Bert, C. Choppy, P. Moses, (eds.)] Recent Trends in Algebraic Development Techniques. – Springer 1999 (LNCS). – Vol. 1827. – P. 311–328.

Letichevsky A. Algebra of behavior transformations and its applications // [In V.B. Kudryavtsev and I.G. Rosenberg (eds)] Structural theory of Automata, Semigroups, and Universal Algebra, NATO Science Series II. Mathematics, Physics and Chemistry. – Springer 2005. – Vol 207. – P. 241–272.

Baranov S., Jervis C., Kotlyarov V., Letichevsky A., and Weigert T. Leveraging UML to Deliver Correct Telecom Applications // [In L. Lavagno, G. Martin, and B.Selic, (eds.)] UML for Real: Design of Embedded RealTime Systems. Kluwer, Amsterdam: Academic Publishers, 2003.

Letichevsky A., Kapitonova J., Letichevsky A. jr., Volkov V., Baranov S., Kotlyarov V., Weigert T. Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications // Computer Networks. – 2005. – Vol. 47. – P. 662–675.

Kapitonova J., Letichevsky A., Volkov V., and Weigert T. Validation of Embedded Systems // [In R. Zurawski, (eds.)] The Embedded Systems Handbook. Miami: CRC Press, 2005.

Letichevsky A., Kapitonova J., Volkov V., Letichevsky A. jr., Baranov S., Kotlyarov V., and Weigert T. System Specification with Basic

Protocols // Cybernetics and System Analyses. – 2005. – Vol. 4. – P. 479–493.

Letichevsky A., Kapitonova J., Kotlyarov V., Letichevsky A. jr., Nikitchenko N., Volkov V., and Weigert T. Insertion modeling in distributed system design // Problems of Programming. – 2008. – Vol. 4. – P. 13–39.

Milner R. Communication and Concurrency // Prentice Hall, 1989.

Milner R. Communicating and Mobile Systems: the Pi Calculus / R. Milner Cambridge University Press 1999.

Hoare C.A.R. Communicating Sequential Processes // Prentice Hall, 1985.

Cardelli L. Mobile Ambients. In Foundations of Software Science and Computational Structures // [Gordon Maurice Nivat (eds.)]. –

Springer 1998 (LNCS). – Vol. 1378. – P. 140–155.

Gurevich Y. Evolving Algebras 1993: Lipari Guide // [In E. Borger (eds.)] Specificationand Validation Methods. – Oxford University

Press. – 1995. – P. 9–36.

Hoare C.A.R. Unifying Theories of Programming // He Jifeng Prentice Hall International Series in Computer Science, 1998.

Meseguer J. Conditional rewriting logic as a unified model of concurrency // Theoretical Computer Science. – 1992. – P. 73–155.

Letichevsky A., Kapitonova J., Volkov V., Vyshemirsky V., Letichevsky A. jr. Insertion programming // Cybernetics and System

Analyses. – 2003. – Vol. 1. – P. 19–32.

Kapitonova J.V., Letichevsky A.A., and Konozenko S.V. Computations in APS // Theoretical Computer Science. – 1993. – P. 145–171.

Letichevsky A.A., Letychevskyi O.A., Peschanenko V.S. Insertion Modeling System // PSI 2011, Lecture Notes in Computer Science, Vol. 7162, Springer, 2011. – P. 262–274.

VRS Tool [http://www.issukraine.com/ ISS_VRS_tool.htm].

Methodical Program Complex TerM 7-9 [http://riit.ksu.ks.ua/index.php?q=en/node/228].

Kobets V.M. Introduction of information technologies knowledge control from economical disciplines // Informatin Technologies in Education. – 2019. – Vol. 3, – P. 123–127.

Neil D. Jones, Carsten K. Gomard, and Peter Sestoft: Partial Evaluation and Automatic Program Generation, Prentice Hall International, 1993.

APS&IMS system [http://apsystem.org.ua].

Letichevsky A., Letichevsky A. Jr, V. Peschanenko. Translation Algorithm of APLAN code // Control's Machines and Systems. – 2010. – Vol. 6. – P. 40–46.


Refbacks

  • There are currently no refbacks.