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

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

作　　者：孙淮宁[1] 

机构地区：[1]淮南师范学院计算机与信息工程系,安徽淮南232001

出　　处：《淮南师范学院学报》2009年第3期37-39,共3页Journal of Huainan Normal University

基　　金：安徽省高等学校省级自然科学研究资助项目(2006KJ164C);淮南师范学院院级教学研究资助项目(HSJYY200414);淮南师范学院院级科研资助项目(2005LKp06)

摘　　要：从需求角度出发定义了操作系统的简洁模型,提出以系统的运行活动实体为核心满足操作需求的概念,然后以此概念为引申,采用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.

关 键 词：操作系统 形式化模型 抽象数据类型(ADT) 

分 类 号：TN711[电子电信—电路与系统]