基于MIT App Inventor的预付费水表手机充值系统设计

提出一种基于蓝牙通信的预付费水表手机充值系统,解决了代码式预付费水表代码输入不便,对安装空间及位置要求较高等问题。重点对通信地址输入及保存、预付费代码输入、CS检验码计算、查询数据转换及显示等基于MIT App Inventor的手机App程序设计进行了分析介绍。

基于配置约束的手机充值系统优化分析

业务流程的优化是业务流程管理的核心内容之一,由于用户需求的复杂多变,采用已有方法难以对存在行为约束的模型进行优化,因此结合实际业务流程执行时的具体情况找到约束,通过添加配置信息进行优化。文章给出了手机充值流程源模型,列出对该模型的所有行为约束条件,通过添加相应的阻塞变迁和隐藏变迁对该模型进行优化。得出基于配置约束的手机充值系统优化分析方法并结合实例验证了其有效性。