基于SPIN的CSCW系统的验证

近年来,CSCW系统呈现出用户越来越多、权限关系越来越复杂、组织结构规模越来越大、处理的情况越来越复杂的趋势。因此,CSCW系统的访问控制策略以及访问控制策略的验证已成为国内外CSCW领域十分值得研究和探讨的问题。针对CSCW系统设计的特点,提出了一种验证策略。结合具体实例,使用RBAC模型描述CSCW系统的访问控制权限,利用SPIN工具将模型检测应用于验证CSCW系统属性。     

OPC技术在工业LED显示屏中的应用

主要介绍如何利用OPC技术实现把现场信息数据实时显示在工业LED显示屏上,通过编写软件实现WinCC与LED显示屏的信息交换,具有很高的推广价值。     

欧美制造业或将复苏

美国供应管理协会（ISM）的报告称,美国8月的制造业指数从7月的48．9跃升至52．9。该数据远超此前分析师预测的50．5,且是自去年1月以来首次突破50,也是2007年6月以来的最高水平。报告称,新消费品订单的总额已跃升至2004年末以来的最高值。美国制造业8月实现了19个月来的首次增长。     

基于SPIN的CSCW系统的验证

近年来,CSCW系统呈现出用户越来越多、权限关系越来越复杂、组织结构规模越来越大、处理的情况越来越复杂的趋势.因此,CSCW系统的访问控制策略以及访问控制策略的验证已成为国内外CSCW领域十分值得研究和探讨的问题.针对CSCW系统设计的特点,提出了一种验证策略.结合具体实例,使用RBAC模型描述CSCW系统的访问控制权限,利用SPIN工具将模型检测应用于验证CSCW系统属性.