Modeling and Verification of Reliable Messaging by Graph Transformation Systems
Modeling and Verification of Reliable Messaging by Graph Transformation Systems
复制标题
通过图转换系统进行可靠消息传递的建模和验证
DOI：
10.1016/j.entcs.2007.04.015
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Dániel Varró
中科院分区：
文献类型：
--
作者：
László Gönczy;Máté Kovács;Dániel Varró
由于面向服务的体系结构(Service-Oriented Architecture，SOA)对高可靠服务的需求日益增加，服务级别协议越来越频繁地包含安全性、安全性、可用性、可靠性等非功能方面。当一个服务无法再提供所需的服务质量时，服务请求者需要在交换一系列消息后动态切换到具有足够服务参数的新服务。在本文中，我们首先使用服务中可靠的消息传递所需的参数来扩展核心的SOA元模型。然后，我们通过图转换规则为可靠消息传递的重配置建模。最后，结合图变换分析工具和带标签的变迁系统，对提出的规则集进行了形式化验证。
Due to the increasing need of highly dependable services in Service-Oriented Architectures (SOA), service-level agreements include more and more frequently such non-functional aspects as security, safety, availability, reliability, etc. Whenever a service can no longer be provided with the required QoS, the service requester needs to switch dynamically to a new service having adequate service parameters after exchanging a sequence of messages. In the current paper, we first extend the core SOA metamodel with parameters required for reliable messaging in services. Then we model reconfigurations for reliable message delivery by graph transformation rules. Finally, we carry out a formal verification of the proposed rule set by combining analysis tools for graph transformation and labeled transition systems.
登录
查看更多内容
具有否定应用条件的图文法
影响因子：
0.8
作者：
A. Habel;R. Heckel;G. Taentzer
通讯作者：
G. Taentzer
Augur - 图转换系统分析工具
DOI：
--
发表时间：
2005
期刊：
Bull. EATCS
影响因子：
--
作者：
B. König;V. Kozyura
通讯作者：
V. Kozyura
GROOVE 模拟器：状态空间生成工具
DOI：
--
发表时间：
2003
期刊：
Applications of Graph Transformations with Industrial Relevance
影响因子：
--
作者：
A. Rensink
通讯作者：
A. Rensink
使用图文法对故障行为进行规范和分析
DOI：
--
发表时间：
2003
期刊：
Applications of Graph Transformations with Industrial Relevance
影响因子：
--
作者：
F. Dotti;L. Ribeiro;O. M. Santos
通讯作者：
O. M. Santos
使用条件图转换规则的 Web 服务规范匹配
DOI：
--
发表时间：
2004
期刊：
International Conference on Graph Transformation
影响因子：
--
作者：
A. Cherchago;R. Heckel
通讯作者：
R. Heckel