Category-theoretic fibration as an abstraction mechanism in information systems

This paper examines the problem of establishing a formal relationship of abstraction and refinement between abstract enterprise models and the concrete information systems which implement them. It introduces and justifies a number of reasonableness requirements, which turn out to justify the use of category theoretic concepts, particularly fibrations, to precisely specify a semantics for enterprise models which enables them to be considered as abstractions of the conceptual models from which the implementing information systems are built. The category-theoretic concepts are developed towards the problem of testing whether a system satisfies the fibration axioms, and are applied to case studies to demonstrate their practicability.

Research commentary: Information systems and conceptual modeling - A research agenda

Within the information systems field, the task of conceptual modeling involves building a representation of selected phenomena in some domain. High-quality conceptual-modeling work is important because it facilitates early detection and correction of system development errors. It also plays an increasingly important role in activities like business process reengineering and documentation of best-practice data and process models in enterprise resource planning systems. Yet little research has been undertaken on many aspects of conceptual modeling. In this paper, we propose a framework to motivate research that addresses the following fundamental question: How can we model the world to better facilitate our developing, implementing, using, and maintaining more valuable information systems? The framework comprises four elements: conceptual-modeling grammars, conceptual-modeling methods, conceptual-modeling scripts, and conceptual-modeling contexts. We provide examples of the types of research that have already been undertaken on each element and illustrate research opportunities that exist.

Abordagens metodológicas para avaliar risco de extinção de espécies de Brachyteles (Primates : Atelidae)

A distribuição geográfica de um táxon é limitada por aspectos ecológicos e históricos. Muitas atividades humanas têm causado modificações na cobertura vegetal, o que leva à fragmentação e perda do habitat. Isso tem levado à extinção local de populações de várias espécies, alterando sua distribuição geográfica. Entre elas estão as duas espécies do gênero Brachyteles (os muriquis), que são primatas endêmicos de um dos biomas mais afetados por esses processos, a Mata Atlântica. A União Internacional para a Conservação da Natureza (UICN) é uma organização que busca conservar a biodiversidade. Entre outros critérios, utiliza o conhecimento sobre as distribuições geográficas restritas das espécies para classificá-las em categorias de ameaça de extinção, nas chamadas listas vermelhas. Para isso, utiliza parâmetros espaciais, cujos resultados indicam o risco de extinção de determinado táxon em relação à sua distribuição geográfica. Muitas vezes os cálculos desses parâmetros são realizados de maneira subjetiva, de maneira que é importante a busca de métodos que tornem as classificações mais objetivas, precisas e replicáveis. Nesse contexto, o presente trabalho testou diferentes métodos de cálculos de três parâmetros relacionados à distribuição geográfica de B. hypoxanthus e B. arachnoides. Tratam-se de espécies ameaçadas de extinção, com localidades de ocorrência bem conhecidas, que foram profundamente afetadas pela degradação da Mata Atlântica. Assim, podem ser consideradas bons modelos para essas análises. Foi construído um banco de dados de localidades de ocorrência atuais das duas espécies. Por meio de abordagens de Sistemas de Informação Geográfica (SIG), foram estimadas a Extensão de Ocorrência (EOO) através de Mínimo Polígono Convexo e α-hull e Área de Ocupação (AOO) e Subpopulações por meio de métodos de grids, buffers circulares e α-hull, em diferentes escalas espaciais. Os resultados dos cálculos desses parâmetros foram comparados para identificar as abordagens e escalas mais adequadas para a avaliação de risco de extinção. Esses resultados indicam que as listas de localidades e os mapas de distribuição disponibilizados pela UICN precisam ser atualizados. Além disso, sugerem que α-hull é uma abordagem vantajosa para EOO e o método de buffers é mais adequado para os parâmetros de AOO e Subpopulações, quando utiliza escalas espaciais menores. Também foi utilizada a ferramenta GeoCAT, para as duas espécies. Essa ferramenta, por realizar análises de EOO e AOO instantâneas e por seus resultados serem semelhantes aos de outras análises, serve como uma abordagem preliminar de risco de extinção baseado no critério de distribuição geográfica.

Promoting Success in the Introduction of Health Information Systems

The significant number of publications describing unsuccessful cases in the introduction of health information systems makes it advisable to analyze the factors that may be contributing to such failures. However, the very notion of success is not equally assumed in all publications. Based in a literature review, the authors argue that the introduction of systems must be based in an eclectic combination of knowledge fields, adopting methodologies that strengthen the role of organizational culture and human resources in this project, as a whole. On the other hand, the authors argue that the introduction of systems should be oriented by a previously defined matrix of factors, against which the success can be measured.

Ambivalent implications of health care information systems: a study in the Brazilian public health care system

This article evaluates social implications of the "SIGA" Health Care Information System (HIS) in a public health care organization in the city of São Paulo. The evaluation was performed by means of an in-depth case study with patients and staff of a public health care organization, using qualitative and quantitative data. On the one hand, the system had consequences perceived as positive such as improved convenience and democratization of specialized treatment for patients and improvements in work organization. On the other hand, negative outcomes were reported, like difficulties faced by employees due to little familiarity with IT and an increase in the time needed to schedule appointments. Results show the ambiguity of the implications of HIS in developing countries, emphasizing the need for a more nuanced view of the evaluation of failures and successes and the importance of social contextual factors.

Interaction between information systems and work in the Brazilian banking sector

This article presents the results of a research to understand the conditions of interaction between work and three specific information systems (ISs) used in the Brazilian banking sector. We sought to understand how systems are redesigned in work practices, and how work is modified by the insertion of new systems. Data gathering included 46 semi-structured interviews, together with an analysis of system-related documents. We tried to identify what is behind the practices that modify the ISs and work. The data analysis revealed an operating structure: a combination of different practices ensuring that the interaction between agents and systems will take place. We discovered a structure of reciprocal conversion caused by the increased technical skills of the agent and the humanization of the systems. It is through ongoing adjustment between work and ISs that technology is tailored to the context and people become more prepared to handle with technology.

Knowledge and technologies in innovative information systems

7th Mediterranean Conference on Information Systems, MCIS 2012, Guimaraes, Portugal, September 8-10, 2012, Proceedings Series: Lecture Notes in Business Information Processing, Vol. 129

Influence of network effects on the diffusion of information systems: the case of open source

Doutoramento em Gestão

Extensible metadata repository for information systems

Thesis submitted to Faculdade de Ciências e Tecnologia of the Universidade Nova de Lisboa, in partial fulfillment of the requirements for the degree of Master in Computer Science

Towards a GIS-T database design and implementation for public transit planning: the case study of Dar-Es-salaam metropolitan city, Tanzania.

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies