The predicate completion of a partial information system

2018 ◽  
Vol 68 (2) ◽  
pp. 253-270
Author(s):  
Zack French ◽  
James B. Hart

Abstract Originally, partial information systems were introduced as a means of providing a representation of the Smyth powerdomain in terms of order convex substructures of an information-based structure. For every partial information system 𝕊, there is a new partial information system that is natrually induced by the principal lowersets of the consistency predicate for 𝕊. In this paper, we show that this new system serves as a completion of the parent system 𝕊 in two ways. First, we demonstrate that the induced system relates to the parent system 𝕊 in much the same way as the ideal completion of the consistency predicate for 𝕊 relates to the consistency predicate itself. Second, we explore the relationship between this induced system and the notion of D-completions for posets. In particular, we show that this induced system has a “semi-universal” property in the category of partial information systems coupled with the preorder analog of Scott-continuous maps that is induced by the universal property of the D-completion of the principal lowersets of the consistency predicate for the parent system 𝕊.

2013 ◽  
Vol 4 (4) ◽  
pp. 679-698 ◽  
Author(s):  
Maria Røhnebæk

This article is based on a research project that explores the proliferation of information and communication technology (ICT) in public services. Furthermore, the research explores how the enhanced presence of ICT relates to efforts to increas-ingly individualise the service delivery. It can be argued that enhanced individualisation requires increased levels of discretion and flexibility. At the same time, this flexibility needs to be implemented within a standardized framework to ensure due process and to meet demands for efficiency. As local-level work practices in the public services are increasingly being enabled through ICT, the information systems can thus be seen to offer ’standardized flexibility’. Hence, the information systems work as both enablers of flexibility and as controllers of the same. This research explores how this duality manifests empirically at the local-level of the Norwegian employment and welfare services (NAV). It focuses on the in-terface of the information systems and local-level employees. In this article, I portray the role of the information system, Arena, with regard to how the front-line employees structure and organize their work. This portrayal reveals that the information system reflects an ideal world which is out of tune with local working conditions. The employees are thus facing gaps between the ideals of the system and their actual work context. The main purpose of the paper is to illustrate how the employees deal with this gap; I identify three types of responses and strategies. Moreover, I suggest that the relationship between the information systems and different kinds of local responses may be fruitfully analysed by drawing an analogy with choreography and dancing. The second purpose of this article is thus to outline how the metaphor of choreography may provide a suitable theoretical lens for analysing ICT-enabled standardization of work.


2017 ◽  
Vol 32 (3) ◽  
pp. 91-111
Author(s):  
Yair Wand ◽  
Ron Weber

ABSTRACT Controls must be changed when information systems are modified. Audit, assurance, and quality-control (AAQC) personnel must evaluate the reliability of controls in the new system versions. Based on Bunge (1977, 1979) and Wand and Weber (1989a, 1990), we describe a model and search-space algorithm that AAQC personnel can use to determine where required control changes are likely to be located in the new system version, thereby mitigating the need for an exhaustive evaluation of all controls. To use the model and algorithm, AAQC personnel must have (1) accurate and complete requirements specifications for the old and new versions of the system, (2) a controls specification for the old version that covers all errors and irregularities that might occur, (3) evidence to conclude all controls for the old version are in place, adequate, and working, and (4) specifications for the new version expressed as a level structure of systems and subsystems.


2011 ◽  
pp. 621-631
Author(s):  
Doron Tauber ◽  
David G. Schwartz

Information systems research has clearly recognized that knowledge management systems (KMSs) have different characteristics and requirements than those of a classic management information system (MIS). Beginning with the relationship drawn between data, information, and knowledge (Alavi & Leidner, 1999, 2001; Bhatt, 2001; Ulrich, 2001; Spiegler, 2000, 2003; Tuomi, 2000), through to the essential nature of unstructured and semi-structured information vs. structured information (Wu, Ling, Lee, & Dobbie, 2001; Lai, Carlsen, Christiansson, & Svidt, 2003; Fensel et al., 2002; Chou & Chow, 2000), there are many elements and areas in which the two diverge.


1984 ◽  
Vol 55 (3) ◽  
pp. 991-998 ◽  
Author(s):  
Dianna L. Stone ◽  
Barbara Kemmerer ◽  
Hal G. Gueutal

Data from a field study were used to assess the relationship between two individual differences variables, (a) rigidity, (b) self-esteem, and beliefs and attitudes toward the introduction of a computer-based information system. Multiple regression and correlation analyses showed that rigidity was negatively related to computer-related beliefs and attitudes. Further, the data indicated that self-esteem was not related to either computer-related beliefs or attitudes. Implications of these results for dealing with resistance to computerization are discussed.


2019 ◽  
Author(s):  
Jorge Revez

Objective - The CRIS (Current Research Information System) systems implemented in Portugal are discussed and the role that libraries have played in the development of these information systems is sought. Methodology - A qualitative methodology was adopted through the study of two cases, providing a point of view on the relationship between libraries and researchers in science and technology. Results - The increasingly significant presence of CRIS systems in Portugal stands out but with a timid participation of libraries in their implementation and development process. Discussion - The relevance of libraries in new information contexts, the definition of science management policies that consider the context and the various actors involved in the development of information systems and the effectiveness of national coordination structures that organize information of researchers in science and technology are discussed. Limitations - The data obtained are partial and of a secondary nature. Originality - An unprecedented point of view is provided on the relationship in Portugal between the scientific community and libraries as information and support services for the organization of science. Objetivo – Abordam-se os sistemas CRIS (Current Research Information System) implementados em Portugal e procura-se conhecer o papel que as bibliotecas têm desempenhado no desenvolvimento destes sistemas de informação. Metodologia – Foi adotada uma metodologia qualitativa, através do estudo de dois casos, fornecendo um ponto de vista sobre a relação entre as bibliotecas e os investigadores em ciência e tecnologia. Resultados – Destaca-se a presença cada vez mais significativa dos sistemas CRIS em Portugal mas uma participação tímida das bibliotecas no seu processo de implementação e desenvolvimento. Discussão – Problematiza-se a relevância das bibliotecas nos novos contextos informacionais, a definição de políticas de gestão da ciência que considerem o contexto e os diversos atores envolvidos no desenvolvimento de sistemas de informação e a eficácia das estruturas de coordenação nacional que organizam a informação relativa aos investigadores em ciência e tecnologia. Limitações – Os dados obtidos são parcelares e de natureza secundária. Originalidade – É fornecido um ponto de vista inédito sobre a relação existente em Portugal entre a comunidade científica e as bibliotecas enquanto serviços de informação e de suporte à organização da ciência.


Sensors ◽  
2021 ◽  
Vol 22 (1) ◽  
pp. 246
Author(s):  
Davide Barasti ◽  
Martina Troscia ◽  
Domenico Lattuca ◽  
Alexandr Tardo ◽  
Igor Barsanti ◽  
...  

Seaports are genuine, intermodal hubs connecting seaways to inland transport links, such as roads and railways. Seaports are located at the focal point of institutional, industrial, and control activities in a jungle of interconnected information systems. System integration is setting considerable challenges when a group of independent providers are asked to implement complementary software functionalities. For this reason, seaports are the ideal playground where software is highly composite and tailored to a large variety of final users (from the so-called port communities). Although the target would be that of shaping the Port Authorities to be providers of (digital) innovation services, the state-of-the-art is still that of considering them as final users, or proxies of them. For this reason, we show how a canonical cloud, virtualizing a distributed architecture, can be structured to host different, possibly overlapped, tenants, slicing the information system at the infrastructure, platform, and software layers. Resources at the infrastructure and platform layers are shared so that a variety of independent applications can make use of the local calculus and access the data stored in a Data Lake. Such a cloud is adopted by the Port of Livorno as a rapid prototyping framework for the development and deployment of ICT innovation services. In order to demonstrate the versatility of this framework, three case studies relating to as many prototype ICT services (Navigation Safety, e-Freight, and Logistics) released within three industrial tenants are here presented and discussed.


2020 ◽  
Vol 1 (1) ◽  
pp. 275-280
Author(s):  
Ganesha Ade Kusumawardhani ◽  
Teguh Purwanto

This observation has the intention to test and unserstand the evidence of wheather the employee’s performance is influenced by the accounting information system, the accounting information system is influenced by employee integrity, whether the employee’s performance on CV Prakarsa Buana Sentosa is influenced by employee integrity so that it can strengthen the effects of accounting information systems simultaneously. In this study used 41 employee specimens utilizing slovin theory. The measurement scale uses a likert scale. The translation method in this observation uses validity, reliability, classic assumptions, and multiple linear regression methods. The results of observations by distributing questionnaires to 41 employess of CV Prakarsa Buana Sentosa initiative concicting of 7 sales division employees, 7 purchase division employees, 8 marketing division employees, 2 manager division employees, 9 warehouse division employees, and 8 shipping division employees. Then it can be concluded that the employee’s performance is influenced by the accounting information system simultaneously, while the employee’s intensity is not able to moderate the relationship between the employee’s performance towards the accounting information system.


Author(s):  
Andrea J. Hester

Information systems have evolved into ubiquitous, Web-based technologies that eliminate the boundaries of time and space, and support higher levels of social interaction. In order to achieve the highest return from information systems, organizations must match the capabilities of technology with their environment. This research proposes a model of Organization-Information System Fit based on task-technology fit and theories of user acceptance. Organization-information system fit may be achieved by balancing technical fit and user fit. Technical fit can be characterized as congruence among process-technology fit and task-technology fit. The idea of user fit is introduced as a moderator of the relationship between technical fit and utilization. Higher degrees of both technical fit and user fit should result in positive impacts on utilization and performance.


Author(s):  
Doron Tauber ◽  
David G. Schwartz

Information systems research has clearly recognized that knowledge management systems (KMSs) have different characteristics and requirements than those of a classic management information system (MIS). Beginning with the relationship drawn between data, information, and knowledge (Alavi & Leidner, 1999, 2001; Bhatt, 2001; Ulrich, 2001; Spiegler, 2000, 2003; Tuomi, 2000), through to the essential nature of unstructured and semi-structured information vs. structured information (Wu, Ling, Lee, & Dobbie, 2001; Lai, Carlsen, Christiansson, & Svidt, 2003; Fensel et al., 2002; Chou & Chow, 2000), there are many elements and areas in which the two diverge.


2014 ◽  
Vol 12 (1) ◽  
pp. 21-44 ◽  
Author(s):  
Neil Kenneth McBride

Purpose – The purpose of this paper is to present a novel mnemonic, ACTIVE, inspired by Mason's 1985 PAPA mnemonic, which will help researchers and IT professionals develop an understanding of the major issues in information ethics. Design/methodology/approach – Theoretical foundations are developed for each element of the mnemonic by reference to philosophical definitions of the terms used and to virtue ethics, particularly MacIntyrean virtue ethics. The paper starts with a critique of the elements of the PAPA mnemonic and then proceeds to develop an understanding of each of the elements of ACTIVE ethics, via a discussion of the underpinning virtue ethics. Findings – This paper identifies six issues, described by the mnemonic, ACTIVE. ACTIVE stands for: autonomy, the ability of the individual to manage their own information and make choice; community, the ethical effect of an information systems on the community which it supports; transparency, the extent to which the derivation of content and process in an information system is made clear; identity, the social and ethical effect of an information system on the definition and maintenance of the distinctive characteristics of a person; value, the value or moral worth placed on information associated with an individual and hence on the relationship with the individual; and empathy, the ability of the information systems professional to emotionally connect with the user and the extent to which the information system distances or connects. Originality/value – The paper applies virtue ethics to developing a tool to help information professionals reflect on their ethical practice in developing and supporting information systems.


Sign in / Sign up

Export Citation Format

Share Document