Bakri, Siti Halimah and Harun, Hanis and Alzoubi, Amera and Ibrahim, Rosziati (2013) The formal specification for the inventory system using Z language. In: 4th International Conference on Computing and Informatics (ICOCI 2013), 28 -30 August 2013, Kuching, Sarawak, Malaysia.

PDF Restricted to Registered users only Download (439kB) | Request a copy

Abstract

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.

Item Type:	Conference or Workshop Item (Paper)
Additional Information:	ISBN: 9789832078791 Organized by: Universiti Utara Malaysia
Uncontrolled Keywords:	formal method, formal specification, Z language, inventory system, UML diagram
Subjects:	Q Science > QA Mathematics > QA76 Computer software
Divisions:	College of Arts and Sciences
Depositing User:	Mrs. Norazmilah Yaakub
Date Deposited:	26 Aug 2014 02:13
Last Modified:	26 Aug 2014 02:13
URI:	https://repo.uum.edu.my/id/eprint/12053

Actions (login required)

View Item