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.