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.

L’approche de récupération améliorée après chirurgie (RAAC) vise à diminuer les complications postopératoires et la durée moyenne de séjour des patients, optimisant ainsi leur retour à domicile pour éviter les réadmissions. À la vue de ses résultats cliniques avérés, de nombreux établissements de santé dans le monde et au Québec ont adopté ce changement novateur dans la prise en charge de leurs patients. L'étude se concentre sur l’implantation de l’approche RAAC au Centre Hospitalier Universitaire de Sherbrooke (CHUS) en Estrie. L’objectif est d’analyser les facteurs influençant l’implantation de l’approche RAAC ainsi que les facteurs influençant la contribution des infirmières gestionnaires à cette implantation. Basée sur le cadre théorique de Chaudoir et al. (2013), cette étude utilise un devis qualitatif descriptif. Dix entretiens semi-dirigés ont été réalisés avec des infirmières gestionnaires impliquées dans l’implantation de la RAAC, suivi d'une analyse thématique mixte. Les résultats montrent que différents facteurs influencent l’implantation, telle que la priorité organisationnelle, la disponibilité des ressources humaines et financières, la collaboration interdisciplinaire et la pandémie de COVID-19. L’étude montre également que les infirmières gestionnaires jouent un rôle crucial dans la gestion des ressources humaines, la gestion du changement, la collaboration interprofessionnelle, et le développement de la pratique professionnelle. Les résultats guideront les organisations de santé au Québec dans l’identification de stratégies permettant l’exercice optimal du rôle infirmier pour une meilleure implantation de cette approche. / Enhanced Recovery After Surgery (ERAS) aims to reduce postoperative complications and the average length of patient stays, thereby optimizing their return home to avoid readmissions. Given its proven clinical results, numerous healthcare institutions worldwide and in Quebec have adopted this innovative approach to patient care. The study focuses on the implementation of the ERAS approach at the Centre Hospitalier Universitaire de Sherbrooke (CHUS) in Estrie. The objective is to analyze the factors influencing the implementation of the ERAS approach and the factors influencing the contribution of nurse managers to this implementation. Based on the theoretical framework of Chaudoir et al. (2013), this study uses a descriptive qualitative design. Ten semi-structured interviews were conducted with nurse managers involved in the implementation of ERAS, followed by a mixed thematic analysis. The results show that various factors influence implementation, such as organizational priority, availability of human and financial resources, interdisciplinary collaboration, and the COVID-19 pandemic. The study also shows that nurse managers play a crucial role in human resource management, change management, interprofessional collaboration, and the development of professional practice. The results will guide healthcare organizations in Quebec in identifying strategies that allow optimal nurse role performance for better implementation of this approach.

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.