loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock
ENTERPRISE SYSTEM DEVELOPMENT WITH INVARIANT PRESERVING - A Mathematical Approach by the Homotopy Lifting and Extension Properties

Topics: Enterprise Resource Planning; Enterprise-Wide Client-Server Architecture; Modeling Concepts and Information Integration Tools; Modeling Formalisms, Languages and Notations; Modeling of Distributed Systems; Software Engineering; Systems Engineering Methodologies

Authors: Kenji Ohmori 1 and Tosiyasu L. Kunii 2

Affiliations: 1 Faculty of Computer and Information Sciences, Hosei University, Japan ; 2 Morpho, The University of Tokyo, Japan

Keyword(s): Homotopy, HLP, HEP, π-calculus, Abstraction hierarchy, Invariant preserving.

Related Ontology Subjects/Areas/Topics: Databases and Information Systems Integration ; Enterprise Information Systems ; Enterprise Resource Planning ; Enterprise Software Technologies ; Enterprise-Wide Client-Server Architecture ; Information Systems Analysis and Specification ; Methodologies, Processes and Platforms ; Model-Driven Software Development ; Modeling Concepts and Information Integration Tools ; Modeling Formalisms, Languages and Notations ; Modeling of Distributed Systems ; Simulation and Modeling ; Simulation Tools and Platforms ; Software Engineering ; Systems Engineering

Abstract: In this paper, a theoretical method for developing enterprise systems represented by the π-calculus is introduced. The method is based on the modern mathematics of homotopy theory. The homotopy lifting and extension properties are applied to developing systems in bottom-up and top-down ways with the incrementally modular abstraction hierarchy, where system development is carried out by climbing down abstraction hierarchy with adding invariants linearly. It leads to avoid combinatorial explosions causing an enormous waste of time and cost on testing. The system requirements and a state transition diagram drive the actions of an event by applying the HEP. Then, the state transition diagram and actions bring π-calculus processes by applying the HLP. These processes do not need testing because of invariant preserving.

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 44.200.210.43

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:
Ohmori, K. and L. Kunii, T. (2009). ENTERPRISE SYSTEM DEVELOPMENT WITH INVARIANT PRESERVING - A Mathematical Approach by the Homotopy Lifting and Extension Properties. In Proceedings of the 11th International Conference on Enterprise Information Systems - Volume 1: ICEIS; ISBN 978-989-8111-86-9; ISSN 2184-4992, SciTePress, pages 116-123. DOI: 10.5220/0001981501160123

@conference{iceis09,
author={Kenji Ohmori. and Tosiyasu {L. Kunii}.},
title={ENTERPRISE SYSTEM DEVELOPMENT WITH INVARIANT PRESERVING - A Mathematical Approach by the Homotopy Lifting and Extension Properties},
booktitle={Proceedings of the 11th International Conference on Enterprise Information Systems - Volume 1: ICEIS},
year={2009},
pages={116-123},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001981501160123},
isbn={978-989-8111-86-9},
issn={2184-4992},
}

TY - CONF

JO - Proceedings of the 11th International Conference on Enterprise Information Systems - Volume 1: ICEIS
TI - ENTERPRISE SYSTEM DEVELOPMENT WITH INVARIANT PRESERVING - A Mathematical Approach by the Homotopy Lifting and Extension Properties
SN - 978-989-8111-86-9
IS - 2184-4992
AU - Ohmori, K.
AU - L. Kunii, T.
PY - 2009
SP - 116
EP - 123
DO - 10.5220/0001981501160123
PB - SciTePress