摘要：服务协同环境是以服务协同中间件为底层平台,面向企业级BPM、EAI和B2B应用的软件环境。文章基于进程代数方法研究了服务协同环境中服务基本活动建模、控制模式建模和业务过程的建模等问题。提出一种从用户设计界面有向图到服务过程表达式的生成算法。同时,文中还研究了如何用μ演算描述流程性质,并使用验证工具研究了流程正确性验证问题。

摘要：在分析符合JBI规范的集中式ESB局限性的基础上,提出分布式企业服务总线的设计方案。分布式ESB实现了总线负载均衡,克服了集中式架构存在的单点故障和性能瓶颈问题,并且支持消息持久性传输。原型系统的试验表明该设计方案应用效果良好。

摘要：从系统的角度研究了一种基于ESB的BPM平台NpuESB的设计与实现。在设计符合JBI规范的分布式企业服务总线技术的基础上,提出一种分层体系结构的BPM平台设计方案。研究了设计与实现过程中的关键技术,提出了基于Pi演算的BPM环境中的流程建模方法和分布式ESB的设计方案。通过引入中央服务器实现了ESB环境和流程的集中管理,实现了可视化的流程和ESB管理工具。原型系统的应用实验证实了系统的有效性和实用性。

摘要：现代意义的品牌则是指消费者与产品之间的全部体验。它不仅包括物质的体验,更包括精神的体验,它向消费者传递一种生活方式。从1995年开始,德芙就一直是中国巧克力市场的领导品牌,应该说德芙的这种意识形态广告的品牌塑造在拉动销售方面起到极大的作用。德芙广告将一种精致美好的生活引入到消费者的观念中,售卖的重点不再是德芙巧克力本身,而是吃德芙巧克力所代表的享受观念和生活品味。德芙的广告密度之大、内容更新之快以及品牌概念的深入人心,使得德芙巧克力成为中国最知名的巧克力品牌。

摘要：通过梳理现有科技政务业务和需求,发现系统存在对政府决策支持较弱、难以满足个性化需求和各子系统相互独立的缺陷。以某省市科技部门政务系统数据为基础,探索大数据技术在科技政务领域的应用。设计面向科技政务的大数据服务平台,集数据采集、数据存储、数据处理与挖掘为一体,实现了数据的汇聚和统一分析处理,并提供多种上层应用。设计的多时间粒度企业发展预测模型优于传统的预测模型,预测的MAE误差比ARIMA方法小12%。提出的基于深度学习的推荐模型相比矩阵分解方法在召回率上高约8%。基于数据挖掘组件形成的政府绩效分析、政策推荐等应用,能够辅助科技管理部门布局科技战略,提升个性化政务服务能力。

摘要：针对嵌入式系统体系结构分析设计语言(architecture analysis and design language,AADL)分级调度模型的分析问题,提出了基于模型检验的可调度性分析和验证方法.基于时间自动机理论,将AADL分级调度模型转换为时间自动机网络,将待验证性质描述为时序逻辑公式,通过模型检验工具对可调度性进行分析和验证.研究结果表明,使用模型检验方法来分析AADL分级调度模型的可调度性是可行的.相对其他方法而言,该方法利用了形式化方法的穷举性来分析系统的性质,分析结果更加精确.

摘要：企业服务总线(ESB)是基于SOA思想的企业业务集成基础软件架构。本文在分析集中式ESB局限性的基础上,提出了基于JMS构建分布式企业服务总线的设计方案。分布式ESB实现了总线负载均衡,克服了集中式架构存在的单点故障和性能瓶颈问题,并且支持消息传输的持久性。原型系统的试验表明该设计方案有良好的应用效果。

摘要：信息集成是指将多个信息源进行整合,为用户提供一个统一访问这些信息的接口或数据视图。公共数据模型是设计信息集成系统的基本出发点,从分类的角度对信息集成公共数据模型进行研究。对各种数据模型的特点、描述能力、应用领域以及发展现状作了分析和比较。

摘要：网络计算环境的松散化、独立性和异构性的特点不断给服务计算发展带来新的挑战,与此同时用户对软件系统实时性、安全性、可靠性、可用性等非功能属性要求又在不断提高,如何保障服务计算系统的可信性是平台设计者和服务应用开发者所面临的重要问题。设计了基于QoS分解的可信服务调度框架(Trustworthy Service Scheduling Framework,TSSF),通过对组合服务的可信QoS规划,并利用自适应的服务调度机制为服务提供可信QoS保障。提出了基于模糊集的可信QoS分解模型,将用户对组合服务的QoS需求分解为每个原子服务单独的可信QoS需求;根据分解后的额定QoS需求,以创建动态服务实体组(Dynamic Service Entity Group,DSEG)的方式为原子服务提供可信QoS保障,并以DSEG为基础详细叙述了变粒度、层次化基于反馈设计思想的自适应可信服务调度技术。最后扩展了JBoss中间件,实现了支持该服务调度框架的平台,并在此平台上进行了实验,结果表明TSSF能够为组合服务的QoS需求提供可信保障。

摘要：随着数据仓库技术的应用发展,企业对数据的处理要求更短的延迟,具有一定的实时需求,而目前的大部分系统都不具备该特性。提出了一种基于ESB平台的实时ETL解决方案,通过在ESB平台上运行的组件实现ETL功能,利用实时分区加载和更新实时数据。实验表明,该设计方案能够实现实时ETL功能,并具有良好的通用性和可扩展性。