MaRISA-AOCode: uma abordagem genérica para geração de código orientado a aspectos

Currently there are several aspect-oriented approaches that are related to different stages of software development process. These approaches often lack integration with each other and their models and artifacts are not aligned in a coherent process. The integration of Aspect-Oriented Software development (AOSD) and Model-Driven Development (MDD) enables automatic propagation of models from one phase to another, avoiding loss of important information and decisions established in each. This paper presents a model driven approach, called Marisa-AOCode, which supports the processing of detailed design artifacts to code in different Aspect-Oriented Programming languages. The approach proposed by Maris- AOCode defines transformation rules between aSideML, a modeling language for aspectoriented detailed design, and Metaspin, a generic metamodel for aspect-oriented programming languages. The instantiation of the generic metamodel (Metaspin) provided by the approach of Maris-AOCode is illustrated by the transformation of Metaspin for two languages: AspectLua and CaesarJ. We illustrate the approach with a case study based on the Health Watcher System

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução

A remoção de inconsistências em um projeto é menos custosa quando realizadas nas etapas iniciais da sua concepção. A utilização de Métodos Formais melhora a compreensão dos sistemas além de possuir diversas técnicas, como a especificação e verificação formal, para identificar essas inconsistências nas etapas iniciais de um projeto. Porém, a transformação de uma especificação formal para uma linguagem de programação é uma tarefa não trivial. Quando feita manualmente, é uma tarefa passível da inserção de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benefícios ao produto final a ser desenvolvido. Este trabalho propõe a extensão de uma ferramenta cujo foco é a tradução automática de especificações em CSPm para Handel-C. CSP é uma linguagem de descrição formal adequada para trabalhar com sistemas concorrentes. Handel-C é uma linguagem de programação cujo resultado pode ser compilado diretamente para FPGA's. A extensão consiste no aumento no número de operadores CSPm aceitos pela ferramenta, permitindo ao usuário definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Além disto, propomos também a implementação de um protocolo de comunicação que elimina algumas restrições da composição paralela de processos na tradução para Handel-C, permitindo que a comunicação entre múltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.

Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução

Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification

Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos

Due of industrial informatics several attempts have been done to develop notations and semantics, which are used for classifying and describing different kind of system behavior, particularly in the modeling phase. Such attempts provide the infrastructure to resolve some real problems of engineering and construct practical systems that aim at, mainly, to increase the productivity, quality, and security of the process. Despite the many studies that have attempted to develop friendly methods for industrial controller programming, they are still programmed by conventional trial-and-error methods and, in practice, there is little written documentation on these systems. The ideal solution would be to use a computational environment that allows industrial engineers to implement the system using high-level language and that follows international standards. Accordingly, this work proposes a methodology for plant and control modelling of the discrete event systems that include sequential, parallel and timed operations, using a formalism based on Statecharts, denominated Basic Statechart (BSC). The methodology also permits automatic procedures to validate and implement these systems. To validate our methodology, we presented two case studies with typical examples of the manufacturing sector. The first example shows a sequential control for a tagged machine, which is used to illustrated dependences between the devices of the plant. In the second example, we discuss more than one strategy for controlling a manufacturing cell. The model with no control has 72 states (distinct configurations) and, the model with sequential control generated 20 different states, but they only act in 8 distinct configurations. The model with parallel control generated 210 different states, but these 210 configurations act only in 26 distinct configurations, therefore, one strategy control less restrictive than previous. Lastly, we presented one example for highlight the modular characteristic of our methodology, which it is very important to maintenance of applications. In this example, the sensors for identifying pieces in the plant were removed. So, changes in the control model are needed to transmit the information of the input buffer sensor to the others positions of the cell

Desenvolvimento formal de aplicações para smartcards

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.

Uma estratégia dirigida a modelos e baseada em linguagem de descrição arquitetural para linhas de produtos de software

Model-oriented strategies have been used to facilitate products customization in the software products lines (SPL) context and to generate the source code of these derived products through variability management. Most of these strategies use an UML (Unified Modeling Language)-based model specification. Despite its wide application, the UML-based model specification has some limitations such as the fact that it is essentially graphic, presents deficiencies regarding the precise description of the system architecture semantic representation, and generates a large model, thus hampering the visualization and comprehension of the system elements. In contrast, architecture description languages (ADLs) provide graphic and textual support for the structural representation of architectural elements, their constraints and interactions. This thesis introduces ArchSPL-MDD, a model-driven strategy in which models are specified and configured by using the LightPL-ACME ADL. Such strategy is associated to a generic process with systematic activities that enable to automatically generate customized source code from the product model. ArchSPLMDD strategy integrates aspect-oriented software development (AOSD), modeldriven development (MDD) and SPL, thus enabling the explicit modeling as well as the modularization of variabilities and crosscutting concerns. The process is instantiated by the ArchSPL-MDD tool, which supports the specification of domain models (the focus of the development) in LightPL-ACME. The ArchSPL-MDD uses the Ginga Digital TV middleware as case study. In order to evaluate the efficiency, applicability, expressiveness, and complexity of the ArchSPL-MDD strategy, a controlled experiment was carried out in order to evaluate and compare the ArchSPL-MDD tool with the GingaForAll tool, which instantiates the process that is part of the GingaForAll UML-based strategy. Both tools were used for configuring the products of Ginga SPL and generating the product source code

BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures

Dos requisitos à arquitetura em linhas de produtos de software: uma estratégia de transformações entre modelos

The tracking between models of the requirements and architecture activities is a strategy that aims to prevent loss of information, reducing the gap between these two initial activities of the software life cycle. In the context of Software Product Lines (SPL), it is important to have this support, which allows the correspondence between this two activities, with management of variability. In order to address this issue, this paper presents a process of bidirectional mapping, defining transformation rules between elements of a goaloriented requirements model (described in PL-AOVgraph) and elements of an architectural description (defined in PL-AspectualACME). These mapping rules are evaluated using a case study: the GingaForAll LPS. To automate this transformation, we developed the MaRiPLA tool (Mapping Requirements to Product Line Architecture), through MDD techniques (Modeldriven Development), including Atlas Transformation Language (ATL) with specification of Ecore metamodels jointly with Xtext , a DSL definition framework, and Acceleo, a code generation tool, in Eclipse environment. Finally, the generated models are evaluated based on quality attributes such as variability, derivability, reusability, correctness, traceability, completeness, evolvability and maintainability, extracted from the CAFÉ Quality Model

Geração de interfaces de usuário de sistemas Web para múltiplos dispositivos com o uso de componentes de IU

This work presents an User Interface (UI) prototypes generation process to the softwares that has a Web browser as a plataform. This process uses UI components more complex than HTML elements. To described this components more complex this work suggest to use the XICL (eXtensinble User Interface Components Language). XICL is a language, based on XML syntax, to describe UI Components and IUs. XICL promotes extensibility and reusability in the User Interface development process. We have developed two compiler. The first one compiles IMML (Interactive Message Modeling Language) code and generates XICL code. The second one compiles XICL code and generates DHTML code

A Geração de inovação na carcinicultura do RN: Uma análise a partir da imersão social

This dissertation examines the organizational innovation as a nonlinear process, which occurs in a social and political context and, therefore, socially immersed. Examines the case of shrimp in the state of RN, starting from the following problem: although the norteriograndense shrimp occupies the largest producer of farmed shrimp from Brazil, has a series of bottlenecks concerning the generation of industry innovation, concerning the social relationships and policies between the various actors in the network, whether private or public, and its consequences in terms of opportunity and limits generated for the innovative dynamics. The objective of the research is to understand how the social embeddedness of political actors affects norteriograndense shrimp within the context of structural relations, the industry generation of innovation, throughout its technological trajectory . The approach of social embeddedness balances atomised perspectives, undersocialized and oversocialized, of economic action, considering both the human capacity to act as sources of constraint, whose mechanisms are analyzed the structural and political. In methodological terms this is a case study, analyzed from the research literature, documentary and experimental. Primary data were collected through semi-structured interviews and analyzed in depth by the technique of content analysis. Was adopted a longitudinal approach, seeking to understand the phenomenon from the perspective of the subjects, describing it in an inductive process of investigation. After characterizing the sector and defining their technological trajectory, the analysis of the results followed its four stages: (1) Introduction of Technology: 1973-1980, (2) Intensification of Research: 1981-1991, (3) Technological Adaptation, 1992 -2003, (4) Technological Crisis: 2004-2009. A cross-sectional analysis along the evolutionary trajectory revealed the character of structural changes and policies over time, and implications on the generating process of innovation. Note that, the technological limit to which the sector reached requires changes in technology standards, but is more likely that the potiguar shrimp is entering a new phase of his career in technology rather than a new technological paradigm

Jovens terena na cidade de Campo Grande (MS) Política e geração

Research with indigenous in urban context are gaining steam in recent years, particularly with the intensification of migration resulting from problems such as lack of land for subsistence. However, in relation to Terena, subjects in this study, the contemporary anthropological research aimed at residents in cities still are not privileged, especially to youth. Thus, the dissertation has as main objective the discussion around some axes, among them indigenous youth Terena ethnicity politics, - indigenous movement - and racism. These themes appeared during fieldwork where privileged six trajectories of young Terena who migrated to Campo Grande (MS) and have different ways to mean the city and experiencing everyday life

Dos movimentos sociais às funções institucionais: a Consolidação de uma geração política em Sergipe.

This study was presented to the Post-Graduation Program in Social Sciences at UFRN as part of the requisites for obtaining the title of Master in Social Sciences. It describes the results of the research From social movements to the institutional functions: the consolidation of a generation . Its main objective is to describe the history of a political generation that emerged from the social movements, in the 80 s, in Sergipe, and that nowadays occupies the main governmental positions in the State s political scenario. As its specific objectives, the research described the emerging of social movements in the 80s in Sergipe; it found in the social movements in Sergipe, in the 80s, the beginning of the history of a new political generation, and described the consolidation of this new political generation in institutional positions as the expression of a new group of power in Sergipe s politics. Among the social movements that gained visibility in that period and that projected their leadership into the political scenario of Sergipe, this study highlights: the students movement, teacher s movement, bank clercks movement, miners movement, and rural workers movement. It utilized as methodology the research in sites, magazines, and the use of testimonies from semi-structured interviews. The main leadership of the five movements that were analyzed is, nowadays, governing the state, administering the capital s city hall, and performing legislative work at the Legislative Assembly of Sergipe, and at the Chamber of City Councilmen of Aracaju. This study described the political history of the main leadership of that generation of militants and organizers of social movements, and of left party groups in Sergipe, highlighting that their consolidation in the political scenario of the State meant the consolidation of a new group of power in Sergipe s politics.

Apelação no código de processo civil: uma análise sob o prisma do princípio da efetividade

The present dissertation, elaborated is based on the deductive method, through the use of the General Theory of Resources concepts, by the main types of judgments existing in the Code of Civil Procedure, the interlocutory judgment and sentence, as well as the features and effects that challenge these decisions, we sought to identify on this theme one of the greatest evils facing the justice system in the world, which is the processing delays. This slowness in adjudication affects seriously the principle of effectiveness, one of the postulates of procedural law and society as a whole. Thus, the use of tort serves to fight the interlocutory decision and appeal which challenges the judge`s ruling. It is a resource for excellence in appellate system as it meets with the most awaited decision of the process. In weighing the importance of the appeal that seeks to oppose the court decision today by the numerous reforms that the procedural system has been through, it has ended up to transform the process ineffective or inconsistent, for it is much easier to have efficacy in a interlocutory decision for preliminary injunction than by judgment on the merits of the judge. This is due to the prevision of the resources and their effect to those decisions. That is, the interlocutory decision involves interlocutory appeal only in the devolved effect, allowing its provisional execution, and the sentence has as recourse to appeal the double effect, remanding and suspension, which necessarily prevents its provisional execution. But it undeniably shows a paradox, because as to give effect to a measure that is based on a mere probability by a summary cognition, partial and superficial, and stop it on a decision by a court that is closer to the truth and sure, for a full and depleting cognition? It is seriously affect the principle of effectiveness. Therefore, starting from this ineffectiveness, sought to defend the solution of this problem with the approval of the bill n. º 3.605/2004 or the new Code of Civil Procedure project that modifies the general rule the effects of appeal. That is, remanding and suspensive, as to merely remanding effect to and thereby enable the provisional execution of the judgment of the court of the first degree of jurisdiction, giving effectiveness and enhancing the decision of the magistrate, making a fair distribution of time in the process and better guaranteed principle of access to justice

Geração de renda e ocupações na cadeia agroindustrial de castanha de caju no Rio Grande do Norte: o caso do sertão de Apodi

This work is part of the research group studying agribusiness chains, by characterizing agroindustrial chain of cashew nuts in Rio Grande do Norte, with special emphasis on Sertão de Apodi Citizenship Territory, showing their different flows and linkages and analyzes generating jobs and income in the production of this good, from the experience of COOPAPI, using as a methodology for analyzing the input-output matrix. And this is justified by the fact that Brazil is in the context as the world's fifth largest producer of cashew nuts and the production of this product focus in the Northeast, especially the Rio Grande do Norte, which is the second largest producer of region, behind only the state of Ceará, which is the largest producer in the country. Moreover, in recent years the state has increased its insertion in international markets this product, particularly the Mossoró-Assu Territory, which constitutes the largest producer in the state, particularly the municipality of Serra do Mel, which has an arrangement different yield, based on the model of integrated rural development, embodied in family farming. Nevertheless, the Sertão de Apodi Citizenship appear as the fourth among the Citizenship territories of Rio Grande do Norte in the ranking of the production of cashew nuts, but the prevailing model of Cooperatives in the Territory, based on the Solidarity Economy, i,e, different from the old cooperative, which is based on the precepts as patronage, with cooperative owners, favor, etc.., encourages scientific research. In this, after a careful analysis of data from field research, it was noticed that among the links in the chain, the production link is what generates the most jobs, while the processing link commands to generate income, but a portion meaningful occupations and income are generated outside the territory, especially out of state RN, denouncing the gap in supply of some specific demands within the chain