CBabel公司

软件体系结构描述语言的重写语义在分布式和并发应用中总是有协调的需求。这些应用程序由几个(可能是分布式的)组件组成,其设计必须考虑包括组件间交互样式、组件内并发和同步方面的协调需求。在ADL-ABEL软件层次中,我们可以在ADL-ABEL层次的软件层次中对这些方面进行具体的处理。给出了一种软件体系结构描述语言CBabel的重写逻辑语义,回顾和扩展了一些作者的工作,包括对原有语义的修改和对所有语言的新特性的添加。还介绍了CBabel工具。CBabel工具是CBabel的原型可执行环境,它实现给定CBabel的重写逻辑语义,并允许在Maude系统中执行和验证CBabel描述,Maude系统是重写逻辑的实现。通过这种方式,描述复杂应用程序的软件体系结构可以在其生命周期的软件体系结构设计阶段就死锁和同步一致性等属性进行形式化验证。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。