A constraint-based approach to quality assurance in service choreographies.

Knowledge about the quality characteristics (QoS) of service com- positions is crucial for determining their usability and economic value. Ser- vice quality is usually regulated using Service Level Agreements (SLA). While end-to-end SLAs are well suited for request-reply interactions, more complex, decentralized, multiparticipant compositions (service choreographies) typ- ically involve multiple message exchanges between stateful parties and the corresponding SLAs thus encompass several cooperating parties with interde- pendent QoS. The usual approaches to determining QoS ranges structurally (which are by construction easily composable) are not applicable in this sce- nario. Additionally, the intervening SLAs may depend on the exchanged data. We present an approach to data-aware QoS assurance in choreographies through the automatic derivation of composable QoS models from partici- pant descriptions. Such models are based on a message typing system with size constraints and are derived using abstract interpretation. The models ob- tained have multiple uses including run-time prediction, adaptive participant selection, or design-time compliance checking. We also present an experimen- tal evaluation and discuss the benefits of the proposed approach.

Dirección estratégica de la asignatura Dirección Estratégica de las Tecnologías de la Información

¿Se pueden utilizar las habilidades, las técnicas y los principios de la dirección estratégica en el diseño y ejecución de la programación docente de una asignatura? Esta es la pregunta que nos planteamos al diseñar la asignatura Dirección Estratégica de las Tecnologías de la Información perteneciente al Máster Universitario en Ingeniería Informática de la Universidad de Alicante. Estas técnicas las aplicaremos a aspectos clave de la innovación educativa: contrato pedagógico, objetivos, evaluación, trabajo en equipo y comunicación oral. Algunas de las propuestas innovadoras, que tienen el doble objetivo de ser un instrumento de la asignatura pero al mismo tiempo recoger aspectos de dirección y de mejora continua, son el SLA (“Service Level Agreement”) de aprendizaje, las actas de aprendizaje, el análisis de tendencias en las TI y el espacio para la creatividad. Tras dos cursos académicos de ajuste de la propuesta docente, en el curso 2014-2015 hemos analizado el nivel de satisfacción de los estudiantes con la misma y la autoevaluación crítica de los profesores que la han impartido. Los resultados han sido muy satisfactorios, con comentarios del estilo “ha sido una experiencia de aprendizaje efectivo”. Los estudiantes agradecen que los profesores prediquemos con el ejemplo. Nos hace más humanos y más creíbles.

Non-stationary stochastic inventory lot-sizing with emission and service level constraints in a carbon cap-and-trade system

Firms worldwide are taking major initiatives to reduce the carbon footprint of their supply chains in response to the growing governmental and consumer pressures. In real life, these supply chains face stochastic and non-stationary demand but most of the studies on inventory lot-sizing problem with emission concerns consider deterministic demand. In this paper, we study the inventory lot-sizing problem under non-stationary stochastic demand condition with emission and cycle service level constraints considering carbon cap-and-trade regulatory mechanism. Using a mixed integer linear programming model, this paper aims to investigate the effects of emission parameters, product- and system-related features on the supply chain performance through extensive computational experiments to cover general type business settings and not a specific scenario. Results show that cycle service level and demand coefficient of variation have significant impacts on total cost and emission irrespective of level of demand variability while the impact of product's demand pattern is significant only at lower level of demand variability. Finally, results also show that increasing value of carbon price reduces total cost, total emission and total inventory and the scope of emission reduction by increasing carbon price is greater at higher levels of cycle service level and demand coefficient of variation. The analysis of results helps supply chain managers to take right decision in different demand and service level situations.

Conceção e implementação de um programa de melhoria da qualidade: estudo de caso na Eurico Ferreira, S.A.

Os programas de melhoria contínua dos processos são cada vez mais a aposta das empresas para fazer face ao mercado. Através da implementação destes programas é possível conferir simplicidade e padronização aos processos e consequentemente reduzir os custos com desperdícios internos relacionados com a qualidade dos mesmos. As ferramentas de melhoria da qualidade e as ferramentas associadas ao Lean Thinking representam um pilar importante no sucesso de qualquer programa de melhoria contínua dos processos. Estas ferramentas constituem meios úteis na análise, controlo, organização de dados importantes para a correta tomada de decisão nas organizações. O presente projeto tem como principal objetivo a conceção e implementação de um programa de melhoria da qualidade na Eurico Ferreira, S.A., tendo por base a avaliação da satisfação do cliente e a aplicação dos 5S. Neste contexto, o trabalho teve como fundamentação teórica a Gestão da Qualidade, Lean Thinking e algumas ferramentas de ambas as matérias. Posteriormente foi selecionada a área de negócio da empresa a abordar. Após a seleção, realizou-se um diagnóstico inicial do processo identificando os diversos pontos de melhoria onde foram aplicadas algumas ferramentas do Lean Thinking, nomeadamente o Value Stream Mapping e a metodologia 5S. Com a primeira foi possível construir um mapa do estado atual do processo, no qual estavam representados todos os intervenientes assim como o fluxo de materiais e de informação ao longo do processo. A metodologia 5S permitiu atuar sobre os desperdícios, identificando e implementando diversas melhorias no processo. Concluiu-se que a implementação das ferramentas contribuiu eficientemente para a melhoria contínua da qualidade nos processos, tendo sido decisão da coordenação alargar o âmbito do projeto aos restantes armazéns do centro logístico da empresa. Pode afirmar-se com recurso à satisfação do cliente expressa através da evolução favorável do Service-level agreement que as ferramentas implementadas têm gerado resultados muito positivos no curto prazo.

Metamodelação de processos e serviços

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

A gestão de stocks do serviço de assistência técnica na área da eletromedicina

Dissertação apresentada ao Instituto Superior de Administração e Contabilidade do Porto para obtenção do Grau de Mestre em Logística Orientada por: Professora Doutora Maria Clara Rodrigues Bento Vaz Fernandes

A new MDA-SOA based framework for intercloud interoperability

Cloud computing has been one of the most important topics in Information Technology which aims to assure scalable and reliable on-demand services over the Internet. The expansion of the application scope of cloud services would require cooperation between clouds from different providers that have heterogeneous functionalities. This collaboration between different cloud vendors can provide better Quality of Services (QoS) at the lower price. However, current cloud systems have been developed without concerns of seamless cloud interconnection, and actually they do not support intercloud interoperability to enable collaboration between cloud service providers. Hence, the PhD work is motivated to address interoperability issue between cloud providers as a challenging research objective. This thesis proposes a new framework which supports inter-cloud interoperability in a heterogeneous computing resource cloud environment with the goal of dispatching the workload to the most effective clouds available at runtime. Analysing different methodologies that have been applied to resolve various problem scenarios related to interoperability lead us to exploit Model Driven Architecture (MDA) and Service Oriented Architecture (SOA) methods as appropriate approaches for our inter-cloud framework. Moreover, since distributing the operations in a cloud-based environment is a nondeterministic polynomial time (NP-complete) problem, a Genetic Algorithm (GA) based job scheduler proposed as a part of interoperability framework, offering workload migration with the best performance at the least cost. A new Agent Based Simulation (ABS) approach is proposed to model the inter-cloud environment with three types of agents: Cloud Subscriber agent, Cloud Provider agent, and Job agent. The ABS model is proposed to evaluate the proposed framework.

Palvelutasosopimus toimittajan hallinnnan työkaluna Case: IT-käyttötukipalvelu

Työn tavoitteena on selvittää palvelutasosopimuksella ja sen hallinnalla saatavaa hyötyä toimittajan hallinnassa. Tutkimusongelmaa on lähdetty selvittämään tutustumalla ensin lyhyesti toimittajan hallintaan ja laajemmin palvelutasosopimuksista ja niiden hallinnasta olemassa olevaan teoria-aineistoon. Tämän teoriapohjan perusteella palvelutasosopimuksia ja niiden hallintaa on tutkittu käytännössä case-yrityksen valossa, mahdollisimman realistiseen lopputulokseen pääsemiseksi. Palvelujen ulkoistaminen tulee tulevaisuudessa lisääntymään ja tätä kautta yritysten onnistuminen markkinoilla on yhä riippuvaisempaa niiden kyvystä hallita toimittajiaan. Palvelutasosopimukset ja prosessit niiden ympärillä ovat hyödyllisiä työkaluja toimittajan suorituksen valvonnassa ja kehittämisessä sekä toimittajasuhteen luotsaamisessa kohti kumppanuussuhdetta. Tämä edellyttää kuitenkin, että kauppakumppanit sisäistävät palvelutasosopimusten kautta saavutettavat hyödyt ja sitoutuvat koko palvelutason hallintaprosessiin.

Sisäisen toimittajan palvelutasosopimuksen kehittäminen ja toimitusvarmuuden parantaminen, CASE: oy Shell ab

Tämän tutkielman tarkoituksena on tehostaa toimitusketjua kehittämällä palvelutasosopimusta ja parantamalla toimitusvarmuutta toimittajan ja oy Shell ab:n välillä. Työssä perehdytään näiden kahden yrityksen väliseen sopimukseen ja toimitusvarmuutta kuvaavaan mittariin nimeltä Supplier OTIF. Nykytila arvioidaan molempien osalta ja mahdollisia parantavia toimenpiteitä tuodaan esille. Tämä tutkimus perustuu yrityksessä työskentelyn ohella haastatteluihin, kyselyihin sekä omiin havaintoihin eri osastoilla. Työn teoriaosuudessa tarkastellaan ostosopimuksen yleisintä kaupallista sisältöä. Lisäksi paneudutaan palveluyrityksen käytäntöihin, tulkitaan palveluyrityksen suorituskykyä ja sen mittaamista tunnuslukujen avulla. Tutkimus osoittaa, että niin palvelutasosopimus kuin toimitusvarmuuskin eivät ole riittävällä tasolla case-yrityksessä. Erityisesti osapuolien välistä yhteistyötä ja tiedonjakoa on parannettava tavoitteiden saavuttamiseksi. Työssä esiteltyjen kehitys- ja parannusehdotusten osittainen käyttöönotto aikaansai toimitusketjun tehokkaamman toiminnan. Case-yrityksen tuleekin harkita lisätoimenpiteiden käyttöönottoa. Toiminnan sekä yhteistyön parantaminen yhä edelleen jää case-yrityksen ja toimittajien yhteisesti tulevaisuudessa tehtävien ratkaisujen varaan.

Taloushallinnon palvelukeskuksen perustaminen julkiselle sektorille ja sen haasteet

Tutkielman tarkoituksena oli selvittää taloushallinnon palvelukeskuksen perustamista julkiselle sektorille sekä suunnitteluvaiheen ja toiminnan alkuvaiheen mahdollisia kriittisiä seikkoja. Tavoitteena oli selvittää, kuinka ne voidaan minimoida, jotta hankkeesta tulee onnistunut. Lisäksi tutkielmassa käytiin läpi seikkoja, jotka ovat johtaneet palvelukeskuksien perustamiseen, palvelukeskuksille asetettuja tavoitteita sekä lyhyesti palvelukeskuksen ja sen asiakkaiden välistä palvelusopimusta. Tutkielma toteutettiin laadullisena tutkimuksena keräämällä aineistoa julkisella sektorilla toimivista taloushallinnon palvelukeskuksista. Sen lisäksi suoritettiin haastatteluita kunnallisessa palvelukeskuksessa sekä sen asiakasorganisaatiossa. Tulokset osoittivat, että palvelukeskuksen perustamiseen ja toiminnan alkuvaiheeseen liittyvät riskit ovat julkisen sektorin palvelukeskuksissa pitkälti samoja. Tutkimus osoittaa, että minimoidakseen riskit, tulee palvelukeskuksen perustamiseen käyttää riittävästi aikaa, jotta haasteellisimmat seikat ehditään huomioimaan sekä arvioimaan lisäresurssien tarve oikein.

Palvelutasosta sopiminen VMI-toimintamallissa

Työn tavoitteena on tutkia mitä osa-alueita liittyy palvelutasosopimukseen VMI-mallissa ja mitä asioita tulisi huomioida palvelutasosta sovittaessa, jotta VMI-toimintamalli onnistuisi mahdollisimman hyvin. Käsittelemme VMI:n palvelutason sopimisessa huomioitavia asioita yleisesti. Tutkimus ei keskity yksittäisiin VMI-variaatioihin tai tiettyihin toimintaympäristöihin. Varastonohjausjärjestelmän osalta tutkimuksessa on käsitelty ainoastaan (s,S)-varastonohjausjärjestelmää. Vaikka eri toimintaympäristöissä ja VMI:n variaatioissa VMI-sopimuksen ja palvelutason osalta huomioitavat asiat vaihtelevat tilannekohtaisesti, ovat työssä esitetyt näkökulmat ja käytetyt esimerkit sellaisia, että ne antavat suunnan ja viitekehyksen huomioitaville asioille kaikissa toimintaympäristöissä ja VMI:n variaatioissa.

Ulkoistettujen toimintojen valvonta – empiirinen analyysi

Pro Gradu -tutkielman tavoitteena on tutkia ulkoistettujen toimintojen valvontaa sekä toimintoihin kohdistuvan valvonnan eroja yrityksissä. Lisäksi tutkitaan, miten hyvin ulkoistukseen liittyvät mittarit toimivat. Tutkimuksessa pyritään selvittämään ulkoistamiseen liittyvien riskien toteutumisia sekä selvittämään valvonnan vaikutusta palvelun laatuun. Tutkimuksen tekoon vaikutti ulkoistamisten lisääntyminen sekä ulkoistettujen toimintojen valvontaan keskittyvien tutkimuksien puuttuminen. Aiemmin tehdyissä tutkimuksissa ei ole käsitelty toimintojen valvontaa. Empiirisessä tutkimuksessa tarkastellaan seitsemän eri toimialalla toimivan yrityksen ulkoistettuja toimintoja. Aineistokeruu tutkimukseen on toteutettu haastatteluina. Tutkimustulosten perusteella voidaan todeta yritysten valvonnan perustuvan sopimuksessa määriteltyihin mittareihin, joiden koetaan mittaavan haluttuja asioita. Toimintojen valvonnassa ei yrityksien välillä ole olennaisia eroja. Yritykset ovat pääsääntöisesti huomioineet ulkoistukseen liittyvät riskit riskienhallinnassaan. Yritykset kokevat valvonnan tehostamisen vaikuttavan palvelun laatuun.

Allocation optimale des ressources pour les applications et services de grille de calcul

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

The assessment of benchmarks executed on bare-metal and using para-virtualization

A full assessment of para-­virtualization is important, because without knowledge about the various overheads, users can not understand whether using virtualization is a good idea or not. In this paper we are very interested in assessing the overheads of running various benchmarks on bare-­‐metal, as well as on para-­‐virtualization. The idea is to see what the overheads of para-­‐ virtualization are, as well as looking at the overheads of turning on monitoring and logging. The knowledge from assessing various benchmarks on these different systems will help a range of users understand the use of virtualization systems. In this paper we assess the overheads of using Xen, VMware, KVM and Citrix, see Table 1. These different virtualization systems are used extensively by cloud-­‐users. We are using various Netlib1 benchmarks, which have been developed by the University of Tennessee at Knoxville (UTK), and Oak Ridge National Laboratory (ORNL). In order to assess these virtualization systems, we run the benchmarks on bare-­‐metal, then on the para-­‐virtualization, and finally we turn on monitoring and logging. The later is important as users are interested in Service Level Agreements (SLAs) used by the Cloud providers, and the use of logging is a means of assessing the services bought and used from commercial providers. In this paper we assess the virtualization systems on three different systems. We use the Thamesblue supercomputer, the Hactar cluster and IBM JS20 blade server (see Table 2), which are all servers available at the University of Reading. A functional virtualization system is multi-­‐layered and is driven by the privileged components. Virtualization systems can host multiple guest operating systems, which run on its own domain, and the system schedules virtual CPUs and memory within each Virtual Machines (VM) to make the best use of the available resources. The guest-­‐operating system schedules each application accordingly. You can deploy virtualization as full virtualization or para-­‐virtualization. Full virtualization provides a total abstraction of the underlying physical system and creates a new virtual system, where the guest operating systems can run. No modifications are needed in the guest OS or application, e.g. the guest OS or application is not aware of the virtualized environment and runs normally. Para-­‐virualization requires user modification of the guest operating systems, which runs on the virtual machines, e.g. these guest operating systems are aware that they are running on a virtual machine, and provide near-­‐native performance. You can deploy both para-­‐virtualization and full virtualization across various virtualized systems. Para-­‐virtualization is an OS-­‐assisted virtualization; where some modifications are made in the guest operating system to enable better performance. In this kind of virtualization, the guest operating system is aware of the fact that it is running on the virtualized hardware and not on the bare hardware. In para-­‐virtualization, the device drivers in the guest operating system coordinate the device drivers of host operating system and reduce the performance overheads. The use of para-­‐virtualization [0] is intended to avoid the bottleneck associated with slow hardware interrupts that exist when full virtualization is employed. It has revealed [0] that para-­‐ virtualization does not impose significant performance overhead in high performance computing, and this in turn this has implications for the use of cloud computing for hosting HPC applications. The “apparent” improvement in virtualization has led us to formulate the hypothesis that certain classes of HPC applications should be able to execute in a cloud environment, with minimal performance degradation. In order to support this hypothesis, first it is necessary to define exactly what is meant by a “class” of application, and secondly it will be necessary to observe application performance, both within a virtual machine and when executing on bare hardware. A further potential complication is associated with the need for Cloud service providers to support Service Level Agreements (SLA), so that system utilisation can be audited.

Managing ServerHotel

This graduate study was assigned by Unisys Oy Ab. The purpose of this study was to find tools to monitor and manage servers and objects in a hosting environment and to remotely connect to the managed objects. Better solutions for promised services were also researched. Unisys provides a ServerHotel service to other businesses which do not have time or resources to manage their own network, servers or applications. Contracts are based on a Service Level Agreement where service level is agreed upon according to the customer's needs. These needs have created a demand for management tools. Unisys wanted to find the most appropriate tools for its hosting environment to fulfill the agreed service level with reasonable costs. The theory consists of literary research focusing on general agreements used in the Finnish IT business, different types of monitoring and management tools and the common protocols used inthem. The theory focuses mainly on the central elements of the above mentioned topics and on their positive and negative features. The second part of the study focuses on general hosting agreements and what management tools Unisys has selected for hosting and why. It also gives a more detailed account of the hosting environment and its features in more detail. Because of the results of the study Unisys decided to use Servers Alive to monitor network and MS applications’ services. Cacti was chosen to monitor disk spaces, which gives us an idea of future disk growth. For remote connections the Microsoft’s Remote Desktop tool was the mostappropriate when the connection was tunneled through Secure Shell (SSH). Finding proper tools for the intended purposes with cost-conscious financial resources proved challenging. This study showed that if required, it is possible to build a professional hosting environment.