Stepwise refinement of software development problem analysis

Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The Problem Frames approach has attracted attention because it enables developers to carefully analyze problems in a reasonable manner. Despite that this approach decomposes a problem into sub problems before the analysis is conducted, developers are still faced with a complex analysis when they consider interactions between the various sub problems. Moreover, progressive evolution of requirements is important for flexible development. In this paper, we propose methods to analyze multiple abstraction layers of a problem. Our methods help developers to construct abstract versions of a problem and find relationships between abstract problems and concrete problems. Moreover, our methods support refinement of arguments such that the properties of the abstract problem are preserved in the concrete problem. Therefore, our methods enable developers to divide up arguments into multiple abstraction layers and thus mitigate the complexity of argumentation. We carried out preliminary experiments on abstracting problems and constructing reasonable arguments. Our methods are expected to enable developers to analyze problems in a reasonable manner with less complexity and thus make problem analysis easier.

Original languageEnglish
Title of host publicationConceptual Modeling - 35th International Conference, ER 2016, Proceedings
PublisherSpringer-Verlag
Pages488-495
Number of pages8
ISBN (Print)9783319463964
DOIs
Publication statusPublished - 2016 Jan 1
Externally publishedYes
Event35th International Conference on Conceptual Modelling, ER 2016 held in conjunction with Workshops on AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME and WM2SP, 2016 - Gifu, Japan
Duration: 2016 Nov 142016 Nov 17

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9974 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other35th International Conference on Conceptual Modelling, ER 2016 held in conjunction with Workshops on AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME and WM2SP, 2016
CountryJapan
CityGifu
Period16/11/1416/11/17

    Fingerprint

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Kobayashi, T., Ishikawa, F., & Honiden, S. (2016). Stepwise refinement of software development problem analysis. In Conceptual Modeling - 35th International Conference, ER 2016, Proceedings (pp. 488-495). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9974 LNCS). Springer-Verlag. https://doi.org/10.1007/978-3-319-46397-1_37