This paper discusses automatic programming. Programming starts from building a model at high abstract level and a program code is generated therefrom. Difficulty of making correct program depends largely on this high-level model building. But In many cases it is given from outside and there is no way to manage its building. In this paper the authors discuss a method to support programming from high-level model building to program code generation. For the purpose a new information system is necessary. What is discussed in this paper therefore is a part of the research on a very general and autonomous information system. With this system a high-level model is formed as a structure-of-activities in the application domain meeting the condition of computability. Then it is translate it into program. A simple experiment has been made. Now its generalization is proceeding.
展开▼
