A5028297610- Service-Oriented Architecture and Web Services
- Advanced Software Engineering Methodologies
- Semantic Web and Ontologies
- Advanced Database Systems and Queries
- Business Process Modeling and Analysis
- Model-Driven Software Engineering Techniques
- Scientific Computing and Data Management
- Formal Methods in Verification
- Graph Theory and Algorithms
- Algorithms and Data Compression
- Geological Modeling and Analysis
- Data Management and Algorithms
- Real-Time Systems Scheduling
- Natural Language Processing Techniques
- Embedded Systems Design Techniques
- Medieval Architecture and Archaeology
- Business and Management Studies
- Logic, programming, and type systems
- Geochemistry and Geologic Mapping
- Education and Public Policy
- Software System Performance and Reliability
- Cloud Computing and Resource Management
- Academic Research in Diverse Fields
- Research Data Management Practices
- Interconnection Networks and Systems
Universidade Federal do Rio Grande do Norte
2010-2022
Instituto Federal do Rio Grande do Norte
2022
Universidade Federal de Minas Gerais
2005
We present a context-free path query evaluation algorithm inspired by top-down parsing techniques. Given graph and defined over grammar, our identifies paths on the which form words of language generated grammar. show that is correct. conduct performance experiments with some popular ontologies synthetic databases to endorse efficiency approach. The presents cubic worst-case runtime complexity in terms number nodes graph, an improvement previous work.
Java Card is a version of developed to run on devices with severe storage and processing restrictions. The applets that these are frequently intended for use in critical, highly distributed, mobile conditions. They required be portable safe. Often, the requirements application impose dynamic, on-card verifications, but most research improve safety concentrates static verification methods. This work presents runtime approach based Design by Contract applications. To this end, we propose JCML...
The service oriented computing paradigm proposes the construction of applications by integrating pre-existent services. Since a large number services may be available in cloud, recommendation and selection are key problems. paper automation task that takes abstract specification composition, definition concrete preferences obtained from routine to produce list refinements preference order. This presents three versions our approach. They differ implementation options or methods used combine...
The Service Oriented Computing Paradigm proposes the construction of applications by integrating pre-existent services. Since a large number services may be available in Cloud, selection is crucial task definition composition. selected should attend requirements compound application, considering both functional and non-functional (including quality preference constraints). As increases, automation becomes desirable. We propose method for refinement service compositions that takes abstract...
We propose a model that combines explicit and symbolic representations in an explicit-symbolic formal verification model. Both models have been successfully used the of finite state concurrent systems, such as complex sequential circuits communication protocols. The proposed aims to use techniques simultaneously verify same make it possible employ most efficient technique each aspect First, we formalize show how can be generated from labeled state-transition system. Then, apply those ideas...
High dependability, availability and fault-toleranceare open problems in Service-Oriented Architecture (SOA). The possibility of generating software applications by integrating services from heterogeneous domains, a seamless way, makes worthwhile to face the challenges inherent this paradigm. In order ensure quality service compositions, some research efforts propose adoption verification techniques identify correct errors. context, exception handling is powerful mechanism increase SOA...
O Exame Nacional para Ingresso na Pós-Graduação em Computação (POSCOMP) é uma avaliação organizada pela Sociedade Brasileira de (SBC) cujo objetivo avaliar o egresso Computação. Este trabalho apresenta análise comparativa das edições 2014 a 2019 do POSCOMP com Currículo Referência (CR) da SBC homologado 2016. A partir dessa comparação, foram observados: (i) ausência aproximadamente 60% dos conteúdos CR nos exames; (ii) apenas 14 apresentam incidências significativas e contínuas (iii) os...
Specifying non-functional requirements (NFRs) is a complex task, being usually addressed during the latter phases of software development process. The late inclusion NFRs may compromise quality resulting application. This paper presents πSOD-M, method and associated tools that: i) allow early specification allowing users to them in an abstract way without having care about low-level details; ii) embraces model-driven architecture (MDA) philosophy, generating models (code) whenever possible...
We present an approach that improves the robustness of web service compositions enabling their recovery from failures can happen at different execution times. first a taxonomy as overview previous research works on topic fault compositions. The resulting classification is used to propose our self-healing method for proposed method, based refinement process compositions, takes user preferences into account generate best possible recovering In order validate approach, we produced prototype...
Path queries are used to specify paths inside a data graph match given pattern. Query languages such as SPARQL usually include support for regular path patterns defined by means of expressions. Context-free define whose language can be context-free grammar. This kind query is interesting in practice domains genetics, science, or source code analysis. In this paper, we present novel algorithm processing. Our works looking localized paths, allowing us process subgraphs, contrast other...
The adoption of Cloud Computing technologies by the organizations has profound consequences on way software applications are developed and used. migration to may be accompanied revision business process, integrate tasks over big data. In this way, existing workflow implementations extended with calls operations in Hadoop or other tools. work, we define a framework implement process heterogeneous technologies. Our is based novel engine, called μBP-AM. Workflow execution μBP-AM performed...
Specifying non-functional requirements (NFRs) is a complex task, being usually addressed during the latter phases of software development process. The late inclusion NFRs may compromise quality resulting application. This paper presents πSOD-M, method and associated tools that: i) allow early specification allowing users to them in an abstract way without having care about low-level details; ii) embraces model-driven architecture (MDA) philosophy, generating models (code) whenever possible...