Formal Specification of Web Services Applications for Digital Reference Services of Library Information System
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.
[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
[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
@article{"International Journal of Information, Control and Computer Sciences:71082", author = "Zainab M. Musa and Nordin M. A. Rahman and Julaily A. Jusoh", title = "Formal Specification of Web Services Applications for Digital Reference Services of Library Information System", 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.", volume = "9", number = "8", pages = "1976-8", }