酷仓宝早些年就有关PAAS（PAAS是Platform-as-a-Service的缩写，意思是平台即服务。）方面做了深入分析，计划在未来将酷仓宝SaaS WMS建设成PAAS WMS.接下来酷仓宝将从逻辑角度讨论PAAS WMS在建设中的一些问题。          

      一、编程语言的发展

首先从编程语言发展基本分为三个阶段。第一阶段是面向过程，面向计算的。这一阶段主要特征是结构化的设计。这对人类思维是个挑战，是反人类的。第二阶段是面向对象，这一阶段从逻辑学的来讲名称、关系、分类方面都有所完善。第三阶段，智能编程这一阶段需要设计；实现业务谓词、实现关系表达、实现语义编程让智能编程更接近自然语言表达，这也正是PAAS平台建设的核心理念。以WMS PAAS系统开发时间为例，用正常方式开发一个WMS系统需要20多人两年左右才能上线。而如果用PAAS平台建设，只需要几个定义产品和交互人员就可完成此系统。WMS PAAS系统研发业务功能不需要掌握复杂的计算机编程，理解上可以参考Scratch编程，架构、部署、运营、基础的IAAS（基础设施即服务提供给消费者的服务是对所有计算基础设施的利用）层、中间件PAAS层等问题交给专业的人来做，时间和成本上可大大减少。

     二、从关系、名称的抽象、谓词、表达等逻辑角度设计PAAS系统

     1．关系逻辑

在WMS仓储管理系统中有几种比较重要的关系：从属关系、分类关系、变换关系、关联关系。

从属关系：一般也分为两种一种是属性的从属关系，另一种是对象的从属关系。例如权限设计涉及到商品、商品属性与人员的关系，商品的哪些属性是属于人员，都需要能够自由的定义。

变换关系： 是实现谓词的主要形式，谓词本身是一个动作或形容词，动作是要求有状态改变的或者对象演化，我们在讨论一个对象的变化的时候，讨论的范围还是基于属性的变化。例如一个物体，给他一个力，就会导致他的运动属性发生了变化。

分类关系：这种关系比较常见，最典型的的就是类与内涵名称内部之间的关系,关联关系比较基础就不展开讨论了。

     2、名称抽象逻辑

以WMS为例，我们需要定义很多的内涵名称与非内涵名称。这些名称可以抽象为一些大类，如空间类、单据类等等。像WMS里面的托盘、库位、容器都属于空间类，在系统里定义了一个空间，如托盘可以跟商品有从属关系，自身具有库存管理等属性。另一大类那就是单据类；如销售单、出库单、出库箱、发货单等，他们的属性是可以自定义的，可以定义变换关系与一定的谓词相连，可以定义从属关系与权限相连。

 

      3、谓词逻辑

谓词最终表现为关系。在WMS仓库管理系统中以审核为例，审核这个谓词，需要定义出库商品单个与出库箱之间的变换关系，并且与一定的触发对象相连。触发方式是按钮也好，自动化设备也好，只要能够有目的因其存在的对象即可。以展示动词为例，展示动词本身需要确定的是变换关系。要展示销售单，就要把销售单列表对象变换关系、变换逻辑定义好。其他像上架、下架等操作会涉及到更多的变换关系、变换逻辑。