Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

解析系统漏洞扫描的两大类型

漏洞扫描是对重要计算机信息系统进行检查，发现其中可能被黑客利用的漏洞。漏洞扫描的结果是对系统安全性能的一个评估，它指出了哪些攻击是可能的，因此，其成为安全方案的一个重要组成部分。目前，漏洞扫描，从底层技术来划分，可以分为基于网络的扫描和基于主机的扫描这两种类型。     

各国电子政务创新篇之二:税务

事务处理是电子政府最核心的应用目标之一，在这个阶段，用户可以完成与政府交易的完整过程。在电子政务建设已发展到事务处理的国家中，都倡导“以客户为中心”的服务理念，所有的内容都随着用户的需求而做出及时更新。在所有实施在线交易的服务项目中，以电子税务的运用最为成熟。通常来说，各国税务部门和海关承担着为政府运行征收税款的职责。由于他们的管理触及公民和法人这一广泛的范围，     

信息系统评价中常见的问题与对策分析

不论是在发达国家还是在发展 中国家,信息系统项目建设 的成功率都远不及其它建设项目,曾 有IT黑洞之说。由此,信息系统项目 建设中存在的问题日益为人们所重视。 通过分析案例,人们发现造成信息系 统建设失败的原因纵然有很多,但是, 几乎每个失败的案例都和缺乏及时必 要的评价有很大关系。于是,信息系     

医院医学影像系统的建设

目前我国许多医院已经完成了面向管理的医院信息系统的建设,关注的热点已经逐步由以经济核算为中心转向以医疗及患者服务为中心的信息系统的建设,医学影像系统(Picture Achieving and Communication System简称PACS)的建设是医院信息系统的重要组成部分和主要发展方向,本文综合介绍了医学影像系统的有关技术发展趋势,实现方法和各医院及卫生管理部门所关注的问题.     

面向不完备单值中智信息的三支决策模型

首先,给出了单值中智信息系统和不完备单值中智信息系统的概念,在此基础上,利用平均值法将一个不完备单值中智信息系统补全为完备的单值中智信息系统;然后,基于补全的单值中智信息系统给出了对象间的相似度的定义,进一步建立了面向不完备单值中智信息的三支决策模型;最后,通过例子阐述了模型的具体应用,并讨论了模型中的参数对决策结果的影响.     

五邑大学财务信息系统的设计与实现

基于五邑大学财务管理工作的实际情况,提出了我校财务信息系统的设计思想,包括系统功能模块结构、各模块的主要功能与特点等。并就目前实施现状提出今后的发展计划。     

交通事故技术鉴定辅助信息系统的研究与开发

本文介绍了“交通事故技术鉴定辅助信息系统”的设计思想、主要功能、系统的结构设计和分类码设计,并就交通事故处理的特殊要求结合数据库技术的特点,对“交通事故技术鉴定辅助信息系统”中的数据库模型和事故车辆车速再现模型进行了阐述。“交通事故技术鉴定辅助信息系统”的研制开发适应了交通事故处理工作向着科学化、现代化方向发展的需要,提高了交通事故处理的准确性和科学性,为交通事故处理和逃逸案件的侦破提供了完备的技术资料和分析依据,有助于提高交通事故处理部门的工作效率。     

PowerBuilder和MapInfo的集成开发技术

本文介绍了客户/服务器开发工具PowerBuilder和桌面地图信息系统MapInfo集成开发的基本方法，重点讨论了集成开发中的一些关键技术的实现方法。     

基于J2EE的三层B/S企业信息系统

针对企业信息服务的特点,阐述了基于J2EE的三层B/S企业信息系统的构建方法,分析了J2EE与企业数据库之间的接口连接问题,最后结合实际情况,给出了一个银行企业信息系统的设计方案,并讨论了系统代码实现的关键技术问题。该系统具有可伸缩性好、易维护、使用灵活等特点。