s

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

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

Tuesday, April 01, 2025
IRBAS Volume 13, Issue 2 has been published.
  
Tuesday, April 01, 2025
IRBAS Volume 13, Issue 3, Quarter III of 2025 will publish in Jul-Aug 2025.
  
Monday, October 16, 2023
IRBAS is now HEC Recognized for the year 2023-2024
  
Saturday, December 03, 2022
IRBAS is now HEC Recognized in Category Y from 1st July 2022 till 30th June 2023.
  
Friday, August 06, 2021
IRBAS is now HEC Recognized in Category Y from 1st July 2021 till 30th June 2022.
  
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 2025
 Citation  308 18
 h-index 10 01
 i10-index 11 01

Hit Counter

Total
Today's
Yesterday's

 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
1

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.
NAZIR AHMAD, ZIA-UR-REHMAN, MUHAMMAD TAHIR MUMTAZ, MUHAMMAD SAJJAD and GHULAM ALI 41-53 Details (424)

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