scholarly journals On the Formal Semantics of Change Patterns in Process-Aware Information Systems

2008 ◽  
pp. 279-293 ◽  
Author(s):  
Stefanie Rinderle-Ma ◽  
Manfred Reichert ◽  
Barbara Weber
Keyword(s):  
Information Systems ◽  
Formal Semantics

Toward a Formal Semantics for Control-Flow Process Models

2012 ◽  
Vol 23 (2) ◽  
pp. 72-97 ◽  
Author(s):  
Henry H. Bi ◽  
John Nolt
Keyword(s):  
Information Systems ◽  
Process Modeling ◽  
Business Processes ◽  
Formal Semantics ◽  
Control Flow ◽  
Process Models ◽  
Modeling Languages ◽  
Flow Process

A number of information systems have been developed to automate business processes. For process modeling, verification, and automation in information systems, a formal semantics of control-flow process models is needed. Usually process modeling languages (e.g., BPMN, EPC, IDEF3, UML, and WfMC standards) are used to represent control-flow process models. When these process modeling languages are developed, their informal semantics are typically described using examples, but their formal semantics are not defined. Although many different semantics for control-flow process models have been proposed, the existing semantics specifications have limitations because they do not support certain desirable features. In this paper, we propose a new formal semantics for control-flow process models. We show that it is more accurate, complete, and applicable than the existing semantics specifications.

MERGING DATABASES UNDER CONSTRAINTS

1998 ◽  
Vol 07 (01) ◽  
pp. 55-76 ◽  
Author(s):  
JINXIN LIN ◽  
ALBERTO O. MENDELZON
Keyword(s):  
Information Systems ◽  
Multiagent Systems ◽  
Majority Rule ◽  
Relational Databases ◽  
Formal Semantics ◽  
Integrity Constraints ◽  
Heterogeneous Databases ◽  
Schema Integration ◽  
First Order ◽  
Special Case

The problem of integrating information from conflicting sources comes up in many current applications, such as cooperative information systems, heterogeneous databases, and multiagent systems. We model this by the operation of merging first-order theories. We propose a formal semantics for this operation and show that it has desirable properties, including abiding by majority rule in case of conflict and syntax independence. We apply our semantics to the special case when the theories to be merged represent relational databases under integrity constraints. We then present a way of merging databases that have different or conflicting schemas caused by problems such as synonyms, homonyms or type conflicts mentioned in the schema integration literature.

Formal Semantics

1993 ◽  
Author(s):  
Ronnie Cann
Keyword(s):  
Formal Semantics

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