基于ADT的操作系统基础模型的研究

ADT-based the research of operating system basic model based on ADT

从需求角度出发定义了操作系统的简洁模型,提出以系统的运行活动实体为核心满足操作需求的概念,然后以此概念为引申,采用ADT方法详细地定义和讨论了计算机系统、作业、服务、系统调度和资源的形式化实体结构模型,最后建立了形式化的操作系统基础模型,从而解决了操作系统形式化基础模型缺乏的问题。

This paper has defined the model of operating system from aspect of the requirement and has proposed the core concept of the operating activity.On the foundation, it is discussed that the formalized structure module include the computer system, job, sever, system dispatch with the ADT method and resource, and it established the formalization basic model of operating system. That problem of operating system formalizaion module is solved well.