On Formal Consistency between Value and Coordination Models

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

Towards the Integration of Value and Coordination Models - Position Paper -

Cross-organizational collaborations have a high complexity.\ud Modelling these collaborations can be done from di®erent perspectives.\ud For example, the value perspective represents expected value exchanges\ud in a collaboration while the coordination perspective represents the order\ud in which these exchanges occur. How to maintain consistency between\ud di®erent models during design time as well as runtime constitutes a chal-\ud lenging topic. De¯ning criteria and de¯nitions re°ecting the relation be-\ud tween these models during the entire life cycle is not straightforward.\ud Di®erent criteria are used for di®erent models since each model captures\ud a speci¯c aspect of the collaboration. In this paper we investigate the\ud challenges arising when addressing the problem of maintaining adequate\ud and consistent models of a collaboration during the entire life cycle of\ud a collaboration. We propose a framework in which we connect business\ud layer, process layer and implementation layer, presenting the direction\ud for solving this multifaceted problem. We will describe several challenges\ud we anticipate to encounter while implementing our framework

Toward Semantics-aware Representation of Digital Business Processes

An extended enterprise (EE) can be described by a set of models each representing a specific aspect of the EE. Aspects can for example be the process flow or the value description. However, different models are done by different people, which may use different terminology, which prevents relating the models. Therefore, we propose a framework consisting of process flow and value aspects and in addition a static domain model with structural and relational components. Further, we outline the usage of the static domain model to enable relating the different aspects

Improved Success of Sparse Matrix Protein Crystallization Screening with Heterogeneous Nucleating Agents

Crystallization is a major bottleneck in the process of macromolecular structure determination by X-ray crystallography. Successful crystallization requires the formation of nuclei and their subsequent growth to crystals of suitable size. Crystal growth generally occurs spontaneously in a supersaturated solution as a result of homogenous nucleation. However, in a typical sparse matrix screening experiment, precipitant and protein concentration are not sampled extensively, and supersaturation conditions suitable for nucleation are often missed

On Formalising Dialogue Systems for Argumentation in the Event Calculus

This paper studies the logical formalisation and implementation of dialogue systems for argumentation, motivated by the claim that this benefits their formal investigation and implementation. A case study is described in which a dialogue system of Prakken is formalised in Shanahan’s version of the ‘full’ Event Calculus and then implemented as a Prolog program. Then a second case study is briefly summarised in which a dialogue system of Parsons, Wooldridge and Amgoud is formalised in the same way. From the case studies some conclusions are drawn on the usefulness of the formalisation method