郑晓娟
- 作品数：15 被引量：18H指数：2
- 供职机构：吉林大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金吉林省教育科学“十一五”规划课题更多>>
- 相关领域：自动化与计算机技术文化科学经济管理更多>>
- Seal演算及其应用研究
- 该文探讨和研究了Seal演算的自身理论及在形式化描述主动网络安全、模仿移动Agent的移动方面的一些重要应用.通过该文工作可以看出,Seal演算是探索移动代码及其安全特性的一种极好的理论框架模型.该文研究了Seal演算的...
- 郑晓娟
- 关键词：网络安全SEAL演算移动AGENT
- 基于多语言范例的“形式语义学”教学辅助系统
- 2009年
- 针对简单函数式语言、简单过程式语言和简单面向对象式语言等多个程序语言范例,分别定义了它们的操作语义和指称语义,同时设计了一个"形式语义学"教学辅助系统,用于演示不同语言范例程序的基于形式语义定义的可视化解释,该系统使学生可以通过形象生动的动态演示和同步解释,充分理解和掌握程序设计语言的形式语义及其实现.
- 金英郑晓娟张晶孙旭东
- 关键词：形式语义学
- Seal演算与Boxed Ambient演算的关系分析被引量：2
- 2005年
- 研究不同演算系统之间的逻辑结构和描述能力具有重要的理论意义。本文在系统分析Seal演算与BoxedAmbient演算的语法结构和语义规约系统的基础上给出了一些等价关系:通信等价、通信原语等价和代码移动等价。最后给出了Seal演算通信进程到BoxedAmbient演算通信进程的一种结构化转换方法。
- 郑晓娟金英金成植
- 关键词：SEAL演算移动代码
- 中国石化总公司林源炼油厂计算机管理信息系统总体设计
- 该文运用管理信息系统的设计理论方法,结合作者参加的"中国石化总公司林源炼油厂计算机辅助管理信息系统"总体设计全过程,详细地阐述了系统的设计思想、系统的结构和功能,并针对林源炼油厂特点、分析了系统设计中出现的问题和难点,并...
- 郑晓娟
- 关键词：管理信息系统炼油厂计算机辅助管理数据库
- 面向软件工程专业工程化改造“编译原理”课程
- 2009年
- 本文论述了计算机学科"编译原理"课程在软件工程专业进行工程化改造的方法和必要性,创建了"编译原理"课程工程化实践教学体系,提出了知识的先期注入、工程化编译理论以及阶梯状迭代工程实践项目的教学方法,从根本上解决了该课程教、学、实践中存在的难讲授、难理解和难开发的"三难"问题,为其他计算机学科核心课程面向软件工程专业的工程化改造提供了一定的理论依据。
- 郑晓娟
- 关键词：软件工程工程化
- Seal演算的信息流分析系统
- 2006年
- 为完善Seal演算的自身性质及形式化证明移动代码的安全性,提出了一个信息流分析系统,该系统经过seal进程的静态分析,检查出一些比较重要的语义错误,通过发送和接收的同步来实现通信和代码移动,具体分为同层、父到子、子到父3种模式。重点分析了父子之间的代码移动及类型相容。该系统为Seal演算的自身性质的完善及移动代码的安全性判断提供了理论依据。
- 郑晓娟金英金成植
- 关键词：SEAL演算移动代码
- 应用ANTLR实现过程式语言操作语义的动态演示
- 2010年
- 介绍了一个面向过程语言的文法特点,应用ANTLR实现了该语言操作语义的动态演示,系统可辅助教师进行课堂教学,为学生自主学习提供良好的支撑环境,从而用形象的图形界面为学生搭起通向掌握抽象思维方法的桥梁。
- 王丽娜郑晓娟王征海
- 关键词：过程式语言ANTLR操作语义
- Seal演算的等式特性被引量：1
- 2003年
- 为完善Seal演算的自身性质及形式化证明移动代码的安全性,从上下文等价性角度研究了Seal演算的等式特性及其应用。首先定义了Seal演算的可观察性和上下文等价性,然后通过两个判断上下文等价性的定理给出了Seal演算上下文等价性的判定方法,最后依据上下文等价性证明了Seal演算的防火墙等式。结果表明,Seal演算上下文等价性可以正确地描述Seal演算的等式特性,并可判定Seal演算的安全特性。
- 郑晓娟金英金成植
- 关键词：SEAL演算移动代码防火墙
- 过程式语言操作语义教学演示系统的设计与实现
- 2010年
- 定义一个面向过程的程序设计语言,并实现了该语言操作语义的可视化演示。系统提供单步执行、连续执行两种执行方式,显示了操作语义的每一步执行。系统可以应用于教学当中,作为辅助教学工具,辅助教师进行课堂教学,为学生自主学习提供良好的支撑环境。
- 王丽娜郑晓娟王征海
- 关键词：过程式语言操作语义
- 基于语义的Web服务体系结构被引量：11
- 2008年
- 现有的基于XML的Web服务规范或标准没有提供足够的手段来描述Web服务,以支持发现、组合以及执行Web服务的一般机制。因此,分布的、异构的和动态变化的Web服务的交互会产生很多问题。为了更有效地适应Web服务的分布的、异构的、不断变化的特点,针对现有的SOA架构健壮性不强的问题,提出了基于语义的SOA。通过增加Web服务的语义描述,并以这种具有语义的描述来发布和发现Web服务。从而使这种架构不仅支持功能的匹配,而且还能支持实现最佳质量标准的匹配。
- 付燕宁金英刘磊郑晓娟
- 关键词：WEB服务服务请求
