Bassim Chabibi, Abdelilah Douche, A. Anwar, M. Nassar
{"title":"Integrating SysML with Simulation Environments (Simulink) by Model Transformation Approach","authors":"Bassim Chabibi, Abdelilah Douche, A. Anwar, M. Nassar","doi":"10.1109/WETICE.2016.39","DOIUrl":"https://doi.org/10.1109/WETICE.2016.39","url":null,"abstract":"In system-level design, descriptive system models seem to be insufficient in order to perform a system verification which fulfils various stakeholders0 requirements. This fact is accentuated by the increasing complexity of system engineering projects and, as a consequence, the difficulties to deal with both their coordination and trace ability. Even if SysML (System Modeling Language) is considered as a flexible and standard tool for system engineering, using only descriptive models are insufficient for system behavior verifications. To deal with this concern, simulation environments (i.e. MATLAB/Simulink) allow verifying if the system preliminary design satisfies requirements or not. As a consequence, various research works have been centered on combining the potential of both SysML modeling and simulation tools. This paper proposes an integration approach based on metamodeling and model transformations to generate Simulink models from SysML diagrams. This approach is handled by models and modern techniques of MDE (Model-Driven Engineering).","PeriodicalId":319817,"journal":{"name":"2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116619080","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}
Eliza Gomes, M. Dantas, D. D. J. D. Macedo, Carlos Roberto de Rolt, Marcelo Luiz Brocardo, L. Foschini
{"title":"Towards an Infrastructure to Support Big Data for a Smart City Project","authors":"Eliza Gomes, M. Dantas, D. D. J. D. Macedo, Carlos Roberto de Rolt, Marcelo Luiz Brocardo, L. Foschini","doi":"10.1109/WETICE.2016.31","DOIUrl":"https://doi.org/10.1109/WETICE.2016.31","url":null,"abstract":"The spread of projects focused on smart cities have grown in recent years. With this, the massive amount of data generated in these initiatives, creates a degree of complexity in how to manage all this information. In this paper we propose an infrastructure model for big data for a smart city projet. The goal of this model is to present the stages for the processing of data in the step of extraction, storage, processing and visualization, as well as the types of tools needed for each phase. To implement our proposed model, we used the Particip ACT Brazil a project based in smart cities. This project uses different databases to compose its big data and uses this data to seek solutions to urban problems. We observe that our model provides a structured vision of the software to be used in big data server of ParticipACT Brazil. In addition, we can also note that our model can be used in other big data servers.","PeriodicalId":319817,"journal":{"name":"2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"472 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123448546","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}
Giacomo Cabri, M. Cossentino, E. Denti, P. Giorgini, A. Molesini, M. Mordonini, M. Tomaiuolo, L. Sabatucci
{"title":"Towards an Integrated Platform for Adaptive Socio-technical Systems for Smart Spaces","authors":"Giacomo Cabri, M. Cossentino, E. Denti, P. Giorgini, A. Molesini, M. Mordonini, M. Tomaiuolo, L. Sabatucci","doi":"10.1109/WETICE.2016.11","DOIUrl":"https://doi.org/10.1109/WETICE.2016.11","url":null,"abstract":"The widespread availability of mobile devices equipped with sensors on board is strongly pushing towards the development of smart spaces -- offices, streets, hospital, airports, homes and shops equipped with sensing systems to help people find relevant information quickly and use services comfortably, often in a collaborative way. A common aspect in these scenarios is that the technology complexity is amplified by the organisational and procedural complexity of the application domain: this is in fact typical of socio-technical systems -- kinds of systems that inherently need to be conceived, designed and developed taking into account both the technological and the human/organisational aspects from the earliest stages. In this paper, we select and discuss some challenges in the definition and development of adaptive socio-technical systems for smart spaces, the selected challenges aim at focusing in particular on (i) a socio-technical model and process, (ii) a multi-level integration framework, and (iii) methods and system analysis techniques for runtime adaptation. In fact, designing such systems requires the suitable combination of enabling technologies into an operational framework, integrating and coordinating a multiplicity of processes managed by complex organisations, each made up of independent and autonomous units.","PeriodicalId":319817,"journal":{"name":"2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"137 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124383157","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":"Developing an Enterprise Operating System (EOS) - Requirements and Architecture","authors":"J. Youssef, G. Zacharewicz, David Chen","doi":"10.1109/WETICE.2016.36","DOIUrl":"https://doi.org/10.1109/WETICE.2016.36","url":null,"abstract":"Considered as an alternative to ERP and a pre-condition to the future Enterprise 4.0 based on IoT and Cyber physical system principle, this paper tentatively presents a proposal to develop an Enterprise Operating System (EOS). At first a set of requirements and functionalities are identified. Then a survey on existing relevant works is presented and mapped to the requirements. The architecture of envisioned EOS is outlined and followed by a simplified case example in the service sector. The last part draws some conclusions and gives future perspectives.","PeriodicalId":319817,"journal":{"name":"2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130382703","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":"Multiple Software Product Lines for Service Oriented Architecture","authors":"Akram Kamoun, M. Kacem, A. Kacem","doi":"10.1109/WETICE.2016.21","DOIUrl":"https://doi.org/10.1109/WETICE.2016.21","url":null,"abstract":"Combining the Service Oriented Architecture (SOA) and Software Product Line (SPL) paradigms is an emerging research area that has gained a considerable interest in recent years. We observe that the approaches proposed in the literature address mostly the variability modeling of Service Providers (SPs) (e.g., developing and composing SPs). However, handling the variability of Service Consumers (SCs) and how to interrelate the variability of SCs and SPs have not been studied. In this paper, our objective is to carry out an in-depth and rigorous study that addresses these issues. We propose a new model-based, top-down, formal and end-to-end SOA approach based on the Multiple SPLs (MSPL) paradigm. The main idea is to develop an MSPL composed of two dependent SPLs for SP and SC in order to generate customized, valid and consistent SPs and SCs. We propose that the variability of each SPL is managed by a Feature Model (FM). In order to ensure the consistency between these two SPLs and in particular between their FMs, we define the automated analysis update operator based on formal propositional logical techniques. We developed a tool that implements all the required steps of our approach and we demonstrate its efficiency in a practical case study.","PeriodicalId":319817,"journal":{"name":"2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130650354","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}
S. Tata, Mohamed Mohamed, Obinna Anya, T. Sakairi, N. Mandagere, Heiko Ludwig, N. Baracaldo
{"title":"Managing Service Quality at the Platform and Application Levels with rSLa","authors":"S. Tata, Mohamed Mohamed, Obinna Anya, T. Sakairi, N. Mandagere, Heiko Ludwig, N. Baracaldo","doi":"10.1109/WETICE.2016.69","DOIUrl":"https://doi.org/10.1109/WETICE.2016.69","url":null,"abstract":"Managing service quality in heterogeneous Cloud environments is complex: different providers expose different management interfaces for monitoring and configuration actions that can occur at the infrastructure, platform and application levels. To manage Service Level Agreements (SLAs) in this context, we have developed the rSLA Manager for enabling fast setup of SLA monitoring in dynamic, heterogeneous Cloud environments. In this paper, we demonstrate the use of the rSLA Manager to manage the response time behavior of an image scaling service on the IBM Blue mix platform. We show how the system enables SLA violation reduction by facilitating platform-level adaptation (e.g., adding application instances) and application-level behavior configuration (e.g., changing image scaling quality) based on different service level objectives as well as current application configuration and workload.","PeriodicalId":319817,"journal":{"name":"2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132251623","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}
N. Dessì, Gianfranco Garau, D. R. Recupero, B. Pes
{"title":"Increasing Open Government Data Transparency with Spatial Dimension","authors":"N. Dessì, Gianfranco Garau, D. R. Recupero, B. Pes","doi":"10.1109/WETICE.2016.61","DOIUrl":"https://doi.org/10.1109/WETICE.2016.61","url":null,"abstract":"Going toward a more democratic society involves the release of the so-called \"Open Government Data\" (OGDs) i.e. Any data and information produced by public administrations (PAs) and made available to citizens in order to increase government transparency. Although a large amount of OGD repositories exist, accessing and analyzing OGDs is far from being user-friendly. Trying to push in this direction, this paper presents a framework to extract open government data from government portals, collect them in a repository and increase data transparency with the introduction of spatial features. A case study is presented that sets out the application of the framework on SIOPE, an Italian administrative portal that provides the receipts and payments made by Italian institutions.","PeriodicalId":319817,"journal":{"name":"2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124728024","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":"Report of Collaborative Modeling and Simulation (CoMetS) Track of WETICE 2016","authors":"A. D’Ambrogio, G. Zacharewicz, D. Gianni","doi":"10.1109/WETICE.2016.33","DOIUrl":"https://doi.org/10.1109/WETICE.2016.33","url":null,"abstract":"The CoMetS track aims to bring together leading researchers and practitioners from both the modeling and simulation (M&S) community and the collaborative environments community, in order to focus on innovative research contributions that address both the use of collaborative technologies in the field of M&S and the use of M&S methodologies and tools to address the design of collaborative systems. This paper reports on the motivations of the track and the organization of its fifth edition.","PeriodicalId":319817,"journal":{"name":"2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132110739","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}
V. Casola, Alessandra De Benedictis, J. Modic, M. Rak, Umberto Villano
{"title":"Per-Service Security SLa: A New Model for Security Management in Clouds","authors":"V. Casola, Alessandra De Benedictis, J. Modic, M. Rak, Umberto Villano","doi":"10.1109/WETICE.2016.27","DOIUrl":"https://doi.org/10.1109/WETICE.2016.27","url":null,"abstract":"In the cloud computing context, Service Level Agreements (SLAs) are contracts between Cloud Service Providers (CSPs) and Cloud Service Customers (CSCs), stating the guaranteed quality level of the services offered by CSPs. Existing cloud SLAs focus only on few service terms, completely ignoring all security related aspects. They are often reported in a way that is hardly understandable for customers. Moreover, they offer guarantees uniform for all offered services and all customers, regardless of particular service characteristics or customers specific needs. This paper presents a framework that enables the adoption of a per-service SLA model, by supporting the automatic implementation of cloud Security SLAs tailored to the needs of each customer for specific service instances. In particular, the process and the software architecture for per-service SLA implementation are shown. A case study application demonstrates the feasibility and effectiveness of the proposed solution.","PeriodicalId":319817,"journal":{"name":"2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125664702","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}
F. Mercaldo, Vittoria Nardone, A. Santone, C. A. Visaggio
{"title":"Hey Malware, I Can Find You!","authors":"F. Mercaldo, Vittoria Nardone, A. Santone, C. A. Visaggio","doi":"10.1109/WETICE.2016.67","DOIUrl":"https://doi.org/10.1109/WETICE.2016.67","url":null,"abstract":"Android smartphones are the most widespread in the world. This is the reason why attackers write code more and more aggressive in order to steal data and other important information stored in the phone. One of the most representative malware that implements the typical trojan behaviour in Android environment is the so-called Fake Installer. In this paper we use formal methods, in particular model checking, in order to identify Fake Installer malware. We specify a set of formulae and then we check these on a designed application model, built in CCS, to recognize whether an application is a malware belonging to Fake Installer family or a legitimate sample. We experiment our methodology on 1125 real world samples obtaining very promising results.","PeriodicalId":319817,"journal":{"name":"2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121764327","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}