在描述双控云存储集群平台方面的自然语言与程序设计语言是存在歧义的,而且这两种程序语言具有非常复杂的缺点。为了能够清楚的描述出双控云存储集群平台的系统构架,就要利用Z语言这种形式化规格来进行说明,而语言一般是要通过模式的描述、关系定义以及组件定义这几方面来进行说明的。而通过大量查阅资料也表明了Z语言在描述云存储平台的模型方面具有精确的优势。
科研之友
微信
新浪微博
Facebook
分享链接
