CNGI-MSN(CNGI Mass Storage Network)是国家CNGI项目支持的面向下一代互联网的PB级智能网络存储系统.本文介绍了CNGI-MSN中清华存储子节点管理系统的设计思想和实现细节.该系统实现存储资源虚拟化、性能监测、系统信息的结构化存储、故障报告、日志管理、用户访问管理和节点自动发现七大功能,能够做到可靠、高效和安全的管理存储资源.作为CNGI-MSN的关键组成部分,该系统已经成功地应用于清华存储子节点的管理,并对远程的CNGI-MSN全域管理系统提供可靠、高效的支持.
To achieve an on-demand and dynamic composition model of inter-organizational business processes, a new approach for business process modeling and verification is introduced by using the pi-calculus theory. A new business process model which is multi-role, multi-dimensional, integrated and dynamic is proposed relying on inter-organizational collaboration. Compatible with the traditional linear sequence model, the new model is an M x N multi-dimensional mesh, and provides horizontal and vertical formal descriptions for the collaboration business process model. Finally, the pi-calculus theory is utilized to verify the deadlocks, livelocks and synchronization of the example models. The result shows that the proposed approach is efficient and applicable in inter-organizational business process modeling.
