Pages 000035
We are now working on a research about a formal approach for a development methodology of a information system by mathematical general systems approach. This paper especially presents that how to formalize a data processing system and show an example of the procedures of formalization about the data processing system.