Centre for Telematics and Information Technology, University of Twente
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