用户名: 密码: 验证码:
计算机支持的协同工作中的并发控制研究
详细信息    本馆镜像全文|  推荐本文 |  |   获取CNKI官网全文
摘要
随着计算机技术、网络技术和分布式技术的发展,计算机用户正从单用户工作模式向多用户协同工作方向发展。计算机支持的协同设计(Computer SupportedCooperative Design)就是在这种背景下产生的,其思想体现了信息时代人们的工作方式的群体性、交互性、分布性和协同性要求。协同设计充分发挥了计算机网络作为通信媒体的潜在能力和优越性,为设计组成员间相互交流和协调工作创造了条件,支持群体工作,进一步提高了人们的工作效率和工作质量。
    多个设计者对共享信息进行并行操作必然会产生冲突,从而处理分布数据的一致性成为许多协同系统的关键问题。在一个共享的多用户环境中,为了避免冲突、增强有效性、确保成功的协作,协调用户的行为是至关重要的。
    本论文通过深入研究协同设计过程中的多个用户同时访问共享资源时所采用的并发控制机制,总结国内外著名协同设计平台在开发过程和设计实践中遇到的普遍问题,对于协同设计并发控制的关键机制进行了探讨,丰富和发展了相关的关键技术。主要包括以下内容:
    1、协同设计系统框架
    在协同工作过程中,各部门之间工作趋于并行一体化,面向并行工程的协同设计系统要求在设计过程中按照设计者的实际需求定制,满足开放性和灵活性。基于这种要求,本论文通过分析协同支持环境、协同设计特点、协同工作模式和协作方式,及对面向并行工程的协同设计要求,建立了一个面向并行工程协同设计开放式的系统框架模型。
    2、协同设计中的并发控制机制
    本论文研究了传统并发控制策略的优缺点,结合工程设计的具体特点,设计实现了基于约束网络的冲突管理体系结构和基于规则推理的冲突消解体系结构。
    在冲突检测方面,分析以约束网络为基础的协同设计冲突检测方法,建立约束网络,通过对约束满足求解确定设计过程是否一致。由于约束满足问题求解是一个搜索问题,因此在确定最终优化解的过程中,采用混沌优化策略,从而快速找到全局最优解,迅速判断冲突发生的时间和位置,提高搜索速度,实现简单,维护一致性,提高协同设计效率。
    在冲突消解方面,分析协同设计中冲突产生的原因和冲突消解的技术,建立冲突消解知识库,运用规则推理机制解决冲突。并在规则推理过程中运用了一种快速的规则匹配算法,提高规则匹配效率,同时降低冲突消解的时间及空间复杂度。
    3、访问控制模型
    协同设计过程也必须提供安全机制,防止数据的非法获取和修改。本论文探讨了协同设计中访问控制机制的具体需求,在传统的访问控制机制RBAC模型基础上,引入客体集概念,将设计者按不同属性分成不同集合,在设计中获得不同的访问授权,降低系统复杂性。
    4、数据交换模型
    在协同设计中,异地设计者之间需要实现有效的资源共享,因此需要在各站点之间进行数据交换。本论文通过讨论XML技术的优点,设计实现了基于XML技术的增量式协同设计数据管理。此外,通过研究目前实际的网络拓扑结构及现
Along with computer technology, network technology and distributionaltechnical development, computer developed from single user working pattern tomulti-user collaborative work direction. Computer Supported CooperativeDesign(CSCD)came into being under this background, whose idea reflect thegroupware, interaction, distribution and cooperation of people's work mode in thenetwork. CSCD provieds the condition of communication and cooperation betweendesigners to support group work, which increases work efficiency and quality.
    Different designers mainpulated the concurrent operation to the sharinginformation inevitably have the conflict occured. Managing the consistency ofdistributed data is a critical issue for many collaborative systems. In a sharingmulti-user environment, in order to avoid inconsistency, increase efficiency,guarantees the successful cooperation, it is important to coordinate the action ofdesign members.
    Concurrency control mechanism is studied in depth which is used when multipleusers access sharing data simultaneously. Based on visited the platform to thedomestic and overseas famous collaborative design, some universal questions wassummarized which they met during design practice. In this paper, key mechanism ofconcurrent control during collaborative design was researched and discussed, enrichedand developed the related essential technology. The main contents are listed asfollowing:
    1. Collaborative design system framework
    In the process of collaborative design, works between various department tendedto parallel integration, collaboartive design system faced concurrent engineeringrequired customizing designs according to designer's actual demands, satisfiedopenness and flexibility. Based on this kind of request, the thesis analyzed cooperativeenvironment, collaborative design characteristic, cooperative work pattern, andconcurrent engineering oriented requests, an open style system framework model hasestablished.
    2. Concurrency control mechanism in collaborative design
    The paper stuedied the characteristics of engineering design, and traditionalconcurrent control methods, a conflict management system structure based onconstraint network and a conflict resolution system structure based on rule inferencehas been put forward and realized. In the conflict detection method, analyzed themethods for conflict detection based on constraint network during collaborativedesign. Using the constraint management system, established the constraint network,through satisfied the solution to make sure whethere the porcess is consistent. Becauseof constraint satisfies solution is a search question, therefore in the process whichconfirmed finally superiorly solution, chaos optimization method was used in order to
    rapidly get global optimum solution and greatly improve convergence rate. Moreover,high consistency and executive frequency was expected.In the process of conflict solution, the paper analyzed the reasons for conflictemergence in details, establishment an knowledge library. Conflict was soluted byusing rules inference machanism. A fast pattern-matching algorithm was used duringrules inference in order to raise frequency. Futhermore, lower time and spacecomplexity was expected during the conflict resolution procedure.3. Access control modelCollaborative design process also must provided safety mechanism, in order toprevents sharing data was illegal gained and modified. The paper has discussedspecific demands of access control mechanism in coollaborative design. Object setconcept was imported based on traditional access control mechanism RBAC model.Different designers were divided into different sets according to their differentattributes, obtained different visit authorization. Lower system complexity wasexpected.4. Data exchange modelDuring collaborative design, designers in different place needed realizingeffective resources sharing. Therefore data exchange between various sites wasneeded. The paper discussed XML technology, designed and realized a datamanagement system based on XML technology and increment transmission. Inaddition, through the present research of the actual network topology and existingtoplogy discovery technology, strengthen network robustness and tuneability fromoptimizing network topology was discussed. A safe and fast network model wasestablished.Chapter 6 summarized all achievemnets of this dissertation, reviews innovationpoints and deficiencyt, and gives the further work in the future.
引文
[1] Jonathan Grudin. CSCW:History and Focus. IEEE Computer, 1994, 27(5): 19-26
    [2] Liam J. Bannon,Kjeld Schmidt. CSCW:Four characters in search of a context. Proceedings of the First Eupopean Conference on Computer-Supported Cooperation Work, London, 1989:358-372
    [3] Paul M. Cashman, Anatol W. Holt. A communication-oriented approach to structuring the software maintenance environment .ACM SIGSOFT Software Engeering Notes,1980,5(1):4-17
    [4] J. Habermas, English translation by J.Shapiro. Knowledge and Human Interests. Boston Beacon Press, 1971
    [5] 史美林,向勇,杨光信. 计算机支持的协同工作理论与应用. 电子工业出版社,2000
    [6] 杜兴,谢立,孙钟秀. 计算机辅助协同工作. 计算机科学, 1994, 21(1):12-16
    [7] 李向阳,鲁东明,潘云鹤. 计算机支持多用户协同编著系统模型. 计算机研究与发展(增刊), 1997,7:167-172
    [8] Duska Rosenberg, Chris Hutchinson. Design Issues in CSCW. Springer-Verlag,Berlin,1994
    [9] Irene Greif, eds. Computer-Supported Cooperative Work: A Book of Readings. Morgan Kaufmann,San Mateo,CA,1988
    [10] D. Murray,B. Hewitt. Capturing Interactions:Requirements for CSCW. In D. Rosenberg and C. Hutchison, editors, Design Issues In CSCW, Springer Verlag, Berlin, 1994:27-59
    [11] 苗东升. 系统科学原理. 中国人民大学出版社, 北京, 1992
    [12] 顾君忠. 计算机支持的协同工作导论. 清华大学出版社, 北京, 2002
    [13] Johanson R.. Presentation to the Teldok Study Tour on “Groupware”. Tucson AZ,1991
    [14] DeSanctis U, Von Lukas U, Morche I. Cooperative modeling with TOBACO. In:Proceedings of the TeamCAD'97 Workshop on Collaborative Design, Atlanta, 1997:115-122
    [15] Robert Johansen. Groupware:Computer Supported for Bussiness Teams. The Free Press, New York and London, 1988
    [16] Robert Johansen. User Approaches to Computer-Supported Teams. In “Technological Support for Work Group Collaboration”,MH Olson,ed., 1989:1-32
    [17] C.A. Ellis, S.J. Gibbs, G.L. Rein. Groupware:some issues and experiences. Communications of the ACM,1991,34(2):38-58
    [18] Ostergaard K. ,Summers J. A Taxonomic Classification for Collaborative Design. International Coference on Engineering Design, ICED 03-1349,Stokcholm,Sweden,2003
    [19] Mark R. Cutkosky, Robert S. Engelmore, Richard E. Fikes, Michael R.. PACT:An Experiment in Integrating Concurrent Engineering Systems. IEEE Transactions on Computers,1993,26(1):28-37
    [20] Ahn S.H., Sundararajan V.,Smith C.E., Kannan B.B, Souza R.D., Sun G, Mohole A, Wright P.K., Kin J, McMains S, Smith J, Sequin C.H.. CybetCut:an internet-based CAD/CAM system. Journal of Computing and Information Science in Engineering, 2001,1(1):52-59
    [21] Kim C.Y., Kin N, Kim Y, Kang SH., Grady P.O. Internet-based Concurrent Engineering :An Interactive 3D Sysetm with Markup. In:Proceedings of 1998 ASME.DETC/CIE Computers in Engineering Conference,Atlanta,1998:13-16
    [22] Lihui Wang, Weiming Shen, Helen Xie, Joseph Neelamkavil, Ajit Pardasani. Collaborative conceptual design-state of the art and future trends. Computer-Aided Design,2002,34(13):981-996
    [23] Chengzheng Sun, Xiaohua Jia, Yanchun Zhang, Yun Yang, David Chen. Achieving Convergence, Causality Preservation, and Intention Preservation in Real-Time Cooperative Editing Systems. ACM Trans on Computer-Human Interaction,1998,5(1): 63-108
    [24] Naser S. Barghouti, Gail E. Kaiser. Concurrency Control in Advanced Database Applications. ACM Computing Surveys, 1991,23(3):269-317
    [25] Clarence Ellis, Simon Gibbs. Concurrency Control in Groupware Sysetm. In Proceeding of the ACM SIGMOD'89 Conference on the Management of Data, Seattle,Washington, 1989:399-407
    [26] M. Ressel, D. Nitsche-Ruhland, R. Gunzenhauser. An intergrating transformation-oriented approach to concurrency control and undo in group editers. In Proceedings of ACM Coference on Computer-Supported Cooperative Work, 1996, 11:288-297
    [27] Maher Suleiman, Michele Cart, Jean Ferrie. Serialization of concurrent operations in a distributed collaborative enviroment. Proceedings of the international ACM SIGGROUP Conference on Supporting Group Work:the integration challenge,Phoenix, Arizona,United Stataes,1997:435-445
    [28] S. Greenberg, D. Marwood. Real-time groupware as a distributed system:Concurrency control and its effect on the interface. In Proceedings of the ASM Conference on CSCW, ACM Press,1994:207-217
    [29] W. Keith Edwards. Flexible Conflict Detection and Management in Collaborative Applications. In Proceedings of the 10 th annual ACM Symposium on User Interface Software and Technology,ACM, Canada,1997:139-148
    [30] Sun C., Chen D. Consistency maintenance in real-time collaborabive graphics editing systems. ACM Transaction on Computer-Human Interaction,2002,9(1):1-41
    [31] Rakesh Agrawal, Michael J. Carey, Miron Livny. Concurrency Control Performance Modeling:Alternatives and Implications. ACM Transactions on Database System,1987,12(4):609-654
    [32] Jonathan Muson, Prasun Dewan. A Concurrency Control framework for collaborative systems. In Proeedings of ACM Conference on Computer Supported Cooperative Work, Cambridge, 1996:278-287
    [33] 杨光信,史美林. 全复制式机构下基于数据模型的并发控制模型, 计算机学报,2000,23(2):113-125
    [34] 李秋静,林宗楷,郭玉钗,林守勋. CSCD 系统中的访问控制机制的研究, 计算 机应用,2000,20:285-287
    [35] Qian D., Gorss M.D. Collaborative Design with NetDraw. In Proceedings of Computer Aided Architectural Design Futrues, 1999:213-226
    [36] Jae Yeol Lee, Sung Bae Han, Hyun Kim, Sang Bong Park. Network-Centric Feature-Based Modeling. Proceedings of Pacific Graphics'99,IEEE Computer Society, CA,1999:280-289
    [37] Bidarra R., Van den Berg E., Bronsvoort W.F. Collaborative modeling with features. In:CD-ROM Proceedings of 2001 ASME Degisn Engineering Technial Conference, Pittsburgh, Pennsylvania,2001
    [38] Van den Berg E. Web-based collaborative modeling with SPIFF. Masters Thesis, Faculty of Information Technology and Systems, Delft University of Technology,2000
    [39] Tek Jin Nam. An Investigation of Multi-user Design Tools for Collaborative 3D Modeling. The 1998 ACM Conference on Computer Supported Cooperative Work(Doctoral Colloquium), Seattle,14-18 Novembre,1998
    [40] Tek Jin Nam., Wright D. The Development and Evaluation of Syco3D:A Real-Time Collaborative 3DCAD System. Design Studies, 2001,22:557-582
    [41] Colin Allison, Paul Harrington, Feng Huang, Mike Livesey. Concurrency Control for Real Time Groupware. Warp Report W1-94 Division of Computer Science, University of St Andrews
    [42] 甄炜,炜霞等.面向并行工程的协同工作环境研究.计算机工程与设计,2001,Vol.22(4):29-32
    [43] 陈正鸣.基于局部特征是别的特征有效性维护和特征模型转换研究.博士论文,浙江大学 CAD&CG 国家重点实验室,2001.7
    [44] 裴云彰.分布式计算模式下的协同设计系统.通信学报,1999,20(9):4-9
    [45] 孙林夫.工程智能 CAD 开发技术.西南交通大学出版社,1998
    [46] 刘喜明,郑国勤.基于 C/S 模式的同步协同设计运行机制和策略.计算机工程与应用,2001,15:64-67
    [47] 朱湘毅,唐泉,陈文培,严隽琪,马登哲.并行工程中基于约束的冲突检测研究.机械科学与技术,2000,19(5):349-352
    [48] 马海波,熊光愣,李涛,徐文胜.协同设计中冲突的继承解决方案.高技术通讯,2001,01:61-65
    [49] 熊光愣.并行工程的理论与实践[M]. 北京:清华大学出版社,2000
    [50] Klein M. Conflict management as part of an integrated exception handling approach [J]. AI in Engineering Design Analysis and Manufacturing, 1995,(9):259-267.
    [51] Klein M, Lu S.C-Y. Conflict resolution in cooperative design[J]. Artificial Intelligence in Engineering,1990,4 (4):168-180.
    [52] T.sang E. Foundations of constraint satisfaction[M]. Academic Press,1993,
    [53] 李祥,袁国华,周雄辉等. 基于动约束求解的协同设计研究[J]. 机械科学与技术,2000,19(6):918-919.
    [54] 杨秋琼,曹健,张友良. 协同产品开发中分布式约束管理系统的研究与实现[J]. 机械科学与技术,2000,19(4):638-640.
    [55] 徐文胜,熊光愣,肖田元. 并行工程中时间约束网络建立及冲突检测研究 [J]. 系统仿真学报,2003,15(2):185-189.
    [56] Bessiere C. Arc-consistency and Arc-consistency Again. Artificial Intelligence,1994,65(1):179-190.
    [57] Potts,J.C.,et al.. The development and evaluation of an improved genetic algorithm based on migration and artificial selection[J]. IEEE Trans. Syst. Man and Cybern.,1994,24(1):73-85.
    [58] 李 兵 , 蒋 慰 孙 . SA GA CIA 全 局 优 化 方 法 及 应 用 [J]. 自 动 化 学报,1998,24(2):269-271.
    [59] 卢侃.混沌动力学[M]. 上海:上海翻译出版社, 1990.
    [60] 杨秋琼,曹健,张友良. 协同产品开发中分布式约束管理系统的研究与实现[J]. 机械科学与技术,2000,19(4):638-640
    [61] 王世同. 人工智能教程. 电子工业出版社,北京,2001.10
    [62] WONG STC. Coping with conflict in cooperative knowledge base systems[J]. IEEE Transactions on System, Man and Cybernetics-Part A: System and Human,1997,27(1):57-72
    [63] 钱屹,侯义斌. 一种快速的字符串匹配算法[J]. 小型微型计算机系统,2004,25(3):410-413.
    [64] 鲍峥嵘,王永成,刘功申,韩客松. 一种快速的字符串交叉模式匹配算法[J]. 上海交通大学学报, 2003, 37(3):420-423.
    [65] 魏宝刚,潘云鹤. 协同设计中的多主体动态协调[J]. 计算机辅助设计与图形学学报,1999,11(5):473-476.
    [66] Prasun Dewan and Honghai Shen. Controlling Access in Multiuser Interfaces. ACM Transactions on Computer-Human Interaction, 1998,5(1):34-62
    [67] 李伟琴,杨亚平.基于角色的访问控制系统.计算机应用.2000,2:16-21
    [68] SANDHU RS,COYNE EJ,FEINSTEIN HL,et al Role_based access control models[J]. IEEE Computer,1996,29(2):38-47.
    [69] 刘道斌,白硕.基于工作流状态的动态访问控制[J].计算机研究与发展,2003,40(3):417-421
    [70] 袁平鹏,陈刚,董金祥.多政策的两层协同应用存取控制模型[J].计算机辅助设计与图形学学报,2004,16(4):420-426
    [71] Van den Akker T, Snell Q O,Clement M J. The YGuard Access Control Model: Set-Based Access Control[M].Chantilly,Virginia,USA:SACMAT,2001.75-84
    [72] Mattas A K, Mavridis I K, Pangalos G I. Towards Dynamically Administered Role-Based Access Control [A]. IEEE Computer Society[C]. Prague,Czech Republic: DEXA Workshops,2003:494-498
    [73] 曹祥,郑国勤,胡毓宁.协同设计环境下的版本管理模型.计算机工程与应用.2001, 15: 61-63
    [74] 吴华鹏,陈大融. XML 在机械工程中的应用 [J]. 机械设计,2001,11:4-7
    [75] Wu D., Bhargava S., Sarma R. Solid Model Streaming as a Basis for a Distributed Desgin Enviroment. In:CD-ROM Proceedings of 2000 ASME-DETC conference, 2000,DETC2000/DAC-14250
    [76] Wu D.,Sarma R. Dynamic Segmentation and Incremental Editing of Boundary Representations in a Collaborative Design Enviroment. In:Proceedings of 2001 ACM Solid Modeling conference, NewYork:ACM Press,2001:289-299
    [77] Li J., Gao S.M., X. Zhou. Direct Incremental Transmission of Boundary Representation. ACM Solid Modeling 2003
    [78] Choi G.H., Mun D.H., Han S.H. Exchange of CAD part models based on the macro-parametric approach. International Journal of CAD/CAM,2(2):23-31
    [79] Mark A. Sportack(美)等著,袁兆山等译. 计算机连网技术大全.北京:机械工业出版社,1998.11
    [80] 孟庆余主编.Intranet 建网指南.北京:科学出版社,2000.3
    [81] Wilson C.,Doak P.(美)著,钟鸣等译.虚拟专用网的创建与实现.北京:机械工业出版社,2000.8

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址:北京市海淀区学院路29号 邮编:100083

电话:办公室:(+86 10)66554848;文献借阅、咨询服务、科技查新:66554700