Formal Specification for Online Food Ordering System using Z language

被引：3
作者：
Saratha, P. [1 ]
Uma, G. V. [2 ]
Santhosh, B. [1 ]
机构：
[1] Anna Univ, Coll Engn, Dept Informat Sci & Technol, Guindy, India
[2] Anna Univ, Controller Examinat, Dept Informat Sci & Technol, Guindy, India
来源：
2017 SECOND INTERNATIONAL CONFERENCE ON RECENT TRENDS AND CHALLENGES IN COMPUTATIONAL MODELS (ICRTCCM) | 2017年
关键词：
Formal Specification; Formal Method; Z notation; UML; Food Ordering System; Z/EVES tool;
D O I：
10.1109/ICRTCCM.2017.59
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Natural Language Processing (NLP) directed to ambiguous representation for software requirements. Ambiguity at different levels creates different representation and meaning. This paper reduces the issues of ambiguity levels for the Software Requirements Specification (SRS) using formal methods. The end result shows the effectiveness in specifications through Z language. The Z specification is created for the commercial application of online food ordering system to improve the order details accuracy and efficiency. The stakeholder needs for food ordering system are gathered from the project goal. The system is designed using Unified Modeling Language (UML) illustration of use case diagram. The specification is created for the system behavior to remove the ambiguity. Along with this, Z/EVES tool is used for the evaluation of Z specifications for the demonstration.
引用
收藏
页码：343 / 348
页数：6
相关论文
共 8 条
[1]  
Bakri Siti Halimah, 2013, P 4 INT C COMP INF I
[2]  
Dunne P., 2013, RES J APPL SCI ENG T, V5, P4664, DOI 10.19026/rjaset.5.4298
[3]  
Hall A., 2002, FME 2002: Formal Methods-Getting IT Right. International Symposium of Formal Methods Europe (Lecture Notes in Computer Science Volume 2391), P224
[4]  
Kaur A., 2012, INT J ENG RES TECHNO, V1
[5]  
Noaman Mustafa M., RES B JORDAN ACM, VII, P127
[6]  
Spivey J. M., 1989, SOFTWARE ENG J
[7]   FORMAL SPECIFICATION OF AN ACCESS-CONTROL SYSTEM [J].
STEPNEY, S ;
LORD, SP .
SOFTWARE-PRACTICE & EXPERIENCE, 1987, 17 (09) :575-593
[8]  
ZAFAR NA, 2009, SOFTWARE, V3, P312
1