您的位置： 专家智库 > >

胡圣明

作品数：21 被引量：23H指数：3
供职机构：西安电子科技大学更多>>
发文基金：国家自然科学基金国家教育部博士点基金国家部委预研基金更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 18篇期刊文章
  • 2篇专利
  • 1篇学位论文

领域

  • 20篇自动化与计算...
  • 1篇理学

主题

  • 6篇逆向工程
  • 3篇业务流
  • 3篇业务流程执行...
  • 3篇执行语言
  • 3篇BPEL
  • 2篇形式化
  • 2篇形式化概念分...
  • 2篇依赖图
  • 2篇智能化
  • 2篇智能化控制
  • 2篇统一建模
  • 2篇统一建模语言
  • 2篇耦合度
  • 2篇面向对象
  • 2篇面向服务架构
  • 2篇开发环境
  • 2篇基于AGEN...
  • 2篇集成开发平台
  • 2篇架构
  • 2篇建模语言

机构

  • 21篇西安电子科技...
  • 1篇西安飞行自动...

作者

  • 21篇胡圣明
  • 18篇陈平
  • 6篇李青山
  • 5篇鲍亮
  • 3篇苏旸
  • 3篇褚华
  • 3篇陈胜
  • 2篇刘鹤
  • 2篇梁若莹
  • 2篇蒋丹
  • 2篇龚晓洁
  • 2篇贠海顺
  • 2篇刘鹏飞
  • 2篇严体华
  • 2篇郑变红
  • 2篇宋胜利
  • 2篇康力
  • 1篇王玉英
  • 1篇王萌
  • 1篇张彪

传媒

  • 4篇西安电子科技...
  • 3篇系统工程与电...
  • 3篇计算机科学
  • 2篇计算机工程
  • 2篇计算机应用研...
  • 1篇华南理工大学...
  • 1篇计算机应用
  • 1篇控制与决策
  • 1篇计算机技术与...

年份

  • 1篇2013
  • 2篇2010
  • 4篇2009
  • 5篇2008
  • 3篇2007
  • 4篇2006
  • 2篇2005
共 21 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
动静态信息相结合的UML2.0序列图逆向生成方法
2008年
符合UML2.0标准的序列图在UML1.x序列图的基础上添加了控制流信息。为此,本文提出一种基于动静态信息相结合的UML2.0序列图逆向生成方法。该方法首先利用目标程序运行时的动态信息产生基本的方法调用序列,然后依据静态的程序依赖图对其进行补充和调整,在其上添加方法间的逻辑关系,使产生的序列图带有控制流信息。这种方法生成的序列图符合UML2.0标准,可以很好地辅助用户理解目标程序。
梁若莹陈平胡圣明刘鹏飞
关键词：逆向工程序列图UML2.0
仿真环境中智能化控制语言的研究被引量：1
2005年
智能化控制语言可控制仿真系统中的实体,使其表现出智能化行为。本文定义了一种智能化控制脚本语言ICSL(Intelligent Control Scripting Language),并实现了ICSL的解释器。ICSL支持基本的控制语句和核心对象,针对领域特征,对仿真领域的语义进行编码,并提供语义扩展机制,为控制策略的制定者提供一种灵活表达策略的手段。ICSL语言的解释器将智能化策略映射为仿真系统中实体的行为序列,实现了对仿真实体的智能化控制。最后,本文通过把ICSL语言用于战场仿真系统对其实用性进行了系统的实验研究,结果表明,基于ICSL语言定义的控制策略可以有效地映射到仿真系统中,从而完成对仿真实体的智能化控制。
胡圣明李青山陈平褚华
关键词：控制语言仿真环境智能化控制CONTROL仿真系统脚本语言
逆向工程中动静态结合辅助用例模型的恢复
2007年
由于根据目前方法调用之间的"线索"或方法调用的相互关系恢复出的用例模型存在一定的局限性,该文提出了一种基于动态信息并结合静态信息的用例模型恢复方法。该方法以动态运行时的方法调用序列提取基本用例,依据静态的类间关系和静态的程序依赖图对基本用例进行调整、找出用例与角色的交互点及各用例所属的功能模块,使产生的用例模型带有语义信息,更好地辅助用户理解。
郑变红陈平胡圣明龚晓洁
关键词：逆向工程用例模型程序依赖图
BPEL静态流程切片技术研究被引量：3
2009年
提出了业务流程切片的概念和对应的静态切片算法。流程切片是根据给定的活动和活动引用的变量(称为切片准则),分析出在整个流程中能够影响切片准则的流程片段。介绍了静态切片算法在给定切片准则的前提下,首先构造BPEL控制流图,在此基础上生成活动依赖图,并对活动依赖图进行分析,从而确定流程中影响切片准则的活动序列(流程片段)。其结果已经在流程分析、优化和并行化等方面起到了重要作用,效果较好。
鲍亮宋胜利陈胜陈平胡圣明崔伟勇
关键词：BPEL
基于Agent的动态集成开发平台系统和方法
本发明公开了一种基于Agent的系统动态集成开发平台系统及方法，主要解决现有系统集成方法适应集成需求变化差的问题。整个系统包括主控平台和非主控平台，其中主控平台部署在分布式集成环境的主控节点上，包括用于运行时管理的全局管...
李青山刘鹤胡圣明贠海顺严体华蒋丹
基于内存自动机与模式的动态引擎构造技术研究
解释是软件系统开发与构造过程中反复出现的一个主题。一个应用系统自身可被理解为针对数据的变换和解释。系统开发者为实现软件系统的适应性与扩展性，利用解释系统将开发时尚不能确定的状态留待运行时解释并执行特定动作。语言的翻译或解...
胡圣明
关键词：数据变换数据解释软件开发语义模式
文献传递
逆向工程中动静态结合分析面向对象系统研究被引量：1
2008年
针对静态程序分析得到的信息冗余且无法反映面向对象目标系统多态和动态绑定的本质特征,而动态分析则与动态程序执行有关的,无法得到完整的依赖关系,提出反射植入动态分析和开放编译静态分析相结合的方式,并将得到的静态和动态信息有机结合起来产生动静态结合程序依赖图。最后通过试验研究表明动静态结合程序依赖图既能反映动态运行轨迹,又能全面反映系统整体依赖信息,可以更有效地辅助程序理解。
龚晓洁胡圣明陈平郑变红
关键词：面向对象逆向工程程序依赖图
BPEL流程数据竞争和死锁检测算法研究被引量：8
2008年
针对BPEL(Business Process Execution Language)流程中出现的数据竞争和死锁问题,提出了一种基于图理论的检测方法.首先把BPEL流程转化为BPEL片段图,然后通过求BPEL片段图中强连通分量的方式判定流程是否存在死锁;通过求BPEL片段图中节点间的可达性以判定节点间的可并发性来检测流程中的数据竞争.该方法采用约束求解技术对BPEL中的变迁条件和联合表达式进行分析,提高了检测的准确性.实际应用结果表明,该方法可以检测出流程中的数据竞争和死锁,提高流程的可靠性.
陈胜鲍亮陈平胡圣明王萌
关键词：业务流程执行语言死锁检测
基于概念分析的软件横切关注点提取方法被引量：1
2006年
为解决软件遗产系统中横切特性的理解和进化问题,提出了面向侧面的逆向工程框架模型,并以此为基础给出了一种用例驱动的形式化概念分析方法,对需求分析模型层面上的系统横切特性进行逆向恢复.通过对目标系统执行信息进行概念格分析,文中方法能够识别和提取横切用例模型的系统方法调用集合,并将它们抽象为系统的早期侧面.和仅为了代码重构而进行的侧面挖掘技术相比,该方法更适合在较高的系统抽象层面上进行程序理解.作为一种采用增量式结果产生策略的半自动化方法,它的实施流程也具有更好的可控性和对逆向工程需求变化的适应性.
苏旸康力胡圣明陈平
关键词：逆向工程横切关注点形式化概念分析统一建模语言
工具集成的柔性接口机制
2007年
工具集成中的一个很重要的问题是如何能够灵活方便地将工具集成到一起。文中阐述了一种方法,利用Java反射机制,将接口描述在接口描述文件中,无需硬编码调用接口的代码,增强了动态扩展的能力,当接口变化时仅需改变接口描述文件的映射关系,而程序代码无需做任何改变,提高了集成的灵活性和扩展性,达到了接口柔性化的目的。
张彪陈平胡圣明
关键词：XML序列化
全选 清除 导出
共3页<123>
聚类工具0