从概念的角度分析了活动图并非结构的不足，系统地研究了时序模糊状态下的语音描述，以工作流的循环模式鉴别器作为实例，提出了活动图与形式化规范相结合的解决方法。最后结合抽象状态自动机ASM作为语义补充构造了鉴别器的活动图模型，从分支、合并、事件捕获等方面定义了详尽的规则，提高了模型的正确性、可验证性和一致性。-The insufficient of concurrent structure of activity diagram is analyzed in concept level,and the

jBPM，全称是Java Business Process Management，是一种基于J2EE的轻量级工作流管理系统。jBPM是公开源代码项目，它使用要遵循 Apache License。-Java Business Process Management

FM01BTS、 FM01BTD 是一款低功耗并具有高性能的电源管理 IC，主要针对锂电池充电器而设计，与简单低成 本的 RCC 电路相比省去碳膜电阻一个、绦纶电容一个、 IN4148 二极管一个、 SS8050 三极管一个、稳压管一个， 最大程度的节约了系统成本,除了为用户提供高性价比的 AC/DC 电源系统应用以外，而且 IC 内部高度集成了欠压 锁定，过压保护，过温保护，限流保护，开短路保护等功能，使得 IC 的工作寿命大大延长。-CURRENT MODE PWM CONTRO