Sciweavers

Share
ICECCS
2007
IEEE

A Formal Contract Language for Plugin-based Software Engineering

12 years 8 months ago
A Formal Contract Language for Plugin-based Software Engineering
Abstract—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. 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 a formal language that capture these services and describes the contracts between products and plugins. This language is formal, with a well-defined syntax and semantics, and can be used to validate these contracts.
Jens Dietrich, John G. Hosking, Jonathan Giles
Added 03 Jun 2010
Updated 03 Jun 2010
Type Conference
Year 2007
Where ICECCS
Authors Jens Dietrich, John G. Hosking, Jonathan Giles
Comments (0)
books