论文部分内容阅读
通过对电子政务系统中投诉管理子系统的描述,提出了一种基于UML活动图与Petri网的电子政务工作流建模方法。该方法具有完全图形化的表示和坚实的数学基础,是一种工作流建模和分析的理想工具。在建立电子政务工作流模型的基础上,对该方法进行了正确性论证,表明该方法对电子政务系统的实用性和有效性。
基于UML活动图和Petri网电子政务工作流建模研究
【摘 要】
：
通过对电子政务系统中投诉管理子系统的描述,提出了一种基于UML活动图与Petri网的电子政务工作流建模方法。该方法具有完全图形化的表示和坚实的数学基础,是一种工作流建模和分析的理想工具。在建立电子政务工作流模型的基础上,对该方法进行了正确性论证,表明该方法对电子政务系统的实用性和有效性。
【机 构】
：
山东建筑大学计算机科学与技术学院
【出 处】
：
计算机应用与软件
【发表日期】
：
2011年06期
【基金项目】
：
山东省科技发展计划项目（2005GG4201001）
其他文献
在我国,法人机关与法人的关系原则上是一体的.文章通过案例的引入,分析了对法定代表人诽谤的认定和对受害人的救济.认为对法定代表人的诽谤,既可以构成对法定代表人个人的诽
会计模拟实训室环境建设,直接影响到高职院校会计专业人才培养质量及会计专业可持续发展.研究高职院校会计模拟实训室环境建设的现状和对策,加强会计模拟实训室的建设,具有重
目的:采用经典学习记忆实验观察益智灵胶囊对小鼠学习记忆能力和胆碱酯酶活性的影响.方法:用东莨菪碱模型、乙醇模型和氯霉素模型测小鼠学习记忆能力,微量羟胺法测定脑内胆碱
提出一种基于IEEE802.1x协议的双向认证方法,该方法在一个认证流程内实现客户实体与认证服务器之间和客户实体与认证实体之间的双向认证,以及客户实体与认证实体之间共享密钥的成功分发。通过对安全性的形式语义分析,结果表明该方法成功实现客户实体与认证服务器之间和客户实体与认证实体之间的相互信任。