首页> 外文会议>International Symposium on Leveraging Applications of Formal Methods, 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 components, and how software systems for managing the actual scientific workflows must deal with changing service interfaces and varying service compositions. In this light, we explain how rigorous technical and semantic 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 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号