首页> 外文会议>IEEE International Conference on Engineering Complex Computer Systems >A Formal Contract Language for Plugin-based Software Engineering
【24h】

A Formal Contract Language for Plugin-based Software Engineering

机译:基于插件的软件工程的正式合同语言

获取原文

摘要

Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including Mozilla Firefox and the Eclipse development environment. Using plugins is a promising approach to build complex systems that have to be reconfigured at runtime, and several plugin based general purpose runtime environments are currently under development. Plugin-based design is based on the idea that plugins provide additional functionality extending the capabilities of a core product. While this is often understood as providing services by implementing abstract classes or interfaces defined in the core product, modern plugin-based systems like Eclipse use a much wider definition of service. We propose to consider these services as typed resources and introduce a contract language that can be used to define contracts between plugins providing and consuming services. This language is based on the SemanticWeb Rule Language (SWRL) that has a well-defined syntax and semantics. These contracts can then be used in order to validate complex, plugin-based applications.
机译:近年来,基于插件的应用设计变得越来越受欢迎,并且有助于一系列非常不同的应用程序,包括Mozilla Firefox和Eclipse开发环境。使用插件是一个有希望的方法来构建必须在运行时重新配置的复杂系统,并且目前正在开发几个基于插件的一般运行时间环境。基于插件的设计基于插件提供额外的功能扩展了核心产品的功能的想法。虽然这通常被理解为通过在核心产品中定义的抽象类或接口来提供服务,但是像Eclipse这样的基于现代插件的系统使用更广泛的服务定义。我们建议将这些服务视为键入的资源,并介绍可用于定义插件之间提供和消费服务之间的合同的合同语言。此语言基于具有明确定义的语法和语义的语义传统规则语言(SWRL)。然后可以使用这些合同以验证基于复合的插件的应用程序。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号