首页> 外文会议>International symposium on leveraging applications of formal method, verification and validation >Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions
【24h】

Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions

机译:科学的工作流程:永恒的组成部分,不断变化的界面,变化的成分

获取原文

摘要

We describe how scientific application domains are characterized by the long-term availability of the basic computational com ponents, and how software systems for managing tin- actual scientific workflows must deal with changing service interfaces and varying service compositions. In this light, we explain how rigorous technical and se mantic abstraction, which is key to dealing with huge and heterogeneous application domains in an 'extreme model driven design ' framework like the jABC, supports the management of workflow evolution We illustrate the different aspects by means of examples and experiences from the application of the framework in different scientific- application domains.
机译:我们描述了基本计算组件的长期可用性如何表征科学应用领域,以及用于管理实际科学工作流的软件系统如何应对不断变化的服务接口和变化的服务组成。有鉴于此,我们解释了严格的技术和语义抽象是如何在“极端模型驱动的设计”框架(如jABC)中处理巨大且异构的应用程序域的关键,如何支持工作流演化的管理。框架在不同科学应用领域中的应用实例和经验。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号