A Rigorous Methodology for Analyzing and Designing Plug-Ins

Marieta V. Fasie, Anne Elisabeth Haxthausen, Joseph Kiniry

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

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 publication2013 3rd International Workshop on Developing Tools as Plug-ins (TOPI)
PublisherIEEE
Publication date2013
Pages49-50
DOIs
Publication statusPublished - 2013
Event3rd International Workshop on Developing Tools as Plug-ins (TOPI 2013) - San Francisco, CA, United States
Duration: 21 May 2013 → …
http://se.inf.ethz.ch/events/topi2013/Welcome.html

Workshop

Workshop3rd International Workshop on Developing Tools as Plug-ins (TOPI 2013)
CountryUnited States
CitySan Francisco, CA
Period21/05/2013 → …
Internet address

Cite this

Fasie, M. V., Haxthausen, A. E., & Kiniry, J. (2013). A Rigorous Methodology for Analyzing and Designing Plug-Ins. In 2013 3rd International Workshop on Developing Tools as Plug-ins (TOPI) (pp. 49-50). IEEE. https://doi.org/10.1109/TOPI.2013.6597194