@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 = {<p>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 \&amp; Simulation International (SCS).</p>},
	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 = {<p>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 \&amp; Simulation International (SCS).</p>},
	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 {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 {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.}
}
