用Event-B验证SCA动态组合的形式化建模

2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2015-06-15 DOI:10.1109/WETICE.2015.50

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

{"title":"用Event-B验证SCA动态组合的形式化建模","authors":"Aida Lahouij, Lazhar Hamel, Mohamed Graiet","doi":"10.1109/WETICE.2015.50","DOIUrl":null,"url":null,"abstract":"Service Component Architecture (SCA) is a set of specifications which describe a model for building applications and systems using a Service-Oriented Architecture (SOA). However, SCA in its current form does not represent any formal definition. In addition, there is a growing interest for verification techniques which help to prevent SCA composition specification failure. In this context, we intend to propose an Event-B based approach so as to configure the SCA composition dynamically. We focus, particularly, on the correctional dynamic such as substituting faulty services and components. The consistency and the validity of the obtained model have been proved by the Event-B dedicated tools.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"199 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"Formal Modeling for Verifying SCA Dynamic Composition with Event-B\",\"authors\":\"Aida Lahouij, Lazhar Hamel, Mohamed Graiet\",\"doi\":\"10.1109/WETICE.2015.50\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Service Component Architecture (SCA) is a set of specifications which describe a model for building applications and systems using a Service-Oriented Architecture (SOA). However, SCA in its current form does not represent any formal definition. In addition, there is a growing interest for verification techniques which help to prevent SCA composition specification failure. In this context, we intend to propose an Event-B based approach so as to configure the SCA composition dynamically. We focus, particularly, on the correctional dynamic such as substituting faulty services and components. The consistency and the validity of the obtained model have been proved by the Event-B dedicated tools.\",\"PeriodicalId\":256616,\"journal\":{\"name\":\"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises\",\"volume\":\"199 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-06-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WETICE.2015.50\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WETICE.2015.50","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 8

摘要

服务组件体系结构(SCA)是一组规范，描述了使用面向服务的体系结构(SOA)构建应用程序和系统的模型。但是，当前形式的SCA并不表示任何正式定义。此外，人们对有助于防止SCA组合规范失败的验证技术也越来越感兴趣。在此上下文中，我们打算提出一种基于Event-B的方法，以便动态配置SCA组合。我们特别关注纠正动态，例如替换有缺陷的服务和组件。通过Event-B专用工具验证了模型的一致性和有效性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Formal Modeling for Verifying SCA Dynamic Composition with Event-B

Service Component Architecture (SCA) is a set of specifications which describe a model for building applications and systems using a Service-Oriented Architecture (SOA). However, SCA in its current form does not represent any formal definition. In addition, there is a growing interest for verification techniques which help to prevent SCA composition specification failure. In this context, we intend to propose an Event-B based approach so as to configure the SCA composition dynamically. We focus, particularly, on the correctional dynamic such as substituting faulty services and components. The consistency and the validity of the obtained model have been proved by the Event-B dedicated tools.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises

自引率

0.00%

发文量