About Academy  |  About IRBAS  |    Contact Us                                                                                                                                  ISSN (Online) : 2308-7056

International Review of Basic
and Applied Sciences (IRBAS)

Home     Editorial Board     Current Issue     Archive     Indexing      Call for papers     Authors Guideline      Manuscript Submission      Contact

News & Events

Thursday, September 10, 2020
IRBAS Volume 8 Issue 4 will publish in October 2020.
Thursday, September 10, 2020
IRBAS Volume 8, Issue 3 has been published.
Thursday, September 10, 2020
IRBAS Published on Quarterly basis from Volume 8.
Tuesday, January 17, 2017
Recruitment of Reviewers. Reviewers name and affiliation will be listed on the IRBAS journals webpage.

IRBAS Citation Report

  All Since 2020
 Citation  117 16
 h-index 06 01
 i10-index 03 01

Hit Counter

Total 476011
Today's 92
Yesterday's 68

 Country Wise Counter

Academy Publication Ethics

Academy of IRMBR Volume  5, April, 2017
Move your mouse curser on the title to view the abstract of the paper
S.No. Title Authors Pages Download

Formal Specification and Verification of Web Semantic Design Methodology (WSDM)

Current web based technologies are not good and accurate for the purpose of finding correct data from the web resources. They also failed to extract the required data. Data representation, data interpretation and data maintenance are the main issues of current web technologies. These problems can be reduced by using semantic web vision by giving contents well-defined meaning via ontologies to enable them machine-understandable. Web portals provide forums to read, write and exchange change data over the web to a group of people having shared interests. The existing web portals have been developed using current web technologies. As a result there are a number of issues for data interchange between users. To overcome these limitations, Semantic Web technologies have been developed and being used. In this paper, a new approach based on formal methods to develop web portals has been proposed. Formal methods are the techniques based on mathematical logic and have been used for the specification, design and analysis of software systems. WSDM, Web Semantic Design Method has been used as a basis for this paper. The core components such a Mission Statement, Audience Classification, Audience characterization, Task Modeling and Information Modeling has been formalized in Z, a formal specification and modeling language. The resulting models have been verified by using Z/EVES theorem prover. Keywords: Semantic web, WSDM, Ontology, Formal Methods, Z notation, Z/EVES, Verification.

Copyright © www.academyirmbr.com : 2012-21. All Rights Reserved.