Towards combining interactive mobile TV and smart spaces : architectures, tools and application development

Technological developments in microprocessors and ICT landscape have made a shift to a new era where computing power is embedded in numerous small distributed objects and devices in our everyday lives. These small computing devices are ne-tuned to perform a particular task and are increasingly reaching our society at every level. For example, home appliances such as programmable washing machines, microwave ovens etc., employ several sensors to improve performance and convenience. Similarly, cars have on-board computers that use information from many di erent sensors to control things such as fuel injectors, spark plug etc., to perform their tasks e ciently. These individual devices make life easy by helping in taking decisions and removing the burden from their users. All these objects and devices obtain some piece of information about the physical environment. Each of these devices is an island with no proper connectivity and information sharing between each other. Sharing of information between these heterogeneous devices could enable a whole new universe of innovative and intelligent applications. The information sharing between the devices is a diffcult task due to the heterogeneity and interoperability of devices. Smart Space vision is to overcome these issues of heterogeneity and interoperability so that the devices can understand each other and utilize services of each other by information sharing. This enables innovative local mashup applications based on shared data between heterogeneous devices. Smart homes are one such example of Smart Spaces which facilitate to bring the health care system to the patient, by intelligent interconnection of resources and their collective behavior, as opposed to bringing the patient into the health system. In addition, the use of mobile handheld devices has risen at a tremendous rate during the last few years and they have become an essential part of everyday life. Mobile phones o er a wide range of different services to their users including text and multimedia messages, Internet, audio, video, email applications and most recently TV services. The interactive TV provides a variety of applications for the viewers. The combination of interactive TV and the Smart Spaces could give innovative applications that are personalized, context-aware, ubiquitous and intelligent by enabling heterogeneous systems to collaborate each other by sharing information between them. There are many challenges in designing the frameworks and application development tools for rapid and easy development of these applications. The research work presented in this thesis addresses these issues. The original publications presented in the second part of this thesis propose architectures and methodologies for interactive and context-aware applications, and tools for the development of these applications. We demonstrated the suitability of our ontology-driven application development tools and rule basedapproach for the development of dynamic, context-aware ubiquitous iTV applications.

Design of an amplifier and an instrumentation setup for a harsh environment heat flux measurement application – case axial flux electric machine

Measurement is a tool for researching. Therefore, it is important that the measuring process is carried out correctly, without distorting the signal or the measured event. Researches of thermoelectric phenomena have been focused more on transverse thermoelectric phenomena during recent decades. Transverse Seebeck effect enables to produce thinner and faster heat flux sensor than before. Studies about transverse Seebeck effect have so far focused on materials, so in this Master’s Thesis instrumentation of transverse Seebeck effect based heat flux sensor is studied, This Master’s Thesis examines an equivalent circuit of transverse Seebeck effect heat flux sensors, their connectivity to electronics and choosing and design a right type amplifier. The research is carried out with a case study which is Gradient Heat Flux Sensors and an electrical motor. In this work, a general equivalent circuit was presented for the transverse Seebeck effect-based heat flux sensor. An amplifier was designed for the sensor of the case study, and the solution was produced for the measurement of the local heat flux of the electric motor to improve the electromagnetic compatibility.

Energy Efficiency of a Diesel-Electric MobileWorking Machine

The power demand of many mobile working machines such as mine loaders, straddle carriers and harvesters varies significantly during operation, and typically, the average power demand of a working machine is considerably lower than the demand for maximum power. Consequently, for most of the time, the diesel engine of a working machine operates at a poor efficiency far from its optimum efficiency range. However, the energy efficiency of dieseldriven working machines can be improved by electric hybridization. This way, the diesel engine can be dimensioned to operate within its optimum efficiency range, and the electric drive with its energy storages responds to changes in machine loading. A hybrid working machine can be implemented in many ways either as a parallel hybrid, a series hybrid or a combination of these two. The energy efficiency of hybrid working machines can be further enhanced by energy recovery and reuse. This doctoral thesis introduces the component models required in the simulation model of a working machine. Component efficiency maps are applied to the modelling; the efficiency maps for electrical machines are determined analytically in the whole torque–rotational speed plane based on the electricalmachine parameters. Furthermore, the thesis provides simulation models for parallel, series and parallel-series hybrid working machines. With these simulation models, the energy consumption of the working machine can be analysed. In addition, the hybridization process is introduced and described. The thesis provides a case example of the hybridization and dimensioning process of a working machine, starting from the work cycle of the machine. The selection and dimensioning of the hybrid system have a significant impact on the energy consumption of a hybrid working machine. The thesis compares the energy consumption of a working machine implemented by three different hybrid systems (parallel, series and parallel-series) and with different component dimensions. The payback time of a hybrid working machine and the energy storage lifetime are also estimated in the study.

M-käsittelyn vaikutus lastuamalla valmistettavan tuotteen valmistuskustannuksiin

Paremmin lastuttavia M-käsiteltyjä teräksiä on käytetty yrityksissä jo yli 20 vuoden ajan. Ominaisuuksiensa ansiosta M-teräksillä on pystytty pienentämään koneistuskustannuksia ja parantamaan kilpailukykyä. Viime vuosien aikana lastuavat terät ja työstökoneet ovat kuitenkin kehittyneet ja ero M-terästen ja tavanomaisten terästen välillä on voinut kaventua. Tämän diplomityön tavoitteena oli tutkia, saavutetaanko M-teräksen käytöllä taloudellisia etuja nykyaikaisissa konepajaolosuhteissa. Tutkimuksessa vertailtiin M-käsitellyn ja tavanomaisen 42CrMo4 – teräksen koneistusta. Valmistuskokeissa tarkasteltiin terien kulumista, lastun muotoa ja pinnanlaatua. Koekappaleena toimi olakkeellinen kuusiomutteri M64 kierteellä. Tuotteita valmistettiin yli 500 kappaletta ja materiaalia poistettiin noin 2000 kg. Koetulosten perusteella tuotteille laskettiin koneistuskustannukset kuvitteellisessa yrityksessä. Ero materiaalien välillä oli suurin työvaiheissa, joissa lastuaminen oli jatkuvaa. Sisä- ja ulkosorvauksessa M-käsiteltyä terästä lastunneiden terien kestoikä oli noin kaksinkertainen ja kierteen sorvauksessa noin nelinkertainen tavalliseen teräkseen verrattuna. Hakkaavassa työstössä terien kestoikä oli molemmilla materiaaleilla sama. Työssä suoritettujen kokeiden ja kustannuslaskelmien perusteella, käyttämällä M-käsiteltyä terästä voidaan pienentää valmistuskustannuksia. Materiaalien välinen ero korostuu, kun hakkaavaa työstöä on vähän, sarjat ovat suuria ja tuotanto on miehittämätöntä.

Tooth-Coil Permanent Magnet Synchronous Machine Design for Special Applications

This doctoral thesis presents a study on the design of tooth-coil permanent magnet synchronous machines. The electromagnetic properties of concentrated non-overlapping winding permanent magnet synchronous machines, or simply tooth-coil permanent magnet synchronous machines (TC-PMSMs), are studied in details. It is shown that current linkage harmonics play the deterministic role in the behavior of this type of machines. Important contributions are presented as regards of calculation of parameters of TC-PMSMs,particularly the estimation of inductances. The current linkage harmonics essentially define the air-gap harmonic leakage inductance, rotor losses and localized temporal inductance variation. It is proven by FEM analysis that inductance variation caused by the local temporal harmonic saturation results in considerable torque ripple, and can influence on sensorless control capabilities. Example case studies an integrated application of TC-IPMSMs in hybrid off-highway working vehicles. A methodology for increasing the efficiency of working vehicles is introduced. It comprises several approaches – hybridization, working operations optimization, component optimization and integration. As a result of component optimization and integration, a novel integrated electro-hydraulic energy converter (IEHEC) for off-highway working vehicles is designed. The IEHEC can considerably increase the operational efficiency of a hybrid working vehicle. The energy converter consists of an axial-piston hydraulic machine and an integrated TCIPMSM being built on the same shaft. The compact assembly of the electrical and hydraulic machines enhances the ability to find applications for such a device in the mobile environment of working vehicles.Usage of hydraulic fluid, typically used in working actuators, enables direct-immersion oil cooling of designed electrical machine, and further increases the torque- and power- densities of the whole device.

Knowledge Bases and Related Tools (KBART)

Magaly Basconesin esitys Kirjastoverkkopäivillä 24.10.2013 Helsingissä.

Biomolecular screening for inhibitors of butyrylcholinesterase : identification and characterization using in vitro and in silico tools

Drug discovery is a continuous process where researchers are constantly trying to find new and better drugs for the treatment of various conditions. Alzheimer’s disease, a neurodegenerative disease mostly affecting the elderly, has a complex etiology with several possible drug targets. Some of these targets have been known for years while other new targets and theories have emerged more recently. Cholinesterase inhibitors are the major class of drugs currently used for the symptomatic treatment of Alzheimer’s disease. In the Alzheimer’s disease brain there is a deficit of acetylcholine and an impairment in signal transmission. Acetylcholinesterase has therefore been the main target as this is the main enzyme hydrolysing acetylcholine and ending neurotransmission. It is believed that by inhibiting acetylcholinesterase the cholinergic signalling can be enhanced and the cognitive symptoms that arise in Alzheimer’s disease can be improved. Butyrylcholinesterase, the second enzyme of the cholinesterase family, has more recently attracted interest among researchers. Its function is still not fully known, but it is believed to play a role in several diseases, one of them being Alzheimer’s disease. In this contribution the aim has primarily been to identify butyrylcholinesterase inhibitors to be used as drug molecules or molecular probes in the future. Both synthetic and natural compounds in diverse and targeted screening libraries have been used for this purpose. The active compounds have been further characterized regarding their potencies, cytotoxicity, and furthermore, in two of the publications, the inhibitors ability to also inhibit Aβ aggregation in an attempt to discover bifunctional compounds. Further, in silico methods were used to evaluate the binding position of the active compounds with the enzyme targets. Mostly to differentiate between the selectivity towards acetylcholinesterase and butyrylcholinesterase, but also to assess the structural features required for enzyme inhibition. We also evaluated the compounds, active and non-active, in chemical space using the web-based tool ChemGPS-NP to try and determine the relevant chemical space occupied by cholinesterase inhibitors. In this study, we have succeeded in finding potent butyrylcholinesterase inhibitors with a diverse set of structures, nine chemical classes in total. In addition, some of the compounds are bifunctional as they also inhibit Aβ aggregation. The data gathered from all publications regarding the chemical space occupied by butyrylcholinesterase inhibitors we believe will give an insight into the chemically active space occupied by this type of inhibitors and will hopefully facilitate future screening and result in an even deeper knowledge of butyrylcholinesterase inhibitors.

Design and testing of an armature-reaction-compensated permanent magnet synchronous generator for island operation

At present, permanent magnet synchronous generators (PMSGs) are of great interest. Since they do not have electrical excitation losses, the highly efficient, lightweight and compact PMSGs equipped with damper windings work perfectly when connected to a network. However, in island operation, the generator (or parallel generators) alone is responsible for the building up of the network and maintaining its voltage and reactive power level. Thus, in island operation, a PMSG faces very tight constraints, which are difficult to meet, because the flux produced by the permanent magnets (PMs) is constant and the voltage of the generator cannot be controlled. Traditional electrically excited synchronous generators (EESGs) can easily meet these constraints, because the field winding current is controllable. The main drawback of the conventional EESG is the relatively high excitation loss. This doctoral thesis presents a study of an alternative solution termed as a hybrid excitation synchronous generator (HESG). HESGs are a special class of electrical machines, where the total rotor current linkage is produced by the simultaneous action of two different excitation sources: the electrical and permanent magnet (PM) excitation. An overview of the existing HESGs is given. Several HESGs are introduced and compared with the conventional EESG from technical and economic points of view. In the study, the armature-reaction-compensated permanent magnet synchronous generator with alternated current linkages (ARC-PMSG with ACL) showed a better performance than the other options. Therefore, this machine type is studied in more detail. An electromagnetic design and a thermal analysis are presented. To verify the operation principle and the electromagnetic design, a down-sized prototype of 69 kVA apparent power was built. The experimental results are demonstrated and compared with the predicted ones. A prerequisite for an ARC-PMSG with ACL is an even number of pole pairs (p = 2, 4, 6, …) in the machine. Naturally, the HESG technology is not limited to even-pole-pair machines. However, the analysis of machines with p = 3, 5, 7, … becomes more complicated, especially if analytical tools are used, and is outside the scope of this thesis. The contribution of this study is to propose a solution where an ARC-PMSG replaces an EESG in electrical power generation while meeting all the requirements set for generators given for instance by ship classification societies, particularly as regards island operation. The maximum power level when applying the technology studied here is mainly limited by the economy of the machine. The larger the machine is, the smaller is the efficiency benefit. However, it seems that machines up to ten megawatts of power could benefit from the technology. However, in low-power applications, for instance in the 500 kW range, the efficiency increase can be significant.

Machine vision methods for process measurements in pulping

The papermaking industry has been continuously developing intelligent solutions to characterize the raw materials it uses, to control the manufacturing process in a robust way, and to guarantee the desired quality of the end product. Based on the much improved imaging techniques and image-based analysis methods, it has become possible to look inside the manufacturing pipeline and propose more effective alternatives to human expertise. This study is focused on the development of image analyses methods for the pulping process of papermaking. Pulping starts with wood disintegration and forming the fiber suspension that is subsequently bleached, mixed with additives and chemicals, and finally dried and shipped to the papermaking mills. At each stage of the process it is important to analyze the properties of the raw material to guarantee the product quality. In order to evaluate properties of fibers, the main component of the pulp suspension, a framework for fiber characterization based on microscopic images is proposed in this thesis as the first contribution. The framework allows computation of fiber length and curl index correlating well with the ground truth values. The bubble detection method, the second contribution, was developed in order to estimate the gas volume at the delignification stage of the pulping process based on high-resolution in-line imaging. The gas volume was estimated accurately and the solution enabled just-in-time process termination whereas the accurate estimation of bubble size categories still remained challenging. As the third contribution of the study, optical flow computation was studied and the methods were successfully applied to pulp flow velocity estimation based on double-exposed images. Finally, a framework for classifying dirt particles in dried pulp sheets, including the semisynthetic ground truth generation, feature selection, and performance comparison of the state-of-the-art classification techniques, was proposed as the fourth contribution. The framework was successfully tested on the semisynthetic and real-world pulp sheet images. These four contributions assist in developing an integrated factory-level vision-based process control.

Liminal Monster and the Conflict Between Human and Machine: The Shrike in Dan Simmons’ Hyperion and The Fall of Hyperion

Tarkastelen tutkielmassani Dan Simmonsin kaksiosaista tieteisfiktioteosta, joka koostuu romaaneista Hyperion ja The Fall of Hyperion. Keskityn teoksissa esiintyvään Shrike-hirviöön, joka edustaa ihmiskunnan pelkäämää potentiaalista konfliktia ihmisten ja koneiden välillä. Pelko ja konflikti ovat keskeisiä teemoja paitsi tieteisfiktiossa, myös hirviöteoksissa yleensä, ja näiden kahden käyttö samassa kertomuksessa luo otolliset edellytykset nyky-yhteiskunnan ahdistusten kuvaamiseen. Hirviöitä ja tieteisfiktiota on tätä nykyä tutkittu melko laajalti, mutta Shrike on aiemmin jäänyt vähälle huomiolle. Lähtökohtaisen teoreettisen viitekehyksen tutkimukselleni ovat luoneet Jeffrey Cohenin Monster Theory: Reading Culture, Stephen Asman On Monsters: An Unnatural History of Our Worst Fears sekä Holly Lynn Baumgartnerin ja Roger Davisin At the Interface: Hosting the Monster. Teoksista kokoamani hirviöteorian kautta tarkastelen sitä, miten Shriken puoliksi orgaaninen ja puoliksi keinotekoinen keho heijastaa niitä romaaneissa esiintyviä osa-alueita, joista tulevaisuudenpelko ja ihmisten ja koneiden väliseen konfliktin uhka koostuu. Koska Shrike on puoliksi orgaaninen ja puoliksi keinotekoinen, se on näiden ominaisuuksien kynnyksellä; tässä risteytyneessä kehossa yhdistyvät molemmat ääripäät, jolloin tämä keho myös symboloi osapuolten välistä konfliktia. Konfliktin lisäksi Shrike ilmentää niitä vastakkaisuuksia, joista ihmisten ja koneiden välisen konfliktin pelko rakentuu: itseyttä ja toiseutta, houkuttelevuutta ja luotaantyöntävyyttä, menneisyyttä ja tulevaisuutta sekä utopiaa ja dystopiaa.

Pintamagneettikoneen magneetin asennustavan ja -työkalun kehittäminen

Työn tavoitteena oli kehitellä uusia ratkaisuita pintamagneettikoneen magneetin asennustapaan ja -työkaluun generaattoreita valmistavalle The Switch Drive Systems:lle. Asiaa lähdettiin lähestymään tekemällä alussa töitä magneetin asennustehtävissä. Tämän jälkeen aloitettiin suunnitteluprosessi, jossa sovellettiin järjestelmällistä koneensuunnittelua sekä konseptisuunnittelua. Työn tulokseksi saatiin useita eri periaatteilla toimivia magneetinasennustyökaluideoita, joiden avulla voidaan tulevaisuudessa siirtyä jatkosuunnitteluun ja työkalun valmistukseen.

Comparison between dSPACE and NI systems based on real-time intelligent control of a teleoperated hydraulic servo system

The Laboratory of Intelligent Machine researches and develops energy-efficient power transmissions and automation for mobile construction machines and industrial processes. The laboratory's particular areas of expertise include mechatronic machine design using virtual technologies and simulators and demanding industrial robotics. The laboratory has collaborated extensively with industrial actors and it has participated in significant international research projects, particularly in the field of robotics. For years, dSPACE tools were the lonely hardware which was used in the lab to develop different control algorithms in real-time. dSPACE's hardware systems are in widespread use in the automotive industry and are also employed in drives, aerospace, and industrial automation. But new competitors are developing new sophisticated systems and their features convinced the laboratory to test new products. One of these competitors is National Instrument (NI). In order to get to know the specifications and capabilities of NI tools, an agreement was made to test a NI evolutionary system. This system is used to control a 1-D hydraulic slider. The objective of this research project is to develop a control scheme for the teleoperation of a hydraulically driven manipulator, and to implement a control algorithm between human and machine interaction, and machine and task environment interaction both on NI and dSPACE systems simultaneously and to compare the results.

Enabling Change in Universities: Enhancing Education for Sustainable Development with Tools for Quality Assurance

Enabling Change in Universities: Enhancing Education for Sustainable Development with Tools for Quality Assurance This thesis deals with enabling change in universities, more explicitly enhancing education for sustainable development with tools for quality assurance. Change management is a discipline within management that was developed in the 1980s because business changed from being predictable to unpredictable. The PEST mnemonic is a method to categorize factors enabling change; such as political, economic, socio-cultural and technological factors, which all affect higher education. A classification of a change, in either hard or soft, can help understanding the type of change that an organization is facing. Hard changes are more applied to problems that have clear objectives and indicators, with a known cause of the problem. Soft changes are applied to larger problems that affect the entire organization or beyond it. The basic definition for sustainable development is: the future generations should have similar opportunities as the previous. The UN has set as a global goal an integration of education for sustainable development (ESD) at all levels of education during 2005- 2014. The goal is set also in universities, the graduates of which are future leaders for all labor markets. The objective for ESD in higher education is that graduates obtain the competence to take economic, social and environmental costs and benefits into account when making decisions. Knowledge outcomes should aim for systematic and holistic thinking, which requires cross disciplinary education. So far, the development of ESD has not achieved its goals. The UN has identified a need for more transdisclipnary research in ESD. A joint global requirement for universities is quality assurance, the aim of which is to secure and improve teaching and learning. Quality, environmental and integrated management systems are used by some universities for filling the quality assurance requirements. The goal of this thesis is to open up new ways for enhancing ESD in universities, beyond the forerunners; by exploring how management systems could be used as tools for promoting ESD. The thesis is based on five studies. In the first study, I focus on if and how tools for quality assurance could be benefitted for promoting ESD. It is written from a new perspective, the memetic, for reaching a diversity of faculty. A meme is an idea that diffuses from brain to brain. It can be applied for cultural evolution. It is a theory that is based on the evolutionary theory by Darwin, applied for social sciences. In the second Paper, I present the results from the development of the pilot process model for enhancing ESD with management systems. The development of the model is based on a study that includes earlier studies, a survey in academia and an analysis of the practice in 11 universities in the Nordic countries. In the third study, I explore if the change depends on national culture or if it is global. It is a comparative study on both policy and implementation level, between the Nordic countries and China. The fourth study is a single case study based on change management. In this study, I identify what to consider in order to enable the change: enhancing ESD with tools for quality assurance in universities. In the fifth Paper, I present the results of the process model for enhancing ESD with management systems. The model was compared with identified drivers and barriers for enhancing ESD and for implementing management systems. Finally, the process model was piloted and applied for identifying sustainability aspects in curricula. Action research was chosen as methodology because there are not already implemented approaches using quality management for promoting ESD, why the only way to study this is to make it happen. Another reason for choosing action research is since it is essential to involve students and faculty for enhancing ESD. Action based research consists of the following phases: a) diagnosing, b) planning action, c) taking action and d) evaluating action. This research was made possible by a project called Education for Sustainable Development in Academia in the Nordic countries, ESDAN, in which activities were divided into these four phases. Each phase ended with an open seminar, where the results of the study were presented. The objective for the research project was to develop a process for including knowledge in sustainable development in curricula, which could be used in the quality assurance work. Eleven universities from the Nordic countries cooperated in the project. The aim was, by applying the process, to identify and publish examples of relevant sustainability aspects in different degree programs in universities in the Nordic countries. The project was partly financed by the Nordic Council of Ministers and partly by the participating pilot universities. Based on the results of my studies, I consider that quality, environmental and integrated management systems can be used for promoting ESD in universities. Relevant sustainability aspects have been identified in different fields of studies by applying the final process model. The final process model was compared with drivers and barriers for enhancing ESD and for implementing management systems in universities and with succeeding with management systems in industry. It corresponds with these, meaning that drivers are taken into account and barriers tackled. Both ESD and management systems in universities could be considered successful memes, which can reflect an effective way of communication among individuals. I have identified that management systems could be used as tools for hard changes and to support the soft change of enhancing ESD in universities with management system. Based on the change management study I have summarized recommendations on what to consider in order to enable the studied change. The main practical implications of the results are that the process model could be applied for assessment, benchmarking and communication of ESD, connected to quality assurance, when applied. This is possible because the information can be assembled in one picture, which facilitates comparison. The memetic approach can be applied for structuring. It is viable to make comparative studies between cultures, for getting insight in special characteristics of the own culture. Action based research is suitable for involving faculty. Change management can be applied for planning a change, which both enhancing ESD and developing management systems are identified to be.

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.