【摘 要】
：
随着客户个性化需求以及企业专业化分工的发展，企业通常需借助外部的资源和能力给客户提供整合的一站式集成服务，而目前成功应用的基于云计算技术的第三方服务平台无法适应于服务模式、过程与内容均不同的复杂的企业。给出的基于双边资源整合智慧服务平台可整合客户需求和企业资源，并且支持任意第三方企业建立基于互联网服务型企业——云企业，通过分析平台的特性与功能，设计出了符合其服务模式的平台体系结构，最后通过系统的演
【机 构】
：
哈尔滨工业大学计算机科学与技术学院 哈尔滨 150001
【出 处】
：
2011全国软件与应用学术会议(NASAC2011)
论文部分内容阅读
随着客户个性化需求以及企业专业化分工的发展，企业通常需借助外部的资源和能力给客户提供整合的一站式集成服务，而目前成功应用的基于云计算技术的第三方服务平台无法适应于服务模式、过程与内容均不同的复杂的企业。给出的基于双边资源整合智慧服务平台可整合客户需求和企业资源，并且支持任意第三方企业建立基于互联网服务型企业——云企业，通过分析平台的特性与功能，设计出了符合其服务模式的平台体系结构，最后通过系统的演示给出了相关的验证。
其他文献
软件资源库是对可复用软件资源进行管理、支持软件复用的重要基础设施。近年来，随着Internet的飞速发展，越来越多的软件资源库以网站的形式向使用者提供服务。这使得软件开发人员在使用软件资源库时不得不面临着IDE(集成开发环境)与使用资源库的浏览器环境相互独立的事实。为此，本文提出了一种面向IDE的软件资源库访问机制，它支持在IDE环境下对软件资源库的访问，辅助用户在IDE中实现对软件资源的封装、发
FLAMES是一种广泛使用于作战指挥流程仿真的战斗对抗系统。在面向FLAMES的作战指挥流程设计过程中，由于目前缺乏有效的描述方法来支持作战指挥流程可视化建模，导致业务人员之间沟通困难，作战指挥流程模型不易理解和维护。针对FLAMES平台给出了作战指挥流程的定义，建立了相应的元模型，为了能够支持作战指挥流程建模，基于给出的元模型定义了一种可视化作战指挥流程建模语言，分别从设计要求、语言定义和语言实
构件/组件是现代软件体系结构和软件工程的基石，业务构件化则是大规模软件生产、大粒度软件复用实践的一条有效途径。本文系统性提出一个业务构件化模型BCM来刻画具有高内聚、松耦合、可扩展特征的业务构件；以及一个可扩展的业务构件化应用框架xBCAF来支持应用软件全生命周期业务组织、管理和复用。并通过xBCAF的一体化设计与实现，展现如何通过业务构件化的方法途径，使规模化软件生产、软件复用和软件治理达成有机
在回归测试中，原有测试用例集往往不能满足软件修改带来的新需求而需要新增测试用例。与传统测试用例生成相比，测试用例集扩增在分析软件修改影响的基础上有针对性地产生新测试用例以提高测试效率。提出了一种基于谓词自适应随机测试(Predicate-Adaptive-Random-Testing，P-ART)技术的测试用例集扩增方法。该方法的主要创新在于结合软件修改分析的白盒测试技术与自适应随机测试(Adap
为了提高Web服务组合的可靠性，提出了一种时间异步Web服务交互的失配检测方法。首先采用基于时序逻辑的软件体系结构描述语言XYZ/ADL描述Web服务组合，并建立了一个可以精确刻画异步交互行为和时间属性的时间异步服务模型(TASM)，然后将XYZ/ADL描述转换为TASM，最后利用模型检测工具UPPAAL实现了异步Web服务的交互失配检测。
提出了基于体系结构失效传播的软件安全性分析方法。建立了新的面向失效传播的组件故障和失效特征模型，从组件层面对软件安全性进行量化分析；在体系结构设计早期从用户角度评估潜在失效的严重程度，并确定系统的安全性敏感点。
针时AUTOSAR OS在定时保护方面的功能需求，分析确定了定时保护的若干监测对象以及需要采取的保护性操作。为了避免基于OSEK OS报警机制的实现方案的缺陷，降低操作系统在执行监测时对CPU的额外开销，基于特定的嵌入式微处理器，充分利用其系统定时器模块的硬件特性，设计实现了一种改进的定时保护策略。应用实例证明，该实现能够有效运行，满足AUTOSAR OS对于定时保护的功能需求，并能有效降低对CP
随着传感网络以及嵌入式系统等的发展，集计算、通信、控制于一体的信息CPS逐渐成为人们关注的热点。未来CPS将会应用到社会生活的各个方面，随着应用的越来越普及，CPS能否满足设计需求对系统设计实施显得至关重要。验证技术在保障和提高系统安全性、可靠性等方面起到了关键的作用，对CPS关键属性的验证也成为研究的焦点。将通用的模型转换为形式化模型进行验证是常用的验证手段，采用HybridUML对CPS进行建
基于相变存储(PCM)的相变随机存储器(PRAM)具有高密度、非易失、低功耗等优点，被认为是传统的动态随机存储器(DRAM)的替代品。目前研究人员从体系结构的角度提出了很多种基于PCM的混合内存架构方案，但很少从操作系统的角度来深入分析这项技术带来的影响。从操作系统的角度来分析和研究新型混合内存带来的变化，从而提出了一种支持新型混合内存的物理内存管理方法。该方法主要包括基于程序段信息的分配策略和具
白盒测试技术是软件测试高级课程中的重要内容，学好白盒测试技术(如基本路径测试和条件测试)，掌握测试理论是一个方面。而对于学习该课程的软件工程研究生来说，如何把这些理论技术变成有效的工具才是更具挑战性的。把这些原理转化为工具需要整个软件工程的相关技术和理论来支持：首先要对被测源码进行解析，构建模型并从中抽取测试相关的实体，设计覆盖这些实体的路径，基于搜索技术生成高效的测试教据，通过一定的方式对程序执