@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 {D{\textquoteright}Ambrogio2012234,
	title = {A method for the prediction of software reliability},
	booktitle = {Proceedings of the 6th IASTED International Conference on Software Engineering and Applications, SEA 2002},
	year = {2012},
	note = {cited By 16},
	pages = {234-240},
	publisher = {Acta Press},
	organization = {Acta Press},
	abstract = {This paper deals with the reliability assessment of component-based software to predict the software product reliability at the early stage. The proposed approach transforms a specification written in a semi-formal language into a stochastic model to be used for reliability evaluation. The paper assumes an UML-based system specification and introduces a method to map the specification onto a failure model. The method enables software designers with no specific knowledge of reliability theory to predict at design time the reliability of the final product, thus introducing lifecycle reliability prediction into their development best practices. The method is illustrated by use of an application case study that deals with the development of distributed software. A software architecture that allows the method to be easily integrated into UML-based software development environments is also introduced. The architecture is based on the use of XML (eXtensible Markup Language) to represent both the UML system specification and the failure model.},
	keywords = {Application programs, Automatic modeling, Component based software, Forecasting, Formal languages, Reliability assessments, Reliability Evaluation, Reliability prediction, Reliability theory, Semi-formal languages, Software development environment, Software engineering, Software reliability, Specifications, XML, XML (extensible markup language)},
	isbn = {0889863237; 9780889863231},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84904159409\&partnerID=40\&md5=e3371411e5b757b27cda93c405253da1},
	author = {Andrea D{\textquoteright}Ambrogio and Iazeolla, G. and Mirandola, R.}
}
@conference {Gianni2008118,
	title = {A domain specific language for the definition of extended queueing network models},
	booktitle = {Proceedings of the IASTED International Conference on Software Engineering, SE 2008},
	year = {2008},
	note = {cited By 7},
	pages = {118-124},
	abstract = {The use of design patterns and modular decomposition for the development of component-based software products brings significant improvements in terms of several quality attributes (e.g., reusability, reliability, maintainability). In addition, the modular design of interacting software components allows the foundation of a flexible Domain Specific Language (DSL) that acts as a model description language rather than a coding language, bringing significant savings in terms of development effort. This is particularly true in the field of simulation, in which the use of a common language both to represent and to simulate a given simulation model practically eliminates the need and the effort to fill the gap between the model specification and the simulator implementation. This paper introduces the design features of jEQN, a language for the specification and implementation of simulation models based on extended queueing networks. Details concerning the application of design patterns, modular decomposition and generic type parameters are also presented.},
	keywords = {Coding languages, Common languages, Component-based softwares, Computer simulation, Computer simulation languages, Computer software reusability, Design, Design features, Design patterns, Domain-specific languages, DSL, EQN, Generic types, Interacting softwares, Java, Java programming language, Linguistics, Maintainability, Model description languages, Model specifications, Model-driven design, Modems, Modular decompositions, Modular designs, Quality attributes, Queueing network models, Queueing networks, Reusability, Simulation, Simulation models, Software engineering, Software reliability, Specifications, Spontaneous emission, Systems analysis, Telecommunication lines},
	isbn = {9780889867154},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-58049139201\&partnerID=40\&md5=0ba8c0ea76e037065fe93e4f9456b413},
	author = {Gianni, D. and Andrea D{\textquoteright}Ambrogio}
}
@conference {Bocciarelli20081,
	title = {A measurement framework for the parameterization of performance models of soa-based systems},
	booktitle = {Proceedings of the IASTED International Conference on Software Engineering, SE 2008},
	year = {2008},
	note = {cited By 1},
	pages = {1-6},
	abstract = {Distributed applications are rapidly converging towards the adoption of a computing paradigm based on service-oriented architectures, according to which an application can be seen as a composite web service that is built by assembling a set of existing services, executed on internetworked server hosts. In such a context, service providers are strategically interested both to describe the performance characteristics of offered services, to better qualify their offer and gain a significant advantage in the global marketplace; and to predict the level of performance that can be offered to service consumers. To this purpose, the paper introduces a framework for the management of performance parameters, defining the architecture that enables service providers to measure and make available performance information about the offered services. On the other hand the proposed approach allows the service consumers to automatically retrieve the performance data and then use such data to apply model-driven approaches for the performance analysis of composite web services.},
	keywords = {Composite web services, Computing paradigms, Distributed applications, Global marketplaces, Information services, Internetworked, LQN, Model-driven approaches, Parameters, Performance, Performance analysis, Performance characteristics, Performance datum, Performance models, Performance parameters, Service oriented architecture (SOA), Service providers, Service-oriented architectures, SOA, Soa-based systems, Software engineering, Spontaneous emission, Web services},
	isbn = {9780889867154},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-62849121929\&partnerID=40\&md5=86f31e7a2aba49f609769114bee66712},
	author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio}
}
@conference {Ambrogio200820,
	title = {A Model-Driven approach for the performance management of grid-based applications},
	booktitle = {Proceedings of the IASTED International Conference on Software Engineering, SE 2008},
	year = {2008},
	note = {cited By 0},
	pages = {20-25},
	abstract = {Grid environments and software applications based on Grid Services are currently receiving a strong consideration. In a Grid context, service providers are strategically interested to manage the level of performance that can be oered to service consumers. This paper introduces a model-driven approach for predicting, at design time, and managing, at execution time, the performance characteristics of applications based on Grid Services. The approach is based on the automatic generation and evaluation of performance models from design models of UML type. An example application is illustrated to show the eectiveness of the proposed approach.},
	keywords = {Applications, Automatic generations, Design models, Design time, Execution time, Grid, Grid computing, Grid contexts, Grid environments, Grid services, Grid-based applications, LQN, Model-driven approaches, Performance analysis, Performance characteristics, Performance managements, Performance models, Service providers, Service-oriented, Software applications, Software engineering, Spontaneous emission, Systems analysis},
	isbn = {9780889867154},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-62849087032\&partnerID=40\&md5=497dc66a800e3d14123b851fc9cec6d7},
	author = {Andrea D{\textquoteright}Ambrogio and Conticelli, L.}
}
@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.}
}
@article {D{\textquoteright}Ambrogio2006121,
	title = {Soon: A tool for software performance validation},
	journal = {International Journal of Modelling and Simulation},
	volume = {26},
	number = {2},
	year = {2006},
	note = {cited By 4},
	pages = {121-128},
	abstract = {The automatic derivation of software performance models from CASE documents is a necessary step towards lifecycle validation of the performance of software products (or prediction of the product ability to satisfy the user performance requirements). This paper illustrates SOON (SOftware performance validatiON), a tool that implements a method for the automatic derivation of a software performance model from UML-based documents. The tool also includes a model evaluation facility. SOON allows software designers to overcome the difficulties often encountered when they lack specific knowledge of performance theory, allowing one to predict at design time the performance of various product alternatives. SOON is designed and implemented by use of standards for document exchange (XMI) and for application interoperability (CORBA), so that it can be easily linked or embedded into UML-based CASE environments.},
	keywords = {CASE documents, Codes (standards), Computer programming languages, Computer simulation, Computer software selection and evaluation, Embedded systems, Interoperability, Lifecycle validation, Performance tools, Software engineering, Software performance, SOftware performance validatiON (SOON)},
	issn = {02286203},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-33745447390\&partnerID=40\&md5=8e384a01572372537f850b69e9e0c6d4},
	author = {Andrea D{\textquoteright}Ambrogio}
}
@conference {D{\textquoteright}Ambrogio2005366,
	title = {Design of XMI-based tools for building EQN models of software systems},
	booktitle = {Proceedings of the IASTED International Conference on Software Engineering: part of the 23rd IASTED International Multi-Conference on Applied Informatics, SE 2005},
	year = {2005},
	note = {cited By 4},
	pages = {366-371},
	abstract = {Research in software development is proving that model building during product development is essential to product validation. Indeed the model can be used in the early stages of the product lifecycle to predict the product compliance with the user performance requirements. This paper deals with software performance model building. Only a few methods and tools have been introduced for performance model automatic building, which would be of great interest to software developers, since existing performance methods and tools require a deep knowledge of performance theory. This paper illustrates the design of a tool for automatically building software performance models. The produced model is a queueing network. The design is based on recently published standards like MOF and XMI, that facilitate the easy interchange of models between different tools (e.g., software development tools, evaluation tools, etc.).},
	keywords = {Automatic buildings, Design, Information science, Java programming language, Model buildings, MOF, Product compliance, Product development, Queueing networks, Software development tools, Software engineering, Software performance, Software performance modeling, Tools, UML, XMI},
	isbn = {0889864640; 9780889864641},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84882959712\&partnerID=40\&md5=5efce578e953ca65d5eff685949b9a32},
	author = {Andrea D{\textquoteright}Ambrogio 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.}
}
@conference {Iazeolla1995221,
	title = {Collaborative IV\&V by SPEED a tool-kit for the performance IV\&V of critical software},
	booktitle = {Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WET ICE},
	year = {1995},
	note = {cited By 1},
	pages = {221-230},
	publisher = {IEEE, Los Alamitos, CA, United States},
	organization = {IEEE, Los Alamitos, CA, United States},
	abstract = {Software performance engineering is a software engineering methodology whose scope is continuing Performance IV\&V during life cycle. SPEED (Software PErformance Evaluation and MoDeling) is a tool-kit for software Performance IV\&V according to performance engineering criteria. It is in course of development at the Laboratory for Computer Science, and CERTIA Research Center, University of Rome at TorVergata. In its present version, it generates and evaluates the Master Model of the product, a performance analysis model that continuously evolves with the product design, and that includes the software workload model and the abstract machine model, or model of the executing environment. Conventional analytical and hybrid simulation techniques can then be applied to the MM to obtain performance predictions for the product under design. The paper gives a description of the SPEED philosophy and architecture, with an accompanying application example of DBMS performance design.},
	keywords = {Computer simulation, Computer software, Computer software selection and evaluation, Critical software, Database systems, Performance, Software engineering, Software performance evaluation and modeling, Software workload model, Systems analysis},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-0029516723\&partnerID=40\&md5=0a21b948e2ba7b9d5bec357bc0477f93},
	author = {Iazeolla, Giuseppe and Mirandola, Raffaela and Andrea D{\textquoteright}Ambrogio}
}
