DOIONLINE 
DOIONLINE Publish In |
International Journal of Industrial Electronics and Electrical Engineering (IJIEEE)-IJIEEE |
 Journal Home Volume Issue |
||||||||
Issue |
Volume-9,Issue-2 ( Feb, 2021 ) | |||||||||
Paper Title |
System Requirements Specification – Consistency Analyzingq | |||||||||
Author Name |
Ahmed Elajeli Rgibi, May Thwe Oo | |||||||||
Affilition |
Sabratha University- Faculty of Engineering, Computer Engineering Department Myanmar Aerospace Engineering University Department of Avionics | |||||||||
Pages |
20-23 | |||||||||
Abstract |
Clarity, consistency and completeness are very important specifications in a system .Such specification provide the user with factual information about the system. These specifications are presented as a document, a diagram or mathematical forms. In this paper Petri Net is proposed in order to formalize UML semantics .This approach offers a comprehensive methodology in regard to consistency. Thus, meeting software demands and fulfilling the client's needs. In this regard, the system requirement specification document is translated to UML, and then UML is mapped to Petri Nets. Finally, Platform Independent Petri net(PIPE) and Behavioral Consistency Checker (BCC) analysis tools are used to analyze the UML and Petri Net model to verify inconsistency problems. Keywords - Requirements Specification, modeling, UML, Petri Net, Consistency. | |||||||||
| View Paper | ||||||||||
