DBIS EPub

On Formal Consistency between Value and Coordination Models

Bodenstaff, Lianne and Wombacher, Andreas and Reichert, Manfred (2007) On Formal Consistency between Value and Coordination Models. Technical Report. University of Twente, Enschede, The Netherlands.

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
379Kb

Abstract

In information systems (IS) engineering dierent techniques for modeling inter-organizational collaborations are applied. In particular, value models estimate the profitability for involved stakeholders, whereas coordination models are used to agree upon the inter-organizational processes before implementing them. During the execution of inter-organizational collaboration, in addition, event logs are collected by the individual organizations representing another view of the IS. The combination of the two models and the event log represent the IS and they should therefore be consistent, i.e., not contradict each other. Since these models are provided by dierent user groups during design time and the event log is collected during run-time consistency is not straight forward. Inconsistency occurs when models contain a conflicting description of the same information, i.e., there exists a conflicting overlap between the models. In this paper we introduce an abstraction of value models, coordination models and event logs which allows ensuring and maintaining alignment between models and event log. We demonstrate its use by outlining a proof of an inconsistency resolution result based on this abstraction. Thus, the introduction of abstractions allows to explore formal inter-model relations based on consistency.

Item Type:Monograph (Technical Report)
Subjects:DBIS Research > Publications
ID Code:413
Deposited By: Prof. Dr. Manfred Reichert
BibTex Export:BibTeX
Deposited On:21 Jun 2008 23:19
Last Modified:19 Aug 2013 19:46

Repository Staff Only: item control page