机读格式显示(MARC)

• 000 01267nam0 2200253 450

• 001 0000389783

• 005 20111014100700.0

• 010 __ |a 978-7-80243-580-3 |d CNY28.00

• 100 __ |a 20100831d2010 ekmy0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak z 000yy

• 106 __ |a r

• 200 1_ |a 工作流与访问控制 |A gong zuo liu yu fang wen kong zhi |f 欧阳昱著

• 210 __ |a 北京 |c 航空工业出版社 |d 2010

• 215 __ |a 92页 |c 图 |d 26cm

• 320 __ |a 有书目 (第84-87页)

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

• 606 0_ |a 工作流管理系统 |A gong zuo liu guan li xi tong |x 访问控制

• 690 __ |a F270.7 |v 4

• 701 _0 |a 欧阳昱 |A ou yang yu |4 著

• 801 _0 |a CN |b HDUL |c 20111014

• 905 __ |a HDUL |d F270.7/776

• 920 __ |a 233030 |z 1