Enhancing human security through crisis management : opportunities and challenges for learning

Inhimilliseen turvallisuuteen kriisinhallinnan kautta – oppimisen mahdollisuuksia ja haasteita Kylmän sodan jälkeen aseelliset konfliktit ovat yleensä alkaneet niin sanotuissa hauraissa valtioissa ja köyhissä maissa, ne ovat olleet valtioiden sisäisiä ja niihin on osallistunut ei-valtiollisia aseellisia ryhmittymiä. Usein ne johtavat konfliktikierteeseen, jossa sota ja vakaammat olot vaihtelevat. Koska kuolleisuus konflikteissa voi jäädä alle kansainvälisen määritelmän (1000 kuollutta vuodessa), kutsun tällaisia konflikteja ”uusiksi konflikteiksi”. Kansainvälinen yhteisö on pyrkinyt kehittämään kriisinhallinnan ja rauhanrakentamisen malleja, jotta pysyvä rauhantila saataisiin aikaiseksi. Inhimillinen turvallisuus perustuu näkemykseen, jossa kunnioitetaan jokaisen yksilön ihmisoikeuksia ja jolla on vaikutusta myös kriisinhallinnan ja rauhanrakentamisen toteuttamiseen. Tutkimukseen kuuluu kaksi empiiristä osaa: Delfoi tulevaisuuspaneeliprosessin sekä kriisinhallintahenkilöstön haastattelut. Viisitoista eri alojen kriisinhallinta-asiantuntijaa osallistui paneeliin, joka toteutettiin vuonna 2008. Paneelin tulosten mukaan tulevat konfliktit usein ovat uusien konfliktien kaltaisia. Lisäksi kriisinhallintahenkilöstöltä edellytetään vuorovaikutus- ja kommunikaatiokykyä ja luonnollisesti myös varsinaisia ammatillisia valmiuksia. Tulevaisuuspaneeli korosti vuorovaikutus- ja kommunikaatiotaitoja erityisesti siviilikriisinhallintahenkilöstön kompetensseissa, mutta samat taidot painottuivat sotilaallisen kriisinhallinnan henkilöstön kompetensseissakin. Kriisinhallinnassa tarvitaan myös selvää työnjakoa eri toimijoiden kesken. Kosovossa työskennelleen henkilöstön haastatteluaineisto koostui yhteensä 27 teemahaastattelusta. Haastateltavista 9 oli ammattiupseeria, 10 reservistä rekrytoitua rauhanturvaajaa ja 8 siviilikriisinhallinnassa työskennellyttä henkilöä. Haastattelut toteutettiin helmi- ja kesäkuun välisenä aikana vuonna 2008. Haastattelutuloksissa korostui vuorovaikutus- ja kommunikaatiotaitojen merkitys, sillä monissa käytännön tilanteissa haastateltavat olivat ratkoneet ongelmia yhteistyössä muun kriisinhallintahenkilöstön tai paikallisten asukkaiden kanssa. Kriisinhallinnassa toteutui oppimisprosesseja, jotka usein olivat luonteeltaan myönteisiä ja informaalisia. Tällaisten onnistumisten vaikutus yksilön minäkuvaan oli myönteinen. Tällaisia prosesseja voidaan kuvata ”itseä koskeviksi oivalluksiksi”. Kriisinhallintatehtävissä oppimisella on erityinen merkitys, jos halutaan kehittää toimintoja inhimillisen turvallisuuden edistämiseksi. Siksi on tärkeää, että kriisinhallintakoulutusta ja kriisinhallintatyössä oppimista kehitetään ottamaan huomioon oppimisen eri tasot ja ulottuvuudet sekä niiden merkitys. Informaaliset oppimisen muodot olisi otettava paremmin huomioon kriisinhallintakoulutusta ja kriisinhallintatehtävissä oppimista kehitettäessä. Palautejärjestelmää olisi kehitettävä eri tavoin. Koko kriisinhallintaoperaation on saatava tarvittaessa myös kriittistä palautetta onnistumisista ja epäonnistumisista. Monet kriisinhallinnassa työskennelleet kaipaavat kunnollista palautetta työrupeamastaan. Liian rutiininomaiseksi koettu palaute ei edistä yksilön oppimista. Spontaanisti monet haastatellut pitivät tärkeänä, että kriisinhallinnassa työskennelleillä olisi mahdollisuus debriefing- tyyppiseen kotiinpaluukeskusteluun. Pelkkä tällainen mahdollisuus ilmeisesti voisi olla monelle myönteinen uutinen, vaikka tilaisuutta ei hyödynnettäisikään. Paluu kriisinhallintatehtävistä Suomeen on monelle haasteellisempaa kuin näissä tehtävissä työskentelyn aloittaminen ulkomailla. Tutkimuksen tulokset kannustavat tutkimaan kriisinhallintaa oppimisen näkökulmasta. On myös olennaista, että kriisinhallinnan palautejärjestelmiä kehitetään mahdollisimman hyvin edistämään sekä yksilöllistä että organisatorista oppimista kriisinhallinnassa. Kriisinhallintaoperaatio on oppimisympäristö. Kriisinhallintahenkilöstön kommunikaatio- ja vuorovaikutustaitojen kehittäminen on olennaista tavoiteltaessa kestävää rauhanprosessia, jossa konfliktialueen asukkaatkin ovat mukana.

Work-related crisis exposure : psychological trauma and PTSD in news journalists

I avhandlingen undersöktes hur journalister själva reagerar efter att ha arbetat med en plötslig krissituation, samt vilka faktorer som kan bidra till en förhöjd risk för allvarliga långsiktiga stressymptom. Temat undersöktes (1) genom att se på hur journalisters tidigare erfarenheter av krisuppdrag och traumatiska upplevelser i privatlivet var relaterade till stressymptom (posttraumatiskt stressyndrom, sekundär traumatisk stress, depression och utmattningssyndrom), och (2) genom att studera riskfaktorer i en identifierad typ av kris, de finländska skolskjutningarna 2007-08. Avhandlingens resultat baserades på enkätsvar från finländska nyhetsjournalister (N = 503) och intervjuer med personer som jobbat på plats vid skolskjutningar (N = 28). En klar majoritet av journalisterna hade inte allvarliga långsiktiga stressymptom vid tiden för undersökningen. De som varit på ett tidigare krisuppdrag där man bevittnat många obehagliga detaljer hade fler allvarliga stressymptom. En annan riskfaktor var att ha ett förflutet med fler traumatiska händelser i privatlivet. Bland de som arbetat med skolskjutningar var starka kortsiktiga reaktioner, t.ex. hjälplöshet och chock, relativt vanliga. Reaktionerna hörde ändå oftast till den normala återhämtningsprocessen, och ledde inte till en långsiktig försämring av måendet. Journalister som i hög grad identifierade sig med krisen, t.ex. personer med egna barn, hade större risk för att drabbas av allvarliga symptom på lång sikt. Detsamma gällde de som på plats upplevt journalistiska etiska dilemman, t.ex. att beordras av överordnade till uppdrag som gick emot egna principer. För att förebygga psykisk stress bland journalister är det viktigt att inom branschen sprida kunskap om stressreaktioner och utveckla rekommendationer för etisk krisjournalistik. Därmed kan journalister få bättre verktyg för att minimera risken att via sitt yrkesutövande orsaka ytterligare skada åt krisdrabbade.

Transoperative refusion: a simple and safe method in emergency surgery

The objective is to reinforce the importance of blood reinfusion as a cheap, safe and simple method, which can be used in small hospitals, especially those in which there is no blood bank. Moreover, even with the use of devices that perform the collection and filtration of blood, more recent studies show that the cost-benefit ratio is much better when autologous transfusion is compared with blood transfusions, even when there is injury to hollow viscera and blood contamination. It is known that the allogeneic blood transfusion carries a number of risks to patients, among them are the coagulation disorders mediated by excess enzymes in the conserved blood, and deficiency in clotting factors, mainly the Factor V, the proacelerin. Another factor would be the risk of contamination with still unknown pathogens or that are not investigated during screening for selection of donors, such as the West Nile Fever and Creutzfeldt-Jacob, better known as "Mad Cow" disease. Comparing both methods, we conclude that blood autotransfusion has numerous advantages over heterologous transfusion, even in large hospitals. We are not against blood transfusions, just do not agree that the patient's own blood is discarded without making sure there will be enough blood in stock to get him out of the hemorrhagic shock.

The us subprime crisis and stock market integration: evidence from the BRICS

The aim of this study is to examine the level of stock market co-movement in the BRICS countries and three major industrialized countries (Japan, UK and USA). While analyzing the interdependence and integration of markets, two subsets are examined: before (2000 – 2007) and during the global financial crisis (2007-2011). Generally, interdependence across markets is likely to increase during a highly volatile period. This is problematic because if it were true, the main benefit of international diversification would be reduced at times when it is most needed. The results reveal the dominant role of the US financial markets over the examined time period. Empirical studies of this research paper indicate that cross-market linkages have become slightly stronger during the ongoing subprime crisis than before crisis. However, results also show that an investor may obtain some international diversification benefits by investing especially in the BRICS countries despite the fact of unstable economic condition and growing globalization.

Genetic characterization of Brazilian bovine viral diarrhea virus isolates by partial nucleotide sequencing of the 5'-UTR region

Nineteen isolates of bovine viral diarrhea virus (BVDV) from Brazil were genetically characterized through partial nucleotide sequencing and analysis of the 5'UTR region. The isolates were grouped as BVDV-1 (11/19), BVDV-2 (6/19) or "atypical" pestivirus (2/19). Among the BVDV-1, eight isolates were classified as subgenotype BVDV-1a, whereas most (4 out of 6) BVDV-2 belonged to subgenotype 2b. Two isolates from aborted fetuses were not classified into any genetic group, being considered atypical BVDVs. Genetic diversity among Brazilian BVDV isolates may be responsible for vaccination and diag-nostic failure and therefore may influence the control strategies for BVDV infection in the country.

Blood-gas and electrolyte values for Amazon parrots (Amazona aestiva)

The aim was to provide reference data for blood gas/acid-base status and electrolytes for non-anesthetized Amazon parrots (Amazona aestiva). Thirty-five adult parrots from Tietê ecologic park were utilized. Arterial blood (0.3ml) samples were anaerobically collected from the superficial ulnar artery in heparinized (sodium heparin) 1-ml plastic syringes. The samples were immediately analyzed through a portable analyzer (i-STAT*, Abbot, Illinois, USA) with cartridges (EG7+). These data were grouped in such a way as to present both mean and standard deviation: body weight (360±37g), respiratory rate (82±33 b/m), temperature (41.8±0.6°C), hydrogen potential (7.452±0.048), carbon dioxide partial pressure (22.1±4.0mmHg), oxygen partial pressure (98.1±7.6mmHg), base excess (-7.9±3.1), plasma concentration of bicarbonate ions (14.8±2.8mmol/L), oxygen saturation (96.2±1.1%), plasma concentration of sodium (147.4±2.2mmol/L), plasma concentration of potassium (3.5±0.53mmol/L), plasma concentration of calcium (0.8±0.28mmol/L), hematocrit (38.7±6.2%) and concentration of hemoglobin (13.2±2.1g/dl). This study led us to conclude that, although the results obtained showed hypocapnia and low values of bicarbonate and base excess, when compared to other avian species, these data are very similar. Besides, in spite of the equipment being approved only for human beings, it was considered simple and very useful in the analysis of avian blood samples. By using this equipment we were able to provide references data for non-anaesthetized Amazon parrots.

Exchange rate volatility and the use of foreign currency derivatives: Impact of 2008 global financial crisis

This thesis examines the impact of foreign exchange rate volatility to the extent of use of foreign currency derivatives. Especially the focus is on the impacts of 2008 global financial crisis. The crisis increased risk level in the capital markets greatly. The change in the currency derivatives use is analyzed by comparing means between different periods and in addition, by linear regression that enables to analyze the explanatory power of the model. The research data consists of financial statements figures from fiscal years 2006-2011 published by firms operating in traditional Finnish industrial sectors. Volatilities of the chosen three currency pairs is calculated from the daily fixing rates of ECB. Based on the volatility the sample period is divided into three sub-periods. The results suggest that increased FX market volatility did not increase the use foreign currency derivatives. Furthermore, the increased foreign exchange rate volatility did not increase the power of linear regression model to estimate the use foreign currency derivatives compared to previous studies.

Emerging animal viruses: real threats or simple bystanders?

The list of animal viruses has been frequently added of new members raising permanent concerns to virologists and veterinarians. The pathogenic potential and association with disease have been clearly demonstrated for some, but not for all of these emerging viruses. This review describes recent discoveries of animal viruses and their potential relevance for veterinary practice. Dogs were considered refractory to influenza viruses until 2004, when an influenza A virus subtype H3N8 was transmitted from horses and produced severe respiratory disease in racing greyhounds in Florida/USA. The novel virus, named canine influenza virus (CIV), is considered now a separate virus lineage and has spread among urban canine population in the USA. A new pestivirus (Flaviviridae), tentatively called HoBi-like pestivirus, was identified in 2004 in commercial fetal bovine serum from Brazil. Hobi-like viruses are genetically and antigenically related to bovine viral diarrhea virus (BVDV) and induce similar clinical manifestations. These novel viruses seem to be widespread in Brazilian herds and have also been detected in Southeast Asia and Europe. In 2011, a novel mosquito-borne orthobunyavirus, named Schmallenberg virus (SBV), was associated with fever, drop in milk production, abortion and newborn malformation in cattle and sheep in Germany. Subsequently, the virus disseminated over several European countries and currently represents a real treat for animal health. The origin of SBV is still a matter of debate but it may be a reassortant from previous known bunyaviruses Shamonda and Satuperi. Hepatitis E virus (HEV, family Hepeviridae) is a long known agent of human acute hepatitis and in 1997 was first identified in pigs. Current data indicates that swine HEV is spread worldwide, mainly associated with subclinical infection. Two of the four HEV genotypes are zoonotic and may be transmitted between swine and human by contaminated water and undercooked pork meat. The current distribution and impact of HEV infection in swine production are largely unknown. Avian gyrovirus type 2 (AGV2) is a newly described Gyrovirus, family Circoviridae, which was unexpectedly found in sera of poultry suspected to be infected with chicken anemia virus (CAV). AGV2 is closely related to CAV but displays sufficient genomic differences to be classified as a distinct species. AGV2 seems to be distributed in Brazil and also in other countries but its pathogenic role for chickens is still under investigation. Finally, the long time and intensive search for animal relatives of human hepatitis C virus (HCV) has led to the identification of novel hepaciviruses in dogs (canine hepacivirus [CHV]), horses (non-primate hepaciviruses [NPHV] or Theiler's disease associated virus [TDAV]) and rodents. For these, a clear and definitive association with disease is still lacking and only time and investigation will tell whether they are real disease agents or simple spectators.

Identification of Some Additional Loss Components in High-Power Low-Voltage Permanent Magnet Generators

Permanent magnet generators (PMG) represent the cutting edge technology in modern wind mills. The efficiency remains high (over 90%) at partial loads. To improve the machine efficiency even further, every aspect of machine losses has to be analyzed. Additional losses are often given as a certain percentage without providing any detailed information about the actual calculation process; meanwhile, there are many design-dependent losses that have an effect on the total amount of additional losses and that have to be taken into consideration. Additional losses are most often eddy current losses in different parts of the machine. These losses are usually difficult to calculate in the design process. In this doctoral thesis, some additional losses are identified and modeled. Further, suggestions on how to minimize the losses are given. Iron losses can differ significantly between the measured no-load values and the loss values under load. In addition, with embedded magnet rotors, the quadrature-axis armature reaction adds losses to the stator iron by manipulating the harmonic content of the flux. It was, therefore, re-evaluated that in salient pole machines, to minimize the losses and the loss difference between the no-load and load operation, the flux density has to be kept below 1.5 T in the stator yoke, which is the traditional guideline for machine designers. Eddy current losses may occur in the end-winding area and in the support structure of the machine, that is, in the finger plate and the clamping ring. With construction steel, these losses account for 0.08% of the input power of the machine. These losses can be reduced almost to zero by using nonmagnetic stainless steel. In addition, the machine housing may be subjected to eddy current losses if the flux density exceeds 1.5 T in the stator yoke. Winding losses can rise rapidly when high frequencies and 10–15 mm high conductors are used. In general, minimizing the winding losses is simple. For example, it can be done by dividing the conductor into transposed subconductors. However, this comes with the expense of an increase in the DC resistance. In the doctoral thesis, a new method is presented to minimize the winding losses by applying a litz wire with noninsulated strands. The construction is the same as in a normal litz wire but the insulation between the subconductors has been left out. The idea is that the connection is kept weak to prevent harmful eddy currents from flowing. Moreover, the analytical solution for calculating the AC resistance factor of the litz-wire is supplemented by including an end-winding resistance in the analytical solution. A simple measurement device is developed to measure the AC resistance in the windings. In the case of a litz-wire with originally noninsulated strands, vacuum pressure impregnation (VPI) is used to insulate the subconductors. In one of the two cases studied, the VPI affected the AC resistance factor, but in the other case, it did not have any effect. However, more research is needed to determine the effect of the VPI on litz-wire with noninsulated strands. An empirical model is developed to calculate the AC resistance factor of a single-layer formwound winding. The model includes the end-winding length and the number of strands and turns. The end winding includes the circulating current (eddy currents that are traveling through the whole winding between parallel strands) and the main current. The end-winding length also affects the total AC resistance factor.

Entrepreneurial orientation in small and medium-sized enterprises during economic crisis

The economic importance of small and medium-sized enterprises (SMEs) and entrepreneurship has increased significantly in recent decades and entrepreneurial activity and SMEs are deemed vital to economic progress. Therefore, it is justifiable to study how small firms and entrepreneurs can enhance their performance and emergence in the turbulent economic environment. The concept of entrepreneurial orientation (EO) has recently attracted considerable attention in the field of entrepreneurship research. EO generally refers to a firm’s propensity to be innovative, to be proactive and to take risks. A majority of EO studies so far have found that adopting EO associated entrepreneurial behaviors will help firms to create or sustain a high level of performance. This dissertation explores the main drivers and performance implications of EO for SMEs in time of economic crisis. Hence the first objective of this dissertation is to examine the performance implications of EO and to test the role of EO on how firms are treated by the crisis at operative level. The second objective is to expand the prevailing understanding of determinants of EO by exploring the relationship between owner's work related values, attitudes, demographic characteristics, firm’s financial resources and EO. EO was found to be a significant and positive factor behind a firm’s long run growth. Hence it can be said that EO has positive implications for firm performance. But on the other hand, during a time of economic crisis the different dimensions of EO had both positive and negative effects on performance of SMEs. The performance implications varied across different stages of the crisis and were also dependent on what measure was used for measuring the performance. The main drivers of EO in SMEs were the personal work related values of the entrepreneur and his/her prior experience as an entrepreneur. The intrinsic work values related to interest, responsibility, challenge, self-development or intellectual stimulation and values related to status, power, achievement and recognition had a positive effect on the level of EO. On the other hand, extrinsic values related to high income, material possessions, benefits such as generous holidays, job security, and comfort through good working conditions decreased the level of EO

Partial budget analysis of prepartum antimicrobial therapy and Escherichia coli J5 vaccination of dairy heifers and their effect on milk production and milk quality parameters

Abstract: This study aimed to determine whether prepartum antimicrobial and/or Escherichia coli J5 vaccination in dairy heifers influence the milk production, milk quality, and estimate their economic benefit. Thus, 33 dairy heifers were enrolled in four groups using a split-splot design. Groups were: (G1) prepartum antimicrobial infusion and vaccination with an E. coli J5 bacterin, (G2) prepartum antimicrobial infusion, (G3) vaccination with an E. coli J5 bacterin, and (G4) control heifers. Composite milk samples for somatic cell count, total bacteria count and milk composition were collected 15 days after calving and every 15 days until the end of the experiment. Bacteriological analysis was carried out at the end of study. The milk production and the incidence of clinical cases of mastitis, as well as the costs associated with them were recorded. The results demonstrate a reduction on clinical mastitis rates by preventive strategies, which implicated in lower volume of discarded milk (0.99, 1.01, 1.04 and 3.98% for G1, G2, G3 and G4, respectively) and higher economic benefit. Thus, in well-managed dairy herds the prevention of heifer mastitis by vaccination or antimicrobial therapy can reduce the amount of antimicrobials needed to treat clinical mastitis cases and the days of discarded milk.

Violations of children's rights in armed conflicts : international treaties, observations by peacekeepers and crisis management training in Finland

Ninety-nine Finnish peacekeepers, who had been serving in 15 different operations around the world, participated in the study (8 women, 27-52 years old, m = 37.4, SD = 8.9; and 91 men, 21-69 years old, m = 41.4, SD = 10.2). Three military crisis management trainers from the Finnish Defence Forces International Centre also participated in the study. The data was collected with two webbased questionnaires. In addition two interviews were made with specialists of civilian crisis management in Finland. The study also provides an overview of international treaties concerning children’s rights in armed conflict. The results show that 48.7 % of dangers for children in conflicts reported by the peacekeepers were related to physical injury (e.g. landmines and traffic), and 27.4 % were related to social problems (e.g. poverty, child soldiers, and trafficking). 24.1 % of the peacekeepers had made observations of children’s rights violations either often or very often during peacekeeping operations. 49.6 % of the observations were related to social problems (e.g. child labour or being forced to beg), and 33.0 % were related to physical injury (e.g. assault). Frequency of observation of children’s rights violations was not associated with either sex or military degree of the peacekeepers; instead it was significantly correlated with the peacekeepers’ degree of knowledge of EU’s child protection guidelines. On the basis of the results, it is recommended that knowledge about children’s rights and protection should be included in the training of Finnish crisis management personnel to a much higher degree than at the present.

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.