2005 Volume 14 Issue 2 Pages 1-18
This paper proposes a system development methodology for a transaction processing system (TPS) based on model theory and shows its feasibility and effectiveness by applying it to an example.
The paper first explains the objective and properties of model theory approach and discusses the reason why a formal approach is needed for a TPS development. The paper next clarifies the model structure of TPS formalized by model theory approach and proposes a development procedure for TPS. TPS is formulated as an automaton composed of both a file system and a process that operates on The process is decomposed into a standardized user interface and a user model, which represents a problem. It is showed that the main task for system development in the approach is to have a set theoretical description of a user model based on the formalized TPS model. Finally, the paper discusses the effectiveness of the approach by showing some system development example.
