TTCN-3(Testing and Test Control Notation)是新一代协议和软件测试描述语言,它在定义并规范测试套描述语言的同时给出测试语言的......

静态数据流图是异步电路的一种抽象模型，具有灵活性高、易于理解的优点。基于静态数据流图的一种形式化的执行语义，提出了一种适合于......

模型转换是模型驱动体系结构的核心技术之一．在一个复杂的模型驱动的开发过程中，可能同时使用多种转换语言及相应的工具实现转换程序......

针对现有工作流建模语言难以兼顾语言的可理解性、执行语义的形式化和描述维度的单一性等问题，提出利用可视化的过程模型作为工作流......