摘要
从需求角度出发定义了操作系统的简洁模型,提出以系统的运行活动实体为核心满足操作需求的概念,然后以此概念为引申,采用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.
出处
《淮南师范学院学报》
2009年第3期37-39,共3页
Journal of Huainan Normal University
基金
安徽省高等学校省级自然科学研究资助项目(2006KJ164C)
淮南师范学院院级教学研究资助项目(HSJYY200414)
淮南师范学院院级科研资助项目(2005LKp06)