Eclipse ALFA不识别属性项

我下载了用于eclipse的ALFA插件，并按照zip存档中包含的

ALFA install plugin.pdf

中的说明进行操作。它似乎安装正常

但是，当我按照说明将ALFA的示例片段粘贴到示例文件（

test.ALFA

）中时，它未能成功“编译”。

Attributes.subjectId==“alice”

术语用红色下划线标出。即使提供的

标准属性.alfa

和

系统.alfa

文件与

test.alfa

存在于同一

src

目录中，也会发生这种情况

我认为插件应该在

标准属性.alfa

中找到

属性.subjectId

的定义，但显然这并没有发生

我的设置的详细信息：

• ubuntu 15.10 64位
• Eclipse版本：Eclipse-dsl-kepler-SR2（64位）
• ALFA-1.0-update-site.zip（当前）
• Oracle java版本：1.8.0_66

请注意，alfa是在Ubuntu12.10上的eclipse开普勒（64位）上测试的，现在Ubuntu12.10已经到了生命的尽头

我尝试了几种可能性，但都有相同的问题：使用Java开发人员（不是DSL特定的）版本，使用不同的alfa片段，使用Java eclipse项目但不是基本的eclipse项目，将

标准属性.alfa

重命名为

属性.alfa

（以匹配其

名称空间
）

我想知道其他用户是否遇到过这个问题，如果是，他们是如何解决的

谢谢。
不幸的是，Eclipse插件V1.0与Eclipse的开普勒版本不兼容。开普勒的插件架构内部发生了很大变化，因此您需要使用该插件的V1.0.2版本
 谢谢@srijith。我使用的是作为Eclipse v.1.0.2.zip的授权插件的Axiomatics语言下载的版本。归档文件包含
ALFA-1.0-update-site.zip，这是我最近添加到eclipse的版本。我刚刚使用
Help
->
检查更新来检查eclipse，但没有更新。我在哪里可以获得更高版本？@srijith我刚刚成功地安装了ALFA，为Java开发人员使用eclipse开普勒（SR2）和v1.0.2 ALFA插件，在ubuntu18.04.1 LTS服务器上安装了Oracle Java 8。这次测试ALFA片段处理正确，所以我接受了这个答案。谢谢