带有Agent特征的全局流程集成平台研究

针对政府信息化建设中的特殊应用,借鉴MAS思想提出了全局流程的概念,并把全局流程与局部流程区分开来.在此基础上建立了全局流程集成平台,详细讨论了平台的设计思想、结构和关键的组成部分.实践表明,平台的流程描述能力强、层次结构清晰,具有通用性,能体现Agent的自治性、自主性、协作性和适应性,有效地支持了电子政务中典型应用的开发,适合作为开发以业务流程为中心的应用系统的支撑平台.     

敏捷工作流模式研究及应用

为了增强工作流系统对业务流程变化的适应性,提出了一种敏捷工作流模式,它是一个模式系统,由工作流体系结构模式、模型描述模式、模型表示模式和模型解析模式组成.深入讨论了这种模式的设计思想,并详细描述了上述4个组成部分.最后,通过该模式在实际开发中的应用表明,敏捷工作流模式对于实现柔性的工作流系统具有很高的应用价值.     

基于回答集语义复杂信息系统表单驱动需求规约的描述与验证

高品质的复杂信息系统软件设计与开发源自合理的、完整的和准确的软件需求.为了描述需求领域的非确定问题,并在需求获取不完全的情况下对需求规约进行非单调推理,本文将回答集逻辑程序和基于因果关系的动作理论应用于需求描述与验证.针对复杂信息系统需求问题空间规模较大的特点,将动作描述语言C与动作查询语言Q结合形成动作语言Lo,作为需求描述的基础;通过分析需求领域各个元素及其相互关系,以表单驱动引导需求,并作为需求描述依据与核心,提出了描述需求问题空间静态关系和动态行为关系的“主谓宾状”需求模型MRspoa.利用回答集逻辑程序求解器SMODELS,可以对需求规约进行多层次规划与检测.本文的研究来自工程项目实践的总结与提高,研究成果得到具体应用.