编排复杂服务

2005年10月1日至2008年9月30日

CancerGrid项目的关键挑战之一是对临床试验方案的动态方面进行建模：服务组合、文档工作流、异常行为等等。就像与数据和元数据格式和本体，这些动态方面不应该直接硬连接到程序代码中，因为对它们唯一能做的就是执行它们。相反，应该以声明的方式记录动态方面。通过解释声明性描述，这仍然允许执行；但它也允许其他用途：浏览协议、无需编写代码的修改、其他应用程序的元处理等等。当然，没有这些关注点都是CancerGrid特有的——同样的关注点也适用于任何复杂的面向服务的体系结构。本项目旨在为建模、解释、，操作和处理面向服务架构中动态行为的声明性描述。这将基于协调语言（使用达尔文等符号）和web服务编排（WSCI、BPEL）社区的工作，但它不仅限于设计另一种编程语言及其解释器；它还将探索机制用于操作此类程序、元处理、模型检查及其与数据本体的关系。