Validation and mismatch repair of workflows through typed data streams
Validation and mismatch repair of workflows through typed data streams
复制标题
通过类型化数据流对工作流程进行验证和不匹配修复
DOI：
10.1098/rsta.2011.0135
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Amy Krause
中科院分区：
文献类型：
--
作者：
G. Yaikhom;M. Atkinson;J. V. van Hemert;Óscar Corcho;Amy Krause
语言的类型系统保证对一组数据的所有操作都符合该语言设定的规则和条件。虽然语言类型是任何编程语言的基本要求，但工作流内处理元素之间流动的数据类型目前被视为可选。在本文中，我们介绍了用于输入工作流数据流的三级类型系统。这些类型是数据密集型系统过程工程语言编程语言的一部分，它使用户能够验证工作流组合内部的连接，并在必要时应用适当的数据类型转换。此外，该系统使制定引擎能够执行类型导向的工作流程优化。
The type system of a language guarantees that all of the operations on a set of data comply with the rules and conditions set by the language. While language typing is a fundamental requirement for any programming language, the typing of data that flow between processing elements within a workflow is currently being treated as optional. In this paper, we introduce a three-level type system for typing workflow data streams. These types are parts of the Data Intensive System Process Engineering Language programming language, which empowers users with the ability to validate the connections inside a workflow composition, and apply appropriate data type conversions when necessary. Furthermore, this system enables the enactment engine in carrying out type-directed workflow optimizations.