薛娟
- 作品数：2 被引量：0H指数：0
- 供职机构：江苏大学计算机科学与通信工程学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于区间代数的工作流模式的建模研究
- 2009年
- 在业务流程建模阶段,从时态角度来分析业务流程,有助于清楚地描述工作流。在对工作流模式以及其中包含的时态语义进行了深入研究之后,根据区间代数的语法,将工作流模式和区间代数结合起来,提出了一种新的用于工作流模式的时间约束建模方法。它不仅从时态角度扩展了工作流建模,明确描述了工作流模式中和时序有关的时态约束和依赖关系,并且能使工作流控制模式和形式化验证工具结合,从而有利于进一步从时态角度研究业务流程建模。
- 赵跃华薛娟吴安
- 关键词：区间代数工作流模式形式化时态语义
- 基于界面模板的界面逻辑模型研究
- 2010年
- 针对企业对Web应用环境的需求,依据基于主谓宾逻辑的需求获取和分析方法从表单出发获得需求模型,从而由需求模型获得界面逻辑模型,提出基于界面模板的界面逻辑模型以及一个易于扩充的企业通用界面模板库。应用结果表明,选择相应的模板,可完成系统设计的大部分工作,提高开发效率。
- 赵跃华吴安薛娟
- 关键词：表单
