A Semi-Formal Requirement Modeling Pattern for Designing Industrial Cyber-Physical Systems

Requirement engineering is a crucial part of the engineering process. The traditional methods of requirement engineering are time-consuming and human-centered. A well-established software requirement description model needs to ensure the accuracy and integrity of the transformation and is also hoped to be scalable, versatile, and efficient in transformation and transmission. This paper presents a method of requirement engineering, including constricted nature language requirement input pattern, and the formalized requirement description JSON model. This method provides convenience for requirement modification and validation that can satisfy the real-time constraints of industrial cyber-physical systems.

[1]  César Muñoz,et al.  An Overview of SAL , 2000 .

[2]  Bashar Nuseibeh,et al.  Requirements engineering: a roadmap , 2000, ICSE '00.

[3]  Zhang Gui-gang.  Software Requirement Modeling Research Based on Use Case , 2004 .

[4]  강문설.  [서평]「The Unified Modeling Language User Guide」 , 1999 .

[5]  Yves Le Traon,et al.  Producing a Global Requirement Model from Multiple Requirement Specifications , 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).

[6]  Natarajan Shankar,et al.  ARSENAL: Automatic Requirements Specification Extraction from Natural Language , 2014, NFM.

[7]  B.H.C. Cheng,et al.  Real-time specification patterns , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[8]  Guillermo Rodríguez-Navas,et al.  Reassessing the pattern-based approach for formalizing requirements in the automotive domain , 2014, 2014 IEEE 22nd International Requirements Engineering Conference (RE).

[9]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[10]  Klaus Pohl,et al.  Industry needs and research directions in requirements engineering for embedded systems , 2012, Requirements Engineering.

[11]  Tanupriya Choudhury,et al.  An efficient automated design to generate UML diagram from Natural Language Specifications , 2016, 2016 6th International Conference - Cloud System and Big Data Engineering (Confluence).

[12]  George S. Avrunin,et al.  Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[13]  Tim Bray,et al.  Internet Engineering Task Force (ietf) the Javascript Object Notation (json) Data Interchange Format , 2022 .

[14]  Daniel Amyot,et al.  Towards Improved Requirements Engineering with SysML and the User Requirements Notation , 2016, 2016 IEEE 24th International Requirements Engineering Conference (RE).

[15]  Julio Cesar Sampaio do Prado Leite,et al.  C&L: Generating model based test cases from natural language requirements descriptions , 2014, 2014 IEEE 1st International Workshop on Requirements Engineering and Testing (RET).

[16]  Guillermo Licea,et al.  Towards Supporting Software Engineering Using Deep Learning: A Case of Software Requirements Classification , 2017, 2017 5th International Conference in Software Engineering Research and Innovation (CONISOFT).

[17]  Giancarlo Guizzardi,et al.  From Stakeholder Requirements to Formal Specifications Through Refinement , 2015, REFSQ.

[18]  Markus Lumpe,et al.  KBRE: a framework for knowledge-based requirements engineering , 2014, Software Quality Journal.

[19]  Thomas Moser,et al.  Ontology-Driven Guidance for Requirements Elicitation , 2011, ESWC.

[20]  Thomas Moser,et al.  DODT: Increasing requirements formalism using domain ontologies for improved embedded systems development , 2011, 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems.

[21]  Muhammad Bilal,et al.  Efficient requirement engineering for small scale project by using UML , 2016, 2016 Sixth International Conference on Innovative Computing Technology (INTECH).

[22]  Man Zhang,et al.  RTCM: a natural language based, automated, and practical test case generation framework , 2015, ISSTA.