Asian Science Citation Index is committed to provide an authoritative, trusted and significant information by the coverage of the most important and influential journals to meet the needs of the global scientific community.  
ASCI Database
308-Lasani Town,
Sargodha Road,
Faisalabad, Pakistan
Fax: +92-41-8815544
Contact Via Web
Suggest a Journal
Information Technology Journal
Year: 2012  |  Volume: 11  |  Issue: 3  |  Page No.: 301 - 306

Ontology Based Semantics Checking for UML Activity Model

Zhixue Wang, Hongyue He, Li Chen and Ying Zhang    

Abstract: UML activity model is mainly used to model the behaviors of software system and the quality of activity model will influence the quality of software system. But because the UML activity model lacks strictly formal semantics, it is difficult to make formal semantics analysis and checking for activity model. An ontology based method of semantics checking for activity model is proposed. The semantics of activity model is divided into static semantics and dynamic semantics. The static semantics is transformed into OWL DL by an algorithm, and the dynamic semantics is described by DL-Safe rules. Then the consistency of UML activity model is analyzed and some model checking rules are defined, which enables model consistency checking by using an ontology reasoning tool.

Cited References   |    Fulltext    |   Related Articles   |   Back
   
 
 
 
  Related Articles

 
 
 
 
 
 
 
 
 
Copyright   |   Desclaimer   |    Privacy Policy   |   Browsers   |   Accessibility