Denivaldo Lopes

Universidade Federal do Maranhão

Author Statistics

Papers

Citation

H-Index

i-10 index

Research Trends

Author Order

Document Type

Co-Authors

Zair Abdelouahab

Universidade Federal do Maranhão

Slimane Hammoudi

Laboratoire d'Informatique et d'Automatique pour les Systèmes

Daniela Barreiro Claro

Universidade Federal da Bahia

Jean Bézivín

Nantes Université

Osvaldo R. Saavedra

Universidade Federal do Maranhão

Felipe M. Pimenta

Universidade Federal de Santa Catarina

Audálio Rebelo Torres

Universidade Federal do Maranhão

Denisson Q. Oliveira

Universidade Federal do Maranhão

Ramon Morais de Freitas

National Institute for Space Research

Arcilan Trevenzoli Assireu

Universidade Federal de Itajubá

Cooperative Institutions

Universidade Federal do Maranhão

Universidade Federal da Bahia

Sheffield Hallam University

Swedish Research Council for Environment Agricultural Sciences and Spatial Planning

National Technical University of Athens

Universidade Federal de Itajubá

Hospital Ana Nery

Centre National de la Recherche Scientifique

University of Beira Interior

Instituto de Telecomunicações

Author Statistics

Papers

Citation

H-Index

i-10 index

Research Field

Étude et applications de l'approche MDA pour des plates-formes de services Web

Denivaldo Lopes

Dans cette these, une demarche experimentale de l’approche MDA est utilisee sur les services Web afin d’identifier les problematiques autour de MDA et de proposer des solutions viables. Ainsi, nous utilisons UML et EDOC pour decrire les aspects independant de la plate-forme, et nous proposons des metamodeles pour decrire les aspects dependant de la plate-forme des services Web, J2EE et dotNET. Ensuite, nous presentons notre demarche pour passer d’un modele metier vers un modele de plate-forme. Enfin, les apports de cette these sont : l’etude des Services Web dans le contexte de MDA ; la separation explicite entre specification de correspondances et definition de transformations ; specifications de correspondances entre UML, EDOC, services Web, J2EE et dotNET ; definitions de transformations en ATL ; un outil nomme MMT (Mapping Modeling Tool) pour supporter, d’une part, la creation de specifications de correspondances et, d’autre part, la generation de definitions de transformations.

Source

Cite

Citations (4)

TOWARDS A SEMI-AUTOMATIC TRANSFORMATION PROCESS IN MDA - Architecture and Methodology

Slimane Hammoudi Wajih Alouini Denivaldo Lopes

10.5220/0001720104160425

Cite

Citations (3)

Generating Transformation Definition from Mapping Specification: Application to Web Service Platform

Notes on numerical fluid mechanics and multidisciplinary design (2005)

Denivaldo Lopes Slimane Hammoudi Jean Bézivín Frédéric Jouault

Metamodeling

Model Transformation

Activity diagram

Object Constraint Language

10.1007/11431855_22

Cite

Citations (38)

An environment physically distributed in Java

Denivaldo Lopes Zair Abdelouahab

This paper presents an environment for developing distributed applications. It consists basically of adding to Java language a library to manipulate shared objects, according to a methodology of distributed shared memory-DSM without cache. Shared objects are instances of classes that are data structures (lists, queues and stacks of objects). The environment provides a mechanism of hybrid load balancing among computers and tolerance to faults. The proposed environment has been tested and the results have shown that machines of low cost can be of high performance.

Data diffusion machine

Distributed Computing Environment

Distributed shared memory

Message queue

Distributed memory

10.1109/aiccsa.2001.933997

Cite

Citations (0)

Combining a High-Level Design Tool for Safety-Critical Systems with a Tool for WCET Analysis on Executables

Christian Ferdinand Reinhold Heckmann Thierry Le Sergent Denivaldo Lopes Blake Martin

Synthesizing code from model-based software specifications using automatic code gener- ators such as the SCADE Suite allows design verifi- cation at early project stages and helps to avoid cod- ing errors, thus reducing the need for low-level test- ing. Non-functional properties of the implementa- tion such as execution time and memory consump- tion require specific analysis. Static program anal- ysis tools like AbsInt's StackAnalyzer and timing analyzer aiT complete ideally the model-based de- sign process with the verification of these proper- ties. These tools can also give SCADE users a di- rect feedback on the effects of their design decisions on resource usage, allowing them to select more ef- ficient designs and implementation methods. The SCADE tool, StackAnalyzer and aiT can be inte- grated in a way that the analysis results for code generated by the SCADE tool are conveniently ac- cessible from within the SCADE development envi- ronment. We present the tools and their integra- tion, preliminary results, and plans for integration with other tools for timing analysis.

Executable

Code (set theory)

Source

Cite

Citations (23)

Developing Peer-to-Peer Applications with MDA and JXTA

Springer eBooks (2007)

José Geraldo de Sousa Denivaldo Lopes

10.1007/978-1-4020-6264-3_42

Cite

Citations (0)

Environment of Shared Objects for the Web.

IASTED PDCS (2002)

Denivaldo Lopes Slimane Hammoudi Zair Abdelouahab

Source

Cite

Citations (0)

Advances in Self-Security of Agent-Based Intrusion Detection Systems

Elsevier eBooks (2013)

Falkner Moraes Zair Abdelouahab Denivaldo Lopes Emerson Brito Mourão De Oliveira Cenidalva Miranda de Sousa Teixeira

Firewall (physics)

10.1016/b978-0-12-411474-6.00010-4

Cite

Citations (1)

Assessing Economic Complementarity in Wind–Solar Hybrid Power Plants Connected to the Brazilian Grid

Sustainability (2023)

Rafael B. S. Veras Clóvis Bôsco Mendonça Oliveira Shigeaki L. de Lima Osvaldo R. Saavedra Denisson Q. Oliveira

The share of electricity generation from Variable Renewable Energy Sources (VRES) has increased over the last 20 years. Despite promoting the decarbonization of the energy mix, these sources bring negative characteristics to the energy mix, such as power ramps, load mismatch, unpredictability, and fluctuation. One of the ways to mitigate these characteristics is the hybridization of power plants. This paper evaluates the benefits of hybridizing a plant using an AI-based methodology for optimizing the wind–solar ratio based on the Brazilian regulatory system. For this study, the hybrid plant was modeled using data collected over a period of 10 months. The measurements were obtained using two wind profilers (LIDAR and SODAR) and a sun tracker (Solys 2) as part of the EOSOLAR R&D project conducted in the state of Maranhão, Brazil. After the power plant modeling, a Genetic Algorithm (GA) was used to determine the optimal wind–solar ratio, considering costs with transmission systems. The algorithm achieved a monthly profit increase of more than 39% with an energy curtailment inferior to 1%, which indicates economic complementarity. Later, the same methodology was also applied to verify the wind–solar ratio’s sensitivity to solar energy pricing. The results show that a price increase of 15% would change the power plant’s optimal configuration.

Grid parity

10.3390/su15118862

Cite

Citations (7)

Security on MASs with XML Security Specifications

Emerson Brito Mourão De Oliveira Zair Abdelouahab Denivaldo Lopes

In the past, Multi-agent Systems were used in proprietary environments. Nowadays, these systems have been used broadly in open distributed networks, such as e-commerce applications for Internet. An environment such as the Internet cannot be considered a safe place. Thus, multi-agent systems should have security mechanisms, e.g. confidentiality and integrity. The XML Security Specifications are standards that are based on XML and provide security mechanisms. They include: XML Digital Signature for digital signature; XML Encryption for cryptography; XML Key Management Specification for Public Key Infrastructure. Agents may use a FIPA standard called RDF, which is a message content standard in XML language. Using this standard, agents can communicate exchanging XML messages, but these messages are not secure. In this article, we propose a secure communication model for agents based on RDF and the XML security specifications.

SOAP

cXML

10.1109/dexa.2006.126

Cite

Citations (9)