金英
- 作品数：38 被引量：75H指数：5
- 供职机构：吉林大学更多>>
- 发文基金：国家自然科学基金吉林省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学航空宇航科学技术政治法律更多>>
- 通过需求依赖判定横切关注点被引量：3
- 2011年
- 提出了一种定义需求依赖关系以及基于该依赖关系判定需求横切关注点的方法。首先,针对系统资源定义了需求之间原子关系;其次,提出了需求簇的概念以及基于需求之间关系划分需求簇的方法;最后给出了基于需求簇以及需求依赖关系进行横切关注点判定方法和冲突分析方法。通过应用本文方法对一个已有系统提取了相应的横切关注点,验证了本文方法的可行性和有效性。
- 罗术通张长海金英刘元宁
- CPS中环境信息的建模方法被引量：2
- 2015年
- 基于元建模设施和建模技术,提出一种物理信息融合系统中环境信息的建模方法.该方法利用层次化的建模思想和领域化的建模方法,定义了环境信息的元元模型及不同领域中环境信息的元模型,实现了环境信息的元信息统一和不同领域中展现形式的多样性.该方法有利于解决物理信息融合系统中由于多维异构性导致的环境信息描述不统一和环境信息融合交互困难的问题.
- 于洋金英张晶
- 关键词：环境信息建模方法多样性
- 基于aspect封装的需求级特征复用方法被引量：1
- 2011年
- 可复用的软件资产的确定为软件复用活动提供了基础.特征模型通过特征以及特征之间的关系来有效地组织特定领域的软件需求,为领域需求的复用提供有力支持.面向方面系统设计着眼于减少软件开发中需求或代码的纠结,将识别出的横切关注点封装成aspect,有利于开发模块化良好的软件产品以及高效的软件维护和复用.为方便特征复用,提出了一种在系统需求分析级别对特征模型进行aspect化封装的方法,可提取出遗留系统中的可复用部分.首先,通过分析同一领域遗留系统的需求文档,识别出系统关注点,建立领域的关注点层次结构;其次,基于领域关注点层次结构,提取领域特征,并对相似特征进行aspect化封装,形成特征层次模型;最后,基于建立的特征模型以及封装的aspect开发新系统,达到软件复用目的.基于新方法进行了实例分析,通过复用两个不同的Web遗留系统得到一个新的Web系统.可以看出新方法对同一个领域中的多遗留系统地复用有较好的指导意义.
- 罗术通裴志利张长海金英
- 基于多语言范例的“形式语义学”教学辅助系统
- 2009年
- 针对简单函数式语言、简单过程式语言和简单面向对象式语言等多个程序语言范例,分别定义了它们的操作语义和指称语义,同时设计了一个"形式语义学"教学辅助系统,用于演示不同语言范例程序的基于形式语义定义的可视化解释,该系统使学生可以通过形象生动的动态演示和同步解释,充分理解和掌握程序设计语言的形式语义及其实现.
- 金英郑晓娟张晶孙旭东
- 关键词：形式语义学
- Seal演算与Boxed Ambient演算的关系分析被引量：2
- 2005年
- 研究不同演算系统之间的逻辑结构和描述能力具有重要的理论意义。本文在系统分析Seal演算与BoxedAmbient演算的语法结构和语义规约系统的基础上给出了一些等价关系:通信等价、通信原语等价和代码移动等价。最后给出了Seal演算通信进程到BoxedAmbient演算通信进程的一种结构化转换方法。
- 郑晓娟金英金成植
- 关键词：SEAL演算移动代码
- 建立适合国情的计算机专业课程体系的探讨
- 为了适应时代的变革、学科的发展和国情的需要,改革计算机专业课程体系成为一个非常紧迫的任务.针对当前吉林大学计算机专业课程设置现状,与CCC2002进行了比较,在参考借鉴的前提下,以适应国际潮流为目的,探讨了建立面向新世纪...
- 张长海金英钟宇红罗辉姜雨杰
- 关键词：计算机专业教学改革课程体系课程设置
- 文献传递
- γ演算到Action演算的转换被引量：1
- 2003年
- Action演算簇(action calculi)作为描述不同并发交互行为的数学框架,可以表示一大类具有某些相同特性的并发形式化模型.试图把g演算(一种基于约束的高阶并发计算模)也包含在action演算簇的框架下.首先定义了一个具体的action演算AC(Kg),然后给出了从g演算到AC(Kg)转换的形式描述,最后在定义AC(Kg)的可观察性、弱互模拟关系和弱等价关系的基础上,以p演算为中间表示,证明了这种转换保持了g演算的弱行为等价性.研究表明,action演算簇可以表示基于约束的并发模型,从而充分说明了action演算簇的描述能力,并且为在action演算簇框架下把g演算与其他并发模型结合并进行比较提供了前提.
- 金英金成植
- 关键词：ACTION演算程序设计语言函数式语言
- 基本图的图表示与项表示的相互转换算法
- 2001年
- 基本图是一种描述并发交互系统的形式化方法 ,它具有描述简洁、清晰和直观的特点 .在基本图中 ,进程以及进程间的交互行为 ,既可以用图表示方法 (其中一个图对应一个进程 ,图之间的归约对应进程之间的交互行为 ) ,又可以用项代数来表示 .本文对基本图的图表示中进行了一些改动 ,并在此基础上给出了这两种表示方法之间的转换算法 ,同时实现了具有创建。
- 金英金成植韩鸿莺
- 关键词：图表示计算机
- Tabular表达式的指称语义研究被引量：2
- 2014年
- Tabular表达式是一种采用表格化结构组织函数或关系的形式化描述工具,在需求工程领域中具有广泛的应用,为Tabular表达式建立形式的语义模型是非常必要的.针对Tabular表达式通用模型,给出了Tabular表达式的形式文法及指称语义.通过定义形式文法中各语法单元的语义指派方程,描述了Tabular表达式的指称语义,分别对传统类型Tabular表达式和新类型Tabular表达式中一些典型表类型的指称语义进行了描述,并与其他几种Tabular表达式的语义描述方法进行了比较.分析结果表明:该语义描述方法不仅准确描述了Tabular表达式的语义,而且不再受Tabular表达式模型和Tabular表达式类型的限制,打破了现有方法的局限性,是一种非常有效的方法.
- 张鹏刘磊刘华虓金英
- 关键词：指称语义
- 编译原理实践课程教学方法研究被引量：7
- 2005年
- 探讨了开设《编译原理》实践课程的必要性,研究了《编译原理》实践课程的“实例-阶段-循环”教学方法,制定了相应的教学方案,并将其应用到实际的教学中。该项研究对高校更深入的教学改革和创新人才的培养具有一定的意义。
- 张晶杨冬郭德贵金英刘磊
- 关键词：实践课程程序设计
