{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T17:28:24Z","timestamp":1769880504869,"version":"3.49.0"},"reference-count":62,"publisher":"Emerald","issue":"7","license":[{"start":{"date-parts":[[2020,6,6]],"date-time":"2020-06-06T00:00:00Z","timestamp":1591401600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.emerald.com\/insight\/site-policies"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IMDS"],"published-print":{"date-parts":[[2020,6,6]]},"abstract":"<jats:sec><jats:title content-type=\"abstract-subheading\">Purpose<\/jats:title><jats:p>This paper investigates the criteria for a selective integration, in the multidisciplinary business process management (BPM) areas, between information technologies tools and the company's internal control systems (ICSs) aimed at directing organizational behaviours. Adopting a process-based perspective, the authors propose a formal methodology to increase ICSs aims, related to the segregation of duties (SoDs) models, efficiently and effectively.<\/jats:p><\/jats:sec><jats:sec><jats:title content-type=\"abstract-subheading\">Design\/methodology\/approach<\/jats:title><jats:p>The authors examine the applicability of formal verifications to validate a banking process of providing investment services, which is mapped through the workflow management system. To mitigate the state explosion problem of formal methods, the authors propose an efficient methodology that has been proved on the SoDs models in the bank ICSs, as a case study.<\/jats:p><\/jats:sec><jats:sec><jats:title content-type=\"abstract-subheading\">Findings<\/jats:title><jats:p>The authors\u2019 investigations suggest that in the BPM domain, the banking ICSs aims can benefit from the aforesaid methodologies, originating from the formal methods area, to increase the reliability and correctness in the design, modelling and implementation of the SoDs models.<\/jats:p><\/jats:sec><jats:sec><jats:title content-type=\"abstract-subheading\">Originality\/value<\/jats:title><jats:p>The proposed methodology is quite general and can be efficiently applied to large-scale systems in different business contexts or areas of the BPM. Its application to the bank's SoD prevents or detects significant weaknesses, operational risks, excessive risk appetite and other undesirable behaviours in the investment services provision processes. This guarantees that the investment ordered\/offered is \u201csuitable and appropriate\u201d with the client's risk profile, especially non-professional, required by the MiFID II Directive.<\/jats:p><\/jats:sec>","DOI":"10.1108\/imds-11-2019-0593","type":"journal-article","created":{"date-parts":[[2020,6,8]],"date-time":"2020-06-08T10:20:32Z","timestamp":1591611632000},"page":"1383-1400","source":"Crossref","is-referenced-by-count":7,"title":["BPM perspectives to support ICSs: Exploiting the integration of formal verifications into investment service provision processes"],"prefix":"10.1108","volume":"120","author":[{"given":"Domenico","family":"Raucci","sequence":"first","affiliation":[]},{"given":"Antonella","family":"Santone","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Mercaldo","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4335-7670","authenticated-orcid":false,"given":"Tomasz","family":"Dyczkowski","sequence":"additional","affiliation":[]}],"member":"140","reference":[{"issue":"3","key":"key2020071803410488600_ref001","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1046\/j.1099-1123.2003.00070.x","article-title":"Internal auditing and risk assessment in large Italian companies: an empirical survey","volume":"7","year":"2003","journal-title":"International Journal of Auditing"},{"issue":"8","key":"key2020071803410488600_ref002","doi-asserted-by":"crossref","first-page":"1119","DOI":"10.1080\/17517575.2016.1161238","article-title":"Survey of business process management: challenges and solutions","volume":"11","year":"2017","journal-title":"Enterprise Information Systems"},{"issue":"3","key":"key2020071803410488600_ref003","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/j.dss.2003.12.001","article-title":"Model checking for design and assurance of E-business processes","volume":"39","year":"2005","journal-title":"Decision Support Systems"},{"key":"key2020071803410488600_ref004","first-page":"29","article-title":"Security validation of business processes via model-checking","volume-title":"Engineering Secure Software and Systems","year":"2011"},{"key":"key2020071803410488600_ref005","first-page":"326","article-title":"Efficient compliance checking using BPMN-Q and temporal logic","year":"2008"},{"key":"key2020071803410488600_ref006","first-page":"47","article-title":"Internal control over financial reporting quality and information technology control frameworks","volume-title":"Accounting Information Systems for Decision Making","year":"2013"},{"issue":"3","key":"key2020071803410488600_ref007","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1006\/jcss.1999.1660","article-title":"Selective mu-calculus and formula-based equivalence of transition systems","volume":"59","year":"1999","journal-title":"Journal of Computer and System Sciences"},{"key":"key2020071803410488600_ref008","volume-title":"Framework for Internal Control Systems in Banking Organizations","author":"BCBS, Basel Committee on Banking Supervision","year":"1998"},{"issue":"7","key":"key2020071803410488600_ref009","doi-asserted-by":"crossref","first-page":"1411","DOI":"10.1108\/IMDS-08-2018-0368","article-title":"Artificial Intelligence in FinTech: understanding robo-advisors adoption among customers","volume":"119","year":"2019","journal-title":"Industrial Management and Data Systems"},{"issue":"3","key":"key2020071803410488600_ref010","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1108\/14637150210428961","article-title":"Unleashing the integration potential of ERP systems: the role of process-based performance measurement systems","volume":"8","year":"2002","journal-title":"Business Process Management Journal"},{"issue":"1","key":"key2020071803410488600_ref011","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1108\/BPMJ-07-2013-0103","article-title":"Detecting potential weaknesses in business processes: an exploration of semantic pattern matching in process models","volume":"21","year":"2015","journal-title":"Business Process Management Journal"},{"issue":"1","key":"key2020071803410488600_ref012","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","article-title":"Introduction to the ISO specification language LOTOS","volume":"14","year":"1987","journal-title":"Computer Networks and ISDN Systems"},{"issue":"5","key":"key2020071803410488600_ref013","doi-asserted-by":"crossref","first-page":"550","DOI":"10.1080\/17517575.2017.1390166","article-title":"A template-based approach for responsibility management in executable business processes","volume":"12","year":"2018","journal-title":"Enterprise Information Systems"},{"issue":"3","key":"key2020071803410488600_ref014","doi-asserted-by":"crossref","first-page":"1357","DOI":"10.1016\/j.dss.2012.12.012","article-title":"Comprehensive rule-based compliance checking and risk management with process mining","volume":"54","year":"2013","journal-title":"Decision Support Systems"},{"issue":"1\/2","key":"key2020071803410488600_ref015","first-page":"61","article-title":"Workflow management for enterprise transformation","volume":"6","year":"2007","journal-title":"Information - Knowledge - Systems Management"},{"key":"key2020071803410488600_ref016","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1016\/j.acclit.2018.03.002","article-title":"Internal control in accounting research: a review","volume":"42","year":"2019","journal-title":"Journal of Accounting Literature"},{"issue":"8","key":"key2020071803410488600_ref017","first-page":"1712","article-title":"Exploring blockchain technology in international trade","volume":"119","year":"2019","journal-title":"Industrial Management and Data Systems"},{"issue":"2","key":"key2020071803410488600_ref018","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1108\/QRAM-12-2016-0088","article-title":"Changes to administrative controls in banks after the financial crisis","volume":"15","year":"2018","journal-title":"Qualitative Research in Accounting and Management"},{"key":"key2020071803410488600_ref019","volume-title":"Model Checking","year":"2018"},{"key":"key2020071803410488600_ref020","volume-title":"L'innovazione in Banca","year":"2017"},{"key":"key2020071803410488600_ref021","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.dss.2014.10.006","article-title":"A recommendation system for predicting risks across multiple business process instances","volume":"69","year":"2015","journal-title":"Decision Support Systems"},{"key":"key2020071803410488600_ref022","volume-title":"Internal Control-Integrate Framework","author":"CoSO, Committee of Sponsoring Organizations of the Treadway Commission","year":"2013"},{"key":"key2020071803410488600_ref023","volume-title":"Enterprise Risk Management-Integrate Framework","author":"CoSO, Committee of Sponsoring Organizations of the Treadway Commission","year":"2017"},{"issue":"3","key":"key2020071803410488600_ref024","first-page":"24","article-title":"GreASE: a tool for efficient 'Nonequivalence' checking","volume":"23","year":"2014","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"key2020071803410488600_ref025","volume-title":"EBA Guidelines on Internal Governance","author":"EBA, European Banking Authority","year":"2011"},{"issue":"1","key":"key2020071803410488600_ref026","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1080\/09638180.2014.990475","article-title":"The role of roles in risk management change: the case of an Italian bank","volume":"25","year":"2016","journal-title":"European Accounting Review"},{"issue":"1","key":"key2020071803410488600_ref027","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1002\/kpm.364","article-title":"Effort based performance measurement in business process management","volume":"18","year":"2011","journal-title":"Knowledge and Process Management"},{"key":"key2020071803410488600_ref028","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.dss.2017.12.008","article-title":"Augmenting processes with decision intelligence: principles for integrated modelling","volume":"107","year":"2018","journal-title":"Decision Support Systems"},{"issue":"7","key":"key2020071803410488600_ref029","doi-asserted-by":"crossref","first-page":"1401","DOI":"10.1108\/IMDS-08-2019-0431","article-title":"Current practices, new insights, and emerging trends of financial technologies","volume":"119","year":"2019","journal-title":"Industrial Management and Data Systems"},{"issue":"1","key":"key2020071803410488600_ref030","first-page":"178","article-title":"Development of internal control methodology by using statistical methods of variability assessment of material flow business processes","volume":"21","year":"2018","journal-title":"European Research Studies Journal"},{"key":"key2020071803410488600_ref031","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1016\/j.dss.2017.06.002","article-title":"Analyzing control flow information to improve the effectiveness of process model matching techniques","volume":"100","year":"2017","journal-title":"Decision Support Systems"},{"issue":"4","key":"key2020071803410488600_ref032","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1016\/j.accinf.2014.05.003","article-title":"A conceptual model for segregation of duties: integrating theory and practice for manual and it-supported processes","volume":"15","year":"2014","journal-title":"International Journal of Accounting Information Systems"},{"key":"key2020071803410488600_ref033","volume-title":"Global Banking Fraud Survey","author":"KPMG","year":"2019"},{"issue":"1","key":"key2020071803410488600_ref034","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/j.bushor.2017.09.003","article-title":"Fintech: ecosystem, business models, investment decisions, and challenges","volume":"61","year":"2018","journal-title":"Business Horizons"},{"issue":"2","key":"key2020071803410488600_ref035","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1147\/sj.462.0335","article-title":"A static compliance-checking framework for business process models","volume":"46","year":"2007","journal-title":"IBM Systems Journal"},{"key":"key2020071803410488600_ref036","first-page":"1","article-title":"Trends of digital innovation applied to accounting information and management control systems","volume-title":"Reshaping Accounting and Management Control Systems","year":"2017"},{"issue":"3","key":"key2020071803410488600_ref037","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1111\/ijau.12044","article-title":"Effects of internal audit quality on the severity and persistence of controls deficiencies","volume":"19","year":"2015","journal-title":"International Journal of Auditing"},{"key":"key2020071803410488600_ref038","volume-title":"Communication and Concurrency","year":"1989"},{"issue":"3","key":"key2020071803410488600_ref039","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1108\/02635570610653489","article-title":"Differential impacts of information technology on cost and revenue driver relationships in banking","volume":"106","year":"2006","journal-title":"Industrial Management & Data Systems"},{"issue":"1","key":"key2020071803410488600_ref040","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2308\/jeta-10589","article-title":"Robotic process automation for auditing","volume":"15","year":"2018","journal-title":"Journal of Emerging Technologies in Accounting"},{"issue":"3","key":"key2020071803410488600_ref041","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1057\/palgrave.ejis.3000539","article-title":"Making ERPs work: accountants and the introduction of ERP systems","volume":"14","year":"2005","journal-title":"European Journal of Information Systems"},{"issue":"8","key":"key2020071803410488600_ref042","first-page":"195","article-title":"Modeling and verification of payment system in E-banking","volume":"8","year":"2017","journal-title":"International Journal of Advanced Computer Science and Applications"},{"key":"key2020071803410488600_ref043","volume-title":"Heuristics - Intelligent Search Strategies for Computer Problem Solving","year":"1984"},{"key":"key2020071803410488600_ref044","first-page":"145","article-title":"Investigations on soundness regarding lazy activities","year":"2006"},{"key":"key2020071803410488600_ref045","first-page":"293","article-title":"Heuristic for simulation checking","year":"2011"},{"issue":"5","key":"key2020071803410488600_ref046","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/s00236-012-0161-3","article-title":"Abstract reduction in directed model checking CCS processes","volume":"49","year":"2012","journal-title":"Acta Informatica"},{"key":"key2020071803410488600_ref047","first-page":"292","article-title":"Application of equivalence checking in a loan origination process in banking industry","volume-title":"Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises","year":"2013"},{"key":"key2020071803410488600_ref048","first-page":"325","article-title":"Efficient formal verification in banking processes","year":"2013"},{"key":"key2020071803410488600_ref049","first-page":"139","article-title":"A model-checking approach to analysing organisational controls in a loan origination process","year":"2006"},{"key":"key2020071803410488600_ref050","first-page":"325","article-title":"Business process compliance through reusable units of compliant processes","year":"2010"},{"issue":"10","key":"key2020071803410488600_ref051","first-page":"2503","article-title":"A case study of model checking retail banking system with SPIN","volume":"7","year":"2012","journal-title":"JCP"},{"issue":"4","key":"key2020071803410488600_ref052","doi-asserted-by":"crossref","first-page":"566","DOI":"10.1108\/14637151011065928","article-title":"Business process research: a cross-disciplinary review","volume":"16","year":"2010","journal-title":"Business Process Management Journal"},{"key":"key2020071803410488600_ref053","first-page":"1385","article-title":"Management accounting in financial services","volume-title":"Handbooks of Management Accounting Research","year":"2009"},{"issue":"2","key":"key2020071803410488600_ref054","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1108\/BPMJ-12-2012-0136","article-title":"The missing link between BPM and accounting: using event data for accounting in process-oriented organizations","volume":"20","year":"2014","journal-title":"Business Process Management Journal"},{"key":"key2020071803410488600_ref055","first-page":"1","article-title":"An introduction to modal and temporal logics for CCS","volume-title":"UK\/Japan Workshop on Concurrency","year":"1989"},{"key":"key2020071803410488600_ref056","volume-title":"Bank Regulation: Effects on Strategy, Financial Accounting and Management Control","year":"2017"},{"key":"key2020071803410488600_ref057","volume-title":"Handbook on Business Process Management 1","year":"2015"},{"issue":"1","key":"key2020071803410488600_ref058","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.mar.2008.10.002","article-title":"Risk management versus operational action: basel II in a Swedish context","volume":"20","year":"2009","journal-title":"Management Accounting Research"},{"issue":"3","key":"key2020071803410488600_ref059","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/j.bar.2010.05.003","article-title":"Emerging themes in banking: recent literature and directions for future research","volume":"42","year":"2010","journal-title":"The British Accounting Review"},{"key":"key2020071803410488600_ref060","volume-title":"Case Study Research","year":"2003"},{"issue":"1","key":"key2020071803410488600_ref061","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1108\/BPMJ-05-2016-0102","article-title":"Understanding the nature of processes: an information-processing perspective","volume":"24","year":"2018","journal-title":"Business Process Management Journal"},{"issue":"9","key":"key2020071803410488600_ref062","first-page":"1941","article-title":"Model checking and verification of the Internet payment system with SPIN","volume":"7","year":"2012","journal-title":"Journal of the Southwest"}],"container-title":["Industrial Management &amp; Data Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.emerald.com\/insight\/content\/doi\/10.1108\/IMDS-11-2019-0593\/full\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.emerald.com\/insight\/content\/doi\/10.1108\/IMDS-11-2019-0593\/full\/html","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T21:54:05Z","timestamp":1753394045000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.emerald.com\/imds\/article\/120\/7\/1383-1400\/389962"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,6]]},"references-count":62,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2020,6,6]]}},"alternative-id":["10.1108\/IMDS-11-2019-0593"],"URL":"https:\/\/doi.org\/10.1108\/imds-11-2019-0593","relation":{},"ISSN":["0263-5577"],"issn-type":[{"value":"0263-5577","type":"print"}],"subject":[],"published":{"date-parts":[[2020,6,6]]}}}