%0 Journal Article
%T 基于XYZ/E的Sun Open Solaris内核进程形式化描述与分析
%A 王少将
%A 张广泉
%A 吴国伟
%J 南京师范大学学报(工程技术版)
%P 82-87
%D 2008
%X 建立并分析了OpenSolaris内核进程模型,采用XYZ/E语言对模型进行了形式化描述.分析了内核进程数据结构、内核进程创建、系统调用以及时钟等概念,并对其进行XYZ/AE的描述和XYZ/EE编程.最后给出了内核进程规范,实现多任务、多用户操作系统内核进程的描述,对内核进程进行了逐步求精工作.
%K XYZ/E
%K 开放多任务操作系统
%K 内核进程
%K 形式化描述
%K 逐步求精
%U http://njsfdxgckj.paperonce.org/oa/DArticle.aspx?type=view&id=200803018