安纳托利·多罗申科；鲁斯兰·舍甫琴科 基于规则的编程动态应用程序的重写框架。 （英语） Zbl 1097.68537号 芬丹。通知。 72，编号1-3，95-108（2006）. 摘要：近年来，在复杂并发软件系统的构建和分析中，轻量级形式化方法越来越受到关注。本文提出了一种新的基于规则操作的术语重写框架，称为TermWare，并描述了它在软件系统分析中的应用，以在不同的操作需求和规范下提供更好的软件维护成本效益。其主要优点是基于待分析软件系统的特定属性而非计算语义的轻量级形式化模型。这种方法消除了对软件系统进行完全形式化分析的需要，并允许应用程序在两个主要方面具有极大的灵活性：对多变环境的高度适应性，以及易于重新设计和组件重用。定义了系统的语言和形式语义。提出了一种新的TermWare语义模型，称为带动作的术语系统。本文给出了一个案例，并给出了使用TermWare框架进行源代码分析和软件开发的一些典型示例。 引用于1文件 MSC公司： 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 2012年第68季度 语法和重写系统 关键词：项重写；基于规则的编程；软件系统分析 软件：ATERM公司；西洋陆军棋 PDF格式BibTeX公司 XML格式引用 \textit{A.多罗申科}和\textit{R.舍甫琴科}，芬达姆。通知。72，编号1--3，95-108（2006；Zbl 1097.68537）