Abstract
A system specification is written in a natural language, while a formal specification is useful for discovering faults by using formal techniques, such as model checking. Consequently, analysis techniques based on natural language processing are desirable for translating system specifications into formal specifications. The matching system specifications with formal specifications is the necessary stage when extracting formal specifications. However, a generic and accurate matching method has not yet been established. In this paper, we propose a pattern matching method for identifying the specification of sentences. Specifically, we constructed a semantic analyzer that transforms sentences into logical expressions that entail patterns based on event semantics. We also applied pattern matching to practical requirement statements. Based on the simple pattern matching, all sentences entailed several patterns. The results of the entailment recognition showed that it was possible to distinguish between sentences that represent the state transition and those that do not. The results are valid for formal specifications.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
Our pipeline was run on a laptop with an 8-core 16-thread 2.40-GHz CPU in parallel mode using the GNU Parallel [21] program.
References
B. Meyer, On formalism in specifications, in Program Verification (Springer, 1993), pp. 155–189
H. Ii, K. Okano, S. Ogata, Improving accuracy of automatic derivation of state variables and transitions from a japanese requirements specification, in Joint Conference on Knowledge-Based Software Engineering (2020), pp. 20–34
M. Ohto, H. Ii, K. Okano, S. Ogata, Proposal of extracting state variables and values from requirement specifications in japanese by using dependency analysis. Proced. Comput. Sci. 192, 1649–1658 (2021)
K. Okano, K. Takahashi, S. Ogata, T. Sekizawa, Analysis of specification in japanese using natural language processing, in Joint Conference on Knowledge-Based Software Engineering (2018), pp. 12–21
T. Kasami, An efficient recognition and syntax-analysis algorithm for context-free languages in Technical Report AFCRL-65-758, Air Force Cambridge Research Lab (1965)
M.C. de Marneffe, B. MacCartney, C.D. Manning, Generating typed dependency parses from phrase structure parses, in Proceedings of the Fifth International Conference on Language Resources and Evaluation (LREC’06) (2006)
S. Ghosh, D. Elenius, W. Li, P. Lincoln, N. Shankar, W. Steiner, Arsenal: automatic requirements specification extraction from natural language, in NASA Formal Methods Symposium (2016), pp. 41–46
T. Kudo, Y. Matsumoto, Japanese dependency analysis using cascaded chunking, in COLING-02: The 6th Conference on Natural Language Learning 2002 (CoNLL-2002) (2002)
M. Steedman, The Syntactic Process (The MIT Press, 2000)
D.M. Berry, E. Kamsties, Ambiguity in requirements specification, in Perspectives on Software Requirements, pp. 7–44. Springer (2004)
S.F. Tjong, Avoiding ambiguity in requirements specifications. Ph.D. thesis, University of Nottingham (2008)
SESSAME(http://www.sessame.jp): Wadai-Futto pot (GOMA-1015 type) 7th edition (2005), https://www.sessame.jp/workinggroup/WorkingGroup2/POT_Specification_v7.PDF (Last accessed 30 May 2022)
T. Parsons Events in the Semantics of English: A Study in Subatomic Semantics. The MIT Press (1990)
P. Martínez-Gómez, K. Mineshima, Y. Miyao, D. Bekki, ccg2lambda: a compositional semantics system, in Proceedings of ACL 2016 System Demonstrations (2016), pp. 85–90
K. Mineshima, R. Tanaka, P. Martínez-Gómez, Y. Miyao, D. Bekki, Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser, in Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (2016), pp. 2236–2242
K. Mineshima, P. Martínez-Gómez, Y. Miyao, D. Bekki, Higher-order logical inference with compositional semantics, in Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing (2015), pp. 2055–2061
J.R. Hobbs, Ontological promiscuity, in 23rd Annual Meeting of the Association for Computational Linguistics, pp. 60–69 (1985)
F. Landman, The progressive. Nat. Language Semantics 1(1), 1–32 (1992)
The Coq Development Team: The Coq Proof Assistant: Reference Manual: Version 8.9.0. INRIA (2019)
D. Delahaye, A tactic language for the system coq, in International Conference on Logic for Programming Artificial Intelligence and Reasoning. pp. 85–95 (2000)
O. Tange, Gnu parallel 20211022 (’sinclair’). Zenodo (2021), https://doi.org/10.5281/zenodo.5593566
Acknowledgements
This work was partially supported by the Japan Science and Technology Agency (JST) CREST Grant Number JPMJCR20D2.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Onishi, M., Ogata, S., Okano, K., Bekki, D. (2023). A Method for Matching Patterns Based on Event Semantics with Requirements. In: Virvou, M., Saruwatari, T., Jain, L.C. (eds) Knowledge-Based Software Engineering: 2022. JCKBSE 2022. Learning and Analytics in Intelligent Systems, vol 30. Springer, Cham. https://doi.org/10.1007/978-3-031-17583-1_14
Download citation
DOI: https://doi.org/10.1007/978-3-031-17583-1_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-17582-4
Online ISBN: 978-3-031-17583-1
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)