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
 
Articles by Zhixue Wang
Total Records ( 2 ) for Zhixue Wang
  Zhixue Wang , Hongyue He , Li Chen and Ying Zhang
  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.
  Tingting Zhang , Zhixue Wang , Song Huang , Liping Rao and Wenjuan Xie
  In order to simplify and optimize the complicated operational activity model OV-5 during the design process of architecture framework, this thesis put forward a model analysis and optimization method of operational activities based on the Colored Petri Net. First, the OV-5 model will be hierarchically decomposed according to the different business domains. Then, transform the operational activity model to the Colored Petri Net model and finally simplify the Petri net model according to different requirements. Though the performance of the Petri model, one can testify the effectiveness of the model simplification to realized the optimization of the operational activity model. After, the thesis testifies the model through the analysis of a case.
 
 
 
Copyright   |   Desclaimer   |    Privacy Policy   |   Browsers   |   Accessibility