Temporal Logic in Information Systems

1998 ◽  
pp. 31-70 ◽  
Author(s):  
Jan Chomicki ◽  
David Toman
Keyword(s):  
Information Systems ◽  
Temporal Logic

Representing and Reasoning with Scenarios within Information Systems Modeling

2011 ◽  
pp. 170-175
Author(s):  
Choong-ho Yi
Keyword(s):  
Information Systems ◽  
Temporal Logic ◽  
Set Theory ◽  
Systems Engineering ◽  
Systems Modeling ◽  
Formal Approach ◽  
Basic Set ◽  
Wide Range ◽  
Systems Modelling ◽  
Points Of View

Recent research in systems engineering shows the community’s interest in scenarios. Advantages of using scenarios have been reported in wide range of contexts within the area. Recalling that any systematic, and eventually, automated management of scenarios presupposes firm formal ground, research on formal theories for scenarios is highly motivated. However, only little work has been reported for that purpose, e.g. Hsia, Samuel, Gao, Kung, Toyoshina and Chen (1994). This chapter presents a formal approach to managing scenarios, using first order temporal logic extended with basic set theory, in the context of information systems modelling (ISM). In our framework scenarios are dealt with from two formal points of view, namely representation and reasoning.

Cost Containment in Information Systems

1984 ◽  
Vol 1 (1) ◽  
pp. 175-185
Author(s):  
Michael E. D. Koenig
Keyword(s):  
Information Systems ◽  
Cost Containment

Trust in Management Information Systems (MIS)

2020 ◽  
Vol 64 (1) ◽  
pp. 6-16 ◽  
Author(s):  
Sarah M. Meeßen ◽  
Meinald T. Thielsch ◽  
Guido Hertel
Keyword(s):  
Information Systems ◽  
Information Overload ◽  
Management Information Systems ◽  
Empirical Work ◽  
Future Research ◽  
Management Information ◽  
Trust In Management ◽  
Actual Use ◽  
Trust In Technology ◽  
The Internet Of Things

Abstract. Digitalization, enhanced storage capacities, and the Internet of Things increase the volume of data in modern organizations. To process and make use of these data and to avoid information overload, management information systems (MIS) are introduced that collect, process, and analyze relevant data. However, a precondition for the application of MIS is that users trust them. Extending accounts of trust in automation and trust in technology, we introduce a new model of trust in MIS that addresses the conceptual ambiguities of existing conceptualizations of trust and integrates initial empirical work in this field. In doing so, we differentiate between perceived trustworthiness of an MIS, experienced trust in an MIS, intentions to use an MIS, and actual use of an MIS. Moreover, we consider users’ perceived risks and contextual factors (e. g., autonomy at work) as moderators. The introduced model offers guidelines for future research and initial suggestions to foster trust-based MIS use.

How Are Questions and Information Systems Related?

1993 ◽  
Vol 38 (10) ◽  
pp. 1094-1095
Author(s):  
Scott P. Robertson
Keyword(s):  
Information Systems
Sign in / Sign up

Export Citation Format

Share Document