这一天的研讨会的目的是为从业人员和研究人员提供一个论坛,以介绍并讨论了用于自动或半自动建模,指定和提供分布式环境中的服务质量保证的新兴技术和工具。 p>
在开始研讨会时,来自美国加州大学的Calton Pu博士将作主题演讲。佐治亚理工学院。呈现的论文包括描述新兴研究机会的位置论文 i>和呈现初步研究和结果的正在进行的作品 i>论文。论文主题包括: p>
•跨软件生命周期所有阶段的服务提供中的模型驱动方法 p>
•服务提供的领域特定建模语言和模型转换 p> < p>•沿不同服务维度(即安全性,可靠性,质量,响应保证)进行权衡的建模和分析 p>
•面向方面的程序转换技术的作用 p>
•反射和元编程作为自适应配置技术 p>
•针对特定中间件平台的服务保证目标的工具,模型,技术 p>
•用于实现服务质量自动化的框架和模式语言 p>
•服务质量自动化中的认证问题
Mississippi State University, Starkville, MS;
Drexel University, Philadelphia, PA;
Vanderbilt University, Nashville, TN;
机译:智能网络物理系统的软件工程-拟定研究议程:首届智能CPS软件工程国际研讨会报告
机译:客房编辑编辑介绍高信任网络系统网络科学的特殊部分
机译:高信心网络物理系统的传感器网络
机译:用于学习的可信信心范围支持的网络物理系统
机译:网络物理系统的基于模型的软件综合。
机译:用于实现系统的网络系统数据收集架构的模型驱动方法以降低手动实施努力
机译:网络物理系统的高可信度软件