宋亮
- 作品数：3 被引量：4H指数：1
- 供职机构：清华大学软件学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于完全有限前缀的过程实例表示图的分解
- 2014年
- 由于语义交织现象的广泛存在,导致过程模型的行为状态空间面临状态爆炸问题。完全有限前缀能够有效压缩过程模型的状态空间,但是会丢失部分任务间时序关系特征。该文提出时序保存的完全有限前缀(temporal-order protecting complete finite prefix,TPCFP)技术,既能在不丢失任何可达状态信息的前提下高效压缩状态空间,又能确保不丢失任何任务间的时序关系。通过从TPCFP叶子结点中不同的并发集合出发,逆向遍历直到初始状态,可以分解出代表过程模型所有过程实例的结构,称为过程实例表示图(execution instance representation graph,EIRG)。在实际过程模型集合上所做的实验表明该技术是高效和准确的。
- 宋亮闻立杰王建民刘国平刘廷龙杨剑勇
- 时序行为特征描述模式体系的化简
- 2013年
- 定义基于行为特征的业务过程模型的查询语言,需要坚实可靠的理论基础。业务过程中任务间发生的时序关系是业务过程模型行为的直接反映。现有的描述任务间发生的时序关系特征描述模式体系过于庞大、复杂,同时缺少对本质内在关系的分析和反映。运用数理逻辑的原理和方法对现有的描述任务间时序关系的模式体系进行了深入的分析和推导,在保留原体系描述能力的前提下,大大缩减了该体系的规模和复杂度,并为定义高效的基于行为语言的过程模型提供了理论基础。
- 宋亮闻立杰王建民孔辉刘国平刘廷龙
- 关键词：业务过程模型化简
- PL/0语言编译机制实现研究被引量：4
- 2005年
- 为了帮助加深对计算机语言编译技术的理解和应用,引述了PL/0语言的文法体系,简要介绍了PL/0语言编译程序的基本构成部分及其大体功能。通过跟踪PL/0语言编译程序对一段示例程序进行处理的内部过程,对构成语言编译技术的主要组成部分即词法分析、语法分析、中间代码生成、存储器分配、表格管理、错误处理等过程进行了重点分析,详细叙述了其工作原理与实现机制以及相互之间的关系。
- 宋亮刘廷龙许敏
- 关键词：文法语法分析
