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.

What do Sports Sponsors Really Want? The effects of service quality, service value and customer satisfaction on behavioral intentions in sports sponsorship context

The aim of this Master’s thesis was to study the antecedents of customer satisfaction and behavioral intentions and their relative relationships in the sports sponsorship context. The possible antecedents under investigation in the current research are service value and service quality. As the academic background in the sports sponsorship literature is still rather modest there was a need for further empirical testing. The theoretical part of the research builds on the existing services marketing literature with sports sponsorship and business-to-business contexts in mind. The empirical study focused on the case company Liiga-SaiPa Oy. The data for the empirical analysis was collected via quantitative online survey. The total sample consisted of 357 the case company’s business customers and a total of 80 usable responses were collected. The data was analyzed by using statistical analysis software, SPSS. According to the results of the empirical analysis the most important antecedent of behavioral intentions in the underlying context is customer satisfaction. Also service value was found to have a direct and positive relationship with behavioral intentions. Moreover no indirect relationships through satisfaction were found between service quality and service value and behavioral intentions. However both constructs of service value and service quality were diagnosed to have a direct and positive effect on customer satisfaction. Service quality was also found to be a direct antecedent of service value with other service value benefits. However a contradicting finding with the current literature was, that service value sacrifices were not found to have a significant relationship with overall service value perceptions.

Design and evaluation of web interface signs to improve web usability : a semiotic framework

Technological innovations, the development of the internet, and globalization have increased the number and complexity of web applications. As a result, keeping web user interfaces understandable and usable (in terms of ease-of-use, effectiveness, and satisfaction) is a challenge. As part of this, designing userintuitive interface signs (i.e., the small elements of web user interface, e.g., navigational link, command buttons, icons, small images, thumbnails, etc.) is an issue for designers. Interface signs are key elements of web user interfaces because ‘interface signs’ act as a communication artefact to convey web content and system functionality, and because users interact with systems by means of interface signs. In the light of the above, applying semiotic (i.e., the study of signs) concepts on web interface signs will contribute to discover new and important perspectives on web user interface design and evaluation. The thesis mainly focuses on web interface signs and uses the theory of semiotic as a background theory. The underlying aim of this thesis is to provide valuable insights to design and evaluate web user interfaces from a semiotic perspective in order to improve overall web usability. The fundamental research question is formulated as What do practitioners and researchers need to be aware of from a semiotic perspective when designing or evaluating web user interfaces to improve web usability? From a methodological perspective, the thesis follows a design science research (DSR) approach. A systematic literature review and six empirical studies are carried out in this thesis. The empirical studies are carried out with a total of 74 participants in Finland. The steps of a design science research process are followed while the studies were designed and conducted; that includes (a) problem identification and motivation, (b) definition of objectives of a solution, (c) design and development, (d) demonstration, (e) evaluation, and (f) communication. The data is collected using observations in a usability testing lab, by analytical (expert) inspection, with questionnaires, and in structured and semi-structured interviews. User behaviour analysis, qualitative analysis and statistics are used to analyze the study data. The results are summarized as follows and have lead to the following contributions. Firstly, the results present the current status of semiotic research in UI design and evaluation and highlight the importance of considering semiotic concepts in UI design and evaluation. Secondly, the thesis explores interface sign ontologies (i.e., sets of concepts and skills that a user should know to interpret the meaning of interface signs) by providing a set of ontologies used to interpret the meaning of interface signs, and by providing a set of features related to ontology mapping in interpreting the meaning of interface signs. Thirdly, the thesis explores the value of integrating semiotic concepts in usability testing. Fourthly, the thesis proposes a semiotic framework (Semiotic Interface sign Design and Evaluation – SIDE) for interface sign design and evaluation in order to make them intuitive for end users and to improve web usability. The SIDE framework includes a set of determinants and attributes of user-intuitive interface signs, and a set of semiotic heuristics to design and evaluate interface signs. Finally, the thesis assesses (a) the quality of the SIDE framework in terms of performance metrics (e.g., thoroughness, validity, effectiveness, reliability, etc.) and (b) the contributions of the SIDE framework from the evaluators’ perspective.

Employees’ continuous learning and job satisfaction - effects on productivity

In today’s knowledge intense economy the human capital is a source for competitive advantage for organizations. Continuous learning and sharing the knowledge within the organization are important to enhance and utilize this human capital in order to maximize the productivity. The new generation with different views and expectations of work is coming to work life giving its own characteristics on learning and sharing. Work should offer satisfaction so that the new generation employees would commit to organizations. At the same time organizations have to be able to focus on productivity to survive in the competitive market. The objective of this thesis is to construct a theory based framework of productivity, continuous learning and job satisfaction and further examine this framework and its applications in a global organization operating in process industry. Suggestions for future actions are presented for this case organization. The research is a qualitative case study and the empiric material was gathered by personal interviews concluding 15 employee and one supervisor interview. Results showed that more face to face interaction is needed between employees for learning because much of the knowledge of the process is tacit and so difficult to share in other ways. Offering these sharing possibilities can also impact positively to job satisfaction because they will increase the sense of community among employees which was found to be lacking. New employees demand more feedback to improve their learning and confidence. According to the literature continuous learning and job satisfaction have a relative strong relationship on productivity. The employee’s job description in the case organization has moved towards knowledge work due to continuous automation and expansion of the production process. This emphasizes the importance of continuous learning and means that productivity can be seen also from quality perspective. The normal productivity output in the case organization is stable and by focusing on the quality of work by improving continuous learning and job satisfaction the upsets in production can be handled and prevented more effectively. Continuous learning increases also the free human capital input and utilization of it and this can breed output increasing innovations that can increase productivity in long term. Also job satisfaction can increase productivity output in the end because employees will work more efficiently, not doing only the minimum tasks required. Satisfied employees are also found participating more in learning activities.

Situationsfaktorer i sexuellt utnyttjande av barn inverkar på psykosexuella problem : en metaanalys

Pro graduavhanlingens svenska sammanfattning

An examination of factors influencing ERP key-user satisfaction: A qualitative case study

Several companies are trying to improve their operation efficiency by implementing an enterprise resource planning (ERP) system that makes it possible to control the resources of the company in real time. However, the success of the implementation project is not a foregone conclusion; a significant part of these projects end in a failure, one way or another. Therefore it is important to investigate ERP system implementation more closely in order to increase understanding about factors influencing ERP system success and to improve the probability of a successful ERP implementation project. Consequently, this study was initiated because a manufacturing case company wanted to review the success of their ERP implementation project. To be exact, the case company hoped to gain both information about the success of the project and insight for future implementation improvement. This study investigated ERP success specifically by examining factors that influence ERP key-user satisfaction. User satisfaction is one of the most commonly applied indicators of information system success. The research data was mainly collected by conducting theme interviews. The subjects of the interviews were six key-users of the newly implemented ERP system. The interviewees were closely involved in the implementation project. Furthermore, they act as representative users that utilize the new system in everyday business processes. The collected data was analyzed by thematizing. Both data collection and analysis were guided by a theoretical frame of reference. This frame was based on previous research on the subject. The results of the study aligned with the theoretical framework to large extent. The four principal factors influencing key-user satisfaction were change management, contractor service, key-user’s system knowledge and characteristics of the ERP product itself. One of the most significant contributions of the research is that it confirmed the existence of a connection between change management and ERP key-user satisfaction. Furthermore, it discovered two new sub-factors influencing contractor service related key-user satisfaction. In addition, the research findings indicated that in order to improve the current level of key-user satisfaction, the case company should pay special attention to system functionality improvement and enhancement of the key-users’ knowledge. During similar implementation projects in the future, it would be important to assure the success of change management and contractor service related processes.

Sponsor Satisfaction in a Regional Charity Sport Event

The purpose of this Master’s thesis is to study sponsor satisfaction in charity sport events. Lack of research in regional charity sport events, emergence of corporate social responsibility and increasing popularity of charity sport events have created a research gap to be further explored. Theoretical part of the thesis focuses in development of sponsorships, charity sport event sponsorships and sponsorship as a marketing tool. Concept of satisfaction is discussed by implementing marketing theories to weight options on measuring sponsor satisfaction as a part of sponsorship evaluation process. Empirical analysis of the thesis was conducted in a regional charity sport event – Maailman Pisin Salibandyottelu. Evidences were collected in qualitative research method through semi-structured theme interviews. Altogether 12 major and minor sponsors were selected for the primary source of data. The data was analyzed by comparing sponsors’ expectations and experiences, and by displaying sponsors’ perceived satisfaction. The results indicated that sponsors were involved by partly altruistic and partly selfish motives as suggested by previous research. Respondents expressed very few, mainly non-financial expectations, yet were hoping to gain positive image association via event exposure. Negative experiences appear to have relatively small impact in overall satisfaction. Exceeding or fulfilling expectations appears to increase perceived satisfaction which was mainly driven by contribution towards the goodwill, perceived success of the event (successful record attempt, visibility (on- and off-line) and event execution.

Ethical research as the target of animal extremism: an international problem

Animal extremism has been increasing worldwide; frequently researchers are the targets of actions by groups with extreme animal rights agendas. Sometimes this targeting is violent and may involve assaults on family members or destruction of property. In this article, we summarize recent events and suggest steps that researchers can take to educate the public on the value of animal research both for people and animals

The nature and role of trust in temporary virtual problem-solving teams

The objective of this study is to increase understanding of the nature and role of trust in temporary virtual problem-solving teams engaged in real-life co-creation activities, while much of previous research has been conducted in student settings. The different forms and bases of trust, possible trust barriers and trust building actions, and perceived role of trust in knowledge sharing and collaboration are analyzed. The study is conducted as a qualitative case study in case company. Data includes interviews from 24 people: 13 from 3 different project teams that were going on during the study, 8 from already finalized project teams, and 3 founders of case company. Additional data consists of communication archives from three current teams. The results indicate that there were both knowledge-based and swift trust present, former being based on work-related personal experiences about leaders or other team members, and latter especially on references, disposition to trust and institution-based factors such as norms and rules, as well as leader and expert action. The findings suggest that possible barriers of trust might be related to lack of adaptation to virtual work, unclear roles and safety issues, and nature of virtual communication. Actions that could be applied to enhance trust are for example active behavior in discussions, work-related introductions communicating competence, managerial actions and face-to-face interaction. Finally, results also suggest that trust has a focal role as an enabler of action and knowledge sharing, and coordinator of effective collaboration and performance in temporary virtual problem-solving teams.

Acceptance of nanotechnology applications and satisfaction with food-related life in southern Chile

Given the increasing use of nanotechnology in food production and packaging, its acceptance was evaluated in Temuco, Chile, and different consumer segments were identified. Different brands of sunflower oil were used at different prices as a case study. A structured questionnaire was applied to 400 supermarket shoppers. It was determined that brand was more important than nanotechnology application in packaging and food, and more important than price. The consumers preferred an average priced oil with a manufacturer's brand with nanoparticles to reduce cholesterol, and packaging with nanoparticles to increase the shelf life of the product and to prevent the growth of microorganisms. Three consumer segments were distinguished by the cluster analysis. The largest segment (44%) preferred the oil without nanotechnology. The second (35.2%) preferred the oil with nanotechnology in the food and the packaging, and the greatest preference was for packaging with nanoparticles extension in the shelf life of the product. The third segment (20.8%) had similar behavior, but it showed greater preference for the oil with nanoparticles that reduced cholesterol and for the packaging that prevented the growth of bacteria and viruses. The segments differed in terms of their satisfaction with food-related life and lifestyle. It was found that over 50% of the participants preferred oil with nanotechnology applications.