共查询到20条相似文献,搜索用时 78 毫秒
1.
2.
计算机支持的协同工作系统的时序逻辑模型 总被引:11,自引:0,他引:11
为了使群体能够协同完成任务,CSCW(computer supported cooperative work)系统不仅要解决各种分布性、处理应用领域的特殊性,而且要提供面向用户的协作支持,从而使其行为异常复杂.然而对系统行为进行形式化的描述是构造软件系统的必经阶段.为了清晰地描述CSCW系统的行为,使其特定性质的验证成为可能,本文在时序逻辑的基础上,建立了CSCW系统行为的抽象描述模型.在此模型中,CSCW系统由分布运行实体和信息对象组成,系统的主要行为表现为用时序逻辑语言XYZ/E描述的实体间的交互.此模型可较好地对系统的分析和构造进行指导. 相似文献
3.
CSCW时序逻辑模型交互行为的正确性研究 总被引:1,自引:0,他引:1
正确性是软件系统最重要的质量因素。CSCW的时序逻辑模型全面地描述了CSCW系统的行为,较好地实现了CSCW的系统要求。文章在XYZ系统的框架内,从CSCW时序逻辑模型交互行为中每一个进程的正确性和交互行为并发性的正确性两个方面,对CSCW的时序逻辑模型交互行为描述的正确性进行了论证,这为CSCW时序逻辑模型的实现奠定了坚实的基础。 相似文献
4.
基于角色的CSCW系统访问控制模型 总被引:53,自引:0,他引:53
针对现有的方法不能很好地满足CSCW系统对访问控制提出的新的需求,该文提出了一个基于角色的CSCW系统访问控制模型RBCSAC(role-based collaborative systems access control).该模型形式化地描述了数据、操作、权限、角色和用户等要素及其相互间的关系,提供访问控制信息的记录方法,通过分配和取消角色来完成对用户权限的授予和取消,并且提供了角色分配规则和操作合法性检查规则.该模型针对CSCW系统的多用户、交互、协作、实时、动态等特性,能较好地满足CSCW系统对访问控制的需求. 相似文献
5.
近年来,CSCW系统呈现出用户越来越多、权限关系越来越复杂、组织结构规模越来越大、处理的情况越来越复杂的趋势。因此,CSCW系统的访问控制策略以及访问控制策略的验证已成为国内外CSCW领域十分值得研究和探讨的问题。针对CSCW系统设计的特点,提出了一种验证策略。结合具体实例,使用RBAC模型描述CSCW系统的访问控制权限,利用SPIN工具将模型检测应用于验证CSCW系统属性。 相似文献
6.
近年来,CSCW系统呈现出用户越来越多、权限关系越来越复杂、组织结构规模越来越大、处理的情况越来越复杂的趋势.因此,CSCW系统的访问控制策略以及访问控制策略的验证已成为国内外CSCW领域十分值得研究和探讨的问题.针对CSCW系统设计的特点,提出了一种验证策略.结合具体实例,使用RBAC模型描述CSCW系统的访问控制权限,利用SPIN工具将模型检测应用于验证CSCW系统属性. 相似文献
7.
8.
首先对当前CSCW系统体系结构进行了分析,然后针对目前用户接口的多样性、后台数据源的异构性等特点,提出了一个分层的CSCW系统结构模型,并着重讨论了系统所涉及的用户接口、后台数据源集成等实现机制。 相似文献
9.
基于VPML和JAVA的虚拟现实协同系统研究与设计 总被引:3,自引:0,他引:3
该文在讨论了基于VRML的虚拟现实协同系统是CSCW未来的发展方向的基础上,分析了VRML在构造虚拟现实CSCW系统的局限性.接着,探讨了如何将VRML与JAVA等技术结合起来,提高Internet上协同环境的可感知性和交互性.在此基础上,提出了一种基于Internet虚拟现实的协同应用结构. 相似文献
10.
针对现有方法不能很好地满足CSCW系统对访问控制的需求,提出基于角色和任务的CSCW系统访问控制模型RTBAC(Role and Task-Based Access Model).该模型形式化地描述了用户、角色、任务、权限、工作流等要素及其相互间的关系,通过分配和取消角色来完成对用户权限的授予和取消,并提供了角色间偏序继承和指派关系定义,通过引入任务概念、任务类型划分及角色和任务之间的关系定义,实现了依据任务和任务状态不同对权限进行动态管理.该模型是针对CSCW系统多用户、动态、协作等特性提出的,能较好地满足CSCW系统对访问控制的需求. 相似文献
11.
计算机支持的协同工作(CSCW)旨在研究适应各种协同工作方式的灵活、开放、可扩充的系统体系结构。该文将面向服务的架构模式(SOA)和Agent技术应用于CSCW系统设计中,利用基于SOA的方式构建系统,并在用户工作环境中引入Agent实体,最终设计出一种新型的,具有良好的扩展性、灵活性以及智能性的协同工作系统体系结构。 相似文献
12.
一个CSCW系统的设计与实现 总被引:5,自引:0,他引:5
随着计算机网络技术的发展,计算机支持的协同工作(CSCW)系统正逐渐成为人们研究的热点,协同式计算机辅助设计系统是一类典型的CSCW系统。本文在介绍了CSCW的基本概念之后,从系统组成的角度出发,提出了一个典型的CSCW系统是由应用子系统、信息共享平台、协同工作平台、协作管理平台、以及网络传输平台这五大部分组成的,并对其各部分的内容进行了形式化的描述和系统的分析,最后以我们开发的协同式计算机辅助设计系统--CoopCAD为例,介绍了如何按照该结构实现一个具有实时性的协同式计算机辅助设计系统。 相似文献
13.
14.
CSCW支撑平台的结构模型 总被引:27,自引:2,他引:27
传统分布式系统中面向系统的控制及分布透明性不能满足CSCW对面向用户的显式协作的要求。本文提出了一个CSCW系统的结构模型,该结构以一个CSCW支撑平台作为一般分布式系统与协作应用之间的适配层,来支持协作任务平台具有客户/服务器模式,它用面向对象方法处理各种异构性,将协作规则与协作机制分开,这样它就可以仅利用基本的分布功能,提供方便灵活的面向用户协作的服务。在此平台上可有各种多媒体协同应用,从而充 相似文献
15.
基于CSCW的协作学习系统的研究与实现 总被引:3,自引:0,他引:3
计算机辅助协同工作(CSCW) 的出现,反映了人们对计算机功能需求的改变,即希望计算机系统从传统的解决计算问题发展为辅助用户间的交互活动。首次将CSCW 的概念引入协作学习系统的设计之中,提出一种基于CSCW 的协作学习系统的结构模型,同时就CSCW 的若干核心技术———多用户接口、协作机制、并发控制等结合系统的设计与实现进行了研究与探讨。最后给出了一个具体的实现原型:NJU CLS。 相似文献
16.
提出基于MVC设计模式,适用于多种应用环境(C/S、B/S、Ria等)及多种网络环境(Client-Server、P2P、Ad Hoc等)的CSCW系统模型.该系统模型通过对MVC设计模式中Model层及Control层的分离,规范了系统模块及关系,解决了异构环境下CSCW系统架构统一的难题.本文给出了通用CSCW系统模型在各种异构环境中的体系结构设计,由于各体系结构设计具有相同的模块划分及相似的模块间关系,增加了混合异构环境下系统模块的复用率,提高了开发效率. 相似文献
17.
自组网及其安全性研究 总被引:1,自引:0,他引:1
目前大多数的 CSCW用户只能依靠现有的网络基础设施来进行协同工作 .自组网是在 CSCW基础上为CSCW用户提供的一种通信支撑环境 ,是一组带有无线收发装置的移动节点组成的一个多跳的临时性的自治系统 .Kerberos是一个基于可信赖第三方的认证系统 ,本文在介绍自组网的同时 ,将一种改进的 Kerberos系统用于自组网体系中 ,以提高其安全性 相似文献
18.
发动机CAD协同设计的集成环境方案研究 总被引:1,自引:0,他引:1
在对 CSCW系统的协同模式进行分析的基础上 ,提出了一种基于 J2 EE和工程数据库的 CSCW系统实现的体系结构 ,其中工程数据库管理系统采用 Servlet/ Jsp/ Bean技术 ,实现了分布式异步协同模式。采用 Ap-plet遵循 CORBA协议实现同 I- DEAS的通讯 ,实现了分布式同步协同模式 相似文献
19.
20.
CSCW系统中协同感知的研究 总被引:1,自引:0,他引:1
协同感知理论的研究与应用是计算机支持的协同工作的重要研究内容之一.在研究分析了传统的协同感知所依赖的CSCW体系结构的基础上,提出了一种基于P2P的三层结构的协同感知框架,该架构很适合于CSCW中项目可以划分为若干个相对独立的模块的情形.最后对该框架的具体感知模块进行了分析,并讨论了下一步研究将要解决的问题. 相似文献