Academia.eduAcademia.edu

Outline

Title
Abstract
Introduction
Conclusion
References

Control network programming development environments

Profile image of tzanko golemanovtzanko golemanov

WSEAS Transactions on Computers

visibility

…

description

15 pages

link

1 file

Abstract

In this paper we discuss the unusual distinctive features of Control Network Programming as a hybrid programming paradigm. We postulate the maxim “Primitives + Control Network = Control Network Program”, and use this observation in the design of programming environments for developing Control Network Programming projects. The various possible approaches to building such environments are the main focus of the paper, together with a relatively detailed presentation of the currently most powerful locally run SpiderCNP environment with graphical editing and tracing, as well as two light-weight and ready-to-use cloud-base environments. An extended survey of cloud compilers and IDEs is also included. environments. An extended survey of cloud compilers and IDEs is also included.

Related papers

Control Network Programming Illustrated: Solving Problems with Inherent Graph-Like Representation
Kostadin Kratchanov

Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008), 2008

Control Network Programming (CNP) is a style of high-level programming created to be especially convenient for solving problems with natural graphlike representation. Showing that this goal has been achieved is the purpose of the current report. CNP solutions to four problems representative of four important problem classes are presented. Most of the problem descriptions are nondeterministic and declarative, without specifying an algorithmic solution. These natural problem descriptions are easily converted into working Control Network programs.

View PDFchevron_right
Control Network Programming: Static Search Control with System Options
Kostadin Kratchanov

Control Network Programming (CNP) is a programming paradigm that is especially convenient for representing problems with a natural graph-like description. This description is often of nondeterministic nature. The report continues the discussion from [1] on how a CN program is interpreted and executed. The basic algorithm of the interpreter is presented. It is followed by a discussion of the so called system options – these are powerful means for user control of the execution process.

View PDFchevron_right
An operating environment for control systems on transputer networks
Albert Schoute, H. Tillema

Proceedings. EUROMICRO `91 Workshop on Real-Time Systems, 1991

View PDFchevron_right
Executable models for Embedded Controllers Development — A Cloud Based Development Framework
Aniko Costa

2015

We present IOPT-Tools, a tool framework for the development of digital controllers based on graphical executable models. The framework supports edition, simulation, verification through state-space querying, and code generation for several hardware platforms, most notably microcontrollers (e.g. Arduino, PIC, and Raspberry Pi) and FPGAs. The tool framework uses a class of Petri nets and is cloud based: the development process is performed using a browser.

View PDFchevron_right
Automating the Development of Distributed Control Software
Peter Croll

IEEE Parallel and …, 1994

n e Development Fra mewo rk t ra nsla tes application-specific system specifications into parallel, hard real-time implementations, using methods that are both familiar to developers and optimal for the application.

View PDFchevron_right
Control network programs and their execution
Kostadin Kratchanov

Proceedings of the 8th …, 2009

Control Network Programming (CNP) as a new programming paradigm has been presented elsewhere, and the CNP approach has been illustrated through solving representative typical applications, many of which belong to the AI area. This report aims at more fully specifying the interpretation of a CN program, and how the inherently nondeterministic CN program will be computed.

View PDFchevron_right
Abstractions of control environments
Franco Turini

BIT, 1983

View PDFchevron_right

References (20)

  1. K.Kratchanov, B.Yüksel, T.Golemanov, and E.Golemanova, Learning Control Network Programming with the Bouquet Cloud Compiler. In: Recent Advances in Educational Technologies and Education: Proc. 2014 Intl. Conf. on Educational Technologies and Education (ETE 2014), Interlaken, Switzerland, 2014, pp. 29-36. Available also at: http://www.europment.org/library/2014/ interlaken/bypaper/EDU/EDU-02.pdf.
  2. K. Kratchanov, T. Golemanov, and E. Golemanova, Control Network Programming. In Proc. 6 th IEEE/ACIS Conf. on Computer and Information Science (ICIS 2007), July 2007, Melbourne, Australia, pp. 1012-1018.
  3. K. Kratchanov, E. Golemanova, and T. Golemanov, Control Network Programs and Their Execution. In Proc. 8 th WSEAS Int. Conf. on AI, Knowledge Engineering & Data Bases (AIKED '09), Feb 2009, Cambridge, UK, pp. 417-422.
  4. K. Kratchanov, T. Golemanov, and E. Golemanova, Control Network Programming: Static Search Control with System Options. In Proc. 8 th WSEAS Int. Conf. on AI, Knowledge Engineering & Data Bases (AIKED '09), Feb 2009, Cambridge, UK, pp. 423-428.
  5. K. Kratchanov, T. Golemanov, E. Golemanova, and T. Ercan, Control Network Programming with SPIDER: Dynamic Search Control. In Knowledge-Based and Intelligent Information and Engineering Systems, Proc. 14 th Intl Conf. (KES 2010), Cardiff, UK, Sep 2010, Part II, Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence), vol. 6277, Springer, 2010, pp. 253-262.
  6. K. Kratchanov, E. Golemanova, T. Golemanov, and Y. Gökçen, Implementing Search Strategies in Winspider I: Introduction to Control Network Programming and Search. In Knowledge-Based Automated Software Engineering, I. Stanev, and K. Grigorova, Eds., Cambridge Scholars Publ., 2012, pp. 87- 113.
  7. K. Kratchanov, E. Golemanova, and T. Golemanov, Control Network Programming Illustrated: Solving Problems With Inherent Graph-Like Structure. In Proc. 7th IEEE/ACIS Int. Conf. on Computer and Information Science (ICIS 2008), May 2008, Portland, Oregon, USA, pp. 453-459.
  8. K. Kratchanov, E. Golemanova, T. Golemanov, and T. Ercan, Non-Procedural Implementation of Local Heuristic Search in Control Network Programming. In: Knowledge-Based and Intelligent Information and Engineering Systems, Proc. 14 th Intl Conf. (KES 2010), Cardiff, UK, Sep 2010, Part II, Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence), vol. 6277, Springer, 2010, pp. 263-272.
  9. K. Kratchanov, E. Golemanova, T. Golemanov, and Y .Gökçen, Implementing Search Strategies in Winspider II: Declarative, Procedural, and Hybrid Approaches. In Knowledge-Based Automated Software
  10. E. Golemanova, Declarative Implementations of Search Strategies for Solving CSPs in Control Network Programming. WSEAS Transactions on Computers, vol. 12, No.4, 2013, pp. 174-183.
  11. N. Wirth, Algorithms + Data Structures = Programs. Prentice-Hall, 1975.
  12. R. Kowalski, Algorithms = Logic + Control. Comm. ACM, vol. 22, 1979, pp. 424-436.
  13. Z. Michalewicz, Generic Algorithms + Data Structures = Evolution Programs. Springer, 1992.
  14. K. Kratchanov, E. Golemanova, T. Golemanov, and B. Külahçıoğlu, Using Control Network Programming in Teaching Nondeterminism. In Proc. 13th Int. Conf. on Computer Systems and Technologies (CompSysTech'12), Ruse, B. Rachev and A. Smrikarov, Eds., ACM Press, New York, 2012, pp. 391-398. Also, ACM Digital Library, http://dl.acm.org/citation.cfm?id= 2383333&dl=ACM&coll=DL&CFID=169141 915&CFTOKEN=28327026.
  15. K. Kratchanov, E. Golemanova, T. Golemanov, and B. Külahçıoğlu, Using Control Network Programming in Teaching Randomization. In Int. Conf. Electronics, Information and Communication Engineering, Macau (EICE 2012), ASME, 2012, pp. 67-71. Also, in ASME Digital Library: http://dx.doi.org/10.1115/1.859971.paper14.
  16. T. Golemanov, SpiderCNP -an Integrated Environment for Visual Control Network Programming. University of Ruse Annual, vol. 51, 2012, ser. 3.2, pp. 123-127 (in Bulgarian).
  17. http://forums.codeguru.com/showthread.php ?369066-NET-Framework-IL-What-is- Language-Interoperability.
  18. M. Enevoldsen, Object Oriented Language Interoperability (Master's Thesis), Uni. Of Aarhus, 2004 (available at http://users- cs.au.dk/beta/eclipse/mbeOOLI.pdf.
  19. T. Golemanov, K. Kratchanov, and E. Golemanova. SpiderCloud -A Control Network Programming Environment Cloud- Based Environment. Ruse Univ. Annuals, v. 52, ser. 3.2, 2013, 131-136 (in Bulgarian).
  20. http://docs.atozed.com/docs.dll/getting%20s tarted/IntraWeb%20Application%20Types.ht ml

Related papers

Learning Control Network Programming with the Bouquet Cloud Compiler
Emilia Golemanova, Buket Yüksel, Kostadin Kratchanov

The ultimate goal of this paper is to introduce a cloud development environment for Control Network Programming (CNP) called Bouquet. However, our route to that goal is not strait. We address a number of related objectives and use the corresponding conclusions. We discuss the distinguishing features of CNP and deduct the summarizing maxim “Primitives + Control Network = Control Network Program”. Then we analyze the types of CNP development environments paying special attention to the most advanced CNP IDE, SpiderCNP. We address the reasons for devising a cloud compiler, and include an extended review of cloud IDEs and their advantages. Finally, we are at a position to explain the principles and some design and implementation details of the Bouquet cloud CNP environment. All these issues are considered within the context of teaching and learning – teaching major concepts of computer science and mathematics with the help of CNP tools, and learning CNP by students, programmers, and res...

View PDFchevron_right
Language Interoperability in Control Network Programming
Kostadin Kratchanov

Control Network Programming (CNP) is a programming paradigm which is being described with the maxim " Primitives + Control Network = Control Network program ". It is a type of graphic programming. The Control Network is a recursive system of graphs; it can be a purely descriptive specification of the problem being solved. Clearly, 'drawing' the control network does not include any programming. The Primitives are elementary, easily understandable and clearly specified actions. Ultimately, they have to be programmed. Historically, they are usually coded in Free Pascal. The actual code of the primitives has never been considered important. The essence of an " algorithm " is represented by its control network. CNP was always meant to be an easy and fast approach for software application development that actually involves very little real programming. Language interoperability (using different languages in the same software project) is a distinguished current trend in software development. It is even more important and natural in the case of CNP than for other programming paradigms. Here, interoperability practically means the possibility to use primitives written in various programming languages. The current report describes our first steps in creating applications using a multi-language set of primitives. Most popular and interesting programming languages have been addressed: Python, Java, and C. We show how to create applications with primitives written in those 'non-native' languages. We consider examples where the primitives in all those four programming languages are simultaneously used (multiple-language CNP). We also discuss CNP programming without programming (language-free CNP).

View PDFchevron_right
CINNAMONS: A COMPUTATION MODEL UNDERLYING CONTROL NETWORK PROGRAMMING
Computer Science & Information Technology (CS & IT) Computer Science Conference Proceedings (CSCP)

We give the easily recognizable name " cinnamon " and " cinnamon programming " to a new computation model intended to form a theoretical foundation for Control Network Programming (CNP). CNP has established itself as a programming paradigm combining declarative and imperative features, built-in search engine, powerful tools for search control that allow easy, intuitive, visual development of heuristic, nondeterministic, and randomized solutions. We define rigorously the syntax and semantics of the new model of computation, at the same time trying to keep clear the intuition behind and to include enough examples. The purposely simplified theoretical model is then compared to both while-programs (thus demonstrating its Turing completeness), and the " real " CNP. Finally, future research possibilities are mentioned that would eventually extend the cinnamon programming into the directions of non determinism, randomness and fuzziness.

View PDFchevron_right
Cinnamons: A Computational Model Underlying Control Network Programming
Kostadin Kratchanov

We give the easily recognizable name “cinnamon” and “cinnamon programming” to a new computation model intended to form a theoretical foundation for Control Network Programming (CNP). CNP has established itself as a programming paradigm combining declarative and imperative features, built-in search engine, powerful tools for search control that allow easy, intuitive, visual development of heuristic, nondeterministic, and randomized solutions. We define rigorously the syntax and semantics of the new model of computation, at the same time trying to keep clear the intuition behind and to include enough examples. The purposely simplified theoretical model is then compared to both while-programs (thus demonstrating its Turing completeness), and the “real” CNP. Finally, future research possibilities are mentioned that would eventually extend the cinnamon programming into the directions of nondeterminism, randomness and fuzziness.

View PDFchevron_right
Control Network Programming with SPIDER: Dynamic Search Control
Tuncay ERCAN, Kostadin Kratchanov

Lecture Notes in Computer Science, 2010

The report describes the means for dynamic control of the computation process that are available in Spider -a language for Control Network Programming.

View PDFchevron_right
580 California St., Suite 400
San Francisco, CA, 94104
© 2025 Academia. All rights reserved