Huawei Zhai

Publications (3)0 Total impact

• Source

  Available from: mirlabs.info

  Conference Proceeding: A Bigraph Model for Multi-route Choice in Urban Rail Transit

  Huawei Zhai, Weishi Zhang, Licheng Cui, Hongbo Liu, A. Abraham
  [show abstract] [hide abstract]
  ABSTRACT: The conventional methods to solve the multi-route choice problems in transportation domain usually focus on the feelings and behaviors of human beings, which lead the conclusion of conjectured not to be reasonable, such as fare clearing or passenger flow data forecast and distribution. In the modern urban rail transit network, modern operation pattern with the technology of internet of things in the ubiquitous computing environment supplies sufficient travel information of the passenger, with which we proposed a novel method to model multi-route choice problem by using bigraphical theories and offered an algorithm framework, which can be used to analyze the model in a quantitative way.
  Communication Systems and Network Technologies (CSNT), 2011 International Conference on; 07/2011
• Conference Proceeding: Research on Behavior Adaptation of Software Component

  Jinyu Shi, Xiong Xie, Weishi Zhang, Xiuguo Zhang, Zhiying Cao, Huawei Zhai
  [show abstract] [hide abstract]
  ABSTRACT: Behavior adaptation of Software component is a crucial problem in component-based software engineering. A general approach is proposed to solve the behavior mismatch. Firstly, the synchronous vector between component behaviors according to the abstract specification of component behavior is calculated, and the specification of the adaptor is given. Then, in order to detect automatically deadlock mismatch, the synchronous product of Symbolic Transition Systems, which are the abstract specification of component behavior, is computed. The behavior of adaptor can be automatically calculated according to the synchronous vector. The adaptor can make component interaction correct. Finally, an example is presented to illustrate the proposed approach.
  Parallel Architectures, Algorithms and Programming (PAAP), 2010 Third International Symposium on; 01/2011
• Article: Specification and Verification of Safe Web Service Behavior Adaptation

  Xiong Xie, Weishi Zhang, Huawei Zhai, Licheng Cui, Jinyu Shi
  [show abstract] [hide abstract]
  ABSTRACT: Behavior adaptation of Web service uses an adaptor to coordinate the interaction of Web services and solves behavior mismatch. An automatic and safe approach of Web service behavior adaptation is proposed. Firstly, the model and framework of Web service behavior adaptation is given. Then, the formal specification of service behavior and the definition of adaptor are given. The safety of service behavior adaptation is verified. The checking approach of behavior mismatch and the calculating approach of adaptor behavior are specified formally. At last, a case is studied to verify the validity of the approach proposed in this paper.
  Parallel Architectures, Algorithms and Programming, International Symposium on.