T·尤内达。;Ohta，T。 声明性语言STR（状态转换规则）。 （英语） Zbl 1095.68615号 Gilmore，Stephen（ed.）等人，用于描述特征的语言结构。FIREworks研讨会论文集，英国格拉斯哥，2000年5月15日至16日。伦敦：施普林格（ISBN 1-85233-392-8/pbk）。197-211 (2001). 摘要：提出了声明性语言STR（State Transition Rule）来描述服务规范和程序。鉴于电信服务规范可以以状态转换图的形式表示，STR以产生式规则的形式描述状态转换的条件。描述了STR规范、描述示例、特征交互的类别、特征交互示例、交互检测方法以及在主动网络中的应用。关于整个系列，请参见[Zbl 1058.68007号]. MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68T27型 人工智能中的逻辑 PDF格式BibTeX公司 XML格式引用 \textit{T.Yoneda}和\textit{T.Ohta}，in：描述特性的语言构造。FIREworks研讨会会议记录，英国格拉斯哥，2000年5月15日至16日。伦敦：斯普林格。197-211（2001；Zbl 1095.68615）