@article {180, title = {Modeling Resources to Simulate Business Process Reliability}, journal = {ACM Transactions on Modeling and Computer Simulation}, volume = {30}, year = {2020}, doi = {10.1145/3381453}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85087756691\&doi=10.1145\%2f3381453\&partnerID=40\&md5=673e966eb20621494c2d119f7d2fb3fb}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Giglio, A. and Paglia, E.} } @conference {188, title = {Automated generation of FOM modules for HLA-based distributed simulations}, booktitle = {2019 Spring Simulation Conference, SpringSim 2019}, year = {2019}, doi = {10.23919/SpringSim.2019.8732865}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85068620179\&doi=10.23919\%2fSpringSim.2019.8732865\&partnerID=40\&md5=7732070a3d1ae833312898865e381add}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Giglio, A. and Paglia, E.} } @conference {182, title = {BPMN-Based Business Process Modeling and Simulation}, booktitle = {Proceedings - Winter Simulation Conference}, year = {2019}, doi = {10.1109/WSC40007.2019.9004960}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85081140337\&doi=10.1109\%2fWSC40007.2019.9004960\&partnerID=40\&md5=562c397f5282b4d755ea42195d8f5d51}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Giglio, A. and Paglia, E.} } @conference {189, title = {A microservice-based approach for fine-grained simulation in msaas platforms}, booktitle = {Simulation Series}, year = {2019}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85074846792\&partnerID=40\&md5=4e1191158a88c583834f3858c02dce23}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Giglio, A. and Paglia, E.} } @conference {183, title = {Model-Driven Distributed Simulation Engineering}, booktitle = {Proceedings - Winter Simulation Conference}, year = {2019}, doi = {10.1109/WSC40007.2019.9004937}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85081138260\&doi=10.1109\%2fWSC40007.2019.9004937\&partnerID=40\&md5=302392caf8683ab4ea72625485cef6fe}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Giglio, A. and Paglia, E.} } @conference {199, title = {Model transformation services for MSAAS platforms}, booktitle = {Simulation Series}, year = {2018}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85055335212\&partnerID=40\&md5=f88e9b0301895d7e94400366e42d2934}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Giglio, A. and Paglia, E.} } @conference {197, title = {On the performance prediction capabilities of the eBPMN-based model-driven method for business process simulation}, booktitle = {CEUR Workshop Proceedings}, year = {2018}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85057539414\&partnerID=40\&md5=3bef7d424e5ac1e2c55966a7b44a3092}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Paglia, E. and Giglio, A.} } @conference {196, title = {A service-in-the-loop approach for business process simulation based on microservices}, booktitle = {Simulation Series}, year = {2018}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85061225342\&partnerID=40\&md5=248b0d97368d17bf04c9d37b12081c70}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Paglia, E. and Giglio, A.} } @conference {148, title = {A BPMN extension for modeling Cyber-Physical-Production-Systems in the context of Industry 4.0}, booktitle = {Proceedings of the 2017 IEEE 14th International Conference on Networking, Sensing and Control, ICNSC 2017}, year = {2017}, publisher = {Institute of Electrical and Electronics Engineers Inc.}, organization = {Institute of Electrical and Electronics Engineers Inc.}, abstract = {

Industry 4.0 denotes a recent trend that aims at exploiting Cyber Physical Systems (CPS), based on IoT (Internet of Things) and cloud computing technologies, to obtain increased degrees of cooperation and communication in production systems, thus leading to what is referred to as Cyber Physical Production Systems (CPPS) or {\textquoteright}Smart Factories{\textquoteright}. {\textcopyright} 2017 IEEE.

}, keywords = {Administrative data processing, BPMN, Business process management, Cloud computing technologies, CPPS, Cyber Physical System, Cyber physicals, Cyber-physical systems (CPS), Distributed computer systems, Embedded systems, Enterprise resource management, Industrial plants, Internet of things, Production system, Resources management}, isbn = {9781509044283}, doi = {10.1109/ICNSC.2017.8000159}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85028506510\&doi=10.1109\%2fICNSC.2017.8000159\&partnerID=40\&md5=21f941fe91fbcb4bc02afe439cad2075}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Giglio, A. and Paglia, E.}, editor = {Guerrieri A., Fortino G., Vasilakos A.V., Zhou M., Lukszo Z., Palau C., Liotta A., Vinci A., Basile F., Fanti M.P.} } @conference {157, title = {Business process modeling and simulation: State of the art and MSaaS opportunities}, booktitle = {Proceedings of the 2017 Summer Simulation Multi-Conference (SummerSim 2017)}, year = {2017}, publisher = {The Society for Modeling and Simulation International}, organization = {The Society for Modeling and Simulation International}, abstract = {

The analysis and continuous improvement of business processes (BPs) has a strategic relevance for those enterprises that strongly rely on the performance of their operational processes to deliver services and/or goods to customers. The adoption of Modeling \& Simulation (M\&S) approaches is widely recognized as a valuable solution for analyzing and improving BPs, even though it is not yet fully exploited, due to the required know-how, effort and cost. In this context, M\&S as a Service (MSaaS) is a promising paradigm that contributes to effectively ease the introduction of M\&S approaches in the BP lifecyle, by saving the investments required to build and maintain the needed hardware and software infrastructure. This paper first illustrates a survey that analyzes the state-of-The-Art regarding the adoption of M\&S approaches in the BP domain and then, starting from a set of identified open issues, proposes a next generation MSaaS architecture which aims at enabling a time-And cost-effective M\&S-based analysis of BPs. {\textcopyright} 2017 Society for Modeling \& Simulation International (SCS).

}, keywords = {Architecture, Business Process, Business process model, Continuous improvements, Cost benefit analysis, Cost effective, Cost effectiveness, Hardware and software, Investments, MSaaS, Operational process, State of the art, Surveying, Surveys, Systems engineering, Technology transfer}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85029479125\&partnerID=40\&md5=ba1a219978ded9acd748ff217becba43}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Mastromattei, A. and Paglia, E. and Giglio, A.}, editor = {Syriani E. and D{\textquoteright}Ambrogio A.} } @conference {156, title = {A cloud-based service-oriented architecture for business process modeling and simulation}, booktitle = {CEUR Workshop Proceedings {\textendash} INCOSE Italia Conference on Systems Engineering}, year = {2017}, publisher = {CEUR-WS}, organization = {CEUR-WS}, abstract = {

The adoption of Modeling \& Simulation (M\&S) approaches is widely recognized as a valuable solution for enacting a timely analysis of business processes (BPs). Despite their relevance, the effective introduction of such approaches in the BP lifecycle is still limited, due to the know-how and skills for building and implementing a simulation model and to the cost and effort for setting up and maintaining the execution platform. In this respect, this paper proposes a cloud-based architecture that exploits the M\&S as a Service (MSaaS) paradigm and containerization technology for the flexible and dynamic composition of M\&S services, so to allow business analysts to carry out an effortless and effective M\&S-based BP analysis. An example case study dealing with an e-commerce scenario is also presented in order to show the actual application of the proposed approach.

}, keywords = {Business analysts, Business Process, Business process model, Cloud-based, Cloud-based architectures, Computer architecture, Dynamic composition, Execution platforms, Information services, Service oriented architecture (SOA), Simulation model, Systems engineering, Technology transfer}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85038838268\&partnerID=40\&md5=801305b85d284d68f1f5963ae4bc3f4d}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Paglia, E. and Panetti, T. and Giglio, A.} } @conference {161, title = {An HLA-based BPMN extension for the specification of business process collaborations}, booktitle = {Proceedings - 2017 IEEE/ACM 21st International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2017}, year = {2017}, publisher = {Institute of Electrical and Electronics Engineers Inc.}, organization = {Institute of Electrical and Electronics Engineers Inc.}, abstract = {

Inter-organization business process collaboration is one of the most significant factors driving today{\textquoteright}s global business development. Such collaborations are typically composed by various processes executed by different organizations and are often difficult to specify and analyze, due to their distributed nature and to data interoperability issues. The standard notation for business process modeling, namely BPMN (Business Process Model and Notation), only provides a limited support to the specification of collaborations. This paper introduces a data model extension of BPMN inspired by the HLA (High Level Architecture) distributed simulation standard. In addition, the paper proposes a metamodel-based mapping from BPMN to HLA, which can be seen as a significant step towards the implementation of a conceptual framework for specifying and analyzing collaborative business processes by use of distributed simulation approaches. {\textcopyright} 2017 IEEE.

}, keywords = {Business process collaborations, Business process model, Collaborative business process, Conceptual frameworks, Data interoperability, Distributed simulations, High level architecture, Inter-organization, Specifications, Systems engineering}, isbn = {9781538640289}, doi = {10.1109/DISTRA.2017.8167668}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85042934707\&doi=10.1109\%2fDISTRA.2017.8167668\&partnerID=40\&md5=6c81677377651843e2f16ce6cf4cc261}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Paglia, E. and Giglio, A.} } @conference {D{\textquoteright}Ambrogio2016, title = {Towards performance-oriented perfective evolution of BPMN models}, booktitle = {Proceedings of the 2016 Spring Simulation Multiconference - TMS/DEVS Symposium on Theory of Modeling and Simulation, TMS/DEVS 2016}, year = {2016}, note = {cited By 0}, publisher = {The Society for Modeling and Simulation International}, organization = {The Society for Modeling and Simulation International}, abstract = {

Simulation techniques are successfully applied to analyze and validate the performance of a business process (BP) since the early phases of its lifecycle, when the BP representation is commonly specified in BPMN. The BP simulation model is first to be built from the BPMN model, then implemented and finally executed to yield the performance indices of interest. The model building activity includes a parameterization task that is carried out either by use of tool-specific facilities or through standardized languages for specifying simulation model parameters. In both cases, the parameters have to be externally linked to the BPMN model. A similar reasoning applies to the simulation results. This paper introduces a BPMN extension to annotate BPMN models with both the input parameters and the results provided by the BP analysis, so as to include in a single BPMN model all the data associated to the simulation-based analysis of a given BP. The paper also outlines an architecture that exploits the proposed extension to realize the performance-oriented perfective evolution of BPMN models, or the ability to introduce a feedback chain that makes use of simulation results to automatically refactor a BP model in order to better meet the BP performance objectives. {\textcopyright}2016 Society for Modeling \& Simulation International (SCS).

}, keywords = {BPMN, Business Process, Circuit simulation, Performance indices, Performance objective, Performance-oriented, Simulation, Simulation technique, Simulation-based analysis, Software architecture, Software engineering}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84978142027\&partnerID=40\&md5=d9a565c888c8c352dcbe3e6d0a81d2ac}, author = {Andrea D{\textquoteright}Ambrogio and Paglia, E. and Bocciarelli, P. and Giglio, A.}, editor = {Barros F., Hu X., Denil J., Prahofer H.} } @conference {Bocciarelli2015213, title = {A model-driven framework for distributed simulation of autonomous systems}, booktitle = {Simulation Series}, volume = {47}, number = {8}, year = {2015}, note = {cited By 1}, pages = {213-220}, publisher = {The Society for Modeling and Simulation International}, organization = {The Society for Modeling and Simulation International}, abstract = {

The adoption of systems with autonomous capabilities is becoming more and more relevant in many real-world operational scenarios, in which risky operations have to be carried out (e.g., a military battlefield or a search-and-rescue operation). In this context, innovative approaches should be introduced at design time to ensure that the system will achieve the mission objectives at operation time. To this purpose, distributed simulation techniques have shown to be effective to deal with the inherent complexity of the environment to be simulated, which generally includes several interacting entities. Unfortunately, currently available distributed simulation standards, such as HLA (High Level Architecture), require a non-negligible effort and significant skills in terms of both simulation methodologies and related implementation technologies. In this respect, this paper focuses on the simulationbased analysis of systems with autonomous capabilities and introduces a model-driven approach to support the automated generation of HLA-based distributed simulations. The proposed approach is founded on the use of model transformation techniques and allows system designers to carry out a timely and cost-effective simulation-based analysis of the operational system without being required to own specific distributed simulation skills. {\textcopyright} 2015 Society for Modeling \& Simulation International (SCS).

}, keywords = {Autonomous systems, Cost effectiveness, Distributed simulation techniques, Distributed simulations, MDA, Model driven development, Model transformation technique, Search and rescue operations, Simulation-based analysis, Software architecture}, issn = {07359276}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84928155948\&partnerID=40\&md5=9e8205a446169e040469dff647e9cfa3}, author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio and Giglio, A. and Paglia, E.}, editor = {Wang M.H., Barros F., D{\textquoteright}Ambrogio A., Zacharewicz G.} } @conference {Bocciarelli20153012, title = {Simulation-based performance and reliability analysis of business processes}, booktitle = {Proceedings - Winter Simulation Conference}, volume = {2015-January}, year = {2015}, note = {cited By 2}, pages = {3012-3023}, publisher = {Institute of Electrical and Electronics Engineers Inc.}, organization = {Institute of Electrical and Electronics Engineers Inc.}, abstract = {

The use of process modeling combined with the use of simulation-based analysis provides a valuable way to analyze business processes (BPs) and to evaluate design alternatives before committing resources and effort. The simulation-based analysis of BPs usually addresses performance in terms of efficiency, i.e., focusing on time-related properties (e.g., throughput or execution time). Differently, this paper proposes an automated method for the analysis of BPs in terms of both efficiency-related performance and reliability. In addition, the method allows business analysts to carry out a joint performance and reliability analysis by introducing a so-called performability attribute. The proposed method is illustrated by use of a running example dealing with a conventional e-commerce scenario. {\textcopyright} 2014 IEEE.

}, keywords = {Automated methods, Business analysts, Business Process, Design alternatives, Joint performance, Performance and reliabilities, Process Modeling, Reliability, Reliability analysis, Simulation-based analysis}, isbn = {9781479974863}, issn = {08917736}, doi = {10.1109/WSC.2014.7020140}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84940521933\&partnerID=40\&md5=04c0407c66dbcda5756df2c96a686040}, author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio and Giglio, A. and Paglia, E.}, editor = {Tolk A., Diallo S.Y., Ryzhov I.O., Yilmaz L.} } @conference {Bocciarelli2014278, title = {Empowering business process simulation through automated model transformations}, booktitle = {Simulation Series}, volume = {46}, number = {4}, year = {2014}, note = {cited By 2}, pages = {278-286}, publisher = {The Society for Modeling and Simulation International}, organization = {The Society for Modeling and Simulation International}, abstract = {Simulation is one of the most relevant techniques that can be used in the business process management domain to effectively enact a continuous enhancement of business processes (BPs). However, the effectiveness of BP simulation is still limited for several reasons (e.g., lack of simulation know-how of BP analysts, simulation model parameters hard to determine, semantic gap between the business process model and the simulation model). To overcome these limitations, this paper proposes a model-driven method that introduces a set of model transformations to automate the generation of executable simulation code of a BP from its abstract definition in BPMN, the standard language for specifying business processes. The simulation code is specified in eBPMN, a Java-based domain-specific language that has been designed and implemented according to the BPMN execution semantics.}, keywords = {Administrative data processing, BPM, BPMN, Computer simulation, Computer simulation languages, EBPMN, Enterprise resource management, Mathematical models, MDA, Model transformation, Problem oriented languages, Semantics, Software architecture, Technology transfer}, isbn = {9781632662156}, issn = {07359276}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84901985241\&partnerID=40\&md5=ebb5d7bb28209e8901e06a4b70f40735}, author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio and Giglio, A. and Paglia, E. and Gianni, D.} } @conference {Bocciarelli2014325, title = {A language for enabling model-driven analysis of business processes}, booktitle = {MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development}, year = {2014}, note = {cited By 5}, pages = {325-332}, publisher = {SciTePress}, organization = {SciTePress}, abstract = {

The use of simulation-based approaches for the analysis of business processes enables the design-time prediction of the process behavior and/or the operation-time process reconfiguration. However, the effectiveness of BP simulation is still limited for several reasons (e.g., lack of simulation know-how of BP analysts, simulation model parameters that can be hard to gather, large semantic gap between the business process model and the simulation model). To overcome such limitations, this paper introduces a modeldriven method to automatically build the executable simulation code of a business process from its abstract definition in BPMN, the standard language for specifying business processes. The simulation code is specified in eBPMN, a novel domain-specific language that has been designed and implemented according to the BPMN execution semantics. Copyright {\textcopyright} 2014 SCITEPRESS - Science and Technology Publications. All rights reserved.

}, keywords = {BPMN, Business Process, Computer simulation, Computer simulation languages, Domain specific languages, Model transformation, Performance, Problem oriented languages, Semantics, Simulation, Software design, Technology transfer}, isbn = {9789897580079}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84906910126\&partnerID=40\&md5=d8853e490341214705bedcb2f8ce2260}, author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio and Paglia, E.} } @conference {Bocciarelli201448, title = {A methodological template for model driven systems engineering}, booktitle = {CEUR Workshop Proceedings}, volume = {1300}, year = {2014}, note = {cited By 0}, pages = {48-58}, publisher = {CEUR-WS}, organization = {CEUR-WS}, abstract = {The advent of formal modeling languages (e.g., UML and SysML) and system architecture frameworks (e.g., DoDAF and MODAF) has given systems engineers the ability to effectively describe the requirements as well as the behavior and the structure of systems. Approaches founded on the use of modeling languages and frameworks are grouped under the banner of MBSE (Model Based Systems Engineering). The basic idea is that a model evolves over the system development life-cycle, until it becomes the built-to baseline. In this paper, we consider a modeling approach based on the use of a metamodeling architecture that focuses on the use of models as the primary artifacts of system development. We specifically address the use of MDA (Model Driven Architecture), which allows to increase the level of automation when evolving models from the very abstract representation of a system down to the system implementation, thus making easier (i.e., at reduced cost and effort) the analysis, development and testing activities. By applying MDA concepts and standards to MBSE approaches we obtain what we refer to as MDSE (Model Driven Systems Engineering). The paper illustrates a methodological template for MDSE and shows its application to the development of a software-intensive system. Copyright {\textcopyright} held by the authors.}, keywords = {Abstract representation, Application programs, Development and testing, Formal modeling language, Level of automations, Life cycle, MDA(model driven architecture), Model-based systems engineering, Software architecture, Software design, Software intensive systems, Standards, System implementation, Systems engineering}, issn = {16130073}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84915806250\&partnerID=40\&md5=bd972de1f5baef3c33fbef58e187c81d}, author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio and Caponi, E. and Giglio, A. and Paglia, E.}, editor = {D{\textquoteright}Ambrogio A., Leardi C., Arrichiello V., Garro A., Poloni C., Tundis A.} } @conference {Bocciarelli2014199, title = {A transformation approach to enact the design-time simulation of BPMN models}, booktitle = {Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE}, year = {2014}, note = {cited By 2}, pages = {199-204}, publisher = {IEEE Computer Society}, organization = {IEEE Computer Society}, abstract = {Simulation is a key technique for enabling business process analysts to predict the process behavior at design time. However, some issues limit the effectiveness of business process simulation (e.g., lack of simulation know how, costs and difficulties for gathering process data, semantic gap between the business process model and the simulation model). This paper proposes a model-driven method that automates the generation of executable business process simulation code. In order to address the increasing complexity and to take into account the inherent collaborative aspects of modern business processes, the simulation code produced by the proposed method replicates the business process distributed structure (in terms, e.g., of a service-oriented architecture) by including a set of simulation services that are orchestrated into a distributed simulation execution. The characterization of business processes in terms of the required performance properties is introduced through standard BPMN annotations according to a well-defined syntax, thus avoiding the need of additional languages. The implementation of the executable simulation code is based on the eBPMN language, a domain-specific language that preserves the semantic behavior of the original BPMN standard. {\textcopyright} 2014 IEEE.}, keywords = {Time simulations}, isbn = {9781479942497}, issn = {15244547}, doi = {10.1109/WETICE.2014.27}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84908454476\&partnerID=40\&md5=b0decda34447d3f850f0b68130c5d270}, author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio and Giglio, A. and Paglia, E. and Gianni, D.}, editor = {Reddy S.M.} }