Security protocols are important and widely used because they enable secure communication to take place over insecure networks. Over the years numerous formal methods have been developed to assist protocol designers by analysing models of these protocols to determine their security properties. Beyond the design stage however, developers rarely employ formal methods when implementing security protocols. This may result in implementation flaws often leading to security breaches. This dissertation contributes to the study of security protocol analysis by advancing the emerging field of implementation analysis. Two tools are presented which together translate between Java and the LySa process calculus. Elyjah translates Java implementations into formal models in LySa. In contrast, Hajyle generates Java implementations from LySa models. These tools and the accompanying LySa verification tool perform rapid static analysis and have been integrated into the Eclipse Development Environment. The speed of the static analysis allows these tools to be used at compile-time without disrupting a developer’s workflow. This allows us to position this work in the domain of practical software tools supporting working developers. As many of these developers may be unfamiliar with modelling security protocols a suite of tools for the LySa process calculus is also provided. These tools are designed to make LySa models easier to understand and manipulate. Additional tools are provided for performance modelling of security protocols. These allow both the designer and the implementor to predict and analyse the overall time taken for a protocol run to complete. Elyjah was among the very first tools to provide a method of translating between implementation and formal model, and the first to use either Java for the implementation language or LySa for the modelling language. To the best of our knowledge, the combination of Elyjah and Hajyle represents the first and so far only system which provides translation from both code to model and back again.

It is generally acknowledged that economic activity continues apace and at the expense of social and ecological integrity while the course of economic development remains far from any approximation of sustainability. Few would dispute the fact that since 1992 little has been accomplished in practical terms to meet Agenda 21 objectives. Many would agree that Agenda 21-inspired local visions and goals have not translated into actual local change in part because of the complex and the multi-faceted nature of the issues involved. Policy work on ecological modernization and sustainability needs to be explicit on the question of scale and the role of governments. The central challenge for policy makers, action takers, and researchers is to determine the appropriate territorial (physical, social, economic, and political) scale at and through which government power needs to be deployed to effect transition to sustainable modes of regulation. This question is particularly relevant given the current discourse on regionalization / globalization. Adopting a 'post-disciplinary' approach this thesis examines how institutional inter-relations shape the outcome of plans to meet policy objectives on sustainable development at the local (municipality) scale. In-depth analysis of interview and secondary data reveals that numerous factors 'regulate' what occurs at local and other scales in relation to sustainable development. This thesis concludes with exploring the policy and future research implications of the findings.

It is generally acknowledged that economic activity continues apace and at the expense of social and ecological integrity while the course of economic development remains far from any approximation of sustainability. Few would dispute the fact that since 1992 little has been accomplished in practical terms to meet Agenda 21 objectives. Many would agree that Agenda 21-inspired local visions and goals have not translated into actual local change in part because of the complex and the multi-faceted nature of the issues involved. Policy work on ecological modernization and sustainability needs to be explicit on the question of scale and the role of governments. The central challenge for policy makers, action takers, and researchers is to determine the appropriate territorial (physical, social, economic, and political) scale at and through which government power needs to be deployed to effect transition to sustainable modes of regulation. This question is particularly relevant given the current discourse on regionalization / globalization. Adopting a 'post-disciplinary' approach this thesis examines how institutional inter-relations shape the outcome of plans to meet policy objectives on sustainable development at the local (municipality) scale. In-depth analysis of interview and secondary data reveals that numerous factors 'regulate' what occurs at local and other scales in relation to sustainable development. This thesis concludes with exploring the policy and future research implications of the findings.

According to the Swedish Forestry Act, environmental protection is required within forest operations regardless of forest ownership. This thesis examines the extent to which regulations issued by the National Board of Forestry are implemented in clearcuttings. Different factors contributing to the outcome of environmental protection are analyzed both from a top-down and a bottom-up perspec­tive. Empirically, the study combines field investigation of clearcuts, interviews with implementing actors, and evaluation of written prescriptions and advice on environ­mental protection. The Swedish forest-environmental legislation and implementation process is also compared to that of the U.S. and, especially, to the state of Cali­fornia . Conflicting goals within the Forestry Act and vague environmental guidelines leave the implementing agency officers with great discretion. Steering attempts by the Forestry Agency are in terms of friendly advice and information. No breaches of the regulations were taken to court during 1980-1986 although this is formally possible. There is an average compliance of approximately fifty per cent of the required environmental measures. Aesthetic values are taken into account to a greater extent than pure floristic and faunistic ones. Economic considerations and harvest technology contribute to a low degree of environmental protection. Forest machines are inadequately suited for protecting single, environmentally valuable trees and they frequently cause deep tracks. Inadequate environmental knowledge and insufficient pre-harvest environmental planning also affect environ­mental performance negatively. Generally, economic considerations contribute to the low priority to environ­mental protection given by the implementing actors compared to timber production. Economic inducements counteract environmental protection. It is generally rare that environmentalists and other public interests affected by forest operations are consulted. Environmentalists however influence indirectly through political pressure to legislate, participation in the consultation process before legislation is enacted, and mass-media attention. / digitalisering@umu

This diploma thesis deals with the issues of implementation of the new information system. The work was based on the experiences in implementing a new information system. The main point of this thesis is to present the process of implementation beginning with the analyzing the current state and vendor selection to implementation itself. Then I will describe the current situation, the risks of process of the implementation, the possibilities in saving the expenses in the next project and how to avoid the errors arising from this implementation. There are two separated parts of the written essay. First part is about the theoretical approach of the professional publications, and in the second part there is a description of the process of implementation on the particular example, the application BUMERANG. This work should mainly offer the summary of the real problems and risks arising from implementation similar systems and it also might be some kind of aid for other projects in the company as it reveals the risks and offers the instructions how to avoid risky situations.

This thesis analyzes the implementation of the ERP system Infor M3 in international company. The main objective is to analyze the current implementation causes of delay and to recommend measures for future implementation stages to prevent them. The main objective of theoretical part is to analyze global ERP market and summarize available implementation methodologies of ERP systems. Second objective of theoretical part is to analyze the frequent causes of delays in implementation's projects in general and to summarize the basic methods for searching the causes of problems. Practical part is based on knowledge from theoretical part and through a survey identifies the most serious causes of delay in implementation in particular international company. The outcome of this thesis are recommendations for the rest of this implementation project to avoid and prevent the same causes and problems and allow to finish project implementation in time.

The purpose of the study is to investigate the ongoing implementation process of Växjö municipality’s waste plan from 2015. In order to complete this purpose, the following three questions have been formulated: [1] What public management is being applied to implement the waste plan? [2] To what extent have the respective objectives in the waste plan been achieved so far? [3] Was any management control more successful in the implementation process? By applying a modified version of Lennart Lundquist's analysis tool control dimensions on the waste plan, this qualitative content analysis will answer the first question by categorizing which of the dimensions used in public management of the waste plan's objectives, its interim goals and its actions. Next, the latest follow-up of the waste plan is presented to answer the second question to finally compare the results of these two to answer the last question. The study results in a presentation of the public management applied to each objective, a presentation of how well the respective goals have been achieved where one clarifies that public management does not affect how successful implementation of goals will be.

Cette étude de cas vise à comparer le modèle de soins implanté sur le territoire d’un centre de santé et des services sociaux (CSSS) de la région de Montréal aux modèles de soins en étapes et à examiner l’influence de facteurs contextuels sur l’implantation de ce modèle. Au total, 13 cliniciens et gestionnaires travaillant à l’interface entre la première et la deuxième ligne ont participé à une entrevue semi-structurée. Les résultats montrent que le modèle de soins hiérarchisés implanté se compare en plusieurs points aux modèles de soins en étapes. Cependant, certains éléments de ces derniers sont à intégrer afin d’améliorer l’efficience et la qualité des soins, notamment l’introduction de critères d’évaluation objectifs et la spécification des interventions démontrées efficaces à privilégier. Aussi, plusieurs facteurs influençant l’implantation d’un modèle de soins hiérarchisés sont dégagés. Parmi ceux-ci, la présence de concertation et de lieux d’apprentissage représente un élément clé. Néanmoins, certains éléments sont à considérer pour favoriser sa réussite dont l’uniformisation des critères et des mécanismes de référence, la clarification des rôles du guichet d’accès en santé mentale et l’adhésion des omnipraticiens au modèle de soins hiérarchisés. En somme, l’utilisation des cadres de référence et d’analyse peut guider les gestionnaires sur les enjeux à considérer pour favoriser l’implantation d’un modèle de soins basé sur les données probantes, ce qui, à long terme, devrait améliorer l’efficience des services offerts et leur adéquation avec les besoins populationnels. / The purpose of the present study was to compare the care model of one Montreal local territory to the stepped-care model and to investigate factors influencing the implementation of this model. A qualitative case-study approach was employed involving 13 semi-structured interviews with services providers and managers from primary and specialist mental healthcare. Results showed that the hierarchical care model in place in this territory is compared in several points with the stepped-care model. However, some elements of these models have to be integrated to improve efficiency and quality of care, including the introduction of objective evaluation criteria and the specification of evidence-based interventions. Furthermore, some factors influenced the implementation of this hierarchical care model. Thus, the presence of collaborative working and learning strategies were identified to be a key condition. However, some elements must be considered to facilitate its success like the standardization of the referral criteria and process, the clarification of the mental health guichet d’accès (centralized access point) roles and the general practitioners' adherence to the care model. In conclusion, the use of the reference and analysis frames of this study may guide managers on issues to be considered to support the implementation of an evidence-based care model which may facilitate mental healthcare efficiency and its adequacy with the population needs.

INTRODUCTION: La collaboration interprofessionnelle a émergé comme étant l’un des aspects essentiels à consolider pour améliorer l’organisation de la première ligne de soins et assurer un accès adéquat aux ressources disponibles. Pour favoriser l’accroissement de la collaboration interprofessionnelle, il est suggéré que les professionnels des sciences de la santé soient formés en interdisciplinarité, particulièrement à l’occasion des stages cliniques. OBJECTIFS: Ce projet vise à mesurer le degré d’implantation du programme de formation interprofessionnelle (PFI) du Centre de santé et de services sociaux (CSSS) à l’étude comparativement au modèle proposé initialement. De plus, ce projet vise à comprendre comment les facteurs systémiques, les facteurs organisationnels et les caractéristiques du programme de formation mis en place influencent l’implantation du PFI. MÉTHODOLOGIE : Il s’agit d’une étude de cas unique effectuée au sein d’un CSSS situé dans la grande région de Montréal au Québec, Canada. Les données ont été recueillies à l’aide de 11 entrevues semi-dirigées qui ont été réalisées auprès de professionnels et administrateurs responsables de l’implantation du PFI et d’un étudiant en stage ayant participé au PFI. Une analyse des documents administratifs et cliniques écrits concernant l’implantation du PFI a également été effectuée. RÉSULTATS : L’implantation du PFI est toujours en évolution comme le traduit la présence des différentes composantes définissant la mise en œuvre du PFI qui est de moyenne à élevée et l’intensité des différentes composantes qui est généralement faible. Les facteurs systémiques, les facteurs organisationnels et les caractéristiques du programme de formation mis en place influencent l’implantation du PFI en milieu clinique et il existe des interrelations entre ces différents facteurs. L’analyse des facteurs influençant l’implantation d’un PFI en milieu clinique doit également s'attarder aux différents facteurs influençant le développement des pratiques collaboratives dans ce milieu. / INTRODUCTION: Interprofessional collaboration emerged as one of the key aspects that have to be consolidated to improve the organization of primary care and to ensure an appropriate access to available resources. In order to increase interprofessional collaboration, it has been suggested that health sciences professionals should be trained in an interdisciplinary fashion, especially during clinical training. OBJECTIVES: The aim of this research is to measure the degree of implementation of an initiative in interprofessional education (IPE) which takes place in the Health and social service centre (HSSC) studied, as compared to the initially proposed model. Furthermore, the objective of this research is to understand how systemic factors, organizational factors and the training program’s attributes influence the IPE initiative’s implementation. METHODS: This is a case study based on an HSSC located in the greater Montreal region in Quebec, Canada. Data was collected through 11 semi-structured interviews performed with professionals and administrators responsible for the IPE initiative’s implementation, together with one student who participated in the IPE initiative during his clinical training. An analysis of administrative and clinical documents regarding the IPE initiative’s implementation was also performed. RESULTS: The implementation of the IPE initiative is still an ongoing process as it is showed by the medium-high presence of the different elements which define the IPE implementation and the generally low intensity of these elements. Systemic factors, organizational factors and the training program’s attributes influence the implementation of the IPE initiative in a clinical setting and there is an interaction between all of these factors. An analysis of the different factors influencing the implementation of an IPE initiative in a clinical setting should also consider the different factors influencing the development of collaborative practice in this environment.

Une équipe multidisciplinaire et intersectorielle a implanté en 2009 une recherche-intervention novatrice : Spot, un service de dépistage rapide du VIH en milieu communautaire offert aux hommes ayant des relations sexuelles avec d’autres hommes de Montréal. Une étude de cas a été menée afin de décrire le processus d’implantation de Spot et les facteurs contextuels qui l’ont affecté. L’analyse par théorisation ancrée des entrevues, l’observation participante et l’analyse documentaire ont permis d’identifier un processus d’implantation dynamique en plusieurs phases. Elles sont modulées par des facteurs liés aux motivations des acteurs à s’engager dans le projet, à la complexité des dynamiques partenariales et aux défis de la coordination en contexte d’équipe multidisciplinaire et intersectorielle et à d’autres facteurs ayant affecté l’organisation de l’équipe terrain et leurs pratiques au quotidien. Des motivations telles l’occasion unique de contribuer à la mise en place d’un projet de prévention novateur et pertinent, ont eu une influence favorable constante, ralliant les acteurs autour du projet et maintenant leur implication malgré les difficultés rencontrées. Sur le plan des dynamiques partenariales, une définition floue des rôles et tâches a ralenti l’implantation du projet, alors qu’une fois clarifiée, chacun a pu se sentir légitime et participer activement à la réussite de l’implantation. Des difficultés à la coordination du projet, entre autres concernant la gestion des fonds interinstitutionnels, sont un facteur ayant ralenti le processus d’implantation. Cette étude a permis de tirer des leçons sur l’implantation et la pérennisation d’un service de dépistage rapide du VIH en milieu communautaire gai. / In 2009, a multidisciplinary and intersectoral team implemented an innovative research-intervention project: Spot, a community-based rapid HIV testing service for men who have sex with men in Montreal. A case study was undertaken to describe the implementation process of Spot and the contextual factors that affected it. Grounded theory analysis of interviews, participant-observer, and a document analysis allowed the identification of a multistage dynamic implementation process. These stages were influenced by stakeholders’ motivations, the complexity of partnership dynamics, the challenges surrounding coordination and organization of staff members, as well as factors influencing staff members’ daily practices. Motivations like the unique opportunity to contribute to the implementation of an innovative and relevant prevention project, had a constant and positive influence, which united stakeholders in the project and maintained their involvement despite the difficulties. In terms of partnership dynamics, vague definitions of roles and tasks delayed the implementation of the project, although once clarified, everyone felt legitimate and actively participated in the success of the implantation. The management of interinstitutional funds was mentioned as one of the difficulties of coordinating the project and a factor that caused delays in the implementation process. This study allowed learning about the implementation and sustainability of a gay community-based rapid HIV testing service.