Quality improvement of requirements specification using model checking technique

Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda, Saeko Matsuura

研究成果: ResearchConference contribution

  • 2 引用

抄録

A key to success of high quality software development is to define valid and feasible requirements specification. We have proposed a method of model-driven requirements analysis using Unified Modelling Language (UML). The main feature of our method is to automatically generate a Web user interface prototype from UML requirements analysis model so that we can confirm validity of input/output data for each page and page transition on the system by directly operating the prototype. This paper proposes a data life cycle verification method using a model checking technique UPPAAL. Exhaustive checking improves the quality of requirements analysis model which are validated by the customers through automatically generated prototype.

言語English
Title of host publicationICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems
ページ401-406
Number of pages6
2 ISAS
EditionSAIC/-
StatePublished - 2012
イベント14th International Conference on Enterprise Information Systems, ICEIS 2012 - Wroclaw
継続期間: 2012 6 282012 7 1

Other

Other14th International Conference on Enterprise Information Systems, ICEIS 2012
Wroclaw
期間12/6/2812/7/1

Fingerprint

Model checking
Requirements specification
Prototype
Requirements analysis
Quality improvement
Unified modeling language
Life cycle
World Wide Web
User interface
Software development

Keywords

    ASJC Scopus subject areas

    • Information Systems and Management

    これを引用

    Aoki, Y., Ogata, S., Okuda, H., & Matsuura, S. (2012). Quality improvement of requirements specification using model checking technique. : ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems (SAIC/- 版, 巻 2 ISAS, pp. 401-406)

    Quality improvement of requirements specification using model checking technique. / Aoki, Yoshitaka; Ogata, Shinpei; Okuda, Hirotaka; Matsuura, Saeko.

    ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems. 巻 2 ISAS SAIC/-. 編 2012. p. 401-406.

    研究成果: ResearchConference contribution

    Aoki, Y, Ogata, S, Okuda, H & Matsuura, S 2012, Quality improvement of requirements specification using model checking technique. : ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems. SAIC/- Edn, 巻. 2 ISAS, pp. 401-406, 14th International Conference on Enterprise Information Systems, ICEIS 2012, Wroclaw, 12/6/28.
    Aoki Y, Ogata S, Okuda H, Matsuura S. Quality improvement of requirements specification using model checking technique. : ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems. SAIC/- 版 巻 2 ISAS. 2012. p. 401-406.
    Aoki, Yoshitaka ; Ogata, Shinpei ; Okuda, Hirotaka ; Matsuura, Saeko. / Quality improvement of requirements specification using model checking technique. ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems. 巻 2 ISAS SAIC/-. 版 2012. pp. 401-406
    @inbook{350f7733f13d4a1aa3469eb00a441fc7,
    title = "Quality improvement of requirements specification using model checking technique",
    abstract = "A key to success of high quality software development is to define valid and feasible requirements specification. We have proposed a method of model-driven requirements analysis using Unified Modelling Language (UML). The main feature of our method is to automatically generate a Web user interface prototype from UML requirements analysis model so that we can confirm validity of input/output data for each page and page transition on the system by directly operating the prototype. This paper proposes a data life cycle verification method using a model checking technique UPPAAL. Exhaustive checking improves the quality of requirements analysis model which are validated by the customers through automatically generated prototype.",
    keywords = "Model checking, Model driven development, Quality improvement, Requirements analysis",
    author = "Yoshitaka Aoki and Shinpei Ogata and Hirotaka Okuda and Saeko Matsuura",
    year = "2012",
    isbn = "9789898565105",
    volume = "2 ISAS",
    pages = "401--406",
    booktitle = "ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems",
    edition = "SAIC/-",

    }

    TY - CHAP

    T1 - Quality improvement of requirements specification using model checking technique

    AU - Aoki,Yoshitaka

    AU - Ogata,Shinpei

    AU - Okuda,Hirotaka

    AU - Matsuura,Saeko

    PY - 2012

    Y1 - 2012

    N2 - A key to success of high quality software development is to define valid and feasible requirements specification. We have proposed a method of model-driven requirements analysis using Unified Modelling Language (UML). The main feature of our method is to automatically generate a Web user interface prototype from UML requirements analysis model so that we can confirm validity of input/output data for each page and page transition on the system by directly operating the prototype. This paper proposes a data life cycle verification method using a model checking technique UPPAAL. Exhaustive checking improves the quality of requirements analysis model which are validated by the customers through automatically generated prototype.

    AB - A key to success of high quality software development is to define valid and feasible requirements specification. We have proposed a method of model-driven requirements analysis using Unified Modelling Language (UML). The main feature of our method is to automatically generate a Web user interface prototype from UML requirements analysis model so that we can confirm validity of input/output data for each page and page transition on the system by directly operating the prototype. This paper proposes a data life cycle verification method using a model checking technique UPPAAL. Exhaustive checking improves the quality of requirements analysis model which are validated by the customers through automatically generated prototype.

    KW - Model checking

    KW - Model driven development

    KW - Quality improvement

    KW - Requirements analysis

    UR - http://www.scopus.com/inward/record.url?scp=84865709653&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=84865709653&partnerID=8YFLogxK

    M3 - Conference contribution

    SN - 9789898565105

    VL - 2 ISAS

    SP - 401

    EP - 406

    BT - ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems

    ER -