×

DeltaEcore公司

swMATH ID: 26910
软件作者: 塞德尔,C.,谢弗,I.,Aßmann,U。
描述: DeltaEcore——基于模型的Delta语言生成框架。软件产品线(SPL)和软件生态系统(SECO)代表了可配置可变资产方面密切相关的软件系统系列。增量建模是一种方法,用于捕获不同配置导致的变化,并通过转换导出SPL或SECO的具体软件产品。尽管增量建模的一般概念是独立于语言的,但所有源语言都需要自定义增量语言,由于不同的实现技术,这些语言创建起来很繁琐,并且缺乏互操作性。在本文中,我们提出了一个框架,用于为基于EMOF的元模型中的文本或图形语言自动派生delta语言。我们进一步说明了如何通过检查源语言的元模型来自动生成派生delta语言的语法和大部分语义。我们通过将实现DeltaEcore应用于四种选定的源语言来演示我们的方法。
主页: http://deltaecore.org/
相关软件: VerCors公司;酯类;毒蛇;NAT2测试;布吉;合同Larva;达尔文SPL;SCEst公司;SC图表;乔安娜;德尔塔J;seL4级;FDR3公司;凯伊;沟槽;光泽;埃尔朗;Frama-C公司;JML公司;信号
引用于: 1文件

2位作者引用

1 彼得·米勒
1 伊娜·谢弗

0连载引用

按年份列出的引文