Synthesis and Analysis of Component Connectors (SYANCO)

SYANCO致力于开发通用框架，以支持由不同抽象级别的异类组件组成的复杂系统的综合和分析。这涉及到用于设计和验证(1)单个组件、(2)其连接胶水代码的单独片段以及(3)组件及其胶水代码的组成的工具和技术。用于自动化和/或辅助软件设计和验证的当代众所周知的工具和技术最适合于单个组件的开发。它们不足以组合粗粒度的组件，这恰恰是因为将不同的组件组合到一个连贯的系统中的粘合代码的设计和验证较少被理解。在SYANCO，我们将致力于上面强调组合性的最后两个问题：我们将主要关注基于组件的系统的连接器粘合代码，以适应、扩展和/或开发新的模型、工具和技术，用于组合推理以及基于组件的系统的建模、分析和构建。通常，编程模型、语言和系统使用函数调用、方法调用、远程过程调用、继承、委托等的变体来进行软件组合。第三方对两个软件进行外源合成(即从外部合成)的操作员表面上很少见。然而，由不同的第三方组件组成系统恰恰需要运营商不仅互连并促进他们的相互通信，而且还将他们各自的活动协调成一个连贯协调的整体。事实上，组件组合中的大多数核心问题都涉及协调。REO是一种基于通道组成演算的外源协调语言[Arb04]。REO吸引了人们的兴趣和关注，因为它为连接器的组合构造提供了一种强大的粘合语言，这些连接器将组件实例组合到一个系统中并协调它们的相互交互。自2003年初以来，德国和荷兰在SYANCO的团队一直在REO和正式模型方面进行密切合作，用于连接器电路的成分验证和推理[ABRS04、ABdBR04、ABDB+05、BSAR05、ABC+05]。在这一富有成效的历史基础上，SYANCO(I)为我们正在进行的双边研究创造了一个正式的背景，该研究结合了基于组件的软件体系结构和协调模型(CWI)以及复杂系统的模型检查和定量分析(BONN)方面的互补专业知识，基于并发语义的共同专业知识，(Ii)提供资金支持两个团队成员以及国际访问者的相互访问；以及(Iii)通过资助他们团队中的两个新职位，直接支持德国合作伙伴将活动扩展到实际的工具构建中。

SYANCO is concerned with the development of a universal framework to support the synthesis and analysis of complex systems composed of heterogeneous components at various levels of abstraction. This involves tools and techniques for design and validation of (1) individual components, (2) individual pieces of their connecting glue code, and (3) the composition of components and their glue code. Contemporary well-known tools and techniques for automating and/or assisting design and validation of software are best suited in the development of individual components. They become inadequate for combining coarse-grain components, precisely because design and validation of the glue code to combine disparate components into a coherent system, are less understood. In SYANCO, we will work on the last two issues, above, emphasizing compositionality: we will adapt, extend, and/or develop new models, tools, and techniques for compositional reasoning about, as well as modeling, analysis, and construction of component-based systems, by primarily focusing on their connector glue code. Typically, programming models, languages, and systems use variations of function calls, method invocation, remote procedure calls, inheritance, delegation, etc., for software composition. Operators for exogenous composition, i.e., composition from outside, of two pieces of software by a third-party are ostensibly rare. Yet, composing a system out of heterogeneous third-party components requires precisely operators that not only interconnect and facilitate their intercommunications, but also coordinate their individual activities into a coherently orchestrated whole. In fact, most of the central issues in component composition involve coordination. Reo is a exogenous coordination language based on a calculus of channel composition [Arb04]. Reo has attracted interest and attention because it offers a powerful glue language for compositional construction of connectors that combine component instances into a system and orchestrate their mutual interactions. Since early 2003, the German and Dutch teams in SYANCO have had a continuing close collaboration on Reo and formal models for compositional verification of connector circuits and reasoning about them [ABRS04, ABdBR04, ABdB+05, BSAR05, ABC+05]. Building on this productive history, SYANCO (i) creates a formal context for our on-going bilateral research which combines complementary expertise on component-based software architectures and coordination models (CWI) and model checking and quantitative analysis of complex systems (Bonn), on the basis of common expertise on semantics for concurrency, (ii) provides funding to support mutual visits by the members of the two teams, as well as international visitors; and (iii) directly supports the expanding activities of the German partner into actual tool building by funding two new position in their team.