Mohamed Daoud, A. E. Mezouari, Noura Faci, D. Benslimane, Z. Maamar, A. E. Fazziki
{"title":"Towards an Automatic Identification of Microservices from Business Processes","authors":"Mohamed Daoud, A. E. Mezouari, Noura Faci, D. Benslimane, Z. Maamar, A. E. Fazziki","doi":"10.1109/WETICE49692.2020.00017","DOIUrl":"https://doi.org/10.1109/WETICE49692.2020.00017","url":null,"abstract":"Microservices have emerged as an alternative solution to many existing technologies allowing to break monolithic applications into “small” fine-grained, highly-cohesive, and loosely-coupled units. However, identifying microservices remains a challenge that could undermine this migration success. This paper proposes an approach for microservices automatic-identification from a set of business processes (BP). The approach is multi-models combining different independent models that represent a BP’s control dependencies, data dependencies, semantic dependencies, respectively. the approach is also based on collaborative clustering. A case study about renting bikes is adopted to illustrate and demonstrate the approach. In term of precision, the results show how BPs as inputs permit to generate better microservices compared to other approaches discussed in the paper, as well.","PeriodicalId":114214,"journal":{"name":"2020 IEEE 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114326820","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":"Fog-enabled Industrial IoT Network Slicing model based on ML-enabled Multi-objective Optimization","authors":"A. Ksentini, Maha Jebalia, S. Tabbane","doi":"10.1109/WETICE49692.2020.00042","DOIUrl":"https://doi.org/10.1109/WETICE49692.2020.00042","url":null,"abstract":"Fog Computing, as a distributed middleware layer, is expected to bring Cloud capabilities closer to the IoT edge devices. Industrial IoT systems may benefit from the geographically distributed features of the fog nodes, to enhance several QoS requirements such as delay. However, heterogeneous IIoT data traffics require a specific process for each type of them. Thus we refer to a priority classification scheme to slice a fog-enabled IIoT network. For this purpose, we perform a multi-objective optimization algorithm enabled by a machine learning workbench to set a slicing strategy, taking into account the specific and relevant QoS metrics of each priority class. Our slicing model performs better results, in terms of data-rate, e2e delay and network usage, compared to a non-sliced reference model.","PeriodicalId":114214,"journal":{"name":"2020 IEEE 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121872652","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}
Giulio Salierno, Sabatino Morvillo, L. Leonardi, Giacomo Cabri
{"title":"Specification and verification of railway safety-critical systems using TLA+: A Case Study","authors":"Giulio Salierno, Sabatino Morvillo, L. Leonardi, Giacomo Cabri","doi":"10.1109/WETICE49692.2020.00048","DOIUrl":"https://doi.org/10.1109/WETICE49692.2020.00048","url":null,"abstract":"In this paper, we describe our experience in using the TLA+ formal language for modelling and analysis of a concrete scenario from the railway domain. A train status alert system has been specified and verified using the TLA+ by formally verifying abstract specifications of the real system. The verification of TLA+ models enabled us to detected ambiguity in machine transitions before implementing the real system. A translation algorithm is proposed to produce relay logic from the state-machine model in order to verify interlocking components. Our contribution helps to integrate formal methods into existing railway development process without needing to update the legacy railway computer-based systems.","PeriodicalId":114214,"journal":{"name":"2020 IEEE 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115357857","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}
I. Ohmukai, Yasunori Yamamoto, Maori Ito, T. Okumura
{"title":"Tracing patient PLOD by mobile phones Mitigation of epidemic risks based on patient locational open data","authors":"I. Ohmukai, Yasunori Yamamoto, Maori Ito, T. Okumura","doi":"10.1109/WETICE49692.2020.00062","DOIUrl":"https://doi.org/10.1109/WETICE49692.2020.00062","url":null,"abstract":"In the cases when public health authorities confirm patients with highly contagious diseases, they release summaries about patient locations and travel information to alert the public. Due to privacy concerns, these releases do not include the detailed data, and typically comprise the information about commercial facilities and public transportation used by the patients. This paper proposes a framework to represent the information in Resource Description Framework (RDF). The open data would then be used by residents for automated estimation of the potential risks of contacts, combined with the location information stored in their mobile phones.","PeriodicalId":114214,"journal":{"name":"2020 IEEE 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116582085","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":"Ananke: A framework for Cloud-Native Applications smart orchestration","authors":"A. D. Stefano, A. Stefano, G. Morana","doi":"10.1109/WETICE49692.2020.00024","DOIUrl":"https://doi.org/10.1109/WETICE49692.2020.00024","url":null,"abstract":"Micro-service architecture enables smarter management of applications life-cycle. However, the increasing of the number of components also increases complexity, especially on operations like migration and horizontal scaling. While operations, in monolithic systems, involve only one component, operations in micro-services based applications can get complex and should involve parameters and properties like connection throughput, resources usage, robustness or consistency and reliability. To perform this kind of operations and optimization strategies in micro-services applications, we propose Ananke, a framework consisting of a time-varying multi-layer graph-based model and architecture to profile micro-services and their interactions in a platform-as-a-service environment. The aim of Ananke is to provide support and facilities for optimization strategies that a Cloud Provider can exploit to guarantee quality of service and service-level agreements better.","PeriodicalId":114214,"journal":{"name":"2020 IEEE 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"512 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131951537","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":"LODMF: A Linked Open Data Maintenance Framework","authors":"A. Regino, Júlio Cesar dos Reis, R. Bonacin","doi":"10.1109/WETICE49692.2020.00058","DOIUrl":"https://doi.org/10.1109/WETICE49692.2020.00058","url":null,"abstract":"RDF triples have been extensively deployed for the interlinking of data in a structured way. Links between web resources described by RDF models are at the core of the Semantic Web. By exploring a variety of computation methods, semi-automatic algorithms are used to build connections among RDF datasets. However, RDF assertions are subject to constant changes, which can affect existing links. Interconnected open data demands (semi-)automatic methods and tools to maintain their consistency over time. This paper presents a framework for supporting the maintenance of “external” links, which connect different Linked Open Data (LOD) datasets. The LODMF framework is suited to detect change operations on RDF triples as well as deal with affected links to other repositories. We define link maintenance actions, which are applied based on triple change operations to keep links up-to-date. This study illustrates how the framework works in practical scenarios. Our contribution paves the way for the development of (semi-)automatic mechanisms for link evolution in LOD.Web of Data evolution; Link evolution; Change Operations; Link changes; Link Repairment","PeriodicalId":114214,"journal":{"name":"2020 IEEE 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116080176","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}
Z. Maamar, Khouloud Boukadi, Bamory Koné, M. Asim, D. Benslimane, S. Elnaffar
{"title":"Thingsourcing to Enable IoT Collaboration","authors":"Z. Maamar, Khouloud Boukadi, Bamory Koné, M. Asim, D. Benslimane, S. Elnaffar","doi":"10.1109/WETICE49692.2020.00037","DOIUrl":"https://doi.org/10.1109/WETICE49692.2020.00037","url":null,"abstract":"This paper presents thingsourcing to enable thing collaboration in the context of IoT. Compared to crowdsourcing that refers to a crowd of persons, there is limited research in thingsourcing which deprives things from participating in complex business applications. In this paper, thingsourcing is associated with a platform that acts as an IoT marketplace where things sign-up and sign-off looking for opportunities to complete users’ demands. The platform also has a set of mechanisms that allow to describe, search for, and “glue” things together. For demonstration purposes a car service center is used illustrating how things like service bays and vehicles collaborate in compliance with scripts defined in ComPOS (Composition language for Palcom Oblivious Services).","PeriodicalId":114214,"journal":{"name":"2020 IEEE 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126148961","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 Two-Step Heuristic Algorithm for Generating Constrained Detecting Arrays for Combinatorial Interaction Testing","authors":"Hao Jin, Tatsuhiro Tsuchiya","doi":"10.1109/WETICE49692.2020.00050","DOIUrl":"https://doi.org/10.1109/WETICE49692.2020.00050","url":null,"abstract":"Constrained Covering Arrays (CCAs) and Constrained Detecting Arrays (CDAs) are mathematical objects used as test suites in Combinatorial Interaction Testing (CIT). CCAs are able to detect faults in systems from the test results, while CDAs can not only detect faults but also locate them. In spite of this added value of CDAs, the existing algorithm for generating CDAs does not scale well, being hardly able to handle even moderate-size problems. In this paper, we propose a heuristic algorithm for faster CDA generation. We prove a property that relates CCAs and CDAs and design the algorithm by making use of it. Specifically, the algorithm first generates a CCA and then transforms the CCA to a CDA based on this property. Experimental results show that the new algorithm can solve much larger problems than can the existing algorithm.","PeriodicalId":114214,"journal":{"name":"2020 IEEE 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126190016","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}
Marta Catillo, Luciano Ocone, M. Rak, Umberto Villano
{"title":"Auto-scaling Applications in the Cloud by Simple Indexes with Complex Loads","authors":"Marta Catillo, Luciano Ocone, M. Rak, Umberto Villano","doi":"10.1109/WETICE49692.2020.00023","DOIUrl":"https://doi.org/10.1109/WETICE49692.2020.00023","url":null,"abstract":"Applications executed in the cloud can exploit its elasticity features, varying dynamically the amount of leased resources so as to adapt to load variations and to guarantee quality of service. As auto-scaling has implications on execution costs, making optimal scaling choices is of paramount importance. This paper presents an analysis method based on offline benchmarking and simple models that allows to evaluate performance indexes useful to define scaling policies to be used by auto-scalers. The proposed approach relies on a fixed set of benchmarks, to be executed off-line and a set of models that enable prediction of the same performance indexes under different workload conditions, enabling the analyst to perform parameter analysis when defining an auto-scaling policy.","PeriodicalId":114214,"journal":{"name":"2020 IEEE 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130922626","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":"Managing and recommending resources in web-based collaborative working environments","authors":"Siying Li, Marie-Hélène Abel, E. Negre","doi":"10.1109/WETICE49692.2020.00063","DOIUrl":"https://doi.org/10.1109/WETICE49692.2020.00063","url":null,"abstract":"Web-based Collaborative Working Environments intend to support collaborations between users by integrating and offering different collaborative tools. However, this makes it difficult for users to manage and find useful resources to advance their collaborations, which are stored distributively within these tools. This raises an issue: how to manage these resources and identify useful ones for users. In our research, we intend to consider a web-based Collaborative Working Environment as an ontology-based System of Information Systems and to apply a collaboration context ontology that can manage and recommend resources to users within the context of collaboration. In this paper, we present a prototype of such environments and show how context-aware resource recommendations can be generated.","PeriodicalId":114214,"journal":{"name":"2020 IEEE 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"121 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130702711","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}