Learn More
—On the premise of meeting functional requirements, the performance of web service composition is key to customers. Therefore, performance modeling of web service composition has been an important research direction of reengineering. Time coloured Petri net (TCPN) can not only establish a simulation model for system behaviour, but also extract or collect(More)
According to the engineering theory analysis of the acupuncture manipulation, the paper puts forward the principle and method of the acupuncture manipulation based on the motion control, develops the acupuncture manipulation instrument on this foundation, provides a valid approach to the retrieval of experts acupuncture manipulation, and carries out the(More)
Acupuncture relies on the use of fine needles being inserted into specific points with varying amounts of manual or external stimulation. The gate control theory states that acupuncture closes the gate to pain and blocks pain perception in the brain via stimulation of large nerve fibers. The particular research develops a mechanical manipulation of(More)
Currently,modeling for software is mostly semiformal, such as UML(Unified Modeling Language).The main problem is difficult to analyze semantics and verify correctness for a vital system.CPN(Colored Petri Net)as modeling and verification method provides formal semantics and a number of analysis techniques and tools.This paper presents an approach of formal(More)
  • 1