Formal Specification of Web Services Applications for Digital Reference Services of Library Information System

Authors: Zainab M. Musa, Nordin M. A. Rahman, Julaily A. Jusoh

Abstract:

Digital reference service is when a traditional library reference service is provided electronically. In most cases users do not get full satisfaction from using digital reference service due to variety of reasons. This paper discusses the formal specification of web services applications for digital reference services (WSDRS). WSDRS is an informal model that claims to reduce the problems of digital reference services in libraries. It uses web services technology to provide efficient digital way of satisfying users’ need in the reference section of libraries. Informal model is in natural language which is inconsistent and ambiguous that may cause difficulties to the developers of the system. In order to solve this problem we decided to convert the informal specifications into formal specifications. This is supposed to reduce the overall development time and cost. We use Z language to develop the formal model and verify it with Z/EVES theorem prover tool.

Keywords: Formal, specifications, web services, digital reference services.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1109267

References:

[1] Lee R. Y., 2013. “Introduction to Software Engineering” in Software Engineering: A Hands-On Approach. pp 3 – 4.
[2] Lamsweerde, A. V., 2000. “Formal Specification: A Road Map.” in ACM 2000 article. pp 223-234. citeseerx.ist.PSV,ed/viewdoc/summary?doi=10.1.1.35.4492/accessed on 17/05/2014.
[3] Somerville, I., 2009. “Formal Specification” in Software Engineering, 9th edition. Ch27.
[4] NASA, 1995. “Formal Methods Specification and Verification Guide Book for Software and Computer Systems. Volume: Planning and Technology Insertion”.
[5] Spivey J. M. (1998). “Tutorial Introduction” in The Z Notation: A Reference Manual. pp 1-17
[6] Nordin S. K., Kassim N. A. and Baharaddin K., 2012. “Evaluating Digital Reference Service in University Libraries”. In IEEE Symposium on Business, Engineering and Industrial Applications. 202-206.
[7] Man M., Jusoh J.A., Rahim M.S.M. and Zakaria M.Z., 2010. “Formal Specification for Spatial Information Databases Integration Framework (SIDIF)”. In Telkomnika. 9:81–88.
[8] Jusoh J.A., Saman M.Y.M. and Man M., 2011.” Formal Validation of DNA Database Using Theorem Proving Technique”. In International Journal of the Computer, the Internet and Management. 19:74 – 78.
[9] Saaltink M. (1999). “Proving Theorems” in The Z/EVES 2.0 User’s Guide Ch. 5.
[10] Musa Z. M., Rahman N. M. A and Jusoh J. A., 2014. “Digital Reference Services: Overview, Design and Specifications”. To be published in journal of theoretical and applied information technology Vol 80 October 2015