2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)最新文献_第6页

Adapting Security Policy at Runtime for Connected Autonomous Vehicles 为联网自动驾驶汽车调整运行时安全策略

2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) Pub Date : 2016-06-01 DOI: 10.1109/WETICE.2016.16

Hassan Loulou, S. Saudrais, Hassan Soubra, C. Larouci

引用次数: 3

Model Checking to Support Action Controls in the Purchasing Process 模型检查以支持采购过程中的行动控制

2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) Pub Date : 2016-06-01 DOI: 10.1109/WETICE.2016.52

Vittoria Nardone, Domenico Raucci, A. Santone

{"title":"Model Checking to Support Action Controls in the Purchasing Process","authors":"Vittoria Nardone, Domenico Raucci, A. Santone","doi":"10.1109/WETICE.2016.52","DOIUrl":"https://doi.org/10.1109/WETICE.2016.52","url":null,"abstract":"In this paper, we use model checking to perform the analysis and the assessment of the Purchasing Process performance in the field of Action Controls. The aim of these controls, in a Management Control Systems, is to ensure that the employee behaviours are consistent with the objectives and strategies of the organization. However, model checking suffers from the so-called state explosion problem, which says that the state space grows exponentially in the number of concurrent processes. In this paper we consider a property-based methodology developed to combat the state explosion problem. Our focus is two fold: (i) we show how model checking can be applied in the context of business process modelling and analysis, (ii) we evaluate and test the reduction methodology using an academic case study. Our investigations suggest that the business community can benefit from this efficient methodology developed in formal methods since it can detect errors that were missed by traditional verification techniques. Thus, formal methods can be adopted to enhance the effectiveness of the organizational control together with an increase of process efficiency levels. We show and discuss the obtained experimental results.","PeriodicalId":319817,"journal":{"name":"2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"9 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":"129478523","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

Conformance Testing for Non-deterministic Timed Pushdown Automata with Deadlines 带最后期限的非确定性定时下推自动机的一致性测试

2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) Pub Date : 2016-06-01 DOI: 10.1109/WETICE.2016.54

Hana M'Hemdi, J. Julliand, P. Masson, R. Robbana

引用次数: 1

UML2.0 Formalization and Acme Verification of the Qualitative Properties of Software Architectures 软件架构定性属性的UML2.0形式化和极致验证

2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) Pub Date : 2016-06-01 DOI: 10.1109/WETICE.2016.50

Sakka Rouis Taoufik, Bhiri Mohamed Tahar, Kmimech Mourad, Moussa Faouzi

引用次数: 2

VSC Track at WETICE 2016: Summary Report and Preface WETICE 2016的VSC专题:总结报告和前言

2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) Pub Date : 2016-06-01 DOI: 10.1109/WETICE.2016.51

Andrea Calvagna, Andrea Fornaia, E. Tramontana

引用次数: 0

Energy-Aware Service Orchestration Based on Temporal Reconfigurable Architecture 基于时间可重构架构的能源感知服务编排

2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) Pub Date : 2016-06-01 DOI: 10.1109/WETICE.2016.23

Emna Hosni, Zaki Brahmi

{"title":"Energy-Aware Service Orchestration Based on Temporal Reconfigurable Architecture","authors":"Emna Hosni, Zaki Brahmi","doi":"10.1109/WETICE.2016.23","DOIUrl":"https://doi.org/10.1109/WETICE.2016.23","url":null,"abstract":"Cloud computing is by far the most cost-effective technology for hosting Internet-scale services and applications. It becomes a valuable contributor and cost-saver for companies with the introduction of orchestration platforms as a Service (OaaS) to perform the services that support a variety of business processes such as BPEL. In this paper we will investigate three issues i) exploiting the minimum of resources to execute a maximum number of processes, ii) preventing possible overload to the server, and iii) minimizing the dynamic energy consumption which becomes one of the main challenges for large-scale computing, such as in cloud data center. As a solution for these challenges we propose a temporal partitioning based on dynamic reconfiguration approach. Our work aims to reduce the dynamic energy consumption. The proposed approach is based on two main steps: 1) Estimate the energy consumption of BPEL processes 2) Temporal and dynamic partitioning of BPEL process based on reconfigurable architecture in order to minimize overall energy consumption on each BPEL process at run time.","PeriodicalId":319817,"journal":{"name":"2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"3 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":"126018228","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

A New QoC-Based Approach for Resource Allocation in Distributed Systems 基于qos的分布式系统资源分配新方法

2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) Pub Date : 2016-06-01 DOI: 10.1109/WETICE.2016.32

A. D'Amato, M. Dantas, D. D. J. D. Macedo

引用次数: 0

A Two-Step Clustering Approach for Improving Educational Process Model Discovery 改进教育过程模型发现的两步聚类方法

2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) Pub Date : 2016-06-01 DOI: 10.1109/WETICE.2016.18

Hanane Ariouat, Awatef Hicheur Cairns, Kamel Barkaoui, J. Akoka, Nasser Khelifa

{"title":"A Two-Step Clustering Approach for Improving Educational Process Model Discovery","authors":"Hanane Ariouat, Awatef Hicheur Cairns, Kamel Barkaoui, J. Akoka, Nasser Khelifa","doi":"10.1109/WETICE.2016.18","DOIUrl":"https://doi.org/10.1109/WETICE.2016.18","url":null,"abstract":"Process mining refers to the extraction of process models from event logs. As real-life processes tend to be less structured and more flexible, clustering techniques are used to divide traces into clusters, such that similar types of behavior are grouped in the cluster. Educational process mining is an emerging field in the educational data mining (EDM) discipline, concerned with developing methods to better understand students' learning habits and the factors influencing their performance. However, the obtained models, usually, cannot fit well to the general students' behaviour and can be too large and complex for use or analysis by an instructor. These models are called spaghetti models. In the present work, we propose to use a two steps-based approach of clustering to improve educational process mining. The first step consist of creating clusters based employability indicators and the second step consist on clustering the obtained clusters using the AXOR algorithm which is based on traces profiles in order to refine the obtained results from the first step. We have experimented this approach using the tool ProM Framework and we have found that this approach optimizes at the same time, both the performance/suitability and comprehensibility/size of the obtained model.","PeriodicalId":319817,"journal":{"name":"2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","volume":"93 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":"124637155","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}

引用次数: 22

Arosa Track Report 阿罗萨跟踪报告

2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) Pub Date : 1900-01-01 DOI: 10.1109/WETICE.2016.13

Slim Kallel, K. Drira, M. Jmaiel

引用次数: 0

Track Report for Formal Verification of Service Based Systems: FVSBS 2016 基于服务的系统正式验证跟踪报告:FVSBS 2016

2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) Pub Date : 1900-01-01 DOI: 10.1109/WETICE.2016.49

Mohamed Graiet, Kais Klai

引用次数: 0