On Formal Consistency between Value and Coordination Models

L. Bodenstaff, Andreas Wombacher, M.U. Reichert

Research output: Book/ReportReportProfessional

19 Downloads (Pure)

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.
Original languageUndefined
Place of PublicationEnschede
PublisherInformation Systems (IS)
Number of pages31
Publication statusPublished - Oct 2007

Publication series

NameCTIT Technical Report Series
PublisherCentre for Telematics and Information Technology, University of Twente
No.TR-CTIT-07-91
ISSN (Print)1381-3625

Keywords

  • SCS-Services
  • METIS-247053
  • IR-64636
  • EWI-11954

Cite this

Bodenstaff, L., Wombacher, A., & Reichert, M. U. (2007). On Formal Consistency between Value and Coordination Models. (CTIT Technical Report Series; No. TR-CTIT-07-91). Enschede: Information Systems (IS).