loading...
A Formal Contract Language for Plugin-based Software Engineering
Auckland, New Zealand July 11-July 14
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.712th IEEE International Conference on ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Jens Dietrich, Massey University, New Zealand
John Hosking, University of Auckland, New Zealand
Jonathan Giles, Massey University, New Zealand
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.

Citation:
Jens Dietrich, John Hosking, Jonathan Giles, "A Formal Contract Language for Plugin-based Software Engineering," iceccs, pp.175-184, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.