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

News & Events

Tuesday, January 17, 2017
Recruitment of Reviewers. Reviewers name and affiliation will be listed on the journals webpage.
Wednesday, March 06, 2019
IRBAS Volume 6, Issue 12 has been published.
Wednesday, March 06, 2019
IRBAS Volume 7 Issue 1 will publish in March 2019.

IRBAS Citation Report

  All Since 2019
 Citation  65 07
 h-index 04 01
 i10-index 03 01

Hit Counter

Total 425970
Today's 13
Yesterday's 98

 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-18. All Rights Reserved.