Currently, in the development of business applications, difficulties occasionally arise between the customer side and the supplier side, causing delays and higher development costs. To deal with this, we propose a new development method for business applications to validate them by invariant preservation based on equivalence relations. We have realized it by designing an algebraic expression called Formula Expression and applying the algebra to the design of each space in the cellular model. The system is called a Cellular Data System (CDS). It can become a common tool for both sides to make agreements efficiently in the future. Moreover, because you can manage data which has any form by using CDS, it is appropriate when dealing with data not only in business application development but in the Cyberworld where no data manager exists.
Toshio Kodama, Tosiyasu L. Kunii, Yoichi Seki