Does ‘Merging DEMO Models’ Satisfy the Associative Law? - Validation of Partial Models and Merge Operation

Tetsuya Suga, Junichi Iijima

2015

Abstract

Partial models are small models produced by splitting a large full model into meaningful conceivable-sized fragments with each separate diagram. They are commonly used when the full model is too large and shared by several people who have their own scope of interest. Those partial models are subject to being manipulated— merged for instance. This context calls for discussion in Enterprise Ontology (EO) about the capability of business process modeling languages in handling partial models and manipulations on them. There, indeed, exists a lack of researches in the methodology of EO, namely Design & Engineering Methodology for Organizations (DEMO) for formal studies on its consistency in producing partial models and merging them. It stems from a deficiency of formal semantics in the specification of the notation. By formalizing the DEMO Construction Model (CM) with a concept of well-formed models and the merge operation from a set-theoretic approach, this paper clarifies that the closedness, commutativity, and associativity are guaranteed in merging partial models of DEMO CM. An example of EU-Rent accompanies the formalizations for validation and demonstration.

Paper Citation

in Harvard Style

Suga T. and Iijima J. (2015). Does ‘Merging DEMO Models’ Satisfy the Associative Law? - Validation of Partial Models and Merge Operation . In Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 2: SSEO, (IC3K 2015) ISBN 978-989-758-158-8, pages 467-478. DOI: 10.5220/0005584004670478

in Bibtex Style

@conference{sseo15,
author={Tetsuya Suga and Junichi Iijima},
title={Does ‘Merging DEMO Models’ Satisfy the Associative Law? - Validation of Partial Models and Merge Operation},
booktitle={Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 2: SSEO, (IC3K 2015)},
year={2015},
pages={467-478},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005584004670478},
isbn={978-989-758-158-8},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 2: SSEO, (IC3K 2015)
TI - Does ‘Merging DEMO Models’ Satisfy the Associative Law? - Validation of Partial Models and Merge Operation
SN - 978-989-758-158-8
AU - Suga T.
AU - Iijima J.
PY - 2015
SP - 467
EP - 478
DO - 10.5220/0005584004670478