A Formal Methodology for Developing Enterprise Systems Procedurally: Homotopy, Pi-Calculus and Event-Driven Programs

A new approach for designing and modeling enterprise systems is described. The homotopy lifting property (HLP) is used to design an enterprise system in a bottom up way. As an example, task changes in a department are designed and implemented by our approach: the incrementally modular abstraction hierarchy (IMAH) starting at the most abstract level of homotopy and ending at the most concrete level of program codes. At first, the HLP is constructed as the most abstract level. Then, task changes and a state transition diagram, which constitute of two spaces of the HLP are defined from an abstract level to a concrete level. Then, agent diagrams are obtained in a bottom-up way. The agent diagrams are transformed from an abstract level to a concrete level until program codes written by the C-like programing language are implemented on an event-driven and multi-thread processor XMOS. While carrying out these procedures, invariants are preserved to avoid unnecessary testing, which usually consumes a large amount of time and cost in the traditional approaches. The established method is also effective in modeling an designing cyber worlds.