@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 {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}Ambrogio2007605,
	title = {A method for the production of simulation models with application to web interaction paradigms},
	journal = {Simulation Modelling Practice and Theory},
	volume = {15},
	number = {5},
	year = {2007},
	note = {cited By 2},
	pages = {605-620},
	abstract = {Modern internet and web applications rely on interactions among remote host computers connected by heterogeneous networks (different LANs, gateways, WANs, MANs, etc.). Simulation modelling such networks is of great importance to the web application designer to predict, at design time, performance metrics such as the end-to-end delay between hosts, which is dramatically increased by the various mechanisms necessary to deal with heterogeneity (protocol conversion, packet fragmentation and re-assembly, flow control, etc.). On the other hand, producing a simulation model of web interactions is a non-trivial task because of the great importance of the software aspects. It is thus necessary to provide general model production guidelines which can be then tailored and applied to specific simulation languages or packages. This paper gives such general production guidelines with an example application to the production of simulation models for web interaction paradigms of client-server and mobile agent types. An example use of the models is also introduced to predict the most convenient paradigm and the best choice of the host capacities for each given network configuration. {\textcopyright} 2007 Elsevier B.V. All rights reserved.},
	keywords = {Client-server, Computer simulation, Interaction paradigms, Internet, Mathematical models, Mobile agents, Network protocols, Object oriented programming, Object-oriented simulation, Servers, Simulation model production, Web applications},
	issn = {1569190X},
	doi = {10.1016/j.simpat.2004.06.009},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-34147118556\&partnerID=40\&md5=0f9139beebc9c61d01f2520a10350922},
	author = {Andrea D{\textquoteright}Ambrogio and Iazeolla, G. and Pasini, L.}
}
@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.}
}
@conference {D{\textquoteright}Ambrogio200575,
	title = {A model transformation framework for the automated building of performance models from UML models},
	booktitle = {Proceedings of the Fifth International Workshop on Software and Performance, WOSP{\textquoteright}05},
	year = {2005},
	note = {cited By 48},
	pages = {75-86},
	abstract = {In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software models and then use the obtained models to check whether the system is being developed according to its performance requirements. The model building activity is a critical and effort-consuming activity. Several approaches have been envisaged to endow software designers with tools that automatically build ready-to-evaluate performance models from software development models. One essential requirement of such tools, often disregarded by current approaches, is a high degree of interoperability with software development tools, which has the positive effect of reducing both the level of required expertise in performance theory and the burden of learning separate tools. This paper introduces a frame-work for transforming source software models into target performance models. The transformation requires a clear understanding of the abstract syntax and semantics of both the source and target models, which is obtained by use of metamodeling techniques for defining the abstract syntax of models, the interrelationships between model elements and the model transformation rules. In the paper case, the framework is applied to the transformation of source models of UML type into target models of LQN (layered queueing network) type. The proposed approach is founded on the precepts recently introduced by model-driven development (MDA) and makes use of the set of related standards (MOF, QVT, XMI). This allows to obtain a high degree of automation, so that interoperable model transformation tools can be implemented in a timely and efficient way, leading to improvements in terms of software designers{\textquoteright} productivity and system quality. Copyright 2005 ACM.},
	keywords = {Automated model building, Computer programming languages, Computer simulation, Computer software, Interoperability, Layered queueing network (LQN), Mathematical models, Mathematical transformations, Performance models, Queueing networks, Semantics, Software engineering, Software models, Software performance},
	isbn = {1595930876; 9781595930873},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-33748990901\&partnerID=40\&md5=3d70f2f5116fbd9bc73c5adb8790835c},
	author = {Andrea D{\textquoteright}Ambrogio}
}
@conference {D{\textquoteright}Ambrogio200544,
	title = {Performance model building of pervasive computing},
	booktitle = {Proceedings - 2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems, FIRB-Perf 2005},
	volume = {2005},
	year = {2005},
	note = {cited By 3},
	pages = {44-53},
	abstract = {Performance model building is essential to predict the ability of an application to satisfy given levels of performance or to support the search for viable alternatives. Using automated methods of model building is becoming of increasing interest to software developers who have neither the skills nor the time to do it manually. This is particularly relevant in pervasive computing, where the large number of software and hardware components requires models of so large a size that using traditional manual methods of model building would be error prone and time consuming. This paper deals with an automated method to build performance models of pervasive computing applications, which require the integration of multiple technologies, including software layers, hardware platforms and wired/wireless networks. The considered performance models are of extended queueing network (EQN) type. The method is based on a procedure that receives as input the UML model of the application to yield as output the complete EQN model, which can then be evaluated by use of any evaluation tool. {\textcopyright} 2005 IEEE.},
	keywords = {Automation, Computer software, Distributed computer systems, Extended queuing network (EQN), Manual control, Mathematical models, Performance models, Pervasive computing, Query languages, Software engineering, Wireless networks},
	isbn = {0769524478; 9780769524474},
	doi = {10.1109/FIRB-PERF.2005.15},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-33846989003\&partnerID=40\&md5=3ba663ef9a7a1338b9485fda4973b320},
	author = {Andrea D{\textquoteright}Ambrogio and Iazeolla, G.}
}
@article {D{\textquoteright}Ambrogio2005371,
	title = {A WSDL extension for performance-enabled description of web services},
	journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
	volume = {3733 LNCS},
	year = {2005},
	note = {cited By 6},
	pages = {371-381},
	abstract = {Web services are the building blocks of the emerging computing paradigm based on service-oriented architectures. A web service is a self-describing, open component that supports rapid composition of distributed applications. Web service definitions are used to describe the service capabilities in terms of the operations of the service and the input and output messages for each operation. Such definitions are expressed in XML by use of the Web Service Definition Language (WSDL). Unfortunately, a WSDL description only addresses the functional aspects of a web service without containing any useful description of non-functional or quality of service characteristics. This paper addresses the performance attribute of quality of service and introduces a WSDL extension for the description of performance characteristics of a web service. The extension is carried out as a metamodel transformation, according to principles and standards recommended by the Model Driven Architecture (MDA). The WSDL metamodel is introduced and then transformed into the P-WSDL (Performance-enabled WSDL) metamodel. The proposed P-WSDL extension can effectively be used to specify performance requirements of web services, to describe performance data measured on given web services, to add performance-oriented characteristics when querying registries of web services, to ease the derivation of performance models of web services and to support the automated mapping from WSDL documents to P-WSDL ones and from UML models to P-WSDL web services. {\textcopyright} Springer-Verlag Berlin Heidelberg 2005.},
	keywords = {Computer architecture, Distributed computer systems, Mathematical models, Performance-enabled description, Quality of service, Rapid composition, Web Service Definition Language (WSDL), Web services, World Wide Web, XML},
	isbn = {3540294147; 9783540294146},
	issn = {03029743},
	doi = {10.1007/11569596_40},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-33646536536\&partnerID=40\&md5=e0230caf091fca87279fb7199426e55c},
	author = {Andrea D{\textquoteright}Ambrogio}
}
