Potentiometric quantification and speciation of oxygenated groups in humic substances using BEST7 software

In this study the BEST7 software was employed to quantify different classes of functional groups and to model the proton titration behavior of humic substances. To illustrate the process, the Suwannee River fulvic acid of the IHSS (International Humic Substances Society) was used. Five categories - two classes of phenolic groups (phenol and cathecol), two classes of carboxylic groups (benzoic and phtalic) and the combination between them (salicylic) - of oxygenated groups were considered as being responsible for the potentiometric behavior of the sample and were quantitatively determined. The most and the least abundant groups were cathecol (3.300 ± 0.010 mmol g-1) and phenol (1.225 ± 0.070 mmol g-1), respectively. The estimated equilibrium constants were also determined and were in good agreement with the literature values for phenol and cathecol groups and for benzoic, phtalic and salicylic acids. Distribution diagrams of the species were generated with the software SPE and SPEPLOT.

Rahatalous

Suomen Pankin kirjaston rahatalouden kokoelma on maan kattavin ja monipuolisin rahatalouteen ja rahoitusmarkkinoihin painottunut kokoelma. Kokoelmaan kuuluu merkittävä määrä nimekkeitä, joita ei ole hankittu muihin suomalaisiin kirjastoihin. Rahatalouden kokoelma koostuu monografioista, painetuista kausijulkaisuista ja elektronisista lehtitietokannoista. Kokoelma on painottunut tieteelliseen kirjallisuuteen, joka tukee pankissa tehtävää tutkimusta. Lisäksi aineistossa on huomattava määrä yleistajuista kirjallisuutta rahatalouden eri aihealueilta. Rahatalouden kokoelmaan kuuluu monografioita n. 9000 nimekettä (joulukuu 2010). Kokoelma käsittää nimekkeitä useilta eri aihealueilta, kuten rahapolitiikka ja rahateoria (n. 900), valuutat, valuuttajärjestelmät ja valuuttakurssit (n. 1100), pankkitoiminta ja keskuspankit (n. 1300), rahoitusmarkkinat (n. 1700), yleinen talousteoria ja oppihistoria (n. 1300), talouspolitiikka ja -historia (n. 450), hyöty- ja hintateoriat (n. 300), taloudellinen kasvu ja kansantulo (n. 700), suhdanteet (n. 250), julkinen talous ja verotus (n. 400) ja ekonometria (n. 600). Lehtiä kokoelmaan kuuluu n. 300 nimekettä, joista edelleen tilataan 200 nimekettä. Osa lehdistä löytyy painettuna ja osa on käytettävissä kirjastoon hankittujen elektronisten lehtitietokantojen kautta. Kokoelma karttuu pääosin ostojen kautta ja uutta aineistoa hankitaan jatkuvasti. Kokoelmaa on kartutettu systemaattisesti 1950-luvulta lähtien, minkä vuoksi siihen kuuluu merkittävästi vanhempaa aineistoa. Kokoelmaan kuuluvista kirjoista n. 26 % on julkaistu 2000-luvulla ja n. 21 % 1990-luvulla. Varsin suuri osa kirjoista, n. 29 %, on julkaistu 1970- ja 1980-luvulla. Ennen vuotta 1950 julkaistua aineistoa on n. 10 % kokoelmasta. Aineisto on valtaosin englanninkielistä, mutta kokoelmaan kuuluu myös suomen-, ruotsin- ja saksankielisiä nimekkeitä. Monografiat on luokiteltu Suomen Pankin kirjaston oman luokitusjärjestelmän mukaan. Kokoelmaa säilytetään Suomen Pankin kirjaston tiloissa jaettuna avokokoelmaan ja varastokokoelmaan. Aineiston ensisijaisia käyttäjiä ovat pankin oma henkilökunta, mutta kirjasto on avoinna myös kaikille ulkoisille asiakkaille. Kokoelma on lainattavissa muutamia poikkeuksia lukuun ottamatta.

Software Test Process Development

In this thesis, the components important for testing work and organisational test process are identified and analysed. This work focuses on the testing activities in reallife software organisations, identifying the important test process components, observing testing work in practice, and analysing how the organisational test process could be developed. Software professionals from 14 different software organisations were interviewed to collect data on organisational test process and testing���related factors. Moreover, additional data on organisational aspects was collected with a survey conducted on 31 organisations. This data was further analysed with the Grounded Theory method to identify the important test process components, and to observe how real‐life test organisations develop their testing activities. The results indicate that the test management at the project level is an important factor; the organisations do have sufficient test resources available, but they are not necessarily applied efficiently. In addition, organisations in general are reactive; they develop their process mainly to correct problems, not to enhance their efficiency or output quality. The results of this study allows organisations to have a better understanding of the test processes, and develop towards better practices and a culture of preventing problems, not reacting to them.

Motivational Influences on Transfer: Dimensions and Boundary Conditions

The focus of this dissertation is the motivational influences on transfer in higher education and professional training contexts. To estimate these motivational influences, the dissertation includes seven individual studies that are structured in two parts. Part I, Dimensions, aims at identifying the dimensionality of motivation to transfer and its structural relations with training-related antecedents and outcomes. Part II, Boundary Conditions, aims at testing the predictive validity of motivation theories used in contemporary training research under different study conditions. Data in this dissertation was gathered from multi-item questionnaires, which were analyzed differently in Part I and Part II. Studies in Part I employed exploratory and confirmatory factor analysis, structural equation modeling, partial least squares (PLS) path modeling, and mediation analysis. Studies in Part II used artifact distribution meta-analysis, (nested) subgroup analysis, and weighted least squares (WLS) multiple regression. Results demonstrate that motivation to transfer can be conceptualized as a three-dimensional construct, including autonomous motivation to transfer, controlled motivation to transfer, and intention to transfer, given a theoretical framework informed by expectancy theory, self-determination theory, and the theory of planned behavior. Results also demonstrate that a range of boundary conditions moderates motivational influences on transfer. To test the predictive validity of expectancy theory, social cognitive theory, and the theory of goal orientations under different study settings, a total of 17 boundary conditions were meta-analyzed, including age; assessment criterion; assessment source; attendance policy; collaboration among trainees; computer support; instruction; instrument used to measure motivation; level of education; publication type; social training context; SS/SMC bias; study setting; survey modality; type of knowledge being trained; use of a control group; and work context. Together, the findings cumulated in this thesis support the basic premise that motivation is centrally important for transfer, but that motivational influences need to be understood from a more differentiated perspective than commonly found in the literature, in order to account for several dimensions and boundary conditions. The results of this dissertation across the seven individual studies are reflected in terms of their implications for theory development and their significance for training evaluation and the design of training environments. Limitations and directions to take in future research are discussed.

Integrating user experience into early phases of software development

The value and benefits of user experience (UX) are widely recognized in the modern world and UX is seen as an integral part of many fields. This dissertation integrates UX and understanding end users with the early phases of software development. The concept of UX is still unclear, as witnessed by more than twenty-five definitions and ongoing argument about its different aspects and attributes. This missing consensus forms a problem in creating a link between UX and software development: How to take the UX of end users into account when it is unclear for software developers what UX stands for the end users. Furthermore, currently known methods to estimate, evaluate and analyse UX during software development are biased in favor of the phases where something concrete and tangible already exists. It would be beneficial to further elaborate on UX in the beginning phases of software development. Theoretical knowledge from the fields of UX and software development is presented and linked with surveyed and analysed UX attribute information from end users and UX professionals. Composing the surveys around the identified 21 UX attributes is described and the results are analysed in conjunction with end user demographics. Finally the utilization of the gained results is explained with a proof of concept utility, the Wizard of UX, which demonstrates how UX can be integrated into early phases of software development. The process of designing, prototyping and testing this utility is an integral part of this dissertation. The analyses show statistically significant dependencies between appreciation towards UX attributes and surveyed end user demographics. In addition, tests conducted by software developers and industrial UX designer both indicate the benefits and necessity of the prototyped Wizard of UX utility. According to the conducted tests, this utility meets the requirements set for it: It provides a way for software developers to raise their know-how of UX and a possibility to consider the UX of end users with statistical user profiles during the early phases of software development. This dissertation produces new and relevant information for the UX and software development communities by demonstrating that it is possible to integrate UX as a part of the early phases of software development.

Biomass of tree species as a response to planting density and interspecific competition

Planting trees is an important way to promote the recovery of degraded areas in the Caatinga region. Experiments (E1, E2, and E3) were conducted in a randomized blocks design, with three, three, and five replicates, respectively. The objectives were to evaluate biomass of the shoots of: a) gliricidia (G) and sabiá (S), as a response to planting density; b) G, S, and neem (N) in competition; c) G, and S in agroforestry. E1 was conducted in split-plots, and planting densities (400, 600, 800, 1000, and 1200 plants ha-1) as subplots. E2 consisted of a factorial comprising the following plots: GGG, NGN, SGS, NNN, GNG, SNS, SSS, GSG, NSN (each letter represents a row of plants). E3 was conducted with G and S in agroforestry experiment. The trees were harvested after 54, 42, and 27 months old, in E1, E2 and E3, respectively. In E1, G presented higher green biomass of the stems and leaf at smaller densities than S, but lower green biomass of branches at most densities. The species did not differ for mean stem dry biomass and leaf dry biomass, but G showed higher branch dry biomass at most densities. Higher planting densities increased green and dry biomass of stems, branches, and leaves in S, but decreased those characteristics in G, with the exception of leaf dry mass, which was not influenced by density. In E2, the behavior of each species was identical in plots containing the same or different species. Griricidia showed the highest green biomass of stems and branches, and the highest values for geren biomass of the leaf were observed for gliricidia and neem. The highest stem, branch, and leaf dry biomass values were obtained for G, S, and N, respectively. In E3, G was superior for stem and leaf green biomass, and for stem and branch dry biomass. There were no differences between species for the other biomass values.

COMPARISON BETWEEN WOOD DRYING DEFECT SCORES: SPECIMEN TESTING X ANALYSIS OF KILN-DRIED BOARDS

It is important to develop drying technologies for Eucalyptus grandis lumber, which is one of the most planted species of this genus in Brazil and plays an important role as raw material for the wood industry. The general aim of this work was to assess the conventional kiln drying of juvenile wood of three clones of Eucalyptus grandis. The specific aims were to compare the behavior between: i) drying defects indicated by tests with wood specimens and conventional kiln-dried boards; and ii) physical properties and the drying quality. Five 11-year-old trees of each clone were felled, and only flatsawn boards of the first log were used. Basic density and total shrinkage were determined, and the drying test with wood specimens at 100 °C was carried out. Kiln drying of boards was performed, and initial and final moisture content, moisture gradient in thickness, drying stresses and drying defects were assessed. The defect scoring method was used to verify the behavior between the defects detected by specimen testing and the defects detected in kiln-dried boards. As main results, the drying schedule was too severe for the wood, resulting in a high level of boards with defects. The behavior between the defects in the drying test with specimens and the defects of kiln-dried boards was different, there was no correspondence, according to the defect scoring method.

Software Security Vulnerabilities in Mobile Peer-to-peer Environment

Increase of computational power and emergence of new computer technologies led to popularity of local communications between personal trusted devices. By-turn, it led to emergence of security problems related to user data utilized in such communications. One of the main aspects of the data security assurance is security of software operating on mobile devices. The aim of this work was to analyze security threats to PeerHood, software intended for performing personal communications between mobile devices regardless of underlying network technologies. To reach this goal, risk-based software security testing was performed. The results of the testing showed that the project has several security vulnerabilities. So PeerHood cannot be considered as a secure software. The analysis made in the work is the first step towards the further implementation of PeerHood security mechanisms, as well as taking into account security in the development process of this project.

Registro dos ensaios clínicos

The International Committee of Medical Journal Editors (ICMJE) proposed trials registration in a public trials registry, as a condition for publication. This policy started after July 1, 2005, and was supported by the World Association of Medical Editors (WAME). In May 19, 2006, the WHO urged research institutions and companies to register all medical studies that test treatments on human beings, whether they involve patients or healthy volunteers. The WHO also started the International Clinical Trials Registry Platform (ICTRP), aimed at standardizing the way information of studies is made available to the public. The following registers contribute data directly to the Who Search Portal: Australian Clinical Trials Registry, ClinicalTrials.gov, and International Standard Randomized Controlled Trial Number Register. In May 15, 2007, the Latin American and Caribbean Center on Health Sciences Information (BIREME) published a recommendation for editors of health journals indexed in Latin American and Caribbean Literature on Health Sciences (LILACS) and Scientific Library Electronic Online (ScieLO) about registration of clinical trials. In addition to the UMIN Clinical Trial Registry and the Nederlands Trial Register, the ICMJE is now accepting registration in any of the primary registers that participate in the WHO ICTRP. The ICMJE is also adopting the WHO's definition of clinical trial. Three years ago, trials registration was the exception; now it is the rule. Registration facilitates the dissemination of information, and it helps to assure trial participants that the information that accrues as a result of their altruism will become part of the public record.

The Finnish Paper Workers' Union at a crossroads: Labor union representativeness in a changing environment, 1980-2008

This thesis consists of four articles and an introductory section. The main research questions in all the articles refer to the changes in the representativeness of the Finnish Paper Workers' Union. Representativeness stands for the entire entity of external, internal, legal and reputational factors that enable the labor union to represent its members and achieve its goals. This concept is based on an extensive reading of quantitative and qualitative industrial relations literature, which includes works based on Marxist labor-capital relations (such as Hyman's industrial relations studies), and more recent union density studies as well as gender- and ethnic diversity-based 'union revitalization' studies. Müller-Jentsch's German studies of industrial relations have been of particular importance as well as Streeck's industrial unionism and technology studies. The concept of representativeness is an attempt to combine the insights of these diverse strands of literature and bring the scientific discussion of labor unions back to the core of a union's function: representing its members. As such, it can be seen as a theoretical innovation. The concept helps to acknowledge both the heterogeneity of the membership and the totality of a labor union organization. The concept of representativeness aims to move beyond notions of 'power'. External representativeness can be expressed through the position of the labor union in the industrial relations system and the economy. Internal representativeness focuses on the aspects of labor unions that relate to the function of the union as an association with members, such as internal democracy. Legal representativeness lies in the formal legal position of the union – its rights and instruments. This includes collective bargaining legislation, co-decision rules and industrial conflict legislation. Reputational representativeness is related to how the union is seen by other actors and the general public, and can be approximated using data on strike activity. All these aspects of representativeness are path-dependent, and show the results of previous struggles over issues. The concept of representativeness goes beyond notions of labor union power and symbolizes an attempt to bring back the focus of industrial relations studies to the union's basic function of representing its members. The first article shows in detail the industrial conflict of the Finnish paper industry in 2005. The intended focus was the issue of gender in the negotiations over a new collective agreement, but the focal point of the industrial conflict was the issue of outsourcing and how this should be organized. Also, the issue of continuous shifts as an issue of working time was very important. The drawn-out conflict can be seen as a struggle over principles, and under pressure the labor union had to concede ground on the aforementioned issues. The article concludes that in this specific conflict, the union represented its' female members to a lesser extent, because the other issues took such priority. Furthermore, because of the substantive concessions. the union lost some of its internal representativeness, and the stubbornness of the union may have even harmed the reputation of the union. This article also includes an early version of the representativeness framework, through which this conflict is analyzed. The second article discusses wage developments, union density and collective bargaining within the context of representativeness. It is shown that the union has been able to secure substantial benefits for its members, regardless of declining employment. Collective agreements have often been based on centralized incomes policies, but the paper sector has not always joined these. Attention is furthermore paid to the changing competition of the General Assembly, with a surprisingly strong position of the Left Alliance still. In an attempt to replicate analysis of union density measures, an analysis of sectoral union density shows that similar factors as in aggregate data influence this measure, though – due to methodological issues – the results may not be robust. On this issue, it can be said that the method of analysis for aggregate union density is not suitable for sectoral union density analysis. The increasingly conflict-ridden industrial relations predicted have not actually materialized. The article concludes by asking whether the aim of ever-increasing wages is a sustainable one in the light of the pressures of globalization, though wage costs are a relatively small part of total costs. The third article discusses the history and use of outsourcing in the Finnish paper industry. It is shown using Hyman's framework of constituencies that over time, the perspective of the union changed from 'members of the Paper Workers' Union' to a more specific view of who is a core member of the union. Within the context of the industrial unionism that the union claims to practice, this is an important change. The article shows that the union more and more caters for a core group, while auxiliary personnel is less important to the union's identity and constituencies, which means that the union's internal representativeness has decreased. Maintenance workers are an exception; the union and employers have developed a rotating system that increases the efficient allocation of these employees. The core reason of the exceptional status of maintenance personnel is their high level of non-transferable skills. In the end it is debatable whether the compromise on outsourcing solves the challenges facing the industry. The fourth article shows diverging discourses within the union with regard to union-employer partnership for competitiveness improvements and instruments of local union representatives. In the collective agreement of 2008, the provision regulating wage effects of significant changes in the organization or content of work was thoroughly changed, though this mainly reflected decisions by the Labor Court on the pre-2008 version of the provision. This change laid bare the deep rift between the Social Democratic and Left Alliance (ex-Communist) factions of the union. The article argues that through the changed legal meaning of the provision, the union was able to transform concession bargaining into a basis for partnership. The internal discontent about this issue is nonetheless substantial and a threat to the unity of the union, both locally and at the union level. On the basis of the results of the articles, other factors influencing representativeness, such as technology and EU law and an overview of the main changes in the Finnish paper industry, it is concluded that, especially in recent years, the Finnish Paper Workers' Union has lost some of its representativeness. In particular, the loss of the efficiency of strikes is noted, the compromise on outsourcing which may have alienated a substantial part of the union's membership, and the change in the collective agreement of 2008 have caused this decline. In the latter case, the internal disunion on that issue shows the constraints of the union's internal democracy. Furthermore, the failure of the union to join the TEAM industrial union (by democratic means), the internal conflicts and a narrow focus on its own sector may also hurt the union in the future, as the paper industry in Finland is going through a structural change. None of these changes in representativeness would have been so drastic without the considerable pressure of globalization - in particular changing markets, changing technology and a loss of domestic investments to foreign investments, which in the end have benefited the corporations more than the Finnish employees of these corporations. Taken together, the union risks becoming socially irrelevant in time, though it will remain formally very strong on the basis of its institutional setting and financial situation.

Searching for keys to successful post-merger integration : a longitudinal case-study following a public sector merger

Unsuccessful mergers are unfortunately the rule rather than the exception. Therefore it is necessary to gain an enhanced understanding of mergers and post-merger integrations (PMI) as well as learning more about how mergers and PMIs of information systems (IS) and people can be facilitated. Studies on PMI of IS are scarce and public sector mergers are even less studied. There is nothing however to indicate that public sector mergers are any more successful than those in the private sector. This thesis covers five studies carried out between 2008 and 2011 in two organizations in higher education that merged in January 2010. The most recent study was carried out two years after the new university was established. The longitudinal case-study focused on the administrators and their opinions of the IS, the work situation and the merger in general. These issues were investigated before, during and after the merger. Both surveys and interviews were used to collect data, to which were added documents that both describe and guide the merger process; in this way we aimed at a triangulation of findings. Administrators were chosen as the focus of the study since public organizations are highly dependent on this staff category, forming the backbone of the organization and whose performance is a key success factor for the organization. Reliable and effective IS are also critical for maintaining a functional and effective organization, and this makes administrators highly dependent on their organizations’ IS for the ability to carry out their duties as intended. The case-study has confirmed the administrators’ dependency on IS that work well. A merger is likely to lead to changes in the IS and the routines associated with the administrators’ work. Hence it was especially interesting to study how the administrators viewed the merger and its consequences for IS and the work situation. The overall research objective is to find key issues for successful mergers and PMIs. The first explorative study in 2008 showed that the administrators were confident of their skills and knowledge of IS and had no fear of having to learn new IS due to the merger. Most administrators had an academic background and were not anxious about whether IS training would be given or not. Before the merger the administrators were positive and enthusiastic towards the merger and also to the changes that they expected. The studies carried out before the merger showed that these administrators were very satisfied with the information provided about the merger. This information was disseminated through various channels and even negative information and postponed decisions were quickly distributed. The study conflicts with the theories that have found that resistance to change is inevitable in a merger. Shortly after the merger the (third) study showed disappointment with the fact that fewer changes than expected had been implemented even if the changes that actually were carried out sometimes led to a more problematic work situation. This was seen to be more prominent for routine changes than IS changes. Still the administrators showed a clear willingness to change and to share their knowledge with new colleagues. This knowledge sharing (also tacit) worked well in the merger and the PMI. The majority reported that the most common way to learn to use new ISs and to apply new routines was by asking help from colleagues. They also needed to take responsibility for their own training and development. Five months after the merger (the fourth study) the administrators had become worried about the changes in communication strategy that had been implemented in the new university. This was perceived as being more anonymous. Furthermore, it was harder to get to know what was happening and to contact the new decision makers. The administrators found that decisions, and the authority to make decisions, had been moved to a higher administrative level than they were accustomed to. A directive management style is recommended in mergers in order to achieve a quick transition without distracting from the core business. A merger process may be tiresome and require considerable effort from the participants. In addition, not everyone can make their voice heard during a merger and consensus is not possible in every question. It is important to find out what is best for the new organization instead of simply claiming that the tried and tested methods of doing things should be implemented. A major problem turned out to be the lack of management continuity during the merger process. Especially problematic was the situation in the IS-department with many substitute managers during the whole merger process (even after the merger was carried out). This meant that no one was in charge of IS-issues and the PMI of IS. Moreover, the top managers were appointed very late in the process; in some cases after the merger was carried out. This led to missed opportunities for building trust and management credibility was heavily affected. The administrators felt neglected and that their competences and knowledge no longer counted. This, together with a reduced and altered information flow, led to rumours and distrust. Before the merger the administrators were convinced that their achievements contributed value to their organizations and that they worked effectively. After the merger they were less sure of their value contribution and effectiveness even if these factors were not totally discounted. The fifth study in November 2011 found that the administrators were still satisfied with their IS as they had been throughout the whole study. Furthermore, they believed that the IS department had done a good job despite challenging circumstances. Both the former organizations lacked IS strategies, which badly affected the IS strategizing during the merger and the PMI. IS strategies deal with issues like system ownership; namely who should pay and who is responsible for maintenance and system development, for organizing system training for new IS, and for effectively run IS even during changing circumstances (e.g. more users). A proactive approach is recommended for IS strategizing to work. This is particularly true during a merger and PMI for handling issues about what ISs should be adopted and implemented in the new organization, issues of integration and reengineering of IS-related processes. In the new university an ITstrategy had still not been decided 26 months after the new university was established. The study shows the importance of the decisive management of IS in a merger requiring that IS issues are addressed in the merger process and that IS decisions are made early. Moreover, the new management needs to be appointed early in order to work actively with the IS-strategizing. It is also necessary to build trust and to plan and make decisions about integration of IS and people.

Electroactive ion exchange membranes based on conducting polymers

Ion exchange membranes are indispensable for the separation of ionic species. They can discriminate between anions and cations depending on the type of fixed ionic group present in the membrane. These conventional ion exchange membranes (CIX) have exceptional ionic conductivity, which is advantageous in various electromembrane separation processes such as electrodialysis, electrodeionisation and electrochemical ion exchange. The main disadvantage of CIX membranes is their high electrical resistance owing to the fact that the membranes are electronically non conductive. An alternative can be electroactive ion exchange membranes, which are ionically and electronically conducting. Polypyrrole (PPy) is a type of electroactive ion exchange material as well as a commonly known conducting polymer. When PPy membranes are repeatedly reduced and oxidised, ions are pumped through the membrane. The main aim of this thesis was to develop electroactive cation transport membranes based on PPy for the selective transport of divalent cations. Membranes developed composed of PPy films deposited on commercially available support materials. To carry out this study, cation exchange membranes based on PPy doped with immobile anions were prepared. Two types of dopant anions known to interact with divalent metal ions were considered, namely 4-sulphonic calix[6]arene (C6S) and carboxylated multiwalled carbon nanotubes (CNT). The transport of ions across membranes containing PPy doped with polystyrene sulphonate (PSS) and PPy doped with para-toluene sulphonate (pTS) was also studied in order to understand the nature of ion transport and permeability across PPy(CNT) and PPy(C6S) membranes. In the course of these studies, membrane characterisation was performed using electrochemical quartz crystal microbalance (EQCM) and scanning electron microscopy (SEM). Permeability of the membranes towards divalent cations was explored using a two compartment transport cell. EQCM results demonstrated that the ion exchange behaviour of polypyrrole is dependent on a number of factors including the type of dopant anion present, the type of ions present in the surrounding medium, the scan rate used during the experiment and the previous history of the polymer film. The morphology of PPy films was found to change when the dopant anion was varied and even when the thickness of the film was altered in some cases. In nearly all cases the permeability of the membranes towards metal ions followed the order K+ > Ca2+ > Mn2+. The one exception was PPy(C6S), for which the permeability followed the order Ca2+ ≥ K+ > Mn2+ > Co2+ > Cr3+. The above permeability sequences show a strong dependence on the size of the metal ions with metal ions having the smallest hydrated radii exhibiting the highest flux. Another factor that affected the permeability towards metal ions was the thickness of the PPy films. Films with the least thickness showed higher metal ion fluxes. Electrochemical control over ion transport across PPy(CNT) membrane was obtained when films composed of the latter were deposited on track-etched Nucleopore® membranes as support material. In contrast, the flux of ions across the same film was concentration gradient dependent when the polymer was deposited on polyvinylidene difluoride membranes as support material. However, electrochemical control over metal ion transport was achieved with a bilayer type of PPy film consisting of PPy(pTS)/PPy(CNT), irrespective of the type of support material. In the course of studying macroscopic charge balance during transport experiments performed using a two compartment transport cell, it was observed that PPy films were non-permselective. A clear correlation between the change in pH in the receiving solution and the ions transported across the membrane was observed. A decrease in solution pH was detected when the polymer membrane acted primarily as an anion exchanger, while an increase in pH occurred when it functioned as a cation exchanger. When there was an approximately equal flux of anions and cations across the polymer membrane, the pH in the receiving solution was in the range 6 - 8. These observations suggest that macroscopic charge balance during the transport of cations and anions across polypyrrole membranes was maintained by introduction of anions (OH-) and cations (H+) produced via electrolysis of water.

Scaling up stepwise feature introduction to construction of large software systems

Developing software is a difficult and error-prone activity. Furthermore, the complexity of modern computer applications is significant. Hence,an organised approach to software construction is crucial. Stepwise Feature Introduction – created by R.-J. Back – is a development paradigm, in which software is constructed by adding functionality in small increments. The resulting code has an organised, layered structure and can be easily reused. Moreover, the interaction with the users of the software and the correctness concerns are essential elements of the development process, contributing to high quality and functionality of the final product. The paradigm of Stepwise Feature Introduction has been successfully applied in an academic environment, to a number of small-scale developments. The thesis examines the paradigm and its suitability to construction of large and complex software systems by focusing on the development of two software systems of significant complexity. Throughout the thesis we propose a number of improvements and modifications that should be applied to the paradigm when developing or reengineering large and complex software systems. The discussion in the thesis covers various aspects of software development that relate to Stepwise Feature Introduction. More specifically, we evaluate the paradigm based on the common practices of object-oriented programming and design and agile development methodologies. We also outline the strategy to testing systems built with the paradigm of Stepwise Feature Introduction.

Intended Quality: Relationships between Development, Testing and Quality

An empirical study was conducted in the area of software engineering to study relationships between development, testing and intended software quality. International standards served as a starting point of the study. For analysis a round of interviews was kept and transcribed. It was found that interaction between humans is critical, especially in transferring knowledge and standards’ processes. The standards are communicated through interaction and learning processes are involved before compliance. One of the results was that testing is the key to sufficient quality. The outcome was that successful interaction, sufficient testing and compliance with the standards combined with good motivation may provide most repeatable intended quality.

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.