【摘 要】
：
工作流模型是对工作流的抽象表示,也就是对业务过程的抽象表示.由于工作流需要在计算机环境下运行,因此建立相应的工作流模型是必不可少的。本文通过引入一种新的业务建模语言——DSC,说明其基本概念,与其他语言相比的改进之处和当前状况。给出了用DSC描述的二十个工作流模式,据此来研究DSC描述工作流模式的能力。
【机 构】
：
云南大学网络智能计算实验室,昆明 650091 云南大学软件学院,昆明 650091
【出 处】
：
全国第20届计算机技术与应用(CACIS)学术会议
论文部分内容阅读
工作流模型是对工作流的抽象表示,也就是对业务过程的抽象表示.由于工作流需要在计算机环境下运行,因此建立相应的工作流模型是必不可少的。本文通过引入一种新的业务建模语言——DSC,说明其基本概念,与其他语言相比的改进之处和当前状况。给出了用DSC描述的二十个工作流模式,据此来研究DSC描述工作流模式的能力。
其他文献
“产学研结合、校企联合”办学是安全工程专业实践能力培养的必由之路。本文结合我校安全工程专业办学现状，探讨了安全工程专业走联合办学之路的人才培养模式和联合办学实现“双赢”的运行机制。
宣钢的加速发展,造成电力系统也日趋扩大,对电力调度系统提出更高要求.为此,决定采用iES500 Extreme系统,承担所有变电站全部实现综合自动化的任务.这样方便了用户,加强了全面管理,对供电的稳定性和安全性有明显改善.
介绍唐钢一钢轧厂RH精炼炉炼钢的工艺流程,ControlLogix系统的特点及该系统的硬件组成和软件功能,并对主要控制功能的设计思路进行了较详细的叙述.
在分析了数据挖掘、分布式数据挖掘、NET Remoting的概念和技术特点的基础上,提出了一种基于.NET Remoting技术的分布式数据挖掘系统模型,并描述了系统各部分功能及实现方法。
Web服务组合通过重用已有的Web服务以满足用户高质量的应用需求,是面向服务架构研究领域的热点问题。为了解决Web服务组合的可靠性和一致性问题,给出了Web服务事务性描述及组合模型,并根据Qos及用户的喜好提出了两级风险度的服务选择算法,在满足事务性组合的基础上达到优化组合的目的。
目前面向切面编程的研究侧重于语言本身的实现和应用,而对AOP程序的检查和验证的相关研究十分缺乏。针对目前的需求,本文提出一种基于运行时验证的框架来验证AOP程序,使得AOP程序中横切关注点的验证得以实现。在这种框架中,程序的性质由线性时序逻辑公式描述,并在程序执行时使用运行时验证技术来验证。通过对日志记录程序验证和分析证明该框架是可行的。
缓冲区溢出攻击是一种被广泛利角并危害严重的攻击方式。本文主要分析了缓冲区溢出攻击原理,总结了Windows缓冲区溢出攻击的关键步骤,研究了Windows Vista的内存保护关键技术,最后对Windows Vista的内存保护机制进行了分析。
对垂直管理行业进行信息化改造的过程中,流程再造是非常重要的一个环节。本文引入IC卡、有限状态自动机、工作流等技术,对现有旅客列车交接控制工作流程进行了重构,设计了一个旅客列车交接工作流模型,系统以IC智能卡刷卡签字确认方式来驱动整个流程的有序运行。已实现的软件系统的运行结果表明,该模式较好地起到了责任到人、分工明确、互相监督的作用。
Web2.0相关理念和技术在网络领域的应用日益扩大,新华文轩数字课程教材服务系统是一个基于Web2.0设计的使资源按需增长的服务系统。针对该系统在数字版权管理中遇到的问题,本文提出了数字课程教材资源权利描述模型,并设计了数字课程教材教与学服务系统的信息安全结构框架,最后描述了在该系统中用户使用数字课程教材资源的具体过程。
面向监控编程技术将软件实现与监控需求规约相结合,实现对软件的运行时监控,可以有效提高软件的安全性和可靠性,但是,其监控需求的表达和监控能力的实现都比较复杂。本文提出一种基于Java注释的监控编程语言,充分利用Java5.0的注释机制,设计了面向软件监控的监控注释,将监控需求以监控注释的形式添加到程序源代码中,有效降低了监控需求表达的复杂度。同时,本文设计了监控编程预处理模型对监控注释进行处理,实现