近年来,工作流技术作为一种实现工作过程管理自动化、智能化的技术,已被广泛应用于医疗、办公、银行和制造等各个领域中。Petri网作为一种图形化和数学化的建模工具,可扩展性强,适用于各个领域的系统建模、分析和控制。作为系统安全的第一道防线,访问控制技术能够有效地避免系统遭到非法使用。本论文以计量业务管理系统为背景,所做的工作主要围绕如何将基于Petri网的工作流建模技术运用在计量业务管理系统的业务流程建模中以及如何使用访问控制技术来提高系统的安全性。本文的主要研究工作可以归纳为三个方面:⑴基于Petri网的工作流建模方法,给出了一个计量业务管理系统业务流程的建模,在对模型合理性验证的基础上进行实现。⑵结合基于角色的访问控制和基于任务的访问控制,给出了一个计量业务管理系统的可代理的访问控制模型,该模型结合两种访问控制模型的优点,可确保系统安全并实现事务代理。⑶基于Petri网的工作流建模方法和可代理的访问控制模型,设计并实现了一个实际的计量业务管理系统的系统架构、功能模块、业务流程和数据库。