@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 {Gianni2012310,
	title = {BOM2UML: Integrating BOM specifications into UML-based development environments},
	booktitle = {Simulation Series},
	volume = {44},
	number = {4 BOOK},
	year = {2012},
	note = {cited By 0},
	pages = {310-317},
	abstract = {Base Object Model (BOM) is a standard to define conceptual models that can be reused for the development or the extension of simulation systems based on the IEEE High Level Architecture (HLA). However, BOM specifications suffer from interoperability issues as they cannot be automatically imported into model-driven simulation engineering environments based on UML and related standards. In this paper, we overcome this limitation by introducing BOM2UML, a model transformation to derive standard UML models from a BOM specification. We provide both a conceptual description of the transformation rules and the details of their implementation in ATL, the Atlas Transformation Language. We also show a preliminary output of the proposed transformation, applied to a set of BOM specifications of a simplified military application.},
	keywords = {BOM, Computer simulation, HLA, Mathematical models, Model driven development, Model transformation, Specifications, Standards, UML, Unified Modeling Language},
	isbn = {9781618397867},
	issn = {07359276},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84876472367\&partnerID=40\&md5=60c7fa8c563ba58f48e298b7cc8fb1a1},
	author = {Gianni, D. and Andrea D{\textquoteright}Ambrogio and Grasso, M.}
}
@conference {Gianni2012,
	title = {A model-based Signal-In-Space interface specification to support the design of Galileo receivers},
	booktitle = {6th ESA Workshop on Satellite Navigation Technologies: Multi-GNSS Navigation Technologies Galileo{\textquoteright}s Here, NAVITEC 2012 and European Workshop on GNSS Signals and Signal Processing},
	year = {2012},
	note = {cited By 1},
	abstract = {The design and development of Galileo receivers will be a key factor to determine the market approach and penetration. The massive use of the Galileo services will be impacted, as well as the estimated economical return of the Galileo linked activities. In general, GNSS receivers use similar mathematical models for the computation of the global positioning from a standard parameter set. However, receivers design and implementation solutions are often inherently dependent on the specific parameter representations defined in the Signal-In-Space (SIS) interface specifications. In this paper, we introduce Interface Communication Modeling Language (ICML) as a model-based approach for the SIS interface specification to support the engineering of Galileo receivers. We argue that a model-based specification can potentially bring several technical benefits to the design of Galileo receivers, including support for specification communication among stakeholders, reuse and adaptation of existing GPS software and chipsets, and receiver-side multi GNSS interoperability, for example. As a result, a model-based SIS interface specification can contribute to increase the use of the Galileo services by reducing the impact of the technical factors leading to the extra costs. In the paper, we present the overall layout of the ICML language and preliminary applications. In particular, we present a simplified excerpt of a Galileo-like SIS specification and functional schema of GNSS receivers and show how the ICML-based specification can support the design of Galileo receivers. An important caveat: no endorsement is made for the use of the ICML language for the official Galileo SIS interface specification. {\textcopyright} 2012 IEEE.},
	keywords = {Communication, Computer software reusability, Design, GALILEO, Global positioning system, Information theory, Interface control documents, Interface specification, Mathematical models, Model-based systems engineering, Receivers (containers), Signal processing, Signal receivers, Specifications, SysML, Technology, UML},
	isbn = {9781467320115},
	doi = {10.1109/NAVITEC.2012.6423066},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84874274251\&partnerID=40\&md5=c5bbcc7395ef038a87c8dcbae3e8f360},
	author = {Gianni, D. and Lisi, M. and De Simone, P. and Andrea D{\textquoteright}Ambrogio and Luglio, M.}
}
@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.}
}
@article {D{\textquoteright}Ambrogio2006854,
	title = {JEQN a java-based language for the distributed simulation of queueing networks},
	journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
	volume = {4263 LNCS},
	year = {2006},
	note = {cited By 10},
	pages = {854-865},
	publisher = {Springer Verlag},
	abstract = {The increasing pervasiveness of large scale networks is bringing distributed simulation (DS) to the reach of academic and business communities besides the traditional military ones. This gives academics and industry the advantage of using larger execution platforms and of reusing locally implemented simulation models as building blocks of much larger models. Developing a distributed simulator however requires learning how to use a given DS standard (such as HLA), that implies a non-negligible amount of effort. This paper addresses the problem of defining a language that can equivalently support the development of local or distributed simulators, making the use of the DS standard transparent. The HLA standard is dealt with, but the method can be extended to any other DS standard. The language (called JEQN) addresses the extended queueing network (EQN) domain, and thus it also includes primitives to facilitate the development of queueing network distributed simulators. {\textcopyright} Springer-Verlag Berlin Heidelberg 2006.},
	keywords = {Computer simulation, Distributed computer systems, Distributed simulation (DS), Extended queueing network (EQN), Java programming language, Mathematical models, Problem solving, Queueing networks},
	isbn = {3540472428; 9783540472421},
	issn = {03029743},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-33845266519\&partnerID=40\&md5=0bd7180b65ff7614c02cf24a74b70473},
	author = {Andrea D{\textquoteright}Ambrogio and Gianni, D. and Iazeolla, G.}
}
