loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Tetsuya Suga and Junichi Iijima

Affiliation: Tokyo Institute of Technology, Japan

Keyword(s): Enterprise Ontology, Business Process Modeling, Formalization, Algebra, Set Theory, DEMO.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Business Process Management ; Data Engineering ; e-Business ; Enterprise Engineering ; Enterprise Information Systems ; Enterprise Ontology ; Knowledge Engineering and Ontology Development ; Knowledge Management and Information Sharing ; Knowledge-Based Systems ; Ontologies and the Semantic Web ; Symbolic Systems

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 close dness, commutativity, and associativity are guaranteed in merging partial models of DEMO CM. An example of EU-Rent accompanies the formalizations for validation and demonstration. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.144.81.21

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 (IC3K 2015) - SSEO; ISBN 978-989-758-158-8; ISSN 2184-3228, SciTePress, pages 467-478. DOI: 10.5220/0005584004670478

@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 (IC3K 2015) - SSEO},
year={2015},
pages={467-478},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005584004670478},
isbn={978-989-758-158-8},
issn={2184-3228},
}

TY - CONF

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