Notification-Oriented Programming Language and Compiler

The so-called Notification-Oriented Paradigm (NOP) is a new technique to develop software. NOP is a rule-oriented approach where each rule and fact-base element is split in small entities. These entities particularly collaborate by means of precise notifications only when their state changes. This allows carrying out an inference process free of structural and temporal redundancies. Due to its peculiar properties, NOP tends to be an alternative to achieve suitable performance in program execution, easiness in codification level, and appropriate code modularity, structuration and decoupling. In order to validate these supposed features, a framework was implemented in C++. Even though it quite demonstrated the features of the paradigm in terms of execution performance and development process, it still presented a gap therein. In this context, this paper presents a preliminary programming language and compiler to explore NOP features. This new approach simplifies the development in NOP and speedup execution performance.

[1]  Maurizio Gabbrielli,et al.  Programming Languages: Principles and Paradigms , 2010, Undergraduate Topics in Computer Science.

[2]  João Alberto Fabro,et al.  Notification-Oriented Paradigm Framework 2.0: An Implementation Based On Design Patterns , 2017 .

[3]  Cesar Augusto Tacla,et al.  Notification Oriented Paradigm (NOP) and Imperative Paradigm: A Comparative Study , 2012 .

[4]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[5]  Seng Wai Loke Declarative programming of integrated peer-to-peer and Web based systems: the case of Prolog , 2006, J. Syst. Softw..

[6]  D. L. Belmonte,et al.  A new Method for Dynamic Balancing of Workload and Scalability in Multicore Systems , 2016, IEEE Latin America Transactions.

[7]  Robson Ribeiro Linhares,et al.  NOCA ‑ A Notification-Oriented Computer Architecture , 2015, IEEE Latin America Transactions.

[8]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[9]  Albert Mo Kim Cheng,et al.  HAL: A Faster Match Algorithm , 2002, IEEE Trans. Knowl. Data Eng..

[10]  Avinash C. Kak,et al.  FuzzyShell: a large-scale expert system shell using fuzzy logic for uncertainty reasoning , 1998, IEEE Trans. Fuzzy Syst..

[11]  Paulo Cézar Stadzisz,et al.  Inference Based on Notifications: A Holonic Metamodel Applied to Control Issues , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[12]  Robson Ribeiro Linhares,et al.  Notification-Oriented and Rete Network Inference: A Comparative Study , 2015, 2015 IEEE International Conference on Systems, Man, and Cybernetics.

[13]  Jean Marcelo Simão,et al.  A Contribution to the Development of a HMS Simulation Tool and Proposition of a Meta-Model for Holonic Control. (Contribution au Développement d'un Outil de Simulation de Systèmes Holoniques de Production et Proposition d'un Meta-Modèle de Contrôle Holonique) , 2005 .

[14]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .