国家自然科学基金(61100039)
- 作品数：3 被引量：7H指数：2
- 相关作者：葛季栋胡华张笑菲胡海洋胡军更多>>
- 相关机构：南京大学南京理工大学杭州电子科技大学更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金浙江省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种层次式时间自动机模型检测方法被引量：2
- 2012年
- 层次式时间自动机在软件系统建模过程中有着重要的应用。由于层次嵌套带来额外的复杂度,难以对之进行直接的形式化验证工作。提出一种平展算法,将层次式时间自动机转化为一组并行的顺序时间自动机,应用广播通道同步该自动机集合执行。在此基础之上实现一个原型系统可以将层次式时间自动机模型自动转化为模型检测工具UPPAAL的输入,从而可以对之进行验证。结合实时UML状态机图实例,证明了该方法的有效性。
- 周宇胡军葛季栋
- 关键词：形式化方法
- 基于分层过程模型的过程演化技术
- 2013年
- 为了解决当前工作流语言粒度过细和引擎对过程动态演化支撑不足的问题,通过在原有工作流模型上建立一层抽象的业务过程模型,建立了一种新的分层过程模型,从而增强了过程的描述能力。同时扩展原有的过程演化技术,使其适用于分层模型下的过程演化,并给出相应的系统实现。通过实例验证了所设计系统的正确性。
- 徐刚胡昊余萍葛季栋吕建
- 关键词：WEB服务业务过程执行语言
- 基于流程挖掘的决策支持方法被引量：5
- 2013年
- 为了提高业务流程的执行效率,考虑工作流执行过程中存在的各种约束条件对工作流决策支持的影响,研究了如何将工作流中各种约束条件考虑在内的决策支持方法,并侧重考虑时间约束和成本约束。首先扩展了传统Petri网,研究了一种增加工作流中资源信息描述的、可扩展的业务流程表示模型——时间资源Petri网模型。在此基础上提出一种资源分配优化方法,利用业务流程中存在的多种约束条件,对使用TRPN模型表示的业务流程进行资源优化分配,以在满足当前工作流约束条件的基础上提高流程执行的效率。通过具体的实验分析,验证了所述方法的正确性和有效性。
- 胡海洋张笑菲胡华葛季栋
- 关键词：资源管理
