1、基于图的服务设计框架与图变换会议综述

基于图的服务设计框架与图变换会议综述

在计算机科学领域，图变换以及服务导向系统的设计是重要的研究方向。本文将为大家介绍一个基于图的服务设计框架，同时也会提及相关的国际图变换会议的情况。

国际图变换会议ICGT 2012概述

ICGT 2012是第六届国际图变换会议，于2012年9月在德国不来梅大学举行。该会议由欧洲理论计算机科学协会（EATCS）、欧洲软件科学与技术协会（EASST）以及IFIP工作组1.3（系统规范基础）主办。此前，该系列会议分别在2002年于西班牙巴塞罗那、2004年于意大利罗马、2006年于巴西纳塔尔、2008年于英国莱斯特和2010年于荷兰恩斯赫德举行，而在1978 - 1998年期间还举办了六次关于图文法及其在计算机科学中应用的国际研讨会。

会议的主题是“动态结构的建模与分析”。动态结构是用于建模和理解复杂问题情境的主要概念，它由元素和相互关系组成，这些元素和关系可以被添加、删除或改变状态。在许多计算机科学学科中，动态结构被用作基本的建模方法，例如软件架构、软件模型、程序结构、数据库结构、通信和网络结构，以及工件版本和配置等。这些结构在设计时或运行时可能会发生变化，例如架构重构、模型转换或工件演化等。在可执行描述的情况下，动态结构还可以用作语义域或形式规范方法的计算模型，从而为正式分析动态结构的某些预定义或用户定义属性提供了手段。

所有这些方法都依赖于图的统一结构以及图变换来描述其动态行为。图和图变换的这两个方面已经被图文法和图变换社区研究了40多年。会议旨在促进这个社区的发展，并吸引其他研究领域的研究人员加入。这可以通过为图变换理论做出贡献，或者将图变换应用于已知或新颖的应用领域来实现，例如自适应系统、云计算中的虚拟结构或DNA计算