Método para a criação de linguagens de programação e compiladores para o paradigma orientado a notificações em plataformas distintas

Abstract

The so-called Notification-Oriented Paradigm (NOP) has been explored as a promising alternative for the construction of computational systems. In short, the NOP guidelines allow decoupling programs' causal expressions. This is possible by considering each of these causal expressions and its related facts as notifying computational entities, thereby allowing the execution mechanism to occur in a reactive and naturally decoupled way. Actually, that allows performing an inference process free of redundancies. These redundancies are common in other programming approaches and generally affect the execution performance of programs. Moreover, the decoupling between the entities that compose the NOP notification model tends to facilitate the construction of highly parallel and/or distributed systems. In addition, the NOP is ruleoriented, which tends to facilitate high-level coding. Due to these implicit properties, the NOP stands out as an emerging paradigm, however demanding an effective implementation that can actually demonstrate them together. Even though there are several works implementing the NOP concepts, both in software and hardware, they do not fulfill all properties and features of the paradigm and, sometimes, they are incomplete and somehow inconsistent. In addition, another aggravating fact is the lack of standardization in the process of proposing and developing such implementations, which tends to make it difficult to conceive an effective implementation. In this context, this thesis proposes a method to guide the standardized creation of implementations for the NOP, called MCNOP. This is accomplished, in the proposed method, mainly by the design and definition of programming languages, as well as by the implementation of compilers for the NOP. Particularly, these artifacts are oriented by a central element in the form of a distinct graph, called NOP Graph. It maps the elements of a program and the execution flow based on notifications of the NOP computational model. The proposed method, based on the NOP Graph, allows the integration and compatibility between the different implementations conceived. Finally, the proposed method was applied by a group of developers that, after acquiring basic knowledge about language and compiler construction, were able to apply steps of the proposed method to implementations over distinct platforms. Based on that, it was possible to validate the pertinence of the proposed method for the creation of (individually and collectively) consistent implementation that respect the NOP features and properties as much as allowed by each targeted-platform.