Page 296 - 《软件学报》2025年第10期

李靓果 等: 结合大语言模型和领域知识库的证券规则规约方法 4693

[23] Shenzhen Stock Exchange. Trading rules of Shenzhen Stock Exchange (Revised in 2023). 2023 (in Chinese). https://docs.static.szse.cn/
www/lawrules/rule/stock/trade/W020230217564423808793.pdf
[24] Shenzhen Stock Exchange. Detailed rules for the trading, subscription, and redemption of securities investment funds at Shenzhen Stock
Exchange (Revised in 2022). 2022 (in Chinese). https://docs.static.szse.cn/www/lawrules/rule/fund/trade/W020220610536157903323.pdf
[25] Shanghai Stock Exchange. Shanghai stock exchange Bond trading rules. 2022 (in Chinese). https://bond.sse.com.cn/lawrule/sserules/
trading/a/20220527/377bbbcd6fc1f3f5a7afabcb671335da.docx
[26] Du ZX, Qian YJ, Liu X, Ding M, Qiu JZ, Yang ZL, Tang J. GLM: General language model pretraining with autoregressive blank
infilling. In: Proc. of the 60th Annual Meeting of the Association for Computational Linguistics, Vol. 1 (Long Papers). Dublin: ACL,
2022. 320–335. [doi: 10.18653/v1/2022.acl-long.26]
[27] Touvron H, Martin L, Stone K, et al. Llama 2: Open foundation and fine-tuned chat models. arXiv:2307.09288, 2023.
[28] Hu EJ, Shen YL, Wallis P, Allen-Zhu Z, Li YZ, Wang SA, Wang L, Chen WZ. LoRA: Low-rank adaptation of large language models. In:
Proc. of the 10th Int’l Conf. on Learning Representations. 2022.
[29] New York Stock Exchange. NYSE Rules. 2024. https://nyseguide.srorules.com/rules
[30] Japan Exchange Group. Tokyo stock exchange business regulations and related rules (as of January 4, 2024). 2024. https://www.jpx.co.jp/
english/rules-participants/rules/regulations/index.html
[31] Hong Kong Exchanges and Clearing Limited. Rules of the exchange. 2024. https://www.hkex.com.hk/-/media/HKEX-Market/Services/
Rules-and-Forms-and-Fees/Rules/SEHK/Whole_SEHK_c.pdf
[32] Davis A, Overmyer S, Jordan K, Caruso J, Dandashi F, Dinh A, Kincaid G, Ledeboer G, Reynolds P, Sitaram P, Ta A, Theofanos M.
Identifying and measuring quality in a software requirements specification. In: Proc. of the 1st Int’l Software Metrics Symp. Baltimore:
IEEE, 1993. 141–152. [doi: 10.1109/METRIC.1993.263792]
[33] Young JD, Antón AI. A method for identifying software requirements based on policy commitments. In: Proc. of the 18th IEEE Int’l
Requirements Engineering Conf. Sydney: IEEE, 2010. 47–56. [doi: 10.1109/RE.2010.17]
[34] Breaux TD, Antón AI. Analyzing regulatory rules for privacy and security requirements. IEEE Trans. on Software Engineering, 2008,
34(1): 5–20. [doi: 10.1109/TSE.2007.70746]
[35] Jain C, Anish PR, Ghaisas S. Automated identification of security and privacy requirements from software engineering contracts. In:
Proc. of the 31st IEEE Int’l Requirements Engineering Conf. Workshops. Hannover: IEEE, 2023. 234–238. [doi: 10.1109/REW57809.
2023.00047]
[36] Arora C, Grundy J, Abdelrazek M. Advancing requirements engineering through generative AI: Assessing the role of LLMs. In: Nguyen-
Duc A, Abrahamsson P, Khomh F, eds. Generative AI for Effective Software Development. Cham: Springer, 2024. 129–148. [doi: 10.
1007/978-3-031-55642-5_6]
[37] Lafi M, AbdelQader A. Automated business rules classification using machine learning to enhance software requirements elicitation. In:
Proc. of the 2023 Int’l Conf. on Information Technology. Amman: IEEE, 2023. 775–778. [doi: 10.1109/ICIT58056.2023.10226076]
[38] Herbst H, Knolmayer G, Myrach T, Schlesinger M. The specification of business rules: A comparison of selected methodologies. In:
Proc. of the 1994 IFIP WG8.1 Working Conf. on Methods and Associated Tools for the Information Systems Life Cycle. Amsterdam:
Elsevier, 1994. 29–46.
[39] Warmer J, Kleppe A. The Object Constraint Language: Getting Your Models Ready for MDA. 2nd ed., Boston: Addison-Wesley, 2003.
1–240.
[40] Jensen SH, Thummalapenta S, Sinha S, Chandra S. Test generation from business rules. In: Proc. of the 8th Int’l Conf. on Software
Testing, Verification and Validation. Graz: IEEE, 2015. 1–10. [doi: 10.1109/ICST.2015.7102608]
[41] Nemuraite L, Skersys T, Sukys A, Sinkevicius E, Ablonskis L. VETIS tool for editing and transforming SBVR business vocabularies and
business rules into UML&OCL models. In: Proc. of the 16th Int’l Conf. on Information and Software Technologies. Kaunas: Springer,
2010. 377–384.
[42] Object Management Group. Semantics of business vocabulary and rules (SBVR). 2024. https://www.omg.org/spec/SBVR/1.5/PDF
[43] Grosof BN, Labrou Y, Chan HY. A declarative approach to business rules in contracts: Courteous logic programs in XML. In: Proc. of
the 1st ACM Conf. on Electronic Commerce. Denver: ACM, 1999. 68–77. [doi: 10.1145/336992.337010]
[44] Bajwa IS, Lee MG, Bordbar B. SBVR business rules generation from natural language specification. In: Proc. of the 2011 AAAI Spring
Symp. San Francisco: AAAI, 2011. 2–8.
[45] Chittimalli PK, Prakash C, Naik R, Bhattacharyya A. An approach to mine SBVR vocabularies and rules from business documents. In:
Proc. of the 13th Innovations in Software Engineering Conf. Jabalpur: ACM, 2020. 12. [doi: 10.1145/3385032.3385046]
[46] Holter OM, Ell B. Reading between the lines: Information extraction from industry requirements. In: Proc. of the 14th Int’l Conf. on
Recent Advances in Natural Language Processing. Varna: INCOMA Ltd., 2023. 703–711.
[47] Zhang RX, Yang W, Lin LY, Tu ZK, Xie YQ, Fu ZH, Xie YH, Tan LC, Xiong K, Lin J. Rapid adaptation of BERT for information