s

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, April 04, 2018
IRBAS Volume 6, Issue 9 has been published.
  
Wednesday, April 04, 2018
IRBAS Volume 6 Issue 10 will publish in November 2018.
  

IRBAS Citation Report

  All Since 2018
 Citation  48 07
 h-index 04 01
 i10-index 01 01

Hit Counter

Total 362268
Today's 176
Yesterday's 271

 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 Download(172)

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