مؤتمر
Model Checking to support Action Controls in the Purchasing Process
| العنوان: | Model Checking to support Action Controls in the Purchasing Process |
|---|---|
| المؤلفون: | Nardone Vittoria, Raucci Domenico, Santone Antonella |
| المساهمون: | Reddy S.M., Gaaloul W., Nardone, Vittoria, Raucci, Domenico, Santone, Antonella |
| بيانات النشر: | IEEE computer society |
| سنة النشر: | 2016 |
| المجموعة: | ARUd'A - Archivio Istituzionale della ricerca dell'università Chieti-Pescara (IRIS) |
| مصطلحات موضوعية: | Model checking, Temporal Logic, Action Controls, Management Control Systems, Purchasing Process |
| الوصف: | 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. |
| نوع الوثيقة: | conference object |
| وصف الملف: | ELETTRONICO |
| اللغة: | English |
| العلاقة: | info:eu-repo/semantics/altIdentifier/isbn/978-150901663-1; info:eu-repo/semantics/altIdentifier/wos/WOS:000390313000042; ispartofbook:Enabling Technologies: Infrastructure for Collaborative Enterprises; 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE Workshops 2016; firstpage:199; lastpage:204; numberofpages:6; http://hdl.handle.net/11564/669625Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84983788997; https://ieeexplore.ieee.org/document/7536461/metrics#metricsTest |
| DOI: | 10.1109/WETICE.2016.52 |
| الإتاحة: | https://doi.org/10.1109/WETICE.2016.52Test http://hdl.handle.net/11564/669625Test https://ieeexplore.ieee.org/document/7536461/metrics#metricsTest |
| حقوق: | info:eu-repo/semantics/closedAccess |
| رقم الانضمام: | edsbas.3984D7D7 |
| قاعدة البيانات: | BASE |
| DOI: | 10.1109/WETICE.2016.52 |
|---|