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.

[thumbnail of TR-CTIT-07-91_(Lianne).pdf]
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (388kB)


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
Depositing User: Prof. Dr. Manfred Reichert
Date Deposited: 21 Jun 2008 23:19
Last Modified: 19 Aug 2013 19:46
URI: http://dbis.eprints.uni-ulm.de/id/eprint/413

Actions (login required)

View Item
View Item