Thus, the semantic characteristics in the provider description (formal or informal) are reflected in the semantic characteristics of the service specification, as shown by the solid arrow in Figure 4.
因此，服务规范的语义特征反映(正式或非正式的)提供者描述中的语义特征，见图4中的实线箭头。
Information processing systems becoming large and complex, Formal description methods are needed for specification of systems and their efficient and reliable designs.
信息处理系统的大规模化和复杂化，需要有效设计高可靠性系统的形式化的规格描述方法。
LOTOS is a specification language that aims at describing the dynamic behavior of complex systems (formal description language).
LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言)，是可操作的。
应用推荐