Ahmed Abid, Nizar Messai, M. Rouached, T. Devogele, Mohamed Abid
{"title":"A Semantic Similarity Measure for Conceptual Web Services Classification","authors":"Ahmed Abid, Nizar Messai, M. Rouached, T. Devogele, Mohamed Abid","doi":"10.1109/WETICE.2015.48","DOIUrl":"https://doi.org/10.1109/WETICE.2015.48","url":null,"abstract":"Classifying Web services into functionally similar groups is an efficient way to enhance services discovery, composition, and substitution processes. In order to ensure such efficiency, the classification process should rely on adequate semantic similarity measures. This paper presents a practical approach to measure the similarity of Web services. Both semantic and syntactic descriptions are integrated through specific techniques for computing similarity measures between services. Formal Concept Analysis (FCA) is used then to classify Web services into concept lattices in order to facilitate relevant services identification for composition and/or substitution purposes. The proposed similarity measure is evaluated and compared to some of the best-known existing ones. Results show a significant improvement of precision and recall of relevant services discovery for further composition and substitution tasks.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"s3-29 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":"130123945","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}
{"title":"Modeling Change Patterns for Impact and Conflict Analysis in Event-Driven Architectures","authors":"Simon Tragatschnig, Uwe Zdun","doi":"10.1109/WETICE.2015.13","DOIUrl":"https://doi.org/10.1109/WETICE.2015.13","url":null,"abstract":"In distributed event-driven architectures, components are composed in a highly decoupled way, facilitating high flexibility, scalability and concurrency of distributed systems. However, the intrinsic loose coupling of its components make relations hard to identify making it challenging to analyze, maintain, and evolve an event-based architecture. For understanding the evolution of an event-based architecture, we require knowledge about its components' dependencies, which is often hard to gain due to the absence of explicit information about these dependencies. Furthermore, assisting techniques for analyzing the impacts of certain changes are missing, hindering the implementation of changes in event-driven architectures. We present in this paper a novel approach providing models to describe changes in event-based architectures on different levels of abstraction. The explicit definition of a change enables various types of analysis to increase the quality of the evolving event based systems architecture, like invalid access analysis, dangling actors analysis, change impact analysis, and dead actor analysis.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"31 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":"114557649","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}
Houda Khlif, Hatem Hadj Kacem, S. Hernández, A. Kacem
{"title":"A Mechanism for the Causal Ordered Set Representation in Large-Scale Distributed Systems","authors":"Houda Khlif, Hatem Hadj Kacem, S. Hernández, A. Kacem","doi":"10.1109/WETICE.2015.20","DOIUrl":"https://doi.org/10.1109/WETICE.2015.20","url":null,"abstract":"Distributed systems have undergone a very fast evolution in the last years. Large-scale distributed systems have become an integral part of everyday life with the development of new large-scale applications, consisting of thousands of computers and supporting millions of users. Examples include global Internet services, cloud computing systems, \"big data\" analytic platforms, peer-to-peer systems, wireless sensor networks and so on. The recent research addresses questions related to the way of how to design, build, operate and maintain large-scale distributed systems. Another question associated to it is how to represent and ensure causal dependencies in such systems in a optimal way. Causal dependencies have been established according to the Happened-Before Relation (HBR), which was introduced by Lamport. The HBR establishes a strict partial order among the events in a system, and therefore, one main problem linked to it is the combinatorial state explosion. To attack this problem the Causal Order Set Abstraction (CAOS) theory arises. CAOS attains the optimal representation at the set level of the causal dependencies of events in a distributed system. In this paper, we propose a mechanism based on the HBR and the Immediate Dependency Relation to automatically model any large-scale distributed system execution into the CAOS form. The resultant CAOS model, expressed in the form of a graph, drastically reduce the state-space of a system. In general, the resultant CAOS graph can be used for different purposes, such as for the design of more efficient algorithms, validation, verification, and/or the debugging of the existing ones, among others. In this paper, we illustrate how the CAOS graph can be used for validation purposes. The mechanism is implemented in C++. The results of its execution shows the viability to support large-scale systems.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"23 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":"123554292","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}
{"title":"A Decision-Oriented Approach Supporting Enterprise Architecture Evolution","authors":"Khaled Gaaloul, Sérgio Guerreiro","doi":"10.1109/WETICE.2015.33","DOIUrl":"https://doi.org/10.1109/WETICE.2015.33","url":null,"abstract":"Enterprise architecture (EA) is a discipline driving change within organizations. EA provides also a valuable set of system architectures and modelling techniques in Cyber-Physical Systems (CPS). EA aims to model the relationships between the business and technology in such a way that key dependencies are exposed from the underlying complexity and so can be used to support decisions. However, the management of such changes is a challenging task for enterprise architects, due to the complex dependencies amongst EA models which may also evolve from an initial to a posterior state. In this paper, we present an approach supporting EA models evolution. Our goal is to define an approach supporting design decision during EA evolution. In doing so, we model EA artifacts dependencies and identify their corresponding operations during change. This model is, then, processed using a feedback control schema to fully inform the design decisions. Finally, we evaluate our decision-oriented approach using a case study design.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"4 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":"129166415","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}
{"title":"MAROQ: A Resource Allocation Model Driven through Quality of Experience","authors":"A. D'Amato, M. Dantas, D. D. J. D. Macedo","doi":"10.1504/IJGUC.2017.10006831","DOIUrl":"https://doi.org/10.1504/IJGUC.2017.10006831","url":null,"abstract":"The trend of grid computing available on the Internet has generated challenges to the allocation of resources provided by this type of environment. Many of these challenges can be solved by the quality of experience paradigm that takes into account several context parameters. In this context, this paper presents the proposal of a new quality of experience-driven model for resource allocation for grids named MAROQ. We detail an experimental evaluation using context information with MAROQ that presents improvements of 7.46% on the average execution time of tasks.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"69 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":"128063568","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}
{"title":"Web2Touch 2015 Track Report: Modeling the Collaborative Web Knowledge","authors":"O. Nabuco, R. Bonacin, M. Fugini","doi":"10.1109/WETICE.2015.45","DOIUrl":"https://doi.org/10.1109/WETICE.2015.45","url":null,"abstract":"This is the Web2Touch 2015 track report.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"35 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":"121340521","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}
{"title":"Expressivity and Accuracy of By-Example Structured Queries on Wikipedia","authors":"M. Atzori, C. Zaniolo","doi":"10.1109/WETICE.2015.15","DOIUrl":"https://doi.org/10.1109/WETICE.2015.15","url":null,"abstract":"This paper discusses expressivity and accuracy of the By-Example Structured (BESt) Query paradigm implemented on the SWiPE system through the Wikipedia interface. We define an experimental setting based on the natural language questions made available by the QALD-4 challenge, in which we compare SWiPE against Xser, a state-of-the-art Question Answering system, and plain keyword search provided by the Wikipedia Search Engine. The experiments show that SWiPE outperforms the results provided by Wikipedia, and it also performs sensibly better than Xser, obtaining an overall 85% of totally correct answers vs. 68% of Xser. Among all answered questions, we obtain a precision of 100% and recall 96%. SWiPE is also able to answer more questions than the other systems. A formal characterization of the set of SPARQL queries supported by the BESt Query paradigm is also provided.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"29 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":"115732936","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}
{"title":"Analyzing Social Web Services' Capabilities","authors":"Z. Maamar, H. Yahyaoui, A. Mourad, M. Sellami","doi":"10.1109/WETICE.2015.11","DOIUrl":"https://doi.org/10.1109/WETICE.2015.11","url":null,"abstract":"This paper looks into ways of supporting social Web services react to the behaviors that their peers expose at run time. Examples of behaviors include selfishness and unfairness. These reactions are associated with actions packaged into capabilities. A capability allows a social Web service to stop exchanging private details with a peer and/or to suspend collaborating with another peer, for example. The analysis of capability results into three types referred to as functional (what a social Web service does), non-functional (how a social Web service runs), and social (how a social Web service reacts to peers). To avoid cross-cutting concerns among these capabilities aspect-oriented programming is used for implementing a system.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"35 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":"131735807","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}
{"title":"Engineering Self-Adaptive Systems with the Role-Based Architecture of Helena","authors":"Annabelle Klarl","doi":"10.1109/WETICE.2015.32","DOIUrl":"https://doi.org/10.1109/WETICE.2015.32","url":null,"abstract":"When engineering self-adaptive systems, separating adaptation and application logic was proven beneficial to avoid interdependencies between adaptation strategy and standard behaviour. Several engineering methods support this separation in different phases of the classical development process, but none addresses it consistently in all of them. We propose a holistic model-driven engineering process with systematic transitions between all phases to develop self-adaptive systems. Adaptation is achieved by changing the behavioral mode of a component in response to perceptions. We realize behavioral modes by roles which a component can dynamically adopt. For specification, we propose adaptation automata which allow to specify complex adaptation behaviour by hierarchical structure and history of states. Furthermore, we propose the HELENA Adaptation Manager pattern to derive a role-based model from a specification. Due to its formal foundation, the model can be analyzed with Spin and executed with the Java framework jHelena.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"192 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":"114969013","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}
{"title":"Cloud Service Matchmaking Using Constraint Programming","authors":"Begüm Ilke Zilci, Mathias Slawik, Axel Küpper","doi":"10.1109/WETICE.2015.44","DOIUrl":"https://doi.org/10.1109/WETICE.2015.44","url":null,"abstract":"Service requesters with limited technical knowledge should be able to compare services based on their quality of service (QoS) requirements in cloud service marketplaces. Existing service matching approaches focus on QoS requirements as discrete numeric values and intervals. The analysis of existing research on non-functional properties reveals two improvement opportunities: list-typed QoS properties as well as explicit handling of preferences for lower or higher property values. We develop a concept and constraint models for a service matcher which contributes to existing approaches by addressing these issues using constraint solvers. The prototype uses an API at the standardisation stage and discovers implementation challenges. This paper concludes that constraint solvers provide a valuable tool to solve the service matching problem with soft constraints and are capable of covering all QoS property types in our analysis. Our approach is to be further investigated in the application context of cloud federations.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"52 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":"125295145","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}