杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

工作流与访问控制/欧阳昱著

出版发行项:

北京:航空工业出版社,2010

ISBN及定价:

978-7-80243-580-3/CNY28.00

载体形态项:

92页:图;26cm

个人责任者:

欧阳昱 著

学科主题:

工作流管理系统-访问控制

中图法分类号:

F270.7

书目附注:

有书目 (第84-87页)

提要文摘附注:

本书分七章：从工作流授权模型的表示、合理性验证、执行时指派、指派异常处理四个方面对基于授权约束的工作流任务指派进行了较为全面、系统的研究，并综合上述研究成果，给出了基于约束的工作流授权实现模型，研究了工作流授权模型的表示与化简问题。研究内容涉及工作流模型分解、步语义Petri网。研究了工作流授权模型的合理性（WAR）验证问题。研究内容涉及WAR验证问题的与/或树表示、基于与/或树搜索的工作流授权合理性验证算法WARV、工作流任务执行序列角色规划的解空间、角色规划算法、工作流任务执行序列角色规划CSP问题描述、角色规划CSP问题的修正算法。研究了基于授权约束的工作流任务指派等内容。

豆瓣简介：