Thermoplastic bioactive composite – with special reference to dissolution behaviour and tissue response

Bioactive glasses are surface-active ceramic materials which support and accelerate bone growth in the body. During the healing of a bone fracture or a large bone defect, fixation is often needed. The aim of this thesis was to determine the dissolution behaviour and biocompatibility of a composite consisting of poly(ε-caprolactone-co-DL-lactide) and bioactive glass (S53P4). In addition the applicability as an injectable material straight to a bone defect was assessed. In in vitro tests the dissolution behaviour of plain copolymer and composites containing bioactive glass granules was evaluated, as well as surface reactivity and the material’s capability to form apatite in simulated body fluid (SBF). The human fibroblast proliferation was tested on materials in cell culture. In in vivo experiments, toxicological tests, material degradation and tissue reactions were tested both in subcutaneous space and in experimental bone defects. The composites containing bioactive glass formed a unified layer of apatite on their surface in SBF. The size and amount of glass granules affected the degradation of polymer matrix, as well the material’s surface reactivity. In cell culture on the test materials the human gingival fibroblasts proliferated and matured faster compared with control materials. In in vitro tests a connective tissue capsule was formed around the specimens, and became thinner in the course of time. Foreign body cell reactions in toxicological tests were mild. In experimental bone defects the specimens with a high concentration of small bioactive glass granules (<45 μm) formed a dense apatite surface layer that restricted the bone ingrowth to material. The range of large glass granules (90-315 μm) with high concentrations formed the best bonding with bone, but slow degradation on the copolymer restricted the bone growth only in the superficial layers. In these studies, the handling properties of the material proved to be good and tissue reactions were mild. The reactivity of bioactive glass was retained inside the copolymer matrix, thus enabling bone conductivity with composites. However, the copolymer was noticed to degradate too slowly compared with the bone healing. Therefore, the porosity of the material should be increased in order to improve tissue healing.

Monomer conversion of composite dental resins photoactivated by a halogen lamp and a LED: a FT-Raman spectroscopy study

Eighteen circular blocks of resins cured either by a LED or a halogen lamp (20, 40 and 60 s), had their top (T) and bottom (B) surfaces studied using a FT-Raman spectrometer. Systematic changes in the intensity of the methacrylate C=C stretching mode at 1638 cm-1 as a function of exposure duration were observed. The calculated degree of conversion (DC) ranged from 45.0% (B) to 52.0% (T) and from 49.0% (B) to 55.0% (T) for the LED and halogen lamp, respectively. LED and halogen light produced similar DC values with 40 and 60 s of irradiation.

Non-resorbable glass fibre-reinforced composite with porous surface as bone substitute material: Experimental studies in vitro and in vivo focused on bone-implant interface

The development of load-bearing osseous implant with desired mechanical and surface properties in order to promote incorporation with bone and to eliminate risk of bone resorption and implant failure is a very challenging task. Bone formation and resoption processes depend on the mechanical environment. Certain stress/strain conditions are required to promote new bone growth and to prevent bone mass loss. Conventional metallic implants with high stiffness carry most of the load and the surrounding bone becomes virtually unloaded and inactive. Fibre-reinforced composites offer an interesting alternative to metallic implants, because their mechanical properties can be tailored to be equal to those of bone, by the careful selection of matrix polymer, type of fibres, fibre volume fraction, orientation and length. Successful load transfer at bone-implant interface requires proper fixation between the bone and implant. One promising method to promote fixation is to prepare implants with porous surface. Bone ingrowth into porous surface structure stabilises the system and improves clinical success of the implant. The experimental part of this work was focused on polymethyl methacrylate (PMMA) -based composites with dense load-bearing core and porous surface. Three-dimensionally randomly orientated chopped glass fibres were used to reinforce the composite. A method to fabricate those composites was developed by a solvent treatment technique and some characterisations concerning the functionality of the surface structure were made in vitro and in vivo. Scanning electron microscope observations revealed that the pore size and interconnective porous architecture of the surface layer of the fibre-reinforced composite (FRC) could be optimal for bone ingrowth. Microhardness measurements showed that the solvent treatment did not have an effect on the mechanical properties of the load-bearing core. A push-out test, using dental stone as a bone model material, revealed that short glass fibre-reinforced porous surface layer is strong enough to carry load. Unreacted monomers can cause the chemical necrosis of the tissue, but the levels of leachable resisidual monomers were considerably lower than those found in chemically cured fibre-reinforced dentures and in modified acrylic bone cements. Animal experiments proved that surface porous FRC implant can enhance fixation between bone and FRC. New bone ingrowth into the pores was detected and strong interlocking between bone and the implant was achieved.

Indirect spectrophotometric method for determination of captopril using Cr(VI) and diphenylcarbazide

A spectrophotometric method for the indirect determination of captopril (CP) in pharmaceutical formulations is proposed. The proposed procedure is based on the oxidation of captopril by potassium dichromate and the determination excess oxidant on the basis of its reaction with diphenylcarbazide (DPC). Under the optimum conditions, a good linear relationship (r = 0.9997) was obtained in the range of 0.08-3.5 µg mL-1. The assay limits of detection and quantitation were 0.024 and 0.08 µg mL-1, respectively. The results obtained for captopril determination in pharmaceuticals using the proposed method and those obtained with the US Pharmacopoeia method were in good agreement at the 95% confidence level.

NOVEL SUPERABSORBENT HYDROGEL COMPOSITE BASED ON POLY(ACRYLAMIDE-CO-ACRYLATE)/NONTRONITE: CHARACTERIZATION AND SWELLING PERFORMANCE

A novel superabsorbent hydrogel (SH) composite based on a poly(acrylamide-co-acrylate) matrix filled with nontronite (NONT), a Fe(III)-rich member of the smectite group of clay minerals, is described in this manuscript. A variety of techniques, including FTIR, XRD, TGA, and SEM/EDX, were utilized to characterize this original composite. Experimental data confirmed the SH composite formation and suggested NONT was completely dispersed in the polymeric matrix. Additionally, NONT improved the water uptake capacity of the final material, which exhibited fast absorption, low sensitivity to the presence of salt, high water retention and a pH sensitive properties. These preliminary data showed that the original SH composite prepared here possesses highly attractive properties for applications in areas such as the agriculture field, particularly as a soil conditioner.

Bonding of Composite Resin to Alumina and Zirconia Ceramics with Special Emphasis on Surface Conditioning and Use of Coupling Agents

Dental oxide ceramics have been inspired by their biocompability and mechanical properties which have made durable all-ceramic structures possible. Clinical longevity of the prosthetic structures is dependent on effective bonding with luting cements. As the initial shear bond strength values can be comparable with several materials and procedures, long-term durability is affected by ageing. Aims of the current study were: to measure the shear bond strength of resin composite-to-ceramics and to evaluate the longevity of the bond; to analyze factors affecting the bond, with special emphasis on: the form of silicatization of the ceramic surface; form of silanization; type of resin primer and the effect of the type of the resin composite luting cement; the effect of ageing in water was studied regarding its effect to the endurance of the bond. Ceramic substrates were alumina and yttrium stabilized zirconia. Ceramic conditioning methods included tribochemical silicatization and use of two silane couplings agents. A commercial silane primer was used as a control silane. Various combinations of conditioning methods, primers and resin cements were tested. Bond strengths were measured by shear bond strength method. The longevity of the bond was generally studied by thermocycling the materials in water. Additionally, in one of the studies thermal cycling was compared with long-term water storaging. Results were analysed statistically with ANOVA and Weibull analysis. Tribochemical treatment utilizing air pressure of 150 kPa resulted shear bond strengths of 11.2 MPa to 18.4 MPa and air pressure of 450 kPa 18.2 MPa to 30.5 MPa, respectively. Thermocycling of 8000 cycles or four years water storaging both decreased shear bond strength values to a range of 3.8 MPa to 7.2 MPa whereas initial situation varied from 16.8. Mpa to 23.0 MPa. The silane used in studies had no statistical significance. The use of primers without 10-MDP resulted spontaneous debonding during thermocycling or shear bond strengths below 5 MPa. As conclusion, the results showed superior long-term bonding with primers containing 10-MDP. Silicatization with silanizing showed improved initial shear bond strength values which considerably decreased with ageing in water. Thermal cycling and water storing for up to four years played the major role in reduction of bond strength, which could be due to thermal fatigue of the bonding interface and hydrolytic degradation of the silane coupled interface.

CLONAL PROPAGATION OF NEEM (Azadirachta indica A. Juss.) VIA DIRECT AND INDIRECT IN VITRO REGENERATION

ABSTRACTThe study was conducted with shoot tip explants of neem (Azadirachta indica A. Juss) to identify a viable regenerative process. Shoot tips were obtained from neem embryos cultured alternatingly in DKW medium supplemented with BAP and medium without hormones. Initial shoot development was influenced by cotyledon presence. Basal callus, excised from in vitro stem base, also presented organogenic potential. In some cases, plant lines, obtained from each seed, presented different characteristics. The most common characteristic observed in vitro was callus formation at the stem base. However, the rarest characteristics were stem callus formation and leaf senescence. The regenerated shoot tips were further subculture and rooted on a medium supplemented with IBA so that complete plants could be obtained. The rooted plants were transplanted to a greenhouse and successfully acclimatized. No significant differences in in vivo development were observed between neem plants from callus and from shoot tip propagation.

Characterization and treatment of sisal fiber residues for cement-based composite application

Sisal fiber is an important agricultural product used in the manufacture of ropes, rugs and also as a reinforcement of polymeric or cement-based composites. However, during the fiber production process a large amount of residues is generated which currently have a low potential for commercial use. The aim of this study is to characterize the agricultural residues by the production and improvement of sisal fiber, called field bush and refugo and verify the potentiality of their use in the reinforcement of cement-based composites. The residues were treated with wet-dry cycles and evaluated using tensile testing of fibers, scanning electron microscopy (SEM) and Fourier transform infrared (FTIR) spectroscopy. Compatibility with the cement-based matrix was evaluated through the fiber pull-out test and flexural test in composites reinforced with 2 % of sisal residues. The results indicate that the use of treated residue allows the production of composites with good mechanical properties that are superior to the traditional composites reinforced with natural sisal fibers.

Climate driven changes in temperature, pH and food quality : effects on copepod reproduction

Increased emissions of greenhouse gases into the atmosphere are causing an anthropogenic climate change. The resulting global warming challenges the ability of organisms to adapt to the new temperature conditions. However, warming is not the only major threat. In marine environments, dissolution of carbon dioxide from the atmosphere causes a decrease in surface water pH, the so called ocean acidification. The temperature and acidification effects can interact, and create even larger problems for the marine flora and fauna than either of the effects would cause alone. I have used Baltic calanoid copepods (crustacean zooplankton) as my research object and studied their growth and stress responses using climate predictions projected for the next century. I have studied both direct temperature and pH effects on copepods, and indirect effects via their food: the changing phytoplankton spring bloom composition and toxic cyanobacterium. The main aims of my thesis were: 1) to find out how warming and acidification combined with a toxic cyanobacterium affect copepod reproductive success (egg production, egg viability, egg hatching success, offspring development) and oxidative balance (antioxidant capacity, oxidative damage), and 2) to reveal the possible food quality effects of spring phytoplankton bloom composition dominated by diatoms or dinoflagellates on reproducing copepods (egg production, egg hatching, RNA:DNA ratio). The two copepod genera used, Acartia sp. and Eurytemora affinis are the dominating mesozooplankton taxa (0.2 – 2 mm) in my study area the Gulf of Finland. The 20°C temperature seems to be within the tolerance limits of Acartia spp., because copepods can adapt to the temperature phenotypically by adjusting their body size. Copepods are also able to tolerate a pH decrease of 0.4 from present values, but the combination of warm water and decreased pH causes problems for them. In my studies, the copepod oxidative balance was negatively influenced by the interaction of these two environmental factors, and egg and nauplii production were lower at 20°C and lower pH, than at 20°C and ambient pH. However, presence of toxic cyanobacterium Nodularia spumigena improved the copepod oxidative balance and helped to resist the environmental stress, in question. In addition, adaptive maternal effects seem to be an important adaptation mechanism in a changing environment, but it depends on the condition of the female copepod and her diet how much she can invest in her offspring. I did not find systematic food quality difference between diatoms and dinoflagellates. There are both good and bad diatom and dinoflagellate species. Instead, the dominating species in the phytoplankton bloom composition has a central role in determining the food quality, although copepods aim at obtaining as a balanced diet as possible by foraging on several species. If the dominating species is of poor quality it can cause stress when ingested, or lead to non-optimal foraging if rejected. My thesis demonstrates that climate change induced water temperature and pH changes can cause problems to Baltic Sea copepod communities. However, their resilience depends substantially on their diet, and therefore the response of phytoplankton to the environmental changes. As copepods are an important link in pelagic food webs, their future success can have far reaching consequences, for example on fish stocks.

Repair of segmental bone defects with fiber-reinforced composite: a study of material development and an animal model on rabbits

The Repair of segmental defects in load-bearing long bones is a challenging task because of the diversity of the load affecting the area; axial, bending, shearing and torsional forces all come together to test the stability/integrity of the bone. The natural biomechanical requirements for bone restorative materials include strength to withstand heavy loads, and adaptivity to conform into a biological environment without disturbing or damaging it. Fiber-reinforced composite (FRC) materials have shown promise, as metals and ceramics have been too rigid, and polymers alone are lacking in strength which is needed for restoration. The versatility of the fiber-reinforced composites also allows tailoring of the composite to meet the multitude of bone properties in the skeleton. The attachment and incorporation of a bone substitute to bone has been advanced by different surface modification methods. Most often this is achieved by the creation of surface texture, which allows bone growth, onto the substitute, creating a mechanical interlocking. Another method is to alter the chemical properties of the surface to create bonding with the bone – for example with a hydroxyapatite (HA) or a bioactive glass (BG) coating. A novel fiber-reinforced composite implant material with a porous surface was developed for bone substitution purposes in load-bearing applications. The material’s biomechanical properties were tailored with unidirectional fiber reinforcement to match the strength of cortical bone. To advance bone growth onto the material, an optimal surface porosity was created by a dissolution process, and an addition of bioactive glass to the material was explored. The effects of dissolution and orientation of the fiber reinforcement were also evaluated for bone-bonding purposes. The Biological response to the implant material was evaluated in a cell culture study to assure the safety of the materials combined. To test the material’s properties in a clinical setting, an animal model was used. A critical-size bone defect in a rabbit’s tibia was used to test the material in a load-bearing application, with short- and long-term follow-up, and a histological evaluation of the incorporation to the host bone. The biomechanical results of the study showed that the material is durable and the tailoring of the properties can be reproduced reliably. The Biological response - ex vivo - to the created surface structure favours the attachment and growth of bone cells, with the additional benefit of bioactive glass appearing on the surface. No toxic reactions to possible agents leaching from the material could be detected in the cell culture study when compared to a nontoxic control material. The mechanical interlocking was enhanced - as expected - with the porosity, whereas the reinforcing fibers protruding from the surface of the implant gave additional strength when tested in a bone-bonding model. Animal experiments verified that the material is capable of withstanding load-bearing conditions in prolonged use without breaking of the material or creating stress shielding effects to the host bone. A Histological examination verified the enhanced incorporation to host bone with an abundance of bone growth onto and over the material. This was achieved with minimal tissue reactions to a foreign body. An FRC implant with surface porosity displays potential in the field of reconstructive surgery, especially regarding large bone defects with high demands on strength and shape retention in load-bearing areas or flat bones such as facial / cranial bones. The benefits of modifying the strength of the material and adjusting the surface properties with fiber reinforcement and bone-bonding additives to meet the requirements of different bone qualities are still to be fully discovered.

Development and standardization of an indirect ELISA for the serological diagnosis of classical swine fever

An indirect enzyme linked immunoassay (ELISA-I) was developed and standardized for the serological diagnosis of classical swine fever (CSF). For the comparison, nine hundred and thirty-seven swine serum samples were tested by serum neutralization followed by immunoperoxidase staining (NPLA), considered as the standard. Of these, 223 were positive and 714 negative for neutralizing antibodies to classical swine fever virus (CSFV). In relation to the NPLA, the ELISA-I presented a 98.2% sensitivity; 92.86% specificity, 81.11% positive predictive value, 99.4% negative predictive value and a 94.1% precision. Statistical analysis showed a very strong correlation (r=0,94) between both tests. When compared to a commercially available ELISA kit, the performance of both, in relation to the NPLA, was similar. It was concluded that the ELISA-I is suitable for large scale screening of antibodies to classical swine fever virus, although it does not distinguish antibodies to classical swine fever virus from those induced by other pestiviruses.

Evaluation of the indirect fluorescent antibody test and modified agglutination test for detection of antibodies against Toxoplasma gondii in experimentally infected pigs

The study determined the sensitivity and specificity of the indirect fluorescent antibody test (IFAT) and modified agglutination test (MAT) for anti-Toxoplasma gondii antibody detection by analyzing sera from 46 experimentally infected pigs. Values for sensitivity were 95.7% (confidence interval 95%: 84.0-99.2%) and for specificity 97.8% (confidence interval 95%: 87.0-99.9%) in both tests. There was an optimum agreement of results between IFAT and MAT evidenced by a Kappa test of 0.86. These results validate these tests for the detection of T. gondii infection in pigs. IFAT and MAT despite methodologies with different characteristics and readings have similar accuracy in pig serum samples.

Development of porous glass-fiber reinforced composite for bone implants. Evaluation of antimicrobial effect and implant fixation

Cranial bone reconstructions are necessary for correcting large skull bone defects due to trauma, tumors, infections and craniotomies. Traditional synthetic implant materials include solid or mesh titanium, various plastics and ceramics. Recently, biostable glass-fiber reinforced composites (FRC), which are based on bifunctional methacrylate resin, were introduced as novel implant solution. FRCs were originally developed and clinically used in dental applications. As a result of further in vitro and in vivo testing, these composites were also approved for clinical use in cranial surgery. To date, reconstructions of large bone defects were performed in 35 patients. This thesis is dedicated to the development of a novel FRC-based implant for cranial reconstructions. The proposed multi-component implant consists of three main parts: (i) porous FRC structure; (ii) bioactive glass granules embedded between FRC layers and (iii) a silver-polysaccharide nanocomposite coating. The porosity of the FRC structure should allow bone ingrowth. Bioactive glass as an osteopromotive material is expected to stimulate the formation of new bone. The polysaccharide coating is expected to prevent bacterial colonization of the implant. The FRC implants developed in this study are based on the porous network of randomly-oriented E-glass fibers bound together by non-resorbable photopolymerizable methacrylate resin. These structures had a total porosity of 10–70 volume %, of which > 70% were open pores. The pore sizes > 100 μm were in the biologically-relevant range (50-400 μm), which is essential for vascularization and bone ingrowth. Bone ingrowth into these structures was simulated by imbedding of porous FRC specimens in gypsum. Results of push-out tests indicated the increase in the shear strength and fracture toughness of the interface with the increase in the total porosity of FRC specimens. The osteopromotive effect of bioactive glass is based on its dissolution in the physiological environment. Here, calcium and phosphate ions, released from the glass, precipitated on the glass surface and its proximity (the FRC) and formed bone-like apatite. The biomineralization of the FRC structure, due to the bioactive glass reactions, was studied in Simulated Body Fluid (SBF) in static and dynamic conditions. An antimicrobial, non-cytotoxic polysaccharide coating, containing silver nanoparticles, was obtained through strong electrostatic interactions with the surface of FRC. In in vitro conditions the lactose-modified chitosan (chitlac) coating showed no signs of degradation within seven days of exposure to lysozyme or one day to hydrogen peroxide (H2O2). The antimicrobial efficacy of the coating was tested against Staphylococcus aureus and Pseudomonas aeruginosa. The contact-active coating had an excellent short time antimicrobial effect. The coating neither affected the initial adhesion of microorganisms to the implant surface nor the biofilm formation after 24 h and 72 h of incubation. Silver ions released to the aqueous environment led to a reduction of bacterial growth in the culture medium.

Use of fiber-reinforced composite framework and thermochromic pigment in maxillofacial prostheses

The purpose of this investigation was to evaluate the possibility to enhance certain qualities of facial prostheses. Polymethyl methacrylate is still being used as base mate¬rial or clip carrier material, but it is hard and heavy, and debonding of the silicone from the acrylic base material is a frequent problem. This thesis aims to evaluate the use of fiber-reinforced composite (FRC) as framework material for maxillofacial silicone prostheses. FRC has been used as reinforcement in removable and fixed partial dentures since the 1990s. This material is lightweight and can be fabricated to compress the margins of the prosthesis slightly, to keep it tightly against the skin during jaw movements and facial expressions. Additionally, the use of a thermochromic pigment, colorless in room temperature and red in a cold environment, was studied in order to evaluate the possibility of using this color changing pigment in facial prostheses to mimic the color change of facial skin in cold weather. The tensile bond strength between pre-impregnated, unidirectional FRC and maxillofacial silicone elastomer was studied. Three different bonding agents or primers were compared. Bond strength was improved by one of the primers and by roughening the surface. The effect of a skin compressing glass fiber-reinforced composite framework on facial skin blood flow was studied by using a face mask, constructed with a compression pad corresponding to the outer margin of a glass fiber-reinforced framework beam of a facial prosthesis. The skin blood flow of ten healthy volunteers, aged 23-25 years, was measured during touch, light, and moderate compression of the skin, by using laser Doppler imaging technique. None of the compressions showed any marked effects on local skin blood flow. There were no significant differences between blood flow during compression and at baseline. Maxillofacial silicone elastomer was colored intrinsically with conventional color pigments: a control group containing only conventional pigments was compared to two test groups with 0.2 wt% and 0.6 wt% thermochromic pigment added. The color of the material was measured with a spectrophotometer in room temperature and after storage in a freezer. The color stability of the maxillofacial silicone elastomer colored with thermo¬chromic pigment was evaluated by artificial aging. The color dif¬ference of the L* (lightness) and a* values (redness), comparing color after the samples were stored at room temperature and in a freezer (-19°C), was statistically significant for both 0.2 wt% and 0.6 wt% thermo¬chromic pigment groups. The differences in the b* values (yellowness) were statistically significant for the 0.6 wt% group. Exposure to ultraviolet (UV) radiation led to visually noticeable and statistically signifi¬cant color changes (ΔE) in all color values in both test groups. The specimens containing thermochromic pigment were very sensitive to UV radiation. In conclusion, a framework of fiber-reinforced composite can successfully be bonded to maxillofacial silicone elastomer, and a framework beam, compressing the facial skin, did not remarkably alter the skin blood flow on healthy, young adults. The thermochromic pigment showed color change in maxillofacial silicone elastomer. However, artificial aging showed that it was too sensitive to UV radiation to be used, as such, in maxillofacial prostheses.

Design and validation of stateful composite RESTful web services

A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to automate different tasks and offer services to a wider audience. The REST architectural style aims at producing scalable and extensible web services using technologies that play well with the existing tools and infrastructure of the web. It provides a uniform set of operation that can be used to invoke a CRUD interface (create, retrieve, update and delete) of a web service. The stateless behavior of the service interface requires that every request to a resource is independent of the previous ones facilitating scalability. Automated systems, e.g., hotel reservation systems, provide advanced scenarios for stateful services that require a certain sequence of requests that must be followed in order to fulfill the service goals. Designing and developing such services for advanced scenarios with REST constraints require rigorous approaches that are capable of creating web services that can be trusted for their behavior. Systems that can be trusted for their behavior can be termed as dependable systems. This thesis presents an integrated design, analysis and validation approach that facilitates the service developer to create dependable and stateful REST web services. The main contribution of this thesis is that we provide a novel model-driven methodology to design behavioral REST web service interfaces and their compositions. The behavioral interfaces provide information on what methods can be invoked on a service and the pre- and post-conditions of these methods. The methodology uses Unified Modeling Language (UML), as the modeling language, which has a wide user base and has mature tools that are continuously evolving. We have used UML class diagram and UML state machine diagram with additional design constraints to provide resource and behavioral models, respectively, for designing REST web service interfaces. These service design models serve as a specification document and the information presented in them have manifold applications. The service design models also contain information about the time and domain requirements of the service that can help in requirement traceability which is an important part of our approach. Requirement traceability helps in capturing faults in the design models and other elements of software development environment by tracing back and forth the unfulfilled requirements of the service. The information about service actors is also included in the design models which is required for authenticating the service requests by authorized actors since not all types of users have access to all the resources. In addition, following our design approach, the service developer can ensure that the designed web service interfaces will be REST compliant. The second contribution of this thesis is consistency analysis of the behavioral REST interfaces. To overcome the inconsistency problem and design errors in our service models, we have used semantic technologies. The REST interfaces are represented in web ontology language, OWL2, that can be part of the semantic web. These interfaces are used with OWL 2 reasoners to check unsatisfiable concepts which result in implementations that fail. This work is fully automated thanks to the implemented translation tool and the existing OWL 2 reasoners. The third contribution of this thesis is the verification and validation of REST web services. We have used model checking techniques with UPPAAL model checker for this purpose. The timed automata of UML based service design models are generated with our transformation tool that are verified for their basic characteristics like deadlock freedom, liveness, reachability and safety. The implementation of a web service is tested using a black-box testing approach. Test cases are generated from the UPPAAL timed automata and using the online testing tool, UPPAAL TRON, the service implementation is validated at runtime against its specifications. Requirement traceability is also addressed in our validation approach with which we can see what service goals are met and trace back the unfulfilled service goals to detect the faults in the design models. A final contribution of the thesis is an implementation of behavioral REST interfaces and service monitors from the service design models. The partial code generation tool creates code skeletons of REST web services with method pre and post-conditions. The preconditions of methods constrain the user to invoke the stateful REST service under the right conditions and the post condition constraint the service developer to implement the right functionality. The details of the methods can be manually inserted by the developer as required. We do not target complete automation because we focus only on the interface aspects of the web service. The applicability of the approach is demonstrated with a pedagogical example of a hotel room booking service and a relatively complex worked example of holiday booking service taken from the industrial context. The former example presents a simple explanation of the approach and the later worked example shows how stateful and timed web services offering complex scenarios and involving other web services can be constructed using our approach.