|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000089132 |
| 005 |
20200723093000.0 |
| 008 |
151206s2015 my eng |
| 040 |
|
|
|a UniSZA
|e rda
|
| 050 |
0 |
0 |
|a Z711.45
|b .Z35 2015
|
| 090 |
0 |
0 |
|a Z711.45
|b .Z35 2015
|
| 100 |
0 |
|
|a Zainab Magaji Musa ,
|e author
|
| 245 |
0 |
0 |
|a Digital reference service model of web services application for library information system using formal specification
|c Zainab Magaji Musa
|
| 264 |
|
0 |
|c 2015
|
| 300 |
|
|
|a xv, 192 leaves :
|b ill. (some col.) ;
|c 30 cm.
|
| 336 |
|
|
|a text
|2 rdacontent
|
| 337 |
|
|
|a unmediated
|2 rdamedia
|
| 338 |
|
|
|a volume
|2 rdacarrier
|
| 502 |
|
|
|a Thesis (Master of Science) - Universiti Sultan Zainal Abidin, 2015
|
| 505 |
0 |
|
|a 1. Introduction -- 2. Literature review -- 3. Research methodology -- 4. The proposed digital reference service model -- 5. Verification and validation of the Z specifications -- 6. Conclusion
|
| 520 |
|
|
|a Library information system (LIS) is a large and important system that comprises of many components .Digital reference service (DRS) is a module in LIS that provide facility for user to request help from a librarian. The librarian also responds to the request by using the DRS module. In most cases users do not get satisfied while using digital reference service due to delay of response, or no response or due to librarian giving an irrelevant solution to the problem submitted by the user. Since web services applications allow communication and interoperability between different devices, then, the researchers used their technology to propose a model for DRS of LIS. At the first stage, the DRS application model is developed using a combination of three different existing models. They are: Han and Goulding library reference service model, Web services framework and Question/answer transaction protocol model (QATP) Model. The second stage involved a conventional approach where the model?s informal specifications were constructed based on natural language. In the third stage, in order to prevent the problem of ambiguity faced with natural language, the informal specifications were converted into formal specifications. The formal specifications are developed using Z language. Z specifications can be rigorously verified and validated leading to early detection of errors and hence reduction in development time and cost. The correctness, consistency and unambiguity of the developed Z specifications were proved with Z/EVES theorem prover tool. The proposed DRS model offers both synchronous and asynchronous service. It solved the problem associated with the previous DRS models which only offers asynchronous service to the library users. Furthermore, the new model also provides for platform independence and can be accessed easily through internet. The proposed model is suitable to be adapted by both large and small libraries as web services technology is effortless to be incorporated in the existing infrastructure.
|
| 610 |
2 |
0 |
|a Universiti Sultan Zainal Abidin
|x Dissertations
|
| 610 |
2 |
0 |
|a Universiti Sultan Zainal Abidin
|x Faculty of Informatics and Computing
|v Dissertations
|
| 650 |
|
0 |
|a Academic libraries
|x Reference services
|z Malaysia
|x Automation
|
| 650 |
|
0 |
|a Electronic reference services (Libraries)
|
| 650 |
|
0 |
|a Electronic reference services (Libraries)
|z Malaysia
|
| 655 |
|
0 |
|a Dissertations, Academic
|
| 710 |
2 |
|
|a Universiti Sultan Zainal Abidin .
|b Faculty of Informatics and Computing
|
| 999 |
|
|
|a 1000165454
|b Thesis
|c Reference
|e Tembila Campus
|