A qualidade dos serviços de saúde tornou-se um tema relevante e cada vez mais esforços são dedicados para definir metodologias e ferramentas para medir e assegurar a qualidade. São exigidos novos métodos para aperfeiçoar os processos de saúde, garantindo assim uma alto padrão de qualidade utilizando os recursos disponíveis. A otimização da utilização destes recursos de forma a preservar a qualidade do atendimento bem como baixar os custos requer modelos rigorosos dos processos médicos. Neste contexto apresentamos LEMMA 2000 (Language for an Easy Medical Model Analysis) uma notação destinada a modelar processos médicos, desenvolvida em cooperação com o Politécnico de Milão.. Esta notação disponibiliza aos médicos elementos simples e intuitivos para representar os modelos de diagnóstico. Simultaneamente um modelo de Redes de Petri Temporizadas é gerado automaticamente. Deste modo os modelos de LEMMA podem ser validados e analisados através de simulações e testes.O objetivo desta dupla modelagem é permitir aos médicos ganhar todos os benefícios de uma notação formal sem a necessidade de conhecer esta notação abstrata. Os usuários administram os elementos mais simples da notação, enquanto redes de Petri asseguram formalidade e capacidades de validação. Desta maneira LEMMA integra notações formais e intuitivas superando os problemas de ambos enfoques. A definição da notação LEMMA 2000 foi apoiada pela implementação de um ambiente para projetar os modelos. Este ambiente além de permitir a administração dos elementos da notação menos formal permite a geração e analise dos modelos mais formais. / The quality of health services has become an important subject. Efforts have been dedicated more and more to define methodologies and tools to measure and to guarantee quality. People demand new methods in order to improve health processes. This way a high standard of quality is guaranteed by using available resources. The optimization of using these resources in such a way as to keep the quality of attendance as well as to reduce expenses, needs strict patterns of medical processes. In this context we present LEMMA 2000 a notation for modeling medical processes developed in co-operation with the Politecnico di Milano. This notation provides doctors with common and intuitive elements to represent the patterns of diagnoses. At the same time a model of Timed Petri nets is created automatically. Because of this the patterns of LEMMA can be validated and analysed through simulations and tests. The aim of this double modelling is to allow doctors to gain all the benefits of a formal notation without the need to know this abstract notation. The users manage the most simple elements of the notation while Petri nets guarantee formality and ways of validation. This way LEMMA integrates formal and intuitive notations overcoming problems of both focuses.The definition of LEMMA 2000 notation was supported by the implementation of an environment for projecting the patterns. This environment not only allows the management of the elements of the less formal notation but it also allows the creation and analysis of most formal patterns.

A qualidade dos serviços de saúde tornou-se um tema relevante e cada vez mais esforços são dedicados para definir metodologias e ferramentas para medir e assegurar a qualidade. São exigidos novos métodos para aperfeiçoar os processos de saúde, garantindo assim uma alto padrão de qualidade utilizando os recursos disponíveis. A otimização da utilização destes recursos de forma a preservar a qualidade do atendimento bem como baixar os custos requer modelos rigorosos dos processos médicos. Neste contexto apresentamos LEMMA 2000 (Language for an Easy Medical Model Analysis) uma notação destinada a modelar processos médicos, desenvolvida em cooperação com o Politécnico de Milão.. Esta notação disponibiliza aos médicos elementos simples e intuitivos para representar os modelos de diagnóstico. Simultaneamente um modelo de Redes de Petri Temporizadas é gerado automaticamente. Deste modo os modelos de LEMMA podem ser validados e analisados através de simulações e testes.O objetivo desta dupla modelagem é permitir aos médicos ganhar todos os benefícios de uma notação formal sem a necessidade de conhecer esta notação abstrata. Os usuários administram os elementos mais simples da notação, enquanto redes de Petri asseguram formalidade e capacidades de validação. Desta maneira LEMMA integra notações formais e intuitivas superando os problemas de ambos enfoques. A definição da notação LEMMA 2000 foi apoiada pela implementação de um ambiente para projetar os modelos. Este ambiente além de permitir a administração dos elementos da notação menos formal permite a geração e analise dos modelos mais formais. / The quality of health services has become an important subject. Efforts have been dedicated more and more to define methodologies and tools to measure and to guarantee quality. People demand new methods in order to improve health processes. This way a high standard of quality is guaranteed by using available resources. The optimization of using these resources in such a way as to keep the quality of attendance as well as to reduce expenses, needs strict patterns of medical processes. In this context we present LEMMA 2000 a notation for modeling medical processes developed in co-operation with the Politecnico di Milano. This notation provides doctors with common and intuitive elements to represent the patterns of diagnoses. At the same time a model of Timed Petri nets is created automatically. Because of this the patterns of LEMMA can be validated and analysed through simulations and tests. The aim of this double modelling is to allow doctors to gain all the benefits of a formal notation without the need to know this abstract notation. The users manage the most simple elements of the notation while Petri nets guarantee formality and ways of validation. This way LEMMA integrates formal and intuitive notations overcoming problems of both focuses.The definition of LEMMA 2000 notation was supported by the implementation of an environment for projecting the patterns. This environment not only allows the management of the elements of the less formal notation but it also allows the creation and analysis of most formal patterns.

A qualidade dos serviços de saúde tornou-se um tema relevante e cada vez mais esforços são dedicados para definir metodologias e ferramentas para medir e assegurar a qualidade. São exigidos novos métodos para aperfeiçoar os processos de saúde, garantindo assim uma alto padrão de qualidade utilizando os recursos disponíveis. A otimização da utilização destes recursos de forma a preservar a qualidade do atendimento bem como baixar os custos requer modelos rigorosos dos processos médicos. Neste contexto apresentamos LEMMA 2000 (Language for an Easy Medical Model Analysis) uma notação destinada a modelar processos médicos, desenvolvida em cooperação com o Politécnico de Milão.. Esta notação disponibiliza aos médicos elementos simples e intuitivos para representar os modelos de diagnóstico. Simultaneamente um modelo de Redes de Petri Temporizadas é gerado automaticamente. Deste modo os modelos de LEMMA podem ser validados e analisados através de simulações e testes.O objetivo desta dupla modelagem é permitir aos médicos ganhar todos os benefícios de uma notação formal sem a necessidade de conhecer esta notação abstrata. Os usuários administram os elementos mais simples da notação, enquanto redes de Petri asseguram formalidade e capacidades de validação. Desta maneira LEMMA integra notações formais e intuitivas superando os problemas de ambos enfoques. A definição da notação LEMMA 2000 foi apoiada pela implementação de um ambiente para projetar os modelos. Este ambiente além de permitir a administração dos elementos da notação menos formal permite a geração e analise dos modelos mais formais. / The quality of health services has become an important subject. Efforts have been dedicated more and more to define methodologies and tools to measure and to guarantee quality. People demand new methods in order to improve health processes. This way a high standard of quality is guaranteed by using available resources. The optimization of using these resources in such a way as to keep the quality of attendance as well as to reduce expenses, needs strict patterns of medical processes. In this context we present LEMMA 2000 a notation for modeling medical processes developed in co-operation with the Politecnico di Milano. This notation provides doctors with common and intuitive elements to represent the patterns of diagnoses. At the same time a model of Timed Petri nets is created automatically. Because of this the patterns of LEMMA can be validated and analysed through simulations and tests. The aim of this double modelling is to allow doctors to gain all the benefits of a formal notation without the need to know this abstract notation. The users manage the most simple elements of the notation while Petri nets guarantee formality and ways of validation. This way LEMMA integrates formal and intuitive notations overcoming problems of both focuses.The definition of LEMMA 2000 notation was supported by the implementation of an environment for projecting the patterns. This environment not only allows the management of the elements of the less formal notation but it also allows the creation and analysis of most formal patterns.

Syftet med studien var att få en bättre förståelse för hur sjukhusen använder sig av data och information i samband med Business Intelligence (BI). Det gjordes genom att undersöka ett fall som var ett BI- system och det var uppbyggt av människor och teknologier i PMI funktionen inom Karolinska universitetssjukhus. Forskningsfrågorna som skulle besvaras inkluderade vad det är som utmärker användandet av beslutsstöd för de medicinska processerna inom Perioperativ medicin och intensivvård. Dessutom skulle det undersökas hur framtiden ser ut med BI användningen inom PMI. De avdelningar som undersöktes inkluderade perioperativ vård, intensivvårdsavdelningen (IVA) och en translationell forskningsplattform. Detta gjordes som en kvalitativ fallstudie där relevanta personer med olika roller inom PMI intervjuades. Dessa roller inkluderade en BI arkitekt, anestesiläkare och enhetschefer. Empirin som samlades in inkluderade semi strukturerade intervjuer vilket var den främsta datakällan. Interna dokument med fakta kring verksamheten användes som komplement. Den teoretiska utgångspunkten som användes var ett BI ramverk och ett ramverk för arbetssystem, men andra teorier angående BI-förmågor användes också. Det resultat som genererades av studien var att samtliga delar av BI-systemet behöver fungera väl tillsammans för att ett beslutstöd ska på den högsta graden kunna erbjudas. Det visade sig att organisationsminnet och informationsintegreringen byggde upp det första steget i beslutstödet, därefter så är det insiktsskpandet som skapar uppfattningar av tidigare händelser. Sist är det presentation/kommunikation som erbjuder slutanvändaren informationen i form av dashboards. En annan slutsats var att den ökade mängden data inte egentligen hade en påverkan på BI-system och beslutsfattandet. / The purpose of this study was to get a better understanding of how hospitals use data and information in conjunction with Business intelligence (BI). That was done by examining a case that was a BI-system which people and technologies of the PMI department in Karolinska university hospital were a part of. The research questions that were supposed to be answered included what distinguished the usage of decision support in the medical processes in PMI. In addition to this the effect the increasing access of data had on the aforementioned processes were also to be examined. The departments that were examined included preoperative care, intensive care unit (ICU) and a translational research platform. This was conducted as a qualitative case study where relevant people who worked in PMI with different roles were to be interviewed. This included a BI architect, anaesthesiologist and unit managers. The empirical data that was created included several semi structured interviews which were the main data source and internal documents that had useful information regarding the departments. The main theoretical framework that was used to analyse the data was a BI framework and work system theories, but other theories regarding BI capabilities were also used. The result that was generated by the study was that all the different parts of the analysed BI-system have to work together in order for the decision support to be as good as possible. The results also showed that the BI capabilities organizational memory and information integration builds the first step towards decision support. Then it is insight creation and presentation/communication that creates the understanding of previous events. Another conclusion was that the increasing amounts of data did not have a major effect on the BI-system or decision support as a whole.