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.

Sculpture by R. Bret Price and Harold Hutton Sports Center, Chapman College, Orange, California

Sculpture by R. Bret Price in front of the Harold Hutton Sports Center, 219 E. Sycamore St., Chapman College, Orange, California. The Harold Hutton Sports Center completed in 1978, is named in honor of this former trustee, and made possible by a gift from his wife, Betty Hutton Williams. Image used for holiday card by Chapman College president G. T. "Buck" Smith and his wife Joni.

Photograph of Richard, Iris and Albert Sloman [n.d.]

An undated photograph of Richard, Iris and Albert Sloman taken outside what is believed to be a holiday cabin in Parry Sound, Ontario. This photograph was in the possession of the Rick Bell family, of St. Catharines.

Josephine Sloman at Cottage in Parry Sound, Ontario

Josephine Sloman is pictured holding a wooden oar at a holiday cabin in Parry Sound, Ontario in this undated black and white photograph. Her husband, Albert, is likely the person standing to her left, visible through the trees. This photograph was in the possession of the Rick Bell family, of St. Catharines, Ontario. The Sloman - Bell families are descended from former Black slaves from the United States who settled in Ontario.

Letter - Donald Ziraldo to Moses Znaimer, with reply from Znaimer

A letter from Donald Ziraldo to Moses Znaimer regarding a holiday bottle of Icewine sent for the holidays. The bottle is mentioned in the letter because it is said to have been made during the last year's Annual Celebrity Icewine event. The names mentioned from the event are Steven Page of the music group Barenaked Ladies and Jim Cuddy of the group Blue Rodeo. The letter also includes a handwritten response from Znaimer thanking Ziraldo for the wine and mentions the Idea City Conference where Ziraldo will be speaking.

French Kiss : les fêtes nationales françaises et américaines dans la France en guerre (1914-1918)

La fête nationale française, décrétée en 1880, vise à consolider l’adhésion à la Troisième République, régime né dix ans auparavant et toujours en déficit de légitimité. Malgré les efforts du gouvernement pour rejoindre les Français de toutes allégeances, des discordes idéologiques persistent et la fête nationale du 14-Juillet ne parvient pas à faire l'unanimité. Telle est la situation sociale et politique de la France à l’aube de la Grande Guerre. Alors que se multiplient les batailles et les pertes militaires, la conviction d'une guerre courte fait place à la réalité d'une guerre aussi destructrice qu’interminable. Les 14-Juillet de ces années-là démontrent la nécessité d'adapter les célébrations nationales à la réalité de la guerre totale et des besoins qu'elle engendre. Parallèlement, le deuil et la souffrance de la guerre ravivent les oppositions sociales et politiques d'avant-guerre, remettant en question les capacités du gouvernement à faire face à la situation, menaçant tant l'Union Sacrée que la République. L'entrée en guerre des États-Unis, en avril 1917, offre l'occasion à quelques hommes politiques prévoyants de rétablir la cohésion sociale autour des valeurs républicaines. En 1917, puis en 1918, le gouvernement mise sur l'union des fêtes nationales républicaines française et américaine pour ranimer l'espoir, le courage et le patriotisme de tous les Français. Au-delà de l'hommage rendu à un allié que l'on espérait plus, l'union des deux fêtes devient le symbole de la solidarité et de la fraternité qui unit les deux Républiques-sœurs, et réaffirme la force et la légitimité du régime français en place. Le 14-Juillet, emblème du parcours social et politique français, connaît donc, à l’occasion de la Grande Guerre, une mutation, une redéfinition de sens. À l'image de la France, « moderne », le 14-Juillet tel que développé lors du conflit, ne cesse de s'adapter aux besoins et à l'image d'une société en constante évolution.

Predicting random level and seasonality of hotel prices. A structural equation growth curve approach

This article examines the effect on price of different characteristics of holiday hotels in the sun-and-beach segment, under the hedonic function perspective. Monthly prices of the majority of hotels in the Spanish continental Mediterranean coast are gathered from May to October 1999 from the tour operator catalogues. Hedonic functions are specified as random-effect models and parametrized as structural equation models with two latent variables, a random peak season price and a random width of seasonal fluctuations. Characteristics of the hotel and the region where they are located are used as predictors of both latent variables. Besides hotel category, region, distance to the beach, availability of parking place and room equipment have an effect on peak price and also on seasonality. 3- star hotels have the highest seasonality and hotels located in the southern regions the lowest, which could be explained by a warmer climate in autumn

A mixed H2/H∞-based semiactive control for vibration mitigation in flexible structures

In this paper, we address this problem through the design of a semiactive controller based on the mixed H2/H∞ control theory. The vibrations caused by the seismic motions are mitigated by a semiactive damper installed in the bottom of the structure. It is meant by semiactive damper, a device that absorbs but cannot inject energy into the system. Sufficient conditions for the design of a desired control are given in terms of linear matrix inequalities (LMIs). A controller that guarantees asymptotic stability and a mixed H2/H∞ performance is then developed. An algorithm is proposed to handle the semiactive nature of the actuator. The performance of the controller is experimentally evaluated in a real-time hybrid testing facility that consists of a physical specimen (a small-scale magnetorheological damper) and a numerical model (a large-scale three-story building)

Plan de negocios Lunette Atelier

Lunette Atelier, desde Septiembre de 2014 se dedica a la venta de gafas de sol por Facebook, cuenta con 5.000 seguidores y 2.000 en Instagram, actualmente está en el proceso de registro de marca en la Cámara de Comercio de Bogotá. El objetivo de este plan de empresa es hacer una línea de negocio: venta de vestidos de baño 100% personalizables por medio de una página web. La necesidad de la mayoría de las mujeres de hoy en día a la hora de irse a vacaciones y lucir sus vestidos de baño es verse bien, sentirse cómodas, seguras y únicas. Es por esto que la empresa quiere satisfacer esta necesidad, ofreciendo un portafolio de productos variado para que sus clientas puedan elegir la mejor opción para su cuerpo, la que las haga sentir más seguras, no importa la talla que sea, el color que quiera o el diseño que le quede mejor, Lunette Atelier ofrece productos exclusivos y únicos para todas la mujeres. Nuestro valor agregado, ofrecemos una experiencia de compra única por medio del diseño de cada una de las prendas a la medida y al gusto de cada cliente. Todas nuestras piezas son confeccionadas con las mejores materias primas del mercado, aparte de esto son exclusivas e importadas. La mayoría de nuestros productos están hechos de microfibras lo que hace que las prendas sean cómodas y elásticas para que a la hora de usarlas el cliente se sienta lo más confortable posible.

Oro para Colombia

Las mujeres han debido atravesar un largo camino partiendo de la discriminación hasta empezar un proceso de equidad en la sociedad y en el deporte, de esta manera llegar a ser parte de un evento como los Juegos Olímpicos. Esta tesis toma el caso de tres atletas colombianas y describe su proceso de formación para lograr dos medallas de oro para el país.

My Christmas scratch and sniff book.

Para introducir a los niños muy pequeños en las tradiciones de Navidad. Cinco fragancias para rascar y oler:jengibre, pino, naranja, chocolate y menta para ayudar a los niños a aprender el vocabulario de vacaciones, reconocer los símbolos festivos, y desarrollar su sentido del olfato.

La orquesta de música como medio de difusión cultural y desarrollo de valores y actitudes saludables en los jóvenes.

No consta publicación

L'educació en el lleure a Girona. Les iniciatives de l'administració, l'església i la societat civil (1900-1981)

La tesi presenta una descripció i reflexió històrica de les diferents iniciatives que en educació en el temps lliure s'han donat a la ciutat de Girona des de començament de segle XX fins a l'any 1981 quan té lloc el traspàs de competències en matèria de lleure i joventut a la Generalitat de Catalunya i des d'aquesta instància es realitza la primera normativa pel que fa a la constitució d'Escoles d'Educadors en el Lleure i es legisla també respecte a la formació de monitors i directors d'activitats de lleure infantil i juvenil. Les iniciatives son presentades a traves de tres grans capítols segons la instància promotora de cada activitat: L' administració (entenent per aquesta les diferents instancies de l'aparell administratiu públic a nivell municipal, provincial autonòmic o republicà i central), l'església (reduint-se en aquest cas a les iniciatives promogudes per l'església catòlica, majoritàriament a nivell diocesà, i en alguns casos a nivell parroquial) i finalment, la societat civil (entenent en aquest sector les iniciatives que han estat promogudes des del sector privat i de l'associacionisme). Des de cada un d'aquest grans sectors s'estudien les intervencions que amb una intencionalitat educativa clarament explícita s'han portat a la pràctica durant el temps lliure dels infants i joves gironins a través d'activitats i moviments coneguts com les colònies, els casals d'estiu, els campaments, l'escoltisme, etc. En cada una d'aquestes experiències analitzem les finalitats, la proposta metodològica, la formació dels responsables i els infants i joves que hi participen. A través d'aquesta recerca es pretén aportar un material que ajudi a configurar una petita part de la historia de l'educació no formal tot recuperant també un material vàlid per a la reflexió i teorització sobre l'educació en el temps lliure. Pel que fa a les iniciatives de l'administració sobresurten les obres que es promouen a nivell de l'Ajuntament de Girona: les colònies escolars municipals i les guarderies-casals municipals d'abans del franquisme, les colònies organitzades des de serveis socials durant la transició democràtica i la constitució i els primers passos de l'Àrea de Joventut. Es presenten també les iniciatives realitzades a la ciutat de Girona des d'altres instàncies: a nivell de la Diputació de Girona les colònies de la Llar Infantil a nivell provincial les colònies promogudes per la Delegación Pronvincial de Enseñanza Primaria de Gerona i pel que fa a l'administració central es presenta l'impacte de l'actuació que el moviment feixista del regim franquista va tenir a Girona a través del Frente de Juventudes, la Sección Femenina i la Organització Juvenil Espanyola. També en aquest capítol de l'administració es comenten les primeres actuacions de la Generalitat de Catalunya a Girona a partir de l'any 1981. En el capítol de l'església les obres que s'estudien són fonamentalment de caire diocesà. Hi trobem els Casals d'Estiu -obra genuïnament gironina-, l'Escoltisme Catòlic Català, la Federació de Joves Cristians i els Avantguardistes gironins, la Joventut d'Acció Catòlica, la Joventut Obrera Catòlica, el Moviment Infantil i Juvenil d'Acció Catòlica, Hora-3 i el Servei de Colònies de Vacances. Hi ha també l'estudi d'altres moviments al marge de la pastoral del bisbat. En aquest cas parlem de l'Oratori Festiu dels Salesians, la Congregació Mariana de Girona -amb els Lluïsos, els Estanislaus, eIs Montañeros de Santa Maria i l'Acolliment Centre de Joves- i els Exploradores de España de "La Salle". Tot plegat fa que la iniciativa de l'església sigui la mes àmplia i la protagonista de bona part del moviment d'educació en el lleure de la ciutat de Girona. Pel que fa a la iniciativa pròpia de la Societat Civil es molt més minsa i amb una incidència reduïda fonamentalment en dos períodes concrets: la II República i la transició i etapa democràtica. Amb tot, en el primer terç de segle trobem l'obra dels Exploradores de España, les Padrines de Girona i els Pomells de Joventut. També a finals dels anys vint cal parlar de la iniciativa de les Colònies Escolars a través del diari EI Autonomista. Durant la II Republica podem parlar Palestra i dels Minyons de Muntanya. En el trist període franquista sols cal parlar de dues iniciatives que malgrat no ser autènticament promogudes des de la societat civil, les hem presentat en aquest apartat. Es tracta dels casals de l'associació Amigos de los Niños i de les colònies del Patronato Escolar de Suburbios de Gerona. A partir de la transició democràtica neixen iniciatives esporàdiques amb voluntat de fer una tasca educativa en el temps lliure i és també en aquesta època quan s'estructura el moviment de Rialles a nivell dels Països Catalans. A través de la recerca es detecta una manca de propostes d'educació en el lleure per part de la societat civil. Sobresurt l'acció de l'església que ha sabut adaptar-se als diferents períodes socio-educatius exercint a través d'aquest àmbit diferents funcions: compensatòria, d'adoctrinament i control o de suplència. S'evidencia també com el temps lliure passa a ser considerat un àmbit plenament educatiu quan el carrer deixa de ser considerat un entorn negatiu a evitar i passa a ser entès com un espai educatiu a aprofitar. Pel que fa als participants, no es pot concretar a nivell general quina de les tres iniciatives és la mes popular o elitista. Hi ha experiències de tot tant per part de l'Administració, com de l'Església i també de la Societat Civil. Val a dir però, que les iniciatives promogudes des de l'administració municipal han estat majoritàriament properes a la població gironina més necessitada. També en aquest sentit cal ressaltar el treball realitzat des del bisbat a partir dels anys seixanta a través dels casals d'estiu i de les colònies de vacances.

La responsabilidad contractual de los organizadores y los detallistas de viajes combinados

Con la entrada en vigor de la Ley 21/1995, de 6 de julio, reguladora de los viajes combinados (LVC) se instaura una nuevo régimen de responsabilidad contractual del organizador y el detallista. Ahora el consumidor de esos viajes no sólo mantiene una relación contractual con el organizador si no también, en su caso, el detallista, cuya actuación deja de tener carácter representativo. Ambos sujetos responderán frente al consumidor "en función de las obligaciones que les correspondan por su ámbito respectivo de gestión del viaje combinado..." (art. 11.1), circunstancia que plantea algunas dificultades en orden a delimitar el alcance de su responsabilidad. Esa misma norma establece la responsabilidad del organizador por los actos de los prestadores de los servicios del viaje utilizados como auxiliares en el cumplimiento contractual. Analizados los sujetos responsables, la presente tesis doctoral estudia los supuestos de incumplimiento del contrato de viaje, las partidas de daños resarcibles y su extensión. El trabajo propone distintos criterios en orden a calcular el valor de los daños por lesión al llamado interés de prestación, los daños corporales, los daños ocasionados por el extravío, destrucción o deterioro de objetos del consumidor, los daños por gastos inútiles y costes de negocios de reemplazo, los daños no patrimoniales y los daños por ganancias dejadas de obtener. Cada una de esas partidas e daños merece un estudio pormenorizado. Así, por ejemplo, se constatan enormes problemas en cuanto a la identificación e indemnización separada de los daños por frustración o pérdida de vacaciones, así como la nesesidad de establecer unas circunstancias a las que los jueces deban acogerse para llevar a cabo su valoración discrecional. La tesis propone que dichas circunstanciasd sean el alcance del incumplimiento del contrato de viaje, las condiciones personales del consumidor, el tipo de vacaciones objeto del viaje contratado y el valor residual de las vacaciones.