A theoretical approach for modelling Cloud Services Composition

2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) Pub Date : 2016-10-01 DOI:10.1109/ICAASE.2016.7843858

Zakaria Benzadri, N. Hameurlain, F. Belala, Chafia Bouanaka

{"title":"A theoretical approach for modelling Cloud Services Composition","authors":"Zakaria Benzadri, N. Hameurlain, F. Belala, Chafia Bouanaka","doi":"10.1109/ICAASE.2016.7843858","DOIUrl":null,"url":null,"abstract":"Cloud services are designed to provide remote and scalable access to applications and resources. They are inclined to be composed for creating more complex value-added services. Cloud Services Composition (CSC) has become an increasingly active area in both research topics and technological fields. An important and challenging issue in this area is how to model Cloud services for supporting services composition with all its facets. Relying heavily on mathematical definitions, formal methods may be applied in this context to provide a precise model of Cloud Services Composition. This paper investigates the use of Milner's bigraphs for modelling Cloud Services Composition. As its main result, we first present a meta-model for Cloud Services Composition. Then, we define a Bigraph model for Cloud Services Composition (BiG-CSC), which associates a formal semantic to the meta-model. Finally, a graphical environment based on the Eclipse Modelling Framework is proposed to validate our modelling methodology for Cloud Services Composition.","PeriodicalId":407176,"journal":{"name":"2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICAASE.2016.7843858","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

Abstract

Cloud services are designed to provide remote and scalable access to applications and resources. They are inclined to be composed for creating more complex value-added services. Cloud Services Composition (CSC) has become an increasingly active area in both research topics and technological fields. An important and challenging issue in this area is how to model Cloud services for supporting services composition with all its facets. Relying heavily on mathematical definitions, formal methods may be applied in this context to provide a precise model of Cloud Services Composition. This paper investigates the use of Milner's bigraphs for modelling Cloud Services Composition. As its main result, we first present a meta-model for Cloud Services Composition. Then, we define a Bigraph model for Cloud Services Composition (BiG-CSC), which associates a formal semantic to the meta-model. Finally, a graphical environment based on the Eclipse Modelling Framework is proposed to validate our modelling methodology for Cloud Services Composition.

查看原文本刊更多论文

云服务组合建模的理论方法

云服务旨在提供对应用程序和资源的远程和可扩展访问。它们倾向于为创造更复杂的增值服务而组合。云服务组成(CSC)已经成为一个日益活跃的研究课题和技术领域。该领域的一个重要且具有挑战性的问题是如何对云服务建模，以支持其所有方面的服务组合。在此上下文中，可以应用形式化方法来提供云服务组合的精确模型，这在很大程度上依赖于数学定义。本文研究了米尔纳图对云服务组合建模的使用。作为其主要成果，我们首先提出了云服务组合的元模型。然后，我们为云服务组合(BiG-CSC)定义了一个biggraph模型，该模型将形式化语义与元模型相关联。最后，提出了一个基于Eclipse建模框架的图形化环境来验证我们的云服务组合建模方法。

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

求助全文

约1分钟内获得全文求助全文

来源期刊

2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)

自引率

0.00%

发文量