梁平
- 作品数：3 被引量：2H指数：1
- 供职机构：西南民族大学计算机科学与技术学院更多>>
- 发文基金：四川省应用基础研究计划项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 周期性可定实时并行进程的进化代数分析
- 2006年
- 对应用进化代数(EA),即目前的抽象状态机(AbstractStateMachine–ASM),描述可定时实时并行进程进行了研究,进化代数采用第一顺序逻辑(First-OrderLogic)定义或解释计算机问题,描述不同的抽象等级并且逻辑地描述计算机算法,因此非常适合描述并行进程复杂的运行过程,并逻辑地精确推导进程调度。
- 梁平
- 动态绑定实现自动服务编排被引量：1
- 2011年
- 在面对服务架构中,业务逻辑由各种服务组件组合完成,不同服务组件完成不同业务流程的业务逻辑。面对不断变化和发展的商业环境,服务的组合性需要具有灵活性和可靠性。虽然目前已有多种方法能够优化和改善面对服务系统,但是针对服务编排自动化的应用和研究较少,这主要归因于复杂的业务逻辑和繁琐的服务编排工具。介绍一种采用一阶内涵逻辑语言(FOIL)为业务流程建立其业务逻辑的FOIL公式,通过计算FOIL公式,自动生成WS-BPEL结构以动态绑定已有的服务组件,最终完成自动服务编排。Tarski的真值理论证明这种方法具有实际应用价值。
- 梁平杨宪泽
- 关键词：动态绑定FOILWS-BPEL
- 基于无线数据传输的餐饮管理信息系统的设计与实现被引量：1
- 2008年
- 本文简要分析了目前餐饮管理信息系统的现状和不足,提出采用C/S模式的无线数据传输技术进行改进,论述了基于无线数据传输的餐饮管理信息系统的设计思想及系统的功能结构,并提出了完整的解决方案及程序实例,最后指出了系统的特点.
- 李建阳梁平黄磊
- 关键词：餐饮无线数据传输信息系统C/S模式
