A Formal Modeling Tool for Exploratory Modeling in Software Development

Tomohiro ODA; Keijiro ARAKI; Peter GORM LARSEN

doi:10.1587/transinf.2016FOP0003

A Formal Modeling Tool for Exploratory Modeling in Software Development

Tomohiro ODA, Keijiro ARAKI, Peter GORM LARSEN

Full Text Views

0

Share
Cite this

Summary :

The software development process is front-loaded when formal specification is deployed and as a consequence more problems are identified and solved at an earlier point of time. This places extra importance on the quality and efficiency of the different formal specification tasks. We use the term “exploratory modeling” to denote the modeling that is conducted during the early stages of software development before the requirements are clearly understood. We believe tools that support not only rigorous but also flexible construction of the specification at the same time are helpful in such exploratory modeling phases. This paper presents a web-based IDE named VDMPad to demonstrate the concept of exploratory modeling. VDMPad has been evaluated by experienced professional VDM engineers from industry. The positive evaluation resulting from such industrial users are presented. It is believed that flexible and rigorous tools for exploratory modeling will help to improve the productivity of the industrial software developments by making the formal specification phase more efficient.

Publication: IEICE TRANSACTIONS on Information Vol.E100-D No.6 pp.1210-1217

Publication Date: 2017/06/01

Publicized: 2017/03/07

Online ISSN: 1745-1361

DOI: 10.1587/transinf.2016FOP0003

Type of Manuscript: Special Section PAPER (Special Section on Formal Approach)

Category: Formal tools

Authors

Tomohiro ODA
  Software Research Associates, Inc.
Keijiro ARAKI
  Kyushu University
Peter GORM LARSEN
  Aarhus University

Keyword

lightweight formal methods, formal specification, VDM, integrated development environment

Cite this

Copy

Tomohiro ODA, Keijiro ARAKI, Peter GORM LARSEN, "A Formal Modeling Tool for Exploratory Modeling in Software Development" in IEICE TRANSACTIONS on Information, vol. E100-D, no. 6, pp. 1210-1217, June 2017, doi: 10.1587/transinf.2016FOP0003.
Abstract: The software development process is front-loaded when formal specification is deployed and as a consequence more problems are identified and solved at an earlier point of time. This places extra importance on the quality and efficiency of the different formal specification tasks. We use the term “exploratory modeling” to denote the modeling that is conducted during the early stages of software development before the requirements are clearly understood. We believe tools that support not only rigorous but also flexible construction of the specification at the same time are helpful in such exploratory modeling phases. This paper presents a web-based IDE named VDMPad to demonstrate the concept of exploratory modeling. VDMPad has been evaluated by experienced professional VDM engineers from industry. The positive evaluation resulting from such industrial users are presented. It is believed that flexible and rigorous tools for exploratory modeling will help to improve the productivity of the industrial software developments by making the formal specification phase more efficient.
URL: https://globals.ieice.org/en_transactions/information/10.1587/transinf.2016FOP0003/_p

Copy

@ARTICLE{e100-d_6_1210,
author={Tomohiro ODA, Keijiro ARAKI, Peter GORM LARSEN, },
journal={IEICE TRANSACTIONS on Information},
title={A Formal Modeling Tool for Exploratory Modeling in Software Development},
year={2017},
volume={E100-D},
number={6},
pages={1210-1217},
abstract={The software development process is front-loaded when formal specification is deployed and as a consequence more problems are identified and solved at an earlier point of time. This places extra importance on the quality and efficiency of the different formal specification tasks. We use the term “exploratory modeling” to denote the modeling that is conducted during the early stages of software development before the requirements are clearly understood. We believe tools that support not only rigorous but also flexible construction of the specification at the same time are helpful in such exploratory modeling phases. This paper presents a web-based IDE named VDMPad to demonstrate the concept of exploratory modeling. VDMPad has been evaluated by experienced professional VDM engineers from industry. The positive evaluation resulting from such industrial users are presented. It is believed that flexible and rigorous tools for exploratory modeling will help to improve the productivity of the industrial software developments by making the formal specification phase more efficient.},
keywords={},
doi={10.1587/transinf.2016FOP0003},
ISSN={1745-1361},
month={June},}

Copy

TY - JOUR
TI - A Formal Modeling Tool for Exploratory Modeling in Software Development
T2 - IEICE TRANSACTIONS on Information
SP - 1210
EP - 1217
AU - Tomohiro ODA
AU - Keijiro ARAKI
AU - Peter GORM LARSEN
PY - 2017
DO - 10.1587/transinf.2016FOP0003
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E100-D
IS - 6
JA - IEICE TRANSACTIONS on Information
Y1 - June 2017
AB - The software development process is front-loaded when formal specification is deployed and as a consequence more problems are identified and solved at an earlier point of time. This places extra importance on the quality and efficiency of the different formal specification tasks. We use the term “exploratory modeling” to denote the modeling that is conducted during the early stages of software development before the requirements are clearly understood. We believe tools that support not only rigorous but also flexible construction of the specification at the same time are helpful in such exploratory modeling phases. This paper presents a web-based IDE named VDMPad to demonstrate the concept of exploratory modeling. VDMPad has been evaluated by experienced professional VDM engineers from industry. The positive evaluation resulting from such industrial users are presented. It is believed that flexible and rigorous tools for exploratory modeling will help to improve the productivity of the industrial software developments by making the formal specification phase more efficient.
ER -