@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.}
}
@article {Bocciarelli2014573,
	title = {A model-driven method for enacting the design-time QoS analysis of business processes},
	journal = {Software and Systems Modeling},
	volume = {13},
	number = {2},
	year = {2014},
	note = {cited By 6},
	pages = {573-598},
	publisher = {Springer Verlag},
	abstract = {<p>Business Process Management (BPM) is a holistic approach for describing, analyzing, executing, managing, and improving large enterprise business processes. A business process can be seen as a flow of tasks that are orchestrated to accomplish well-defined goals such as goods production or services delivery. From an IT perspective, BPM is closely related to a business process automation approach carried out by use of IT standards and technologies, such as service-oriented architectures (SOAs) and Web Services. This paper specifically focuses on fully automated business processes that are defined and executed as orchestrations of software services. In a BPM context, the ability to predict at design time the business process behavior assumes a strategic relevance, both to early assess whether or not the business goals are achieved and to gain a competitive advantage. A business process is typically specified by use of Business Process Modeling Notation (BPMN), the standard language for the high-level description of business processes. Unfortunately, BPMN does not support the characterization of the business process in terms of nonfunctional or QoS properties, such as performance and reliability. To overcome such a limitation, this paper introduces Performability-enabled BPMN (PyBPMN), a lightweight BPMN extension for the specification of performance and reliability properties. PyBPMN enables the design time prediction of the business processes behavior, in terms of performance and reliability properties. Such prediction activity requires the use of models that are to be first built and then evaluated. In this respect, this work introduces a model-driven method that exploits PyBPMN to predict, at design time, the performance and the reliability of a business process, either to select the process configuration that provides the best behavior or to check if a given configuration satisfies the overall requirements. The proposed model-driven method that enacts the automated analysis of a business process behavior embraces the complete business process development cycle, from the specification phase down to the implementation phase. The paper also describes how the proposed model-driven method is implemented. The several model transformations at the core of the method have been implemented by use of QVT, and the standard language for specifying model transformations provided by OMG{\textquoteright}s MDA. The availability of such automated model transformations allows business analysts to predict the process behavior with no extra effort and without being required to own specific skills of performance or reliability theory, as shown by use of an example application. {\textcopyright} 2013 Springer-Verlag Berlin Heidelberg.</p>},
	keywords = {Administrative data processing, Automation, Availability, BPMN, Business Process, Competition, Design, Enterprise resource management, Forecasting, High level languages, Information services, LQN, Mathematical models, MDA, Performance, Quality of service, Reliability, Service oriented architecture (SOA), Software architecture, Specifications, Web services},
	issn = {16191366},
	doi = {10.1007/s10270-013-0345-5},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84899754418\&partnerID=40\&md5=ac7ae348f9d39ccb87a9aedb7d7524bd},
	author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio}
}
@conference {Bocciarelli2012266,
	title = {Automated performance analysis of business processes},
	booktitle = {Simulation Series},
	volume = {44},
	number = {4 BOOK},
	year = {2012},
	note = {cited By 7},
	pages = {266-274},
	abstract = {Business processes (BPs) can be seen as flows of tasks that are orchestrated to accomplish well-defined goals. The ability to predict at design time the BP behavior assumes a strategic relevance, both to early assess whether or not the business goals are achieved and to gain a competitive advantage. This paper focuses on the performance prediction of BPs. Specifically, this work introduces a model-driven method that, starting from a performance-enabled description of a BP, first derives a BP performance model of EQN (Extended Queueing Network) type, and then generates and executes the EQN model implementation, thus enacting a fully automated analysis of the business process behavior. The performance model implementation is carried out by use of jEQN, a java-based domain specific language for specifying and executing EQN models. The paper also describes how the proposed model-driven method has been effectively implemented.},
	keywords = {BPMN, Business Process, Competition, Computer simulation, EQN, Java programming language, jEQN, MDA, Performance, Software architecture},
	isbn = {9781618397867},
	issn = {07359276},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84876469347\&partnerID=40\&md5=1912c0d789945a9c91c8ebe913ccaddf},
	author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio}
}
@conference {Bocciarelli2011160,
	title = {A BPMN extension for modeling non functional properties of business processes},
	booktitle = {Simulation Series},
	volume = {43},
	number = {1 BOOK 4},
	year = {2011},
	note = {cited By 27},
	pages = {160-168},
	abstract = {Business Process Management (BPM) is an holistic approach for describing, analyzing, executing, managing and improving large enterprise business processes, which can be seen as collections of related tasks executed to accomplish well-defined goals. This paper introduces a notation for the description of a business process in terms of both functional and non-functional properties, specifically addressing the performance and reliability characterization of a business process. In the BPM context, the Business Process Modeling Notation (BPMN) is the de-facto standard for the high-level description of business processes. Unfortunately BPMN does not support the characterization of the business process in terms of non-functional properties such as performance and reliability. To overcome such limitation, this paper introduces PyBPMN (Performability-enabled BPMN), a lightweight BPMN extension for the specification of properties that address both performance and reliability. The proposed extension is based on an approach that exploits principles and standards introduced by the Model Driven Architecture (MDA), thus obtaining significant advantages in terms of easy customization and improved automation. The paper also presents an example application of the proposed extension to show how it enables the automated transformation of a business process model into a parameterized performance model whose execution gives insights about the process behavior.},
	keywords = {Administrative data processing, BPMN, Business Process, Business process management, Business process model, Business Process Modeling Notation (BPMN), Computer simulation, Enterprise resource management, MDA, Model driven architectures, Performance and reliabilities, Reliability, Software architecture, Systems engineering},
	isbn = {9781617828386},
	issn = {07359276},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84887029950\&partnerID=40\&md5=286bf26106c501019949590c37d312e2},
	author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio}
}
@conference {D{\textquoteright}Ambrogio2011155,
	title = {A model transformation approach for the development of HLA-based distributed simulation systems},
	booktitle = {SIMULTECH 2011 - Proceedings of 1st International Conference on Simulation and Modeling Methodologies, Technologies and Applications},
	year = {2011},
	note = {cited By 3},
	pages = {155-160},
	abstract = {The development of HLA-based distributed simulation systems requires a significant expertise and a considerable effort for the inherent complexity of the HLA standard. This paper introduces an automated approach for the development of HLA-based simulation systems of higher quality at largely reduced time, effort and cost. The proposed approach is founded on the use of model transformation techniques and relies on standards introduced by the Model Driven Architecture (MDA). The proposed approach takes as input a UML model of the system to be simulated and yields as output both an intermediate UML model and the final code of the HLA-based distributed simulation system.},
	keywords = {Computer simulation, Distributed computer systems, Distributed simulation systems, High level architecture, HLA, MDA, Model driven development, Model transformation, Software architecture, Standardization, Unified Modeling Language},
	isbn = {9789898425782},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-80052596859\&partnerID=40\&md5=97f5284df768d7865992d397a976c663},
	author = {Andrea D{\textquoteright}Ambrogio and Iazeolla, G. and Pieroni, A. and Gianni, D.}
}
@conference {D{\textquoteright}Ambrogio20104,
	title = {A MDA-based approach for the development of DEVS/SOA simulations},
	booktitle = {Simulation Series},
	volume = {42},
	number = {1 BOOK 4},
	year = {2010},
	note = {cited By 0},
	pages = {4-11},
	abstract = {The intrinsic complexity of the DEVS formalism and the manual production of DEVS-based simulations might constitute obstacles to the adoption of DEVS for both system modelers and simulation users. To overcome these obstacles, this paper introduces a model-driven approach for the development of DEVS simulations. The approach provides modelers and users with standard graphical modeling languages and with model transformation specifications for automated code production. Specifically, the approach enables the UML specification of DEVS models and automates the generation of DEVS simulations that make use of the DEVS/SOA implementation. An example application to the production of a DEVS/SOA simulation for a basic queuing system is also presented, to show the details of the proposed approach.},
	keywords = {DEVS, Discrete event simulation, Mathematical models, MDA, Model driven development, Model transformation, Software architecture, Specifications, UML},
	isbn = {9781617382048},
	issn = {07359276},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84887115977\&partnerID=40\&md5=d939ce7d1f75fadfcbdeca9335ab3f30},
	author = {Andrea D{\textquoteright}Ambrogio and Gianni, D. and Risco-Mart{\'\i}n, J.L. and Pieroni, A.}
}
@conference {D{\textquoteright}Ambrogio2010,
	title = {A MDA-based approach for the development of DEVS/SOA simulations},
	booktitle = {Spring Simulation Multiconference 2010, SpringSim{\textquoteright}10},
	year = {2010},
	note = {cited By 6},
	abstract = {The intrinsic complexity of the DEVS formalism and the manual production of DEVS-based simulations might constitute obstacles to the adoption of DEVS for both system modelers and simulation users. To overcome these obstacles, this paper introduces a model-driven approach for the development of DEVS simulations. The approach provides modelers and users with standard graphical modeling languages and with model transformation specifications for automated code production. Specifically, the approach enables the UML specification of DEVS models and automates the generation of DEVS simulations that make use of the DEVS/SOA implementation. An example application to the production of a DEVS/SOA simulation for a basic queuing system is also presented, to show the details of the proposed approach. {\textcopyright} 2010 SCS.},
	keywords = {DEVS, Discrete event simulation, MDA, Model transformation, Model-driven development, Software architecture, Specifications, UML},
	isbn = {9781450300698},
	doi = {10.1145/1878537.1878685},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-78650597613\&partnerID=40\&md5=d354a5334db8120b18b505cf48e0d4cd},
	author = {Andrea D{\textquoteright}Ambrogio and Gianni, D. and Risco-Mart{\'\i}n, J.L. and Pieroni, A.}
}
@conference {Ambrogio2008292,
	title = {A UML profile for modeling software applications based on grid services},
	booktitle = {Proceedings of the IASTED International Conference on Software Engineering, SE 2008},
	year = {2008},
	note = {cited By 1},
	pages = {292-297},
	abstract = {Grid environments and software applications based on Grid Services are currently receiving a strong consid- eration. Nevertheless the development of such appli-cations is still di cult and error-prone because of the lack of appropriate notations based on widely used lan-guages such as UML. This paper introduces a classi- cation of services that interact in Grid environments and proposes an UML extension for Grid service- oriented applications. The extension is carried out by use of a UML pro le, that is a lightweight standard ex- tension mechanism that allows to specify the roles of the di erent services within UML diagrams and that can easily be incorporated into UML-based integrated development environments. The proposed pro le facil- itates the development of applications based on Grid Services and increases their reusability and maintain- ability. An example application is introduced to show how the pro le can be e ectively used to annotate ac-tivity diagrams, component diagrams and deployment diagrams.},
	keywords = {Applications, Deployment diagrams, Error-prone, Graphic methods, Grid, Grid computing, Grid environments, Grid services, Integrated development environments, MDA, Modeling softwares, Positive ions, Reusability, Service-oriented, Software applications, Software engineering, Spontaneous emission, Standardization, Uml diagrams, UML extensions, UML profile},
	isbn = {9780889867154},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-62849118302\&partnerID=40\&md5=7c2372c396d896a454b5c2251fd400e3},
	author = {Andrea D{\textquoteright}Ambrogio and Conticelli, L.}
}
@conference {Angelaccio2007464,
	title = {A Model transformation framework to boost productivity and creativity in collaborative working environments},
	booktitle = {Proceedings of the 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2007},
	year = {2007},
	note = {cited By 10},
	pages = {464-472},
	abstract = {Collaborative working environments consist of a network of spatially dispersed actors (either humans or not) that play different roles and cooperate to achieve a common goal. Notwithstanding the ever increasing potential of innovative software and network technologies, collaborative working environments still require advanced solutions to effectively managing their inherent complexity, thereby boosting productivity and creativity. Essential components of innovative service-based collaborative working environments are collaboration-aware services that embed the required point-topoint or multi-point interaction patterns to support the flexible orchestration of distributed and concurrent activities. This paper introduces an approach that attempts to overcome the above mentioned drawbacks of current collaborative working environments by exploiting the precepts recently introduced by model-driven development and MDA (Model Driven Architecture). The proposed approach is guided by a model transformation framework that makes use of the set of MDA-related standards (MOF, QVT and XMI) to obtain a high degree of automation, so that interoperable model transformation services can be implemented in a timely and efficient way. At the end, the single tool usually operated by a given worker can be considered as a virtual collaborative platform for creating and automatically transforming models of different types and at various levels of abstraction.},
	keywords = {Computer networks, Creativity, MDA, Model transformation, Productivity, Service-based collaborative environments},
	isbn = {1424413176; 9781424413171},
	doi = {10.1109/COLCOM.2007.4553876},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-51349124345\&partnerID=40\&md5=9648e3a0286863383964da311114122a},
	author = {Angelaccio, M. and Andrea D{\textquoteright}Ambrogio}
}
