Limites e evolução geodinâmica do Sistema Jaguaribeano, Província Borborema, Nordeste do Brasil

The studied area is geologically located in the Northern Domain of the Borborema Province (Northeast Brazil), limited to the south by the Patos shear zone. Terranes of the Jaguaribeano system are dominant, flanked by the Piranhas (E and S sides) and Central Ceará (NE side) terranes. Its basement comprises gneiss -migmatite terrains of Paleoproterozoic to Archean age (2.6 to 1.9 Ga old), overprinted by neoproterozoic to cambrian tectonotherma l events. Narrow supracrustal belts ( schist belts) display a 1.6 to 1.8 Ga age, as shown by whole - rock Rb-Sr and zircon U-Pb and Pb/Pb dates in acid metavolcanics which dominate in the lower section of these sequences, and in coeval metaplutonics (granitic augen gneisses). From the stratigraphic point of view, three Staterian belts are recognized: 1. Orós Belt - made up by the Orós Group, subdivided in the Santarém (predominantly pure to impure quartzites, micaschists and metacarbonates) and Campo Alegre (metandesites, metabasalts, metarhyolites and metarhyodacites, interlayered with metatuffs and metasediments) formations, and by the Serra do Deserto Magmatic Suite (granitic augen gneisses). 2. Jaguaribe Belt - its lithostratigrahic-lithodemic framework is similar to the one of the Orós Belt, however with a greater expression of the volcano -plutonic components (Campo Alegre Formation and Serra do Deserto Magmatic Suite). The Peixe Gordo Sequence, separately described, is also related to this belt and contain s metasedimentary, metavolcanic (with subordinated volcanoclastics) and metaplutonic units. The first one correlated to the Orós Group and the latter the Serra do Deserto Magmatic Suite. 3. Western Potiguar Belt - represented by the Serra de São José Gro up, subdivided in the Catolezinho (biotite -amphibole gneisses with intercalations of metacarbonates, calcsilicate rocks, amphibolites and quartzite beds to the top) and Minhuins (quartzites, micaschists, metaconglomerates, calcsilicate rocks, acid to the b asic metavolcanics and metatuffs) formations. Its late Paleoproterozoic (Staterian) age was established by a Pb/Pb date on zircons from a granitic orthogneiss of the Catolezinho Formation. The petrographic characteristics and sedimentary structures of the Santarém Formation of the Orós Group point to deltaic to shallow marine depositional systems, overlain by deep water deposits (turbidites). The geodynamic setting of this region encompassed a large depositional basin, probably extending to the east of the Portalegre shear zone and west of the Senador Pompeu shear zone, with possible equivalents in the Jucurutu Formation of the Seridó Belt and in the Ceará Group of central Ceará. The Arneiróz Belt, west Ceará, displays some stratigraphic features and granito ids geochemically akin to the ones of the Orós Belt. The evolutionary setting started with an extensional phase which was more active in the eastern part of this domain (Western Potiguar and part of the Jaguaribe belts), where the rudite and psamite sedime ntation relates to a fluviatile rift environment which evolved to a prograding deltaic system to the west (Orós Group). The basaltic andesitic and rhyolitic volcanics were associated to this extensional phase. During this magmatic event, acid magmas also crystallized at plutonic depths. The Orós Group illustrates the environmental conditions in the western part of this domain. Later on, after a large time gap (1.6 to 1.1 Ga), the region was subjected to an extensional deformational episode marked by 900 Ma old (Sm-Nd data) basic rocks, possibly in connection with the deposition of the Cachoeirinha Group south of the Patos shear zone. In the 800 to 500 Ma age interval, the region was affected by important deformational and metamorphic events coupled with in trusion of granitic rocks of variable size (dykes to batholiths), related to the Brasiliano/Pan -African geotectonic cycle. These events produced structural blocks which differentiate, one from the other, according to the importance of anatectic mobilizatio n, proportion of high-grade supracrustals and the amount of neoproterozoic -cambrian granitoid intrusions. On this basis, a large portion of the Jaguaretama Block/Terrane is relatively well preserved from this late overprint. The border belts of the Jagua retama Block (Western Potiguar and Arneiroz) display kyanite-bearing (medium pressure) mineral associations, while in the inner part of the block there is a north-south metamorphic zoning marked by staurolite or sillimanite peak metamorphic conditions. Regarding the deformations of the Staterian supracrustal rocks, second and third phases were the most important, diagnosed as having developed in a progressive tectonic process. In the general, more vigorous conditions of PT are related to the interval tardi - phase 2 early-phase 3, whose radiometric ages and regional structuring indicators places it in the Brasiliano/Pan-African Cycle. In the Staterian geodynamic setting of Brazilian Platform , these sequences are correlated to the lower Espinhaço Supergroup (p.ex., Rio dos Remédios and Paraguaçu groups, a paleproterozoic rift system in the São Francisco Craton), the Araí and Serra da Mesa groups (north of Goiás, in the so -called Goiás Central Massif), and the Uatumã Group (in the Amazonian Craton). Granitic ( augen gneisses) plutonics are also known from these areas, as for example the A-type granites intrusive in the Araí and Serra da Mesa groups, dated at 1.77 Ga. Gravimetric and geological data place the limits of the Jaguaribeano System (terranes) along the Senador Pompeu Shear Zone (western border) and the Portalegre- Farias Brito shear zone (eastern and southern). However, the same data area not conclusive as regards the interpretation of those structures as suture of the terrane docking process. The main features of those shear zones and of involved lothological associations, appear to favour an intracontinental transpressional -transcurrent regime, during Neoproterozoic-Cambrian times, marking discontinuities along which different crustal blocks were laterally dispersed. Inside of this orogenic system and according to the magnetic data (total field map), the most important terrane boundary appears to be the Jaguaribe shear zone. The geochronological data, on some tectonostratigraphic associations (partly represented by the Ceará and Jucurutu groups), still at a preliminary level, besides the lack of granitic zonation and other petrotectonic criteria, do not allow to propose tectonic terrane assembly diagrams for the studied area

Implicações tectônicas na hidrologia do aqüífero Barreiras e sistema lacustre do Bonfim, Nísia Floresta-RN

This MSc dissertation presents the results of a research carried out in a 500 km2 area in the Nísia Floresta county. The main goal of the research was to evaluate fault influence on hidrology features of aquifers and lakes, mainly in the Barreiras Group and in the Bonfim lake cluster respectively. The Precambrian crystalline basement is made of Caicó Complex rocks. They are capped by cretaceous sedimentary rocks and by cenozoic sedimentary rocks. Only the latter outcrop in the study area, wheareas the former are described in boreholes. Faults cut across all stratigraphic units and their main trends are NW, NE and E-W, which have been generated by E-W compression. Subordinate N-S trending faults also take place and have been generated by N-S oriented compression. Fault controlled hydrologic features are observed throughout the study area. There are sudden changes in saturated thicknesses of the Barreiras Aquifer due to vertical displacement of the Barreiras Group. The most important underground water source of the Bonfim Lake is related to abrupt thickness changes of the aquifer. In addition, the main faults control the underground drainage network and, probably, change in direction of equipotential surfaces seen on the potenciometric map. Regarding the surface hydrologic features, faults also control river and stream channels, as well as lake origin and shapes. The Bonfim Lake, in particular, has its peculiar shape, which follows NW and NE lineaments, and origin related to faulting and probably underground carstics processes

Aplicação de sensoriamento remoto e sistema de informação geográfica na determinação da vulnerabilidade natural e ambeintal do Município de Guamaré(RN): simulação de risco às atividades da indústria petrolífera

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Aplicação do Sensoriamento Remoto e do Sistema de Informações Geográficas na Detecção de Manchas de Óleo na Região do Pólo de Exploração de Guamaré, R.N.

Objective to establish a methodology for the oil spill monitoring on the sea surface, located at the Submerged Exploration Area of the Polo Region of Guamaré, in the State of Rio Grande do Norte, using orbital images of Synthetic Aperture Radar (SAR integrated with meteoceanographycs products. This methodology was applied in the following stages: (1) the creation of a base map of the Exploration Area; (2) the processing of NOAA/AVHRR and ERS-2 images for generation of meteoceanographycs products; (3) the processing of RADARSAT-1 images for monitoring of oil spills; (4) the integration of RADARSAT-1 images with NOAA/AVHRR and ERS-2 image products; and (5) the structuring of a data base. The Integration of RADARSAT-1 image of the Potiguar Basin of day 21.05.99 with the base map of the Exploration Area of the Polo Region of Guamaré for the identification of the probable sources of the oil spots, was used successfully in the detention of the probable spot of oil detected next to the exit to the submarine emissary in the Exploration Area of the Polo Region of Guamaré. To support the integration of RADARSAT-1 images with NOAA/AVHRR and ERS-2 image products, a methodology was developed for the classification of oil spills identified by RADARSAT-1 images. For this, the following algorithms of classification not supervised were tested: K-means, Fuzzy k-means and Isodata. These algorithms are part of the PCI Geomatics software, which was used for the filtering of RADARSAT-1 images. For validation of the results, the oil spills submitted to the unsupervised classification were compared to the results of the Semivariogram Textural Classifier (STC). The mentioned classifier was developed especially for oil spill classification purposes and requires PCI software for the whole processing of RADARSAT-1 images. After all, the results of the classifications were analyzed through Visual Analysis; Calculation of Proportionality of Largeness and Analysis Statistics. Amongst the three algorithms of classifications tested, it was noted that there were no significant alterations in relation to the spills classified with the STC, in all of the analyses taken into consideration. Therefore, considering all the procedures, it has been shown that the described methodology can be successfully applied using the unsupervised classifiers tested, resulting in a decrease of time in the identification and classification processing of oil spills, if compared with the utilization of the STC classifier

Desenvolvimento de um sistema computacional para geração automática de mapas de vulnerabilidade como ferramenta de auxílio às ações de prevenção ao derramamento de óleo em áreas costeiras

The northern portion of the Rio Grande do Norte State is characterized by intense coastal dynamics affecting areas with ecosystems of moderate to high environmental sensitivity. In this region are installed the main socioeconomic activities of RN State: salt industry, shrimp farm, fruit industry and oil industry. The oil industry suffers the effects of coastal dynamic action promoting problems such as erosion and exposure of wells and pipelines along the shore. Thus came the improvement of such modifications, in search of understanding of the changes which causes environmental impacts with the purpose of detecting and assessing areas with greater vulnerability to variations. Coastal areas under influence oil industry are highly vulnerable and sensitive in case of accidents involving oil spill in the vicinity. Therefore, it was established the geoenvironmental monitoring of the region with the aim of evaluating the entire coastal area evolution and check the sensitivity of the site on the presence of oil. The goal of this work was the implementation of a computer system that combines the needs of insertion and visualization of thematic maps for the generation of Environmental Vulnerability maps, using techniques of Business Intelligence (BI), from vector information previously stored in the database. The fundamental design interest was to implement a more scalable system that meets the diverse fields of study and make the appropriate system for generating online vulnerability maps, automating the methodology so as to facilitate data manipulation and fast results in cases of real time operational decision-making. In database development a geographic area was established the conceptual model of the selected data and Web system was done using the template database PostgreSQL, PostGis spatial extension, Glassfish Web server and the viewer maps Web environment, the GeoServer. To develop a geographic database it was necessary to generate the conceptual model of the selected data and the Web system development was done using the PostgreSQL database system, its spatial extension PostGIS, the web server Glassfish and GeoServer to display maps in Web

Expressão em superfície do sistema de falhas Poço Verde-caraúbas, Bacia Potiguar

The structural knowledge of the western portion of the Potiguar Basin is still in its infancy, especially these related to NW-trending fault systems. This paper analyzes the Poço Verde-Caraúbas Fault System, which was initially recognized in subsurface. The activities involved in this study correspond to remote-sensing analysis and, in particular, to the geometric and kinematic analysis of post-rift sequences of the basin. In addition, the study aimed to determine the stress fields operating in the area. The studies were carried out in an area of 1,000 km², located in the western portion of Potiguar Basin along the Poço Verde-Caraúbas Fault System, Rio Grande do Norte State. The remote sensing imagery indicates a predominance of NW-SE-trending lineaments, consistent with the fault system under study, followed by the NE-SW, N-S and E-W directions. The tectonic structures mapped were analyzed only in outcrops of the Jandaíra Formantion. They are joints (filled or not) in all directions, but with predominance of the NW-trending joints. Faults are usually N-S-trending normal faults and NW-SE and NE-SW-trending strike-slip faults. Geodynamic analysis identified two tectonic stress fields: the first field, "Field 1" is represented by an N-S-trending horizontal compression and E-W-trending horizontal extension. This field affected the Potiguar Basin at least until the Miocene. The second field, "Field 2", is represented by an E-W-trending horizontal compression and N-S-trending horizontal extension. This is the present-day stress field and has affected the Potiguar basin since the Pliocene

Sistema integrado para tomada de decisão espacial em situações de derramamento de óleo no litoral norte do Estado do RN

The northern coast of Rio Grande do Norte State (RN) shows areas of Potiguar basin with high activity in petroleum industry. With the goal of avoiding and reducing the accident risks with oil it is necessary to understand the natural vulnerability, mapping natural resources and monitoring the oil spill. The use of computational tools for environmental monitoring makes possible better analyses and decisions in political management of environmental preservation. This work shows a methodology for monitoring of environment impacts, with purpose of avoiding and preserving the sensible areas in oil contact. That methodology consists in developing and embedding an integrated computational system. Such system is composed by a Spatial Decision Support System (SDSS). The SDSS shows a computational infrastructure composed by Web System of Geo-Environmental and Geographic Information - SWIGG , the System of Environmental Sensibility Maps for Oil Spill AutoMSA , and the Basic System of Environmental Hydrodynamic ( SisBAHIA a System of Modeling and Numerical Simulating SMNS). In a scenario of oil spill occurred coastwise of Rio Grande do Norte State s northern coast, the integration of such systems will give support to decision agents for managing of environmental impacts. Such support is supplied through a system of supporting to spatial decisions

Terra e trabalho: permanência de uma política pública na Fazenda Mundo Novo, em Caicó-RN

This is study about the Project Vazantes, as a case of stay policy on access to land upstream of the weir humid New World, in Caicó-RN. It includes social and economic aspects of vazanteiros, that in their experiences with the land, recreate structures, forms and functions. Theoretically, the work is based on the ideas miltonianas (1986, 1988, 1996, 1997) on the production and reproduction of space, as seen this system of actions that is articulated to the public policies and the achievements solidarity, to the extent that production, in vazantes there is virtually no technology investment, technical assistance and rural credit. Regarding the search procedures, we conducted interviews and questionnaires with vazanteiros applied but did photographic records and research into documentary sources Agricultural Research Company's Rio Grande do Norte S / A (EMPARN), the Union of Rural Workers of Caicó (STRC ), In newspapers and magazines, as well as other sources of information related to the object of study.Such procedures, coupled with theoretical and methodological benchmarks, helped in the understanding of the relationship that takes place in the New World Farm, in order that space produced by actors (EMPARN and vazanteiros) comprises a structure of power that involves multiple interests in extent that land and labor are appropriate mechanisms as dialetizantes

Detecção de áreas degradadas na sub-bacia hidrográfica do rio taperoá/pb, utilizando parâmetros físicos dos sensores modis/terra e tm/landsat

This study includes the results of the analysis of areas susceptible to degradation by remote sensing in semi-arid region, which is a matter of concern and affects the whole population and the catalyst of this process occurs by the deforestation of the savanna and improper practices by the use of soil. The objective of this research is to use biophysical parameters of the MODIS / Terra and images TM/Landsat-5 to determine areas susceptible to degradation in semi-arid Paraiba. The study area is located in the central interior of Paraíba, in the sub-basin of the River Taperoá, with average annual rainfall below 400 mm and average annual temperature of 28 ° C. To draw up the map of vegetation were used TM/Landsat-5 images, specifically, the composition 5R4G3B colored, commonly used for mapping land use. This map was produced by unsupervised classification by maximum likelihood. The legend corresponds to the following targets: savanna vegetation sparse and dense, riparian vegetation and exposed soil. The biophysical parameters used in the MODIS were emissivity, albedo and vegetation index for NDVI (NDVI). The GIS computer programs used were Modis Reprojections Tools and System Information Processing Georeferenced (SPRING), which was set up and worked the bank of information from sensors MODIS and TM and ArcGIS software for making maps more customizable. Initially, we evaluated the behavior of the vegetation emissivity by adapting equation Bastiaanssen on NDVI for spatialize emissivity and observe changes during the year 2006. The albedo was used to view your percentage of increase in the periods December 2003 and 2004. The image sensor of Landsat TM were used for the month of December 2005, according to the availability of images and in periods of low emissivity. For these applications were made in language programs for GIS Algebraic Space (LEGAL), which is a routine programming SPRING, which allows you to perform various types of algebras of spatial data and maps. For the detection of areas susceptible to environmental degradation took into account the behavior of the emissivity of the savanna that showed seasonal coinciding with the rainy season, reaching a maximum emissivity in the months April to July and in the remaining months of a low emissivity . With the images of the albedo of December 2003 and 2004, it was verified the percentage increase, which allowed the generation of two distinct classes: areas with increased variation percentage of 1 to 11.6% and the percentage change in areas with less than 1 % albedo. It was then possible to generate the map of susceptibility to environmental degradation, with the intersection of the class of exposed soil with varying percentage of the albedo, resulting in classes susceptibility to environmental degradation

Sistema de conversão de energia eólica baseado no gerador de indução duplamente alimentado: análise e contribuição ao controle da máquina

The humanity reached a time of unprecedented technological development. Science has achieved and continues to achieve technologies that allowed increasingly to understand the universe and the laws which govern it, and also try to coexist without destroying the planet we live on. One of the main challenges of the XXI century is to seek and increase new sources of clean energy, renewable and able to sustain our growth and lifestyle. It is the duty of every researcher engage and contribute in this race of energy. In this context, wind power presents itself as one of the great promises for the future of electricity generation . Despite being a bit older than other sources of renewable energy, wind power still presents a wide field for improvement. The development of new techniques for control of the generator along with the development of research laboratories specializing in wind generation are one of the key points to improve the performance, efficiency and reliability of the system. Appropriate control of back-to-back converter scheme allows wind turbines based on the doubly-fed induction generator to operate in the variable-speed mode, whose benefits include maximum power extraction, reactive power injection and mechanical stress reduction. The generator-side converter provides control of active and reactive power injected into the grid, whereas the grid-side converter provides control of the DC link voltage and bi-directional power flow. The conventional control structure uses PI controllers with feed-forward compensation of cross-coupling dq terms. This control technique is sensitive to model uncertainties and the compensation of dynamic dq terms results on a competing control strategy. Therefore, to overcome these problems, it is proposed in this thesis a robust internal model based state-feedback control structure in order to eliminate the cross-coupling terms and thereby improve the generator drive as well as its dynamic behavior during sudden changes in wind speed. It is compared the conventional control approach with the proposed control technique for DFIG wind turbine control under both steady and gust wind conditions. Moreover, it is also proposed in this thesis an wind turbine emulator, which was developed to recreate in laboratory a realistic condition and to submit the generator to several wind speed conditions.

Estudo comparativo de diferentes sistemas de injeção de vapor aplicados à remediação de solos contaminados por diesel

Among the potentially polluting economic activities that compromise the quality of soil and groundwater stations are fuel dealers. Leakage of oil derived fuels in underground tanks or activities improperly with these pollutants can contaminate large areas, causing serious environmental and toxicological problems. The number of gas stations grew haphazardly, without any kind of control, thus the environmental impacts generated by these enterprises grew causing pollution of soil and groundwater. Surfactants using various techniques have been proposed to remedy this kind of contamination. This study presents innovation as the application of different systems containing surfactant in the vapor phase and compares their diesel removal efficiencies of soil containing this contaminant. For this, a system that contains seven injection wells the following vaporized solutions: water, surfactant solution, microemulsion and nanoemulsion, The surfactants used were saponified coconut oil (OCS), in aqueous solution and an ethoxylated alcohol UNTL-90: aqueous solution , and nanoemulsion and microemulsion systems. Among the systems investigated, the nanoemulsion showed the highest efficiency, achieving 88% removal of residual phase diesel, the most ecologically and technically feasible by a system with lower content of active matter

Um estudo sobre o ensino de evaporação no contexto ciência, tecnologia e sociedade

The scope of this Dissertation is propose the teaching of the evaporation based on the approach Science, Technology and Society (STS) because we believe that this type of approach is able to provide students with a more critical and conscious learning about science. Moreover, with this search, it´s possible to show for students the importance of role to play for them as citizens in decision making aimed to benefit all who are part of the community to which they belong. From this perspective, broached the theme evaporation in a region characterized by constant lack of water for consumption, the municipality of Santa Cruz/RN because, despite the creation of dams to regulate the flow of rivers and increase the availability of water during periods of scarcity, we know that these reservoirs have a large free liquid surface allowing high water loss by evaporation. Thus, evaporation affects the performance of reservoirs for water supply and irrigation, being a phenomenon of particular interest to study. To this end, a questionnaire in order to identify students' preconceptions on the subject was applied. Was then prepared and conducted a workshop geared toward students majoring in Physics Campus Santa Cruz, Federal Institute of Education, Science and Technology of Rio Grande do Norte (IFRN). The completion of the workshop served as a space for discussion of the topic within the context of the municipality of Santa Cruz/RN. As a product, we suggest to physics teachers a guide with recommendations to be taken into account when they teach this subject

Inércia e Natureza da Ciência no Ensino de Física: uma sequência didática centrada no desenvolvimento histórico do conceito de inércia

During the last decades the area of science education has discussed issues related to the inclusion of the History and Philosophy of Science (HFS) in the practice of science teaching. Among the arguments put forward in favour of this approach, it is pointed out the possible enhancement of scientific content learning and the understanding of the nature of Science (NoS). In spite of such considerations, we still have a very small number of research papers reporting results of practical interventions that utilize the historical approach, moreover, there is a lack of teaching materials in this perspective. Our work has sought to contribute to this area with regard to two aspects: on the one hand, with the production of didactic material, by drawing up texts on the history of inertia for graduate students. On the other hand, we investigate whether the arguments mentioned above in relation to the didactic use of HFS sustain themselves, in a particular context. We developed and applied a didactic sequence, using the texts that we built, to teach the concept of inertia and discuss selected contents of NoS. The didactic sequence was applied in two graduate classes, one from a course of Geophysics (BSc.) and another from the Physics (teaching formation), both from the Federal University of Rio Grande do Norte (UFRN). An initial survey exposed that students, even having approached the concept of inertia in basic education, presented conceptions of common sense regarding the relationship between force and motion. The questionnaire also allowed us to identify the existence of elements of concepts considered inadequate as regards to NoS. At the end of our research, our data indicated a greater number of positive hits on the issues concerning the concept of inertia. Regarding the aspects of NoS, we were able to identify, in a few cases, a move towards a more appropriate understanding, however, certain distortions persisted, highlighting the limitations of the approach used

Estudo de um compósito Nb-15%pCu obtidos por moagem de alta energia e sinterizados por fase líquida

There is great difficulty in forming a composite refractory metal niobium with copper. This is due to the fact that Nb-Cu system is almost mutually immiscible and may be neglected solubility between them. These properties hinder or prevent obtaining homogeneous and high-density structures, conventionally prepared. This study aims to analyze the use of high-energy milling process (MAE) to implement these natural difficulties, with regard to the densification of the sintered bodies. The MAE and the press were used in the preparation of powders, to obtain a fine and homogeneous distribution of the grain size. Four loads Nb and Cu powders containing 15% by weight of Cu were then milled for MAE in a planetary type ball mill under various milling times and speeds. The results obtained by MAE were analyzed by scanning electron microscopy (SEM), according to the parameters of time and grinding speed. The samples were compacted under pressure of 200 MPa, were then sintered in liquid phase in a vacuum furnace at temperatures of 1100 ° C / 60 min and 1200 ° C / 60 min. Then it was used to characterize diffraction of X-rays to identify the phases. The microstructures of the sintered samples were observed and evaluated using scanning electron microscopy (SEM). Vickers Microhardness tests were performed, obtaining higher values for the sintered bodies in the largest of the post milling times and the larger grinding speeds. It was found that the liquid phase sintering of the samples that were processed by MAE produced at the end of a homogeneous and densified structure in 77,4% relative to the value of the theoretical density of the composite

Certificação de composições de serviços web semânticos

This thesis presents a certification method for semantic web services compositions which aims to statically ensure its functional correctness. Certification method encompasses two dimensions of verification, termed base and functional dimensions. Base dimension concerns with the verification of application correctness of the semantic web service in the composition, i.e., to ensure that each service invocation given in the composition comply with its respective service definition. The certification of this dimension exploits the semantic compatibility between the invocation arguments and formal parameters of the semantic web service. Functional dimension aims to ensure that the composition satisfies a given specification expressed in the form of preconditions and postconditions. This dimension is formalized by a Hoare logic based calculus. Partial correctness specifications involving compositions of semantic web services can be derived from the deductive system proposed. Our work is also characterized by exploiting the use of a fragment of description logic, i.e., ALC, to express the partial correctness specifications. In order to operationalize the proposed certification method, we developed a supporting environment for defining the semantic web services compositions as well as to conduct the certification process. The certification method were experimentally evaluated by applying it in three different proof concepts. These proof concepts enabled to broadly evaluate the method certification