RM2PT: Requirements validation through automatic prototyping

Yilong Yang; Wei Ke; Xiaoshan Li

doi:10.1109/RE.2019.00067

RM2PT: Requirements validation through automatic prototyping

Yilong Yang, Wei Ke, Xiaoshan Li

Faculty of Applied Sciences

University of Macau

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

16 Citations (Scopus)

Abstract

Prototyping is an effective and efficient way of requirements validation to avoid introducing errors in the early stage of software development. Our previous work presents a tool RM2PT to automatically generate prototypes from requirements models. The stakeholders can easily check whether the requirements reflect their real needs by investigating the executions of use cases in the generated prototypes. However, the conflict and contradictory of the requirements are hard to be discovered. In this paper, we enhance RM2PT by introducing consistency checking and state observations in the generated prototypes. Requirements inconsistency can be automatically detected and further fixed through carefully analyzing the contracts of system operations and system state observations. We have conducted four case studies with over 50 use cases. The experimental result shows that 107 requirements inconsistency are founded in requirements validations. Overall, the result is satisfiable, and the enhanced RM2PT can be further applied to the software industry for requirements validation. The tool can be downloaded at http://rm2pt.mydreamy.net and a demo video casting its features is at https://youtu.be/Y7GNa57WGfA.

Original language	English
Title of host publication	Proceedings - 2019 IEEE 27th International Requirements Engineering Conference, RE 2019
Editors	Daniela Damian, Anna Perini, Seok-Won Lee
Publisher	IEEE Computer Society
Pages	484-485
Number of pages	2
ISBN (Electronic)	9781728139128
DOIs	https://doi.org/10.1109/RE.2019.00067
Publication status	Published - Sept 2019
Event	27th IEEE International Requirements Engineering Conference, RE 2019 - Jeju Island, Korea, Republic of Duration: 23 Sept 2019 → 27 Sept 2019

Publication series

Name	Proceedings of the IEEE International Conference on Requirements Engineering
Volume	2019-September
ISSN (Print)	1090-705X
ISSN (Electronic)	2332-6441

Conference

Conference	27th IEEE International Requirements Engineering Conference, RE 2019
Country/Territory	Korea, Republic of
City	Jeju Island
Period	23/09/19 → 27/09/19

Keywords

Consistency Checking
Prototype
Prototyping
Requirements
Requirements Validation

Access to Document

10.1109/RE.2019.00067

Cite this

Yang, Y., Ke, W., & Li, X. (2019). RM2PT: Requirements validation through automatic prototyping. In D. Damian, A. Perini, & S.-W. Lee (Eds.), Proceedings - 2019 IEEE 27th International Requirements Engineering Conference, RE 2019 (pp. 484-485). Article 8920427 (Proceedings of the IEEE International Conference on Requirements Engineering; Vol. 2019-September). IEEE Computer Society. https://doi.org/10.1109/RE.2019.00067

@inproceedings{6885928e551d424d9f03f956f100fffd,

title = "RM2PT: Requirements validation through automatic prototyping",

abstract = "Prototyping is an effective and efficient way of requirements validation to avoid introducing errors in the early stage of software development. Our previous work presents a tool RM2PT to automatically generate prototypes from requirements models. The stakeholders can easily check whether the requirements reflect their real needs by investigating the executions of use cases in the generated prototypes. However, the conflict and contradictory of the requirements are hard to be discovered. In this paper, we enhance RM2PT by introducing consistency checking and state observations in the generated prototypes. Requirements inconsistency can be automatically detected and further fixed through carefully analyzing the contracts of system operations and system state observations. We have conducted four case studies with over 50 use cases. The experimental result shows that 107 requirements inconsistency are founded in requirements validations. Overall, the result is satisfiable, and the enhanced RM2PT can be further applied to the software industry for requirements validation. The tool can be downloaded at http://rm2pt.mydreamy.net and a demo video casting its features is at https://youtu.be/Y7GNa57WGfA.",

keywords = "Consistency Checking, Prototype, Prototyping, Requirements, Requirements Validation",

author = "Yilong Yang and Wei Ke and Xiaoshan Li",

note = "Publisher Copyright: {\textcopyright} 2019 IEEE.; 27th IEEE International Requirements Engineering Conference, RE 2019 ; Conference date: 23-09-2019 Through 27-09-2019",

year = "2019",

month = sep,

doi = "10.1109/RE.2019.00067",

language = "English",

series = "Proceedings of the IEEE International Conference on Requirements Engineering",

publisher = "IEEE Computer Society",

pages = "484--485",

editor = "Daniela Damian and Anna Perini and Seok-Won Lee",

booktitle = "Proceedings - 2019 IEEE 27th International Requirements Engineering Conference, RE 2019",

address = "United States",

}

Yang, Y, Ke, W & Li, X 2019, RM2PT: Requirements validation through automatic prototyping. in D Damian, A Perini & S-W Lee (eds), Proceedings - 2019 IEEE 27th International Requirements Engineering Conference, RE 2019., 8920427, Proceedings of the IEEE International Conference on Requirements Engineering, vol. 2019-September, IEEE Computer Society, pp. 484-485, 27th IEEE International Requirements Engineering Conference, RE 2019, Jeju Island, Korea, Republic of, 23/09/19. https://doi.org/10.1109/RE.2019.00067

RM2PT: Requirements validation through automatic prototyping. / Yang, Yilong; Ke, Wei; Li, Xiaoshan.
Proceedings - 2019 IEEE 27th International Requirements Engineering Conference, RE 2019. ed. / Daniela Damian; Anna Perini; Seok-Won Lee. IEEE Computer Society, 2019. p. 484-485 8920427 (Proceedings of the IEEE International Conference on Requirements Engineering; Vol. 2019-September).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - RM2PT

T2 - 27th IEEE International Requirements Engineering Conference, RE 2019

AU - Yang, Yilong

AU - Ke, Wei

AU - Li, Xiaoshan

PY - 2019/9

Y1 - 2019/9

N2 - Prototyping is an effective and efficient way of requirements validation to avoid introducing errors in the early stage of software development. Our previous work presents a tool RM2PT to automatically generate prototypes from requirements models. The stakeholders can easily check whether the requirements reflect their real needs by investigating the executions of use cases in the generated prototypes. However, the conflict and contradictory of the requirements are hard to be discovered. In this paper, we enhance RM2PT by introducing consistency checking and state observations in the generated prototypes. Requirements inconsistency can be automatically detected and further fixed through carefully analyzing the contracts of system operations and system state observations. We have conducted four case studies with over 50 use cases. The experimental result shows that 107 requirements inconsistency are founded in requirements validations. Overall, the result is satisfiable, and the enhanced RM2PT can be further applied to the software industry for requirements validation. The tool can be downloaded at http://rm2pt.mydreamy.net and a demo video casting its features is at https://youtu.be/Y7GNa57WGfA.

AB - Prototyping is an effective and efficient way of requirements validation to avoid introducing errors in the early stage of software development. Our previous work presents a tool RM2PT to automatically generate prototypes from requirements models. The stakeholders can easily check whether the requirements reflect their real needs by investigating the executions of use cases in the generated prototypes. However, the conflict and contradictory of the requirements are hard to be discovered. In this paper, we enhance RM2PT by introducing consistency checking and state observations in the generated prototypes. Requirements inconsistency can be automatically detected and further fixed through carefully analyzing the contracts of system operations and system state observations. We have conducted four case studies with over 50 use cases. The experimental result shows that 107 requirements inconsistency are founded in requirements validations. Overall, the result is satisfiable, and the enhanced RM2PT can be further applied to the software industry for requirements validation. The tool can be downloaded at http://rm2pt.mydreamy.net and a demo video casting its features is at https://youtu.be/Y7GNa57WGfA.

KW - Consistency Checking

KW - Prototype

KW - Prototyping

KW - Requirements

KW - Requirements Validation

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

U2 - 10.1109/RE.2019.00067

DO - 10.1109/RE.2019.00067

M3 - Conference contribution

AN - SCOPUS:85076921927

T3 - Proceedings of the IEEE International Conference on Requirements Engineering

SP - 484

EP - 485

BT - Proceedings - 2019 IEEE 27th International Requirements Engineering Conference, RE 2019

A2 - Damian, Daniela

A2 - Perini, Anna

A2 - Lee, Seok-Won

PB - IEEE Computer Society

Y2 - 23 September 2019 through 27 September 2019

ER -

RM2PT: Requirements validation through automatic prototyping

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this