A Rigorous Methodology for Analyzing and Designing Plug-Ins

Marieta Fasie, Anne Haxthausen, Joseph Roland Kiniry

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review


Today, GUI plug-ins development is typically done in a very ad-hoc way, where developers dive directly into implementation. Without any prior analysis and design, plug- ins are often flaky, unreliable, difficult to maintain and extend with new functionality, and have inconsistent user interfaces. This paper addresses these problems by describing a rigorous methodology for analyzing and designing plug-ins. The methodology is grounded in the Extended Business Object Notation (EBON) and covers informal analysis and design of features, GUI, actions, and scenarios, formal architecture design, including behavioral semantics, and validation. The methodology is illustrated via a case study whose focus is an Eclipse environment for the RAISE formal method’s tool suite.
Original languageEnglish
Title of host publicationDeveloping Tools as Plug-ins (TOPI), 2013 3rd International Workshop on
PublisherIEEE Computer Society Press
Publication date21 May 2013
ISBN (Print)978-1-4673-6288-7
Publication statusPublished - 21 May 2013
Externally publishedYes


  • GUI plug-ins development
  • Extended Business Object Notation (EBON)
  • formal architecture design
  • behavioral semantics
  • Eclipse environment


Dive into the research topics of 'A Rigorous Methodology for Analyzing and Designing Plug-Ins'. Together they form a unique fingerprint.

Cite this