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.

User Generated Content in Researching for Design: How the Internet Supports Creativity

Résumé Cette recherche a débuté avec l’idée que l’Internet est en train de changer la manière dont nous créons des connaissances et du contenu culturel. Notre point de départ était d’utiliser l’Internet afin de rassembler et amplifier plusieurs points de vue dans un processus de design. Une approche complexe a exposé l’Internet comme un système et conséquemment comme une plateforme pour l’innovation. La structure ouverte de l’Internet a soutenu le mouvement participatif des usagers qui ont choisi de partager leurs besoins, leurs désirs et leurs solutions. Notre recherche a pour but d’étudier ce contenu généré par les usagers en ligne et comprendre sa valeur pour les designers. Les usagers créatifs veulent s’exprimer et participer activement dans le processus de design. Notre recherche tente de démontrer que les designers ont beaucoup à apprendre du contenu généré par les usagers car ceux-ci soumettent des éléments qui ont attrait à toutes les étapes du processus de design et révèlent des relations présentes dans la situation de design à l’étude. Pour en apprendre plus sur ce contenu nous nous demandons : Quel type d’information offre le contenu généré par les usagers pour la phase de recherche dans le processus de design. Afin de centrer la portée de l’étude, nous nous sommes aussi questionné si cette information est plus pertinente au design de produits, au design de services ou au design de système de produits et de services. Aspirant aux idéaux du design participatif, notre méthodologie fut développée afin d’apprendre comment le contenu généré par les usagers pourrait influencer le processus de design. Pour ce faire, nous avons choisi de chercher sur l’Internet pour du contenu qui concerne la mobilité via l’usage d’une automobile. Les trois différents types de média considérés étaient les vidéos sur YouTube, les images sur Flickr et les textes sur Blogger. Afin de répondre à notre première question de recherche, nous nous sommes penchés sur deux éléments lorsque l’on recherche pour le design : les espaces de design et les relations de design. Premièrement, nous avons catégorisé le contenu récolté selon l’espace problème, créatif et solution. Deuxièmement, nous avons catégorisé le contenu dépendant de laquelle des relations de design elle démontrait soit une combinaison d’usagers, objets et contextes. Dans le but de répondre à la deuxième question de cette recherche, nous avons examiné trois types V de produits de design : les automobiles privées comme produit, le partage de voiture comme système de produit et de service, et le taxi comme service. Chaque élément pertinent généré par les usagés trouvé dans cette recherche fut catégorisé jusqu’à ce que l’on récolte 50 échantillons pour chaque combinaison de ces variables. Nous en sommes arrivés avec une matrice de 50 éléments de chaque produit de design, pour chacun des médias, puis catégorisé selon les espaces de design et les relations dans le design. Cette recherche démontre que l’Internet, comme médium, produit les conditions avantageuses pour que les usagers partagent de grandes quantités de contenu original et diversifié qui est pertinent aux situations de design. À partir de nos données de recherche, nous avons identifié des tendances dans le contenu généré par les usagers. Notamment, nous sommes en mesure d’affirmer que le contenu généré par les usagers offre de l’information pertinente à la recherche pour le design, et ce dans tous les espaces de design et toutes les relations de design. Il en fut de même pour les différentes issues du design car du contenu sur les produits, les systèmes de produits et de services et les services était présent et pertinent. Bref, nous avons démontré que l’Internet supporte la créativité et conséquemment il y abonde de contenu créatif produit par les usagers. Suivant dans les traces dessinées par d’autres chercheurs en design participatif, cette étude devrait être considérée comme un nouvel exemple des moyens qu’ont les designers pour percevoir les besoins tacites des usagers en leur permettant d’exprimer leurs idées. Alors que ceux-ci créent librement et intuitivement ainsi exposant leurs besoins, solutions et idées, les designers peuvent porter un regard de tierce partie sur les résultats. Jumelant des techniques comme le crowdsourcing et le brainstorming, nous avons créé une nouvelle activité et le néologisme : brainsourcing. En demeurant dans une forme de pratique réflexive, les designers peuvent réfléchir et ajouter au contenu généré par les usagers qui lui n’est pas biaisé par une éducation ou une culture du design. Ce processus est similaire au design participatif professionnel où le brainsourcing est une activité parallèle lorsque le designer fait des recherches pour le design. C’est cette perspective sur la somme des idées des participants qui peut contribuer à comprendre la complexité de la situation de design. VI Cette recherche a aussi soulevé des questions par rapport à l’effet de démocratisation de l’Internet. Bien que les usagers n’ont pas l’éducation, ni les habiletés des designers, ils aspirent à démocratiser le processus du design en voulant participer activement et en exposant leurs besoins, idées et solutions. Nous avons pu déterminer que les usagers n’étaient pas qualifiés pour entreprendre le processus complet du design comme les designers professionnels, mais nous avons observé directement la capacité des usagers à mettre de l’avant leur créativité. À propos de la relation entre les usagers créatifs et les designers, nous avons étudié des langages communs tels les scénarios et les prototypes. Tous deux sont présents dans le contenu généré par les usagers que nous avons récolté dans nos recherches sur Internet. Ceci nous a mené vers une nouvelle perspective sur l’activité du design où des opportunités créatives ressortent d’une conversation avec les usagers. Cette recherche a dévoilé de grandes tendances dans la manière dont les usagers communiquent naturellement dans un processus de design. Nous espérons avoir offert un aperçu de comment les designers peuvent prendre avantage de tous les types de contenu généré par les usagers en ligne. Dans le futur, nous souhaitons que les designers aient la possibilité d’interagir avec les participants en prenant le rôle de facilitateur de la conversation. La responsabilité du résultat ne tombe pas sur les épaules du designer car son mandat est d’assurer le bon fonctionnement du processus. Les designers rejoignent les usagers en ne demandant plus comment les choses peuvent être créées, mais pourquoi elles devraient exister. En tant que designers, nous aspirons à générer plus à partir de nouvelles connaissances, nous aspirons à créer plus de sens. Mots clés: Recherche en design, complexité, design participatif, contenu généré par les usagers, démocratisation, Internet, créativité, crowdsourcing, brainstorming, brainsourcing, réflexion-en-action.

Collaboration model for SSMEnetUK: a service science perspective

This paper aims to design a collaboration model for a Knowledge Community - SSMEnetUK. The research identifies SSMEnetUK as a socio-technical system and uses the core concepts of Service Science to explore the subject domain. The paper is positioned within the concept of Knowledge Management (KM) and utilising Web 2.0 tools for collaboration. A qualitative case study method was adopted and multiple data sources were used. In achieving that, the degree of co-relation between knowledge management activities and Web 2.0 tools for collaboration in the scenario are pitted against the concept of value propositions offered by both customer/user and service provider. The proposed model provides a better understanding of how Knowledge Management and Web 2.0 tools can enable effective collaboration within SSMEnetUK. This research is relevant to the wider service design and innovation community because it provides a basis for building a service-centric collaboration platform for the benefit of both customer/user and service provider.

Cozinha da Madeira website: the online touchpoint for a sustainability oriented service of Madeira Island

Over the past several years technology has been evolving in a way that it has become crucial for most businesses and companies to have interactive technology enabled touchpoints available online. Such interactive touchpoints can be developed as mobile application, webpages, or even through social networks. In the end such touchpoints will most surely represent the most easily reachable and marketable side of the business. Today selling a product alone is no longer enough to make consumers satisfied and complete, businesses and business models are changing. Increasingly, companies are choosing to not just sell products but to combine both sale and service. These service-based approaches will provide the client with a unique and personalized experience of what the company is selling. By selling a service the company transmits values that are more complex than the simple selling of a product. A service is something immaterial, happens over time and exists in the moment of the delivery. When conceiving and designing services, the use of the new technologies becomes a crucial step in order to craft touchpoints that facilitate the whole experience cycle of the service, from attracting, orienting, interacting and retaining the client, as well as providing later support to the consumer to advocate for the service itself. This thesis reports on the design and implementation of the online touchpoint of Cozinha da Madeira, which is a service designed to support tourism, specifically promoting the discovery of tradition and landscapes in the island of Madeira. Such touchpoint developed in the form of a website, embodies completely or partially various stages of the Service Experience cycle, from attracting and connecting, orienting, interacting as well as retaining and advocating. Through this thesis we will describe the design and implementation of such touchpoint as well as the evaluation and possible future implications.

Epidemiological and clinical characteristics of injuries among adolescents attended at an emergency service in the city of Ribeirao Preto, Sao Paulo

CONTEXT AND OBJECTIVE: Injuries are an important cause of morbidity during adolescence, but can be avoided through learning about some of their characteristics. This study aimed to identify the most frequent injuries among adolescents attended at an emergency service. DESIGN AND SETTING: Retrospective descriptive study on adolescents attended at the emergency service of the Teaching Health Center, Faculdade de Medicina de Ribeirao Preto (FMRP), between January 1, 2009, and September 30, 2009. METHODS: Age, sex, type of injury, site, day and time of occurrence, part of body involved, care received, whether the adolescent was accompanied at the time of injury and whether any type of counseling regarding injury prevention had been given were analyzed. RESULTS: Among 180 adolescents attended, 106 (58.8%) were boys and 74 (41.1%) were girls. Their ages were: 10 to 12 (66/36.6%), 12 to 14 (60/33.3%) and 14 to 16 years (54/30%). The injuries had occurred in public places (47.7%) and at home (21.1%). The main types were bruises (45.1%) and falls (39.2%), involving upper limbs (46.1%), lower limbs (31%) and head/neck (13.1%). The injuries occurred in the afternoon (44.4%) and morning (30%), on Mondays (17.7%) and Thursdays (16.6%). Radiological examinations were performed on 53.8%. At the time of injury, 76.1% of the adolescents were accompanied. Some type of counseling about injury prevention had been received by 39.4%. CONCLUSIONS: Although the injuries were of low severity, preventive attitudes need to be incorporated in order to reduce the risks and provide greater safety for adolescents.

Epidemiological and clinical characteristics of injuries among adolescents attended at an emergency service in the city of Ribeirão Preto, São Paulo

CONTEXT AND OBJECTIVE: Injuries are an important cause of morbidity during adolescence, but can be avoided through learning about some of their characteristics. This study aimed to identify the most frequent injuries among adolescents attended at an emergency service. DESIGN AND SETTING: Retrospective descriptive study on adolescents attended at the emergency service of the Teaching Health Center, Faculdade de Medicina de Ribeirão Preto (FMRP), between January 1, 2009, and September 30, 2009. METHODS: Age, sex, type of injury, site, day and time of occurrence, part of body involved, care received, whether the adolescent was accompanied at the time of injury and whether any type of counseling regarding injury prevention had been given were analyzed. RESULTS: Among 180 adolescents attended, 106 (58.8%) were boys and 74 (41.1%) were girls. Their ages were: 10 to 12 (66/36.6%), 12 to 14 (60/33.3%) and 14 to 16 years (54/30%). The injuries had occurred in public places (47.7%) and at home (21.1%). The main types were bruises (45.1%) and falls (39.2%), involving upper limbs (46.1%), lower limbs (31%) and head/neck (13.1%). The injuries occurred in the afternoon (44.4%) and morning (30%), on Mondays (17.7%) and Thursdays (16.6%). Radiological examinations were performed on 53.8%. At the time of injury, 76.1% of the adolescents were accompanied. Some type of counseling about injury prevention had been received by 39.4%. CONCLUSIONS: Although the injuries were of low severity, preventive attitudes need to be incorporated in order to reduce the risks and provide greater safety for adolescents.

Design of SOA services: experiences from industry

Because of the unknown usage scenarios, designing the elementary services of a service-oriented architecture (SOA), which form the basis for later composition, is rather difficult. Various design guide lines have been proposed by academia, tool vendors and consulting companies, but they differ in the rigor of validation and are often biased toward some technology. For that reason a multiple-case study was conducted in five large organizations that successfully introduced SOA in their daily business. The observed approaches are contrasted with the findings from a literature review to derive some recommendations for SOA service design.

Enhanced reproducibility of SADI web service workflows with Galaxy and Docke

Background: Semantic Web technologies have been widely applied in the life sciences, for example by data providers such as OpenLifeData and through web services frameworks such as SADI. The recently reported OpenLifeData2SADI project offers access to the vast OpenLifeData data store through SADI services. Findings: This article describes how to merge data retrieved from OpenLifeData2SADI with other SADI services using the Galaxy bioinformatics analysis platform, thus making this semantic data more amenable to complex analyses. This is demonstrated using a working example, which is made distributable and reproducible through a Docker image that includes SADI tools, along with the data and workflows that constitute the demonstration. Conclusions: The combination of Galaxy and Docker offers a solution for faithfully reproducing and sharing complex data retrieval and analysis workflows based on the SADI Semantic web service design patterns.

Understanding service experience in non-profit performing arts: Implications for operations and service management

Recent research in the non-profit performing arts has shown that marketing efforts designed to increase revenue from ticket sales are not achieving the results required to sustain the performing arts. This paper applies operations management analytical techniques to the non-profit performing arts to increase understanding of operational issues and inform service management strategy. The paper takes a two-study idiographic approach. Implementing a modified version of service transaction analysis (STA), Study One describes a performing arts service from provider and customer perspectives, identifies service gaps and develops an elaborated service description incorporating both perspectives. In Study Two, building on the elaborated service description and extant research, in-depth interviews are conducted to gather thick descriptions of predictors of satisfaction, value and service quality as they relate to repurchase intention (RI). Technical, functional and critical factors required to improve organizational performance are identified. Implications for operational strategy, service design and service management theory for this context are discussed. (c) 2005 Published by Elsevier B.V.

Free Drink or Free Mug? Managing Service Experience with Experiential vs. Material Complimentary Gifts

In the marketplace, complimentary gifts can take the form of experiential elements (e.g., a meal) or material items (e.g., tangible objects such as a mug). We identify these free gifts as a meaningful service design choice that helps service providers innovate service. Specifically, we examine the circumstances under which experiential or material gifts are preferred and generate greater consumer satisfaction, enhancing the overall service experience. Across three experiments, we demonstrate that consumers are generally happier with experiential offerings, and they prefer (and are more satisfied with) experiential offerings on ordinary consumption occasions; experiential elements are believed to further enrich otherwise mundane experiences. However, this experiential advantage disappears for consumers on meaningful and special occasions because of a strong desire to obtain a memory cue that will help them recall the experience. Indeed, the preference for a material item holds only when the gift has the quality to serve as a salient memory marker, but not when it lacks this quality. This research provides insight for managers to take into account consumption occasions or type of consumers (e.g., special occasions, repeat customers) to effectively design service bundles with complimentary gifts and thus better manage overall service experience.

The strategic role of design in supporting knowledge exchange

Within the last decade design has had a strategic role in tackling escalating environmental, social and economic problems. Through design thinking, creative methods have been applied to problem solving in a process of collaboration and designers working in new territories and knowledge domains. As the designer has moved further afield the method of Knowledge Exchange (KE) has become more recognised as a democratic approach to collaboration with the ethos that everyone has something creative and productive to offer. This paper provides reflections on early stage findings from a strategic design innovation process in which collaborative partnerships between academics, SMEs and designers emerged through KE and suggests that there is value to be had from using design strategically for not only those from a business or academic background but also for those from the design community and points to a need for more training for designers from all disciplines in how to use design strategically