发布求助
文献互助 智能选刊 最新文献

2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises最新文献

筛选
英文 中文
Contrology - An Ontology-Based Cloud Assurance Approach 控制论——基于本体的云保障方法
2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2015-06-15 DOI: 10.1109/WETICE.2015.43
Ulrich Koinig, S. Tjoa, J. Ryoo
{"title":"Contrology - An Ontology-Based Cloud Assurance Approach","authors":"Ulrich Koinig, S. Tjoa, J. Ryoo","doi":"10.1109/WETICE.2015.43","DOIUrl":"https://doi.org/10.1109/WETICE.2015.43","url":null,"abstract":"The emerging trends towards mobility and big data analysis strongly contribute to the success of cloud computing. Despite the numerous advantages cloud computing still has not reached its full potential due to the privacy and security concerns of today's cloud service users. In order to improve trust on clouds, in this paper we propose a cloud ontology which supports assurance and security initiatives. Finally, we show how we implemented the introduced ontology using the widely used Protégé tool.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121376991","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Towards Ontology-Enabled BioContexts for Bioinformatics Research 面向生物信息学研究的本体支持生物语境
2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2015-06-15 DOI: 10.1109/WETICE.2015.17
N. Dessì, Giuliano Ferrentino, E. Pascariello, B. Pes
{"title":"Towards Ontology-Enabled BioContexts for Bioinformatics Research","authors":"N. Dessì, Giuliano Ferrentino, E. Pascariello, B. Pes","doi":"10.1109/WETICE.2015.17","DOIUrl":"https://doi.org/10.1109/WETICE.2015.17","url":null,"abstract":"The evolution of web technologies seems to characterize a new scenario for biomedical researchers who take advantage from sophisticated on to logies offered by scientific portals. This paper introduces the concept of BioContext, a software environment which combines services for the fully exploitation of several ontologies whose knowledge is captured, and managed in a local repository. We illustrate our ideas pragmatically by presenting BCnotes, a BioContext which enables the functional annotation of biomedical texts in order to discover important relationships among genes.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126173452","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A Reputation-Based Approach to Improve QoS in Cloud Service Composition 基于声誉的云服务组合QoS改进方法
2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2015-06-15 DOI: 10.1109/WETICE.2015.28
Antonello Comi, Lidia Fotia, F. Messina, G. Pappalardo, D. Rosaci, G. Sarné
{"title":"A Reputation-Based Approach to Improve QoS in Cloud Service Composition","authors":"Antonello Comi, Lidia Fotia, F. Messina, G. Pappalardo, D. Rosaci, G. Sarné","doi":"10.1109/WETICE.2015.28","DOIUrl":"https://doi.org/10.1109/WETICE.2015.28","url":null,"abstract":"Cloud Computing is a versatile computing paradigm capable of attracting a wide variety of applications. However, the necessity to provide a wide range of complex services led providers to establish mutual agreements to provide large-scale distributed multi-cloud environments. Providers gain the opportunity to compose service workflows that are effective and efficient, taking resources of their own competitors, and the capability to satisfy unexpected workload peaks. In this paper, we propose a reputation-based model aiming at supporting the service composition by considering measures of QoS collected by the measuring systems, and reputation measures collected with the customers by means of users feedback.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"164 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116288454","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 24
Formal Modeling for Verifying SCA Dynamic Composition with Event-B 用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":"Formal Modeling for Verifying SCA Dynamic Composition with Event-B","authors":"Aida Lahouij, Lazhar Hamel, Mohamed Graiet","doi":"10.1109/WETICE.2015.50","DOIUrl":"https://doi.org/10.1109/WETICE.2015.50","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.0,"publicationDate":"2015-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117096832","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Models and Adaptive Architecture for Smart Data Management 智能数据管理的模型和自适应架构
2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2015-06-15 DOI: 10.1109/WETICE.2015.47
Pierre De Vettor, M. Mrissa, D. Benslimane
{"title":"Models and Adaptive Architecture for Smart Data Management","authors":"Pierre De Vettor, M. Mrissa, D. Benslimane","doi":"10.1109/WETICE.2015.47","DOIUrl":"https://doi.org/10.1109/WETICE.2015.47","url":null,"abstract":"Organizations, companies and Web platforms hold large amounts of unused data. These data are trapped in separate data sources, locked up in legacy formats and only reachable through several different protocols, making usage difficult. It is therefore necessary to manage this multiplicity of data sources in order to build a solution able to combine this multi-origin data into a coherent smart data set. We define a meta-model and models to describe data source diversity in a flexible way. We therefore propose an adaptive architecture that generates data integration workflows at runtime. We evaluate our approach to offer scalability, responsiveness, and dynamic and transparent data source management. We apply our approach in a live scenario from a French company to show how it adapts to industrial needs and facilitates smart data production and reuse. This paper describes our models and strategies and presents our resource-oriented architecture.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123141423","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
RAMIRES: Risk Adaptive Management in Resilient Environments with Security 安全弹性环境中的风险适应性管理
2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2015-06-15 DOI: 10.1109/WETICE.2015.26
M. Fugini, Mahsa Teimourikia
{"title":"RAMIRES: Risk Adaptive Management in Resilient Environments with Security","authors":"M. Fugini, Mahsa Teimourikia","doi":"10.1109/WETICE.2015.26","DOIUrl":"https://doi.org/10.1109/WETICE.2015.26","url":null,"abstract":"This paper describes the cooperative interface of RAMIRES, a prototype web application where environmental risks are reported in a dashboard for the risk management team. It shows monitored areas, supports risk managers in understanding the risk and its consequences, and supports decision making so empowering risk managers to mitigate risks improving the environment resilience. To treat risks, RAMIRES is adaptive regarding risk and security. For risk, it adapts the information towards the environment to obtain more data about the observed area to understand the risk and its consequences. It also adapts the user interface according to the involved actor. For security, RAMIRES is adaptive in that security rules determine the data views to different actors. The tool interaction with the environment and with risk mangers is presented using storyboards of interactions.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126947882","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
An Evolutionary Approach for Cloud Learning Agents in Multi-cloud Distributed Contexts 多云分布式环境下云学习代理的进化方法
2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2015-06-15 DOI: 10.1109/WETICE.2015.27
Antonello Comi, Lidia Fotia, F. Messina, G. Pappalardo, D. Rosaci, G. Sarné
{"title":"An Evolutionary Approach for Cloud Learning Agents in Multi-cloud Distributed Contexts","authors":"Antonello Comi, Lidia Fotia, F. Messina, G. Pappalardo, D. Rosaci, G. Sarné","doi":"10.1109/WETICE.2015.27","DOIUrl":"https://doi.org/10.1109/WETICE.2015.27","url":null,"abstract":"Learning software agents are able to assist Cloud providers in taking decisions about resource management at any level, as they are able to collect knowledge and improve their performances over time by means of learning strategies. On the other hand Cloud Federations allow providers to share computational infrastructures in order to build a distributed, interoperable multi-cloud context. In this work we present an evolutionary approach based on agent cloning, i.e. a mechanism of agent reproduction allowing providers to substitute an \"unsatisfactory\" agent acting in a \"cloud context\" with a clone of an existing agent having a suitable knowledge and a good reputation in the multi-cloud context. By this approach, cloud agents performances can be improved because they are substituted with agent clones that have shown a better behaviour.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115397644","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
FISA 2015 Track Report: Future Internet Services and Applications FISA 2015跟踪报告:未来互联网服务和应用
2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2015-06-15 DOI: 10.1109/WETICE.2015.54
Hatem Hadj Kacem, Anderson Santana de Oliveira, M. Sellami, Sylvain Lefebvre
{"title":"FISA 2015 Track Report: Future Internet Services and Applications","authors":"Hatem Hadj Kacem, Anderson Santana de Oliveira, M. Sellami, Sylvain Lefebvre","doi":"10.1109/WETICE.2015.54","DOIUrl":"https://doi.org/10.1109/WETICE.2015.54","url":null,"abstract":"The \"Future Internet Services and Applications\" (FISA) track focuses on three complementary aspects that have to be considered while setting up future Internet services: (i) their modelling, provisioning and management, (ii) data protection, and (iii) data collection, storage and analysis. FISA is in its first edition and results from the fusion of the PASCS (Privacy and Accountability for Software and Cloud Services) and PROMASC (Provisioning and Management of Service Oriented Architecture and Cloud Computing) tracks from the previous WETICE editions. This report briefly presents the main topics of FISA and presents the accepted papers.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"282 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114841723","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Integrating the SysML and ACME in a Model Driven Engineering Approach to Verify the Web Service Composition 在模型驱动工程方法中集成SysML和ACME以验证Web服务组合
2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2015-06-15 DOI: 10.1109/WETICE.2015.41
Raoudha Maraoui, B. Ayeb
{"title":"Integrating the SysML and ACME in a Model Driven Engineering Approach to Verify the Web Service Composition","authors":"Raoudha Maraoui, B. Ayeb","doi":"10.1109/WETICE.2015.41","DOIUrl":"https://doi.org/10.1109/WETICE.2015.41","url":null,"abstract":"Systems engineering, and especially the modelling of the Web service composition, needs proper means for verification to detect critical issues as soon as possible. The objective of our work is to identify a verifiable subset of SysML (System Modelling Language) that is usable by system engineers, while still amenable to automatic transformation towards formal verification tools. As we are interested in proving properties expressed using invariants, we consider the ACME/ARMANI language for this purpose. Our approach consists in an alignment of SysML concepts with an identified subset of the ACME language, using similarities between both languages. We define a SysML models and a transformation towards the ACME/ARMANI language for verification of the consistency of Web services composition. The obtained MDE(Model Driven Engineering) process is applied to a simplified concrete case study of travel system online: a SysML model is designed with properties, then automatically transformed into ACME/ARMANI, and finally imported into AcmeStudio tool for automated proof of the properties.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"147 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134410614","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation 基于突变评估的非确定性定时下推自动机测试
2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2015-06-15 DOI: 10.1109/WETICE.2015.35
Hana M'Hemdi, J. Julliand, P. Masson, R. Robbana
{"title":"Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation","authors":"Hana M'Hemdi, J. Julliand, P. Masson, R. Robbana","doi":"10.1109/WETICE.2015.35","DOIUrl":"https://doi.org/10.1109/WETICE.2015.35","url":null,"abstract":"This paper is about conformance testing of non deterministic timed pushdown automata with inputs and outputs (TPAIO), that specify both stack and clock constraints. It proposes a novel off-line test generation method from this model. The first step computes a deterministic timed pushdown tester with inputs and outputs (DTPTIO): a TPAIO which approximates the initial TPAIO with only one clock. Then we compute from the DTPTIO a finite reach ability automaton (RA), whose transitions are related to DTPTIO paths satisfying the stack constraints. This computation takes the DTPTIO transitions as a coverage criterion. The RA transitions, thus the DTPTIO paths, are used for generating test cases that aim at covering the reachable locations and transitions of the TPAIO. The test cases are in the shape of trees equipped with verdicts. Last, we propose a mutation testing method from non-deterministic TPAIO to evaluate the efficiency of our method.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132327300","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信