TAV-WEB 2008是一系列专注于测试,分析和验证Web软件的研讨会中的第三次。 TAV-WEB 2008的范围已扩展(从以前的研讨会TAV-WEB 2004和TAV-WEB 2006的Web服务范围开始)以包括所有Web软件。这些研讨会的目的是召集对可靠Web软件开发的新兴领域感兴趣的学术界,研究界和工业界的研究人员,以介绍和讨论他们的最新研究成果。 p>
TAV-WEB 2008该计划包含七篇技术论文和一个受邀工具演示,报告了有关网络软件测试,分析和验证的最新研究成果。
机译:UniFlexView:统一框架,用于统一构建BPMN和BPEL流程视图
机译:基于概率线性判别分析的多模过程统一概率监测框架
机译:工程Wsbpel流程的语义框架
机译:朝着监控和恢复BPEL流程的统一框架
机译:在多阶段流程中学习统一的框架
机译:建立统一的进化过程框架
机译:工程WSBPEL流程的语义框架
机译:CLEaR:闭环执行和恢复 - 统一规划和执行的框架