×

接口和产品线理论的模式I/O自动机。 (英语) Zbl 1187.68296号

De Nicola,Rocco(编辑),《编程语言和系统》。2007年3月24日至4月1日在葡萄牙布拉加举行的第16届欧洲编程研讨会,ESOP 2007,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71314-2/pbk)。《计算机科学讲义》4421,64-79(2007)。
摘要:阿尔法罗和亨津格在两层游戏中使用交替模拟作为接口自动机的改进[L.阿尔法罗T.A.公司。亨廷格,“接口自动机”,载于:第九届软件工程基础年度研讨会论文集。纽约:ACM出版社,109-120(2001)]。我们证明了接口自动机对应于以下模态转换系统的子集K.G.公司。拉森B.汤姆森[“模态过程逻辑”,摘自:第三届计算机科学逻辑年度研讨会论文集。洛斯阿拉米托斯:IEEE计算机学会(1988)],其中交替模拟与模态精化一致。因此,通过从接口自动机到模式自动机的简单推广,可以建立更具表现力的接口理论。我们定义了模态I/O自动机,它是具有模态的接口自动机的扩展。我们遵循的接口理论可以表达活性属性,不允许接口的琐碎实现,这是围绕仿真预订单构建的理论存在的问题。为了进一步证明模式I/O自动机的有用性,我们构建了一个用于产品线开发的行为可变性理论。
关于整个系列,请参见[Zbl 1116.68003号].

MSC公司:

第68季度第45季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
全文: 内政部