The formal specification for the inventory system using Z language
Formal methods use mathematical notations to precisely express requirements specification. The formal specification removes ambiguity which is inherently present in natural language specification.Formal specification also addresses the software reliability. In this paper, we present the formal speci...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://repo.uum.edu.my/12053/1/PID64.pdf http://repo.uum.edu.my/12053/ http://www.icoci.cms.net.my/proceedings/2013/TOC.html |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | Formal methods use mathematical notations to precisely express requirements specification. The formal specification removes ambiguity which is inherently present in natural language specification.Formal specification also addresses the software reliability. In this paper, we present the formal specification for the inventory system by using Z language.Based from the scenario of the inventory system, we present the Unified Modeling Language (UML) specification by means of use case diagram and class diagram.We then present the Z schema based from the UML specification. We also show the consistency between UML specification and
Z schema for this inventory system.The Z schema can effectively improve system reliability and reduce defect in developing the system. |
|---|