简介:为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机(WCFA)对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机(NWA)对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机(NWA)的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性(SAT)求解工具对这些断言进行验证.
简介:在分析物流服务供应链和绿色供应链结构模型的基础上,从生态和环保角度构建绿色物流服务供应链的结构模型.认为绿色物流服务供应链由生产、消费、回收、环境和社会五个系统组成,涵盖物流服务的采购、生产、营销、消费、回收等环节.供应链中所有节点企业可以实现对整个链条中的物流、资金流、信息流和知识流的处理和共享.因此,绿色物流服务供应链的有效运作,必须加强相关法律法规建设,发挥政府政策的引导作用;发挥物流服务集成商的主导作用,有效整合链条优势资源以及强化供应链节点企业的内部管理.
简介:图书馆作为文化事业的组成部分属于上层建筑.以经济为基础,其变化、发展直接受经济条件的影响、制约。转型与发展是当前我国经济建设研究的热点话题,目的在于把握宏观经济形势,实行微观搞活,图书馆事业同样具有转型与发展问题,需要充分认识自己,理清办馆思想,才可能在国家经济体制转变时期求生存,争发展。高校图书馆作为高等教育的一个重要组成部分.其转型主要包括图书馆的体制转变和办馆思想观念的转变;其发展也应着重于自身职能的延伸、工作内容的充实、工作质量与效益的提高。因此,笔者认为,提出高校图书馆应为成人高等教育服务,是确立高校图书馆可持续发展的一个战略目标,是缩小我国图书事业与发达国家及新兴发展中国家差距的一个举措。