Constraint programming in insertion modeling system

O.A. Letichevsky, O.O. Letychevskyi, V.S. Peschanenko, I.O. Blynov, D.M. Klionov

Abstract


The paper relates to practical aspects of insertion modeling. Insertion modeling system is an environment for the development of insertion machines, used to represent insertion models of distributed systems. The architecture of insertion machines and insertion modeling system IMS is presented. Insertion machine for constraint programming is specified as an example, and as a starting point of ‘verifiable programming’ project.

Problems in programming 2011; 4: 14-22


Full Text:

PDF

References


LeticShevsky 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 Real-Time 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.

R. Milner. 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.

Insertion Modeling System.– http://apsystem.org.ua.

Kozen D. Dynamic Logic / David Harel and Jerzy Tiuryn, 2000.

Hoare C.A.R. An axiomatic basis for computer programming // Communications of the ACM.–1969. – Vol. 12(10). – P. 576–580.

Floyd R.W. Assigning meanings to programs // Proceedings of the American Mathematical Society Symposia on Applied Mathematics , 1967. – Vol. 19. – P. 19–31.

Letichevsky A.A., Kapitonova J.V., Volkov V.A., Vyshemirsky V.V. Insertion Modelling // Cybernetics ans System Anilises .–2003. – Vol. 1. – P. 19–23.

Rossi F., van Beek P., Walsh T. Elsevier Handbook of Constraint Programming // New York, NY, USA: Science Inc, 2006.

Bartak R. Tutorial on Filtering Techniques in Planning and Scheduling // The English Lake District, Cumbria, UK., 2006.

Marriott K., Stuckey P. Programming with Constraints: An Introduction // MIT Press, 1998.

Farmer, Wolf, Goat and Cabbage Problem.–http://wiki.visualprolog.com/index.php?title=Farmer, Wolf, Goat and Cabbage.


Refbacks

  • There are currently no refbacks.