A Rigorous Methodology for Analyzing and Designing Plug-Ins

Marieta Fasie; Anne Haxthausen; Joseph Roland Kiniry

A Rigorous Methodology for Analyzing and Designing Plug-Ins

Marieta Fasie, Anne Haxthausen, Joseph Roland Kiniry

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer 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.

Originalsprog	Engelsk
Titel	Developing Tools as Plug-ins (TOPI), 2013 3rd International Workshop on
Forlag	IEEE Computer Society Press
Publikationsdato	21 maj 2013
Sider	49-50
ISBN (Trykt)	978-1-4673-6288-7
Status	Udgivet - 21 maj 2013
Udgivet eksternt	Ja

Citationsformater

@inproceedings{48cbc347bea04f76aff406b2042a9e50,

title = "A Rigorous Methodology for Analyzing and Designing Plug-Ins",

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{\textquoteright}s tool suite.",

keywords = "GUI plug-ins development, Extended Business Object Notation (EBON), formal architecture design, behavioral semantics, Eclipse environment",

author = "Marieta Fasie and Anne Haxthausen and Kiniry, {Joseph Roland}",

note = "ufuldst{\ae}ndig publiceringskanal, e.g. volume (jcg, 25/1/14)",

year = "2013",

month = may,

day = "21",

language = "English",

isbn = "978-1-4673-6288-7",

pages = "49--50",

booktitle = "Developing Tools as Plug-ins (TOPI), 2013 3rd International Workshop on",

publisher = "IEEE Computer Society Press",

address = "United States",

}

A Rigorous Methodology for Analyzing and Designing Plug-Ins. / Fasie, Marieta; Haxthausen, Anne; Kiniry, Joseph Roland.
Developing Tools as Plug-ins (TOPI), 2013 3rd International Workshop on . IEEE Computer Society Press, 2013. s. 49-50.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - A Rigorous Methodology for Analyzing and Designing Plug-Ins

AU - Fasie, Marieta

AU - Haxthausen, Anne

AU - Kiniry, Joseph Roland

N1 - ufuldstændig publiceringskanal, e.g. volume (jcg, 25/1/14)

PY - 2013/5/21

Y1 - 2013/5/21

N2 - 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.

AB - 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.

KW - GUI plug-ins development

KW - Extended Business Object Notation (EBON)

KW - formal architecture design

KW - behavioral semantics

KW - Eclipse environment

M3 - Article in proceedings

SN - 978-1-4673-6288-7

SP - 49

EP - 50

BT - Developing Tools as Plug-ins (TOPI), 2013 3rd International Workshop on

PB - IEEE Computer Society Press

ER -

A Rigorous Methodology for Analyzing and Designing Plug-Ins

Abstract

Fingeraftryk

Citationsformater