| Refereed Publications
- K.Ohmori and T.L.Kunii. Development of an Accounting
System, in 9th International Conference on Enterprise
Information System (ICEIS2007), Madeira, Portugal, June
2007, pp. 437-444.
Abstract - The new methodology
for software development is introduced and applied to
an accounting system. The new method is called the incrementally
modular abstraction hierarchy (IMAH). IMAH has an abstraction
hierarchy from abstract to concrete levels. Invariants
defined on an abstract level are kept on a concrete level,
which allows adding modules incrementally on each hierarchical
level and avoiding combinatorial explosion of the serious
problem in software engineering, while climbing down abstraction
hierarchy in designing and modeling a complex system.
This paper shows how IMAH is applied in developing an
accounting system, which is fundamental in enterprise
systems and a suitable example of complex software systems.
At first, very simple example recording only journal vouches
to a database system is used to describe methodologies
of IMAH. Then, it is described how this simple system
is incrementally developed to a conventional complex accounting
- K.Ohmori and T.L.Kunii. The Mathematical Structure
of Cyberworlds in Cyberworlds 2007, IEEE Computer
Society, Hannover, Germany, October 2007, pp. 100-107.
Abstract - The mathematical
structure of cyberworlds is clarified based on the duality
of homotopy lifting property and homotopy extension property.
The duality gives bottom-up and top-down methods to model,
design and analyze the structure of cyberworlds. The set
of homepages representing a cyberworld is transformed
into a state finite machine. In development of the cyberworld,
a sequence of finite state machines is obtained. This
sequence has homotopic property. This property is clarified
to map a finite state machine to a simplicial complex.
Wikipedia, bottom-up network construction and top-down
network analysis are described as examples.