TCOZ公司

TCOZ定时通信对象Z(TCOZ)基于XML的静态类型检查和动态可视化结合了Object-Z在建模复杂数据和状态方面的优势,以及TCSP在实时并发建模方面的优势。基于我们之前在TCOZ的XML环境中所做的工作,本文首先介绍了一个用于检测TCOZ规范静态语义错误的类型检查器的开发,然后说明了一个转换工具,可以自动地将TCOZ模型投影到UML状态图中,以可视化系统的动态行为。