@conference {181, title = {Application of a Model-Driven Approach to the Development of Distributed Simulations: The ESA HRAF Case}, booktitle = {Proceedings of the 2020 Spring Simulation Conference, SpringSim 2020}, year = {2020}, doi = {10.22360/SpringSim.2020.Mod4Sim.002}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85092068247\&doi=10.22360\%2fSpringSim.2020.Mod4Sim.002\&partnerID=40\&md5=d7db107af9954a190c5b3cbfaab00e99}, author = {D{\textquoteright}Ambrogio, A. and Bocciarelli, P. and Delfa, J. and Kisdi, A.} } @conference {216, title = {Applying ieee recommended practice for distributed simulation engineering and execution process for modeling and simulation based airborne systems engineering}, booktitle = {AIAA Scitech 2020 Forum}, year = {2020}, doi = {10.2514/6.2020-0896}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85091919105\&doi=10.2514\%2f6.2020-0896\&partnerID=40\&md5=7fe559973a3fd46dd48e9338cfa8adfe}, author = {Gerlach, T. and Durak, U. and D{\textquoteright}Ambrogio, A.} } @conference {213, title = {ArTIC-MS: An Architecture for Tosca-Based Inter-Cloud Modeling and Simulation}, booktitle = {Proceedings - Winter Simulation Conference}, year = {2020}, doi = {10.1109/WSC48552.2020.9384005}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85103901234\&doi=10.1109\%2fWSC48552.2020.9384005\&partnerID=40\&md5=75978a21c5de7cb94d4fcbae4d10e418}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Durak, U.} } @article {180, title = {Modeling Resources to Simulate Business Process Reliability}, journal = {ACM Transactions on Modeling and Computer Simulation}, volume = {30}, year = {2020}, doi = {10.1145/3381453}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85087756691\&doi=10.1145\%2f3381453\&partnerID=40\&md5=673e966eb20621494c2d119f7d2fb3fb}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Giglio, A. and Paglia, E.} } @conference {214, title = {Rethinking Simulation Engineering Process for MSaaS}, booktitle = {Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE}, year = {2020}, doi = {10.1109/WETICE49692.2020.00025}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85100713775\&doi=10.1109\%2fWETICE49692.2020.00025\&partnerID=40\&md5=19a68f8d07c25546ebb4748debe5266c}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Durak, U. and Panetti, T.} } @conference {215, title = {Safety-critical simulation engineering}, booktitle = {2020 Summer Simulation Multi-Conference, SummerSim 2020}, year = {2020}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85099312307\&partnerID=40\&md5=3bbbdc7e28a75c02b16ccf94f92b7c28}, author = {Durak, U. and D{\textquoteright}Ambrogio, A. and Bocciarelli, P.} } @conference {188, title = {Automated generation of FOM modules for HLA-based distributed simulations}, booktitle = {2019 Spring Simulation Conference, SpringSim 2019}, year = {2019}, doi = {10.23919/SpringSim.2019.8732865}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85068620179\&doi=10.23919\%2fSpringSim.2019.8732865\&partnerID=40\&md5=7732070a3d1ae833312898865e381add}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Giglio, A. and Paglia, E.} } @conference {182, title = {BPMN-Based Business Process Modeling and Simulation}, booktitle = {Proceedings - Winter Simulation Conference}, year = {2019}, doi = {10.1109/WSC40007.2019.9004960}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85081140337\&doi=10.1109\%2fWSC40007.2019.9004960\&partnerID=40\&md5=562c397f5282b4d755ea42195d8f5d51}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Giglio, A. and Paglia, E.} } @conference {187, title = {A BPMN/HLA-Based Methodology for Collaborative Distributed des}, booktitle = {Proceedings - 2019 IEEE 28th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2019}, year = {2019}, doi = {10.1109/WETICE.2019.00033}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85071674691\&doi=10.1109\%2fWETICE.2019.00033\&partnerID=40\&md5=edfa6f3fbef940c14919b4803aa0f7b3}, author = {Possik, J. and Amrani, A. and Vallespir, B. and D{\textquoteright}Ambrogio, A. and Zacharewicz, G.} } @conference {185, title = {Enabling Reactive Streams in HLA-based Simulations through a Model-Driven Solution}, booktitle = {Proceedings - 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2019}, year = {2019}, doi = {10.1109/DS-RT47707.2019.8958697}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85079069726\&doi=10.1109\%2fDS-RT47707.2019.8958697\&partnerID=40\&md5=7dbbb41f0eb0a6c3f00c7e55c468cdc6}, author = {D{\textquoteright}Ambrogio, A. and Falcone, A. and Garro, A. and Giglio, A.} } @conference {189, title = {A microservice-based approach for fine-grained simulation in msaas platforms}, booktitle = {Simulation Series}, year = {2019}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85074846792\&partnerID=40\&md5=4e1191158a88c583834f3858c02dce23}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Giglio, A. and Paglia, E.} } @article {184, title = {A model-driven approach to enable the simulation of complex systems on distributed architectures}, journal = {Simulation}, volume = {95}, year = {2019}, pages = {1185-1211}, doi = {10.1177/0037549719829828}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85062333445\&doi=10.1177\%2f0037549719829828\&partnerID=40\&md5=3941c1c83541f608b5cf58e6885d8c97}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Falcone, A. and Garro, A. and Giglio, A.} } @conference {183, title = {Model-Driven Distributed Simulation Engineering}, booktitle = {Proceedings - Winter Simulation Conference}, year = {2019}, doi = {10.1109/WSC40007.2019.9004937}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85081138260\&doi=10.1109\%2fWSC40007.2019.9004937\&partnerID=40\&md5=302392caf8683ab4ea72625485cef6fe}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Giglio, A. and Paglia, E.} } @conference {186, title = {Report of Collaborative Modeling and Simulation (CoMetS) Track of WETICE 2019}, booktitle = {Proceedings - 2019 IEEE 28th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2019}, year = {2019}, doi = {10.1109/WETICE.2019.00030}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85071666052\&doi=10.1109\%2fWETICE.2019.00030\&partnerID=40\&md5=afd52f035f950632e5e0036bfeb88df1}, author = {D{\textquoteright}Ambrogio, A. and Zacharewicz, G.} } @article {194, title = {A BPMN extension to support discrete-event simulation for healthcare applications: An explicit representation of queues, attributes and data-driven decision points}, journal = {Journal of the Operational Research Society}, volume = {69}, year = {2018}, pages = {788-802}, doi = {10.1057/s41274-017-0267-7}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85021790477\&doi=10.1057\%2fs41274-017-0267-7\&partnerID=40\&md5=f0f30c77b3cccc771c50d7b8b6c878d4}, author = {Onggo, B.S.S. and Proudlove, N.C. and D{\textquoteright}Ambrogio, A. and Calabrese, A. and Bisogno, S. and Levialdi Ghiron, N.} } @conference {191, title = {A Complexity-less Approach for Automated Development of Data-intensive Web Applications}, booktitle = {2018 International Symposium on Networks, Computers and Communications, ISNCC 2018}, year = {2018}, doi = {10.1109/ISNCC.2018.8531027}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85058471323\&doi=10.1109\%2fISNCC.2018.8531027\&partnerID=40\&md5=d4356c447b0046c2ec84991c625add89}, author = {Panetti, T. and D{\textquoteright}Ambrogio, A.} } @article {200, title = {Extending the CMMI engineering process areas for simulation systems engineering}, journal = {Communications in Computer and Information Science}, volume = {889}, year = {2018}, pages = {193-207}, doi = {10.1007/978-3-319-96271-9_12}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85052158948\&doi=10.1007\%2f978-3-319-96271-9_12\&partnerID=40\&md5=5aae6e290d5c833da829cc5c54e00184}, author = {Mahmoodi, S. and Durak, U. and Gerlach, T. and Hartmann, S. and D{\textquoteright}Ambrogio, A.} } @conference {201, title = {Hybrid simulation for cyber physical systems {\textendash} A panel on where are we going regarding complexity, intelligence, and adaptability of CPS using simulation}, booktitle = {Simulation Series}, year = {2018}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85055249409\&partnerID=40\&md5=8c3725d12df561fd50563f0c023d4f62}, author = {Tolk, A. and Barros, F. and D{\textquoteright}Ambrogio, A. and Rajhans, A. and Mosterman, P.J. and Shetty, S.S. and Traor{\'e}, M.K. and Vangheluwe, H. and Yilmaz, L.} } @conference {198, title = {On the importance of simulation in enabling continuous delivery and evaluating deployment pipeline performance}, booktitle = {CEUR Workshop Proceedings}, year = {2018}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85057524209\&partnerID=40\&md5=0270861a197cec19e591104c8d5d3542}, author = {D{\textquoteright}Ambrogio, A. and Falcone, A. and Garro, A. and Giglio, A.} } @conference {195, title = {Letter from the Editors of the 2018 WSC Proceedings}, booktitle = {Proceedings - Winter Simulation Conference}, year = {2018}, doi = {10.1109/WSC.2017.8248251}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85044510346\&doi=10.1109\%2fWSC.2017.8248251\&partnerID=40\&md5=cbee1bd0b947a0db954d16c1c015f0b2}, author = {Chan, W.K. and D{\textquoteright}Ambrogio, A. and Zacharewicz, G. and Mustafee, N.} } @conference {199, title = {Model transformation services for MSAAS platforms}, booktitle = {Simulation Series}, year = {2018}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85055335212\&partnerID=40\&md5=f88e9b0301895d7e94400366e42d2934}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Giglio, A. and Paglia, E.} } @conference {193, title = {A model-driven method to enable the distributed simulation of BPMN models}, booktitle = {Proceedings - 2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2018}, year = {2018}, doi = {10.1109/WETICE.2018.00030}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85057340390\&doi=10.1109\%2fWETICE.2018.00030\&partnerID=40\&md5=0bc489c60df15f64fc8e7bb20b69b66c}, author = {Garro, A. and Falcone, A. and D{\textquoteright}Ambrogio, A. and Giglio, A.} } @conference {197, title = {On the performance prediction capabilities of the eBPMN-based model-driven method for business process simulation}, booktitle = {CEUR Workshop Proceedings}, year = {2018}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85057539414\&partnerID=40\&md5=3bef7d424e5ac1e2c55966a7b44a3092}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Paglia, E. and Giglio, A.} } @conference {192, title = {Report of collaborative modeling and simulation (CoMetS) track of WETICE 2018}, booktitle = {Proceedings - 2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2018}, year = {2018}, doi = {10.1109/WETICE.2018.00029}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85057314315\&doi=10.1109\%2fWETICE.2018.00029\&partnerID=40\&md5=a89e8485e6ef7db72a0be009db1a480b}, author = {D{\textquoteright}Ambrogio, A. and Zacharewicz, G.} } @conference {196, title = {A service-in-the-loop approach for business process simulation based on microservices}, booktitle = {Simulation Series}, year = {2018}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85061225342\&partnerID=40\&md5=248b0d97368d17bf04c9d37b12081c70}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Paglia, E. and Giglio, A.} } @conference {190, title = {Using BPMN and HLA for SoS engineering: lessons learned and future directions}, booktitle = {4th IEEE International Symposium on Systems Engineering, ISSE 2018 - Proceedings}, year = {2018}, doi = {10.1109/SysEng.2018.8544399}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85057528389\&doi=10.1109\%2fSysEng.2018.8544399\&partnerID=40\&md5=94975a3d638c10fa9bfe27b4665a36ab}, author = {Falcone, A. and Garro, A. and D{\textquoteright}Ambrogio, A. and Giglio, A.} } @conference {154, title = {Automated development of web-based modeling services for MSaaS platforms}, booktitle = {Proceedings of the Symposium on Model-driven Approaches for Simulation Engineering (Mod4Sim 2017) {\textendash} part of SpringSim 2017}, year = {2017}, publisher = {The Society for Modeling and Simulation International}, organization = {The Society for Modeling and Simulation International}, abstract = {

MSaaS (M\&S as a Service) is gaining momentum as an effective approach to bring the benefits of service-oriented architectures and cloud computing into the M\&S field, so as to enhance interoperability, composability, reusability and reduce the cost of M\&S efforts. Such significant advantages can be further enhanced by introducing automated model transformations that support the various phases of a M\&S effort, from simulation model building down to model implementation, deployment and execution. In previous contributions we have already addressed the use of automated model transformations that can be effectively adopted to provide simulation services for MSaaS platforms. This paper instead focuses on the automated development of modeling services for MSaaS, i.e., those services that allow platform users to easily build models in their own modeling language by use of a web-based user interface. Specifically, this work proposes an approach to automatically generate web-based visual editors from a metamodel that defines a given modeling language. Once generated, such editors can be made available on demand through a complete MSaaS platform, which also includes simulation services. The paper first describes the architecture of a MSaaS platform that includes modeling services, then illustrates the method for the automated development of web-based modeling services and, finally, gives a complete example application of the proposed method. {\textcopyright}2017 Society for Modeling \& Simulation International (SCS).

}, keywords = {Automation, Information services, Interoperability, Model driven development, Model transformation, Modeling languages, MSaaS, Reusability, Service oriented architecture (SOA), User interfaces, Visual editors, Visual languages, Web services, Web-based modeling, Websites}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85020620129\&partnerID=40\&md5=d5baa89a6c01329dba3a44c6afbf1e92}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Mastromattei, A. and Giglio, A.}, editor = {Durak U. and Cetinkaya D. and D{\textquoteright}Ambrogio A.} } @conference {148, title = {A BPMN extension for modeling Cyber-Physical-Production-Systems in the context of Industry 4.0}, booktitle = {Proceedings of the 2017 IEEE 14th International Conference on Networking, Sensing and Control, ICNSC 2017}, year = {2017}, publisher = {Institute of Electrical and Electronics Engineers Inc.}, organization = {Institute of Electrical and Electronics Engineers Inc.}, abstract = {

Industry 4.0 denotes a recent trend that aims at exploiting Cyber Physical Systems (CPS), based on IoT (Internet of Things) and cloud computing technologies, to obtain increased degrees of cooperation and communication in production systems, thus leading to what is referred to as Cyber Physical Production Systems (CPPS) or {\textquoteright}Smart Factories{\textquoteright}. {\textcopyright} 2017 IEEE.

}, keywords = {Administrative data processing, BPMN, Business process management, Cloud computing technologies, CPPS, Cyber Physical System, Cyber physicals, Cyber-physical systems (CPS), Distributed computer systems, Embedded systems, Enterprise resource management, Industrial plants, Internet of things, Production system, Resources management}, isbn = {9781509044283}, doi = {10.1109/ICNSC.2017.8000159}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85028506510\&doi=10.1109\%2fICNSC.2017.8000159\&partnerID=40\&md5=21f941fe91fbcb4bc02afe439cad2075}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Giglio, A. and Paglia, E.}, editor = {Guerrieri A., Fortino G., Vasilakos A.V., Zhou M., Lukszo Z., Palau C., Liotta A., Vinci A., Basile F., Fanti M.P.} } @article {149, title = {A BPMN extension to support discrete-event simulation for healthcare applications: an explicit representation of queues, attributes and data-driven decision points}, journal = {Journal of the Operational Research Society}, year = {2017}, pages = {1-15}, abstract = {

Stakeholder engagement in simulation projects is important, especially in healthcare where there is a plurality of stakeholder opinions, objectives and power. One promising approach for increasing engagement is facilitated modelling. Currently, the complexity of producing a simulation model means that the {\textquoteleft}model coding{\textquoteright} stage is performed without the involvement of stakeholders, interrupting the possibility of a fully facilitated project. Early work demonstrated that with currently available software tools we can represent a simple healthcare process using Business Process Model and Notation (BPMN) and generate a simulation model automatically. However, for more complex processes, BPMN currently has a number of limitations, namely the ability to represent queues and data-driven decision points. To address these limitations, we propose a conceptual design for an extension to BPMN (BPMN4SIM) using model-driven architecture. Application to an elderly emergency care pathway in a UK hospital shows that BPMN4SIM is able to represent a more complex business process. {\textcopyright} 2017 The Operational Research Society

}, keywords = {BPMN, Business process model and notation (BPMN), Computer aided software engineering, Computer software, Conceptual design, Data driven decision, Discrete event simulation, Explicit representation, Health care, Health care application, Model driven architectures, Simulation projects, Software architecture, Software design, Stakeholder engagement}, issn = {01605682}, doi = {10.1057/s41274-017-0267-7}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85021790477\&doi=10.1057\%2fs41274-017-0267-7\&partnerID=40\&md5=f0f30c77b3cccc771c50d7b8b6c878d4}, author = {Onggo, B.S.S. and Proudlove, N.C. and D{\textquoteright}Ambrogio, A. and Calabrese, A. and Bisogno, S. and Levialdi Ghiron, N.} } @conference {157, title = {Business process modeling and simulation: State of the art and MSaaS opportunities}, booktitle = {Proceedings of the 2017 Summer Simulation Multi-Conference (SummerSim 2017)}, year = {2017}, publisher = {The Society for Modeling and Simulation International}, organization = {The Society for Modeling and Simulation International}, abstract = {

The analysis and continuous improvement of business processes (BPs) has a strategic relevance for those enterprises that strongly rely on the performance of their operational processes to deliver services and/or goods to customers. The adoption of Modeling \& Simulation (M\&S) approaches is widely recognized as a valuable solution for analyzing and improving BPs, even though it is not yet fully exploited, due to the required know-how, effort and cost. In this context, M\&S as a Service (MSaaS) is a promising paradigm that contributes to effectively ease the introduction of M\&S approaches in the BP lifecyle, by saving the investments required to build and maintain the needed hardware and software infrastructure. This paper first illustrates a survey that analyzes the state-of-The-Art regarding the adoption of M\&S approaches in the BP domain and then, starting from a set of identified open issues, proposes a next generation MSaaS architecture which aims at enabling a time-And cost-effective M\&S-based analysis of BPs. {\textcopyright} 2017 Society for Modeling \& Simulation International (SCS).

}, keywords = {Architecture, Business Process, Business process model, Continuous improvements, Cost benefit analysis, Cost effective, Cost effectiveness, Hardware and software, Investments, MSaaS, Operational process, State of the art, Surveying, Surveys, Systems engineering, Technology transfer}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85029479125\&partnerID=40\&md5=ba1a219978ded9acd748ff217becba43}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Mastromattei, A. and Paglia, E. and Giglio, A.}, editor = {Syriani E. and D{\textquoteright}Ambrogio A.} } @conference {156, title = {A cloud-based service-oriented architecture for business process modeling and simulation}, booktitle = {CEUR Workshop Proceedings {\textendash} INCOSE Italia Conference on Systems Engineering}, year = {2017}, publisher = {CEUR-WS}, organization = {CEUR-WS}, abstract = {

The adoption of Modeling \& Simulation (M\&S) approaches is widely recognized as a valuable solution for enacting a timely analysis of business processes (BPs). Despite their relevance, the effective introduction of such approaches in the BP lifecycle is still limited, due to the know-how and skills for building and implementing a simulation model and to the cost and effort for setting up and maintaining the execution platform. In this respect, this paper proposes a cloud-based architecture that exploits the M\&S as a Service (MSaaS) paradigm and containerization technology for the flexible and dynamic composition of M\&S services, so to allow business analysts to carry out an effortless and effective M\&S-based BP analysis. An example case study dealing with an e-commerce scenario is also presented in order to show the actual application of the proposed approach.

}, keywords = {Business analysts, Business Process, Business process model, Cloud-based, Cloud-based architectures, Computer architecture, Dynamic composition, Execution platforms, Information services, Service oriented architecture (SOA), Simulation model, Systems engineering, Technology transfer}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85038838268\&partnerID=40\&md5=801305b85d284d68f1f5963ae4bc3f4d}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Paglia, E. and Panetti, T. and Giglio, A.} } @conference {161, title = {An HLA-based BPMN extension for the specification of business process collaborations}, booktitle = {Proceedings - 2017 IEEE/ACM 21st International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2017}, year = {2017}, publisher = {Institute of Electrical and Electronics Engineers Inc.}, organization = {Institute of Electrical and Electronics Engineers Inc.}, abstract = {

Inter-organization business process collaboration is one of the most significant factors driving today{\textquoteright}s global business development. Such collaborations are typically composed by various processes executed by different organizations and are often difficult to specify and analyze, due to their distributed nature and to data interoperability issues. The standard notation for business process modeling, namely BPMN (Business Process Model and Notation), only provides a limited support to the specification of collaborations. This paper introduces a data model extension of BPMN inspired by the HLA (High Level Architecture) distributed simulation standard. In addition, the paper proposes a metamodel-based mapping from BPMN to HLA, which can be seen as a significant step towards the implementation of a conceptual framework for specifying and analyzing collaborative business processes by use of distributed simulation approaches. {\textcopyright} 2017 IEEE.

}, keywords = {Business process collaborations, Business process model, Collaborative business process, Conceptual frameworks, Data interoperability, Distributed simulations, High level architecture, Inter-organization, Specifications, Systems engineering}, isbn = {9781538640289}, doi = {10.1109/DISTRA.2017.8167668}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85042934707\&doi=10.1109\%2fDISTRA.2017.8167668\&partnerID=40\&md5=6c81677377651843e2f16ce6cf4cc261}, author = {Bocciarelli, P. and D{\textquoteright}Ambrogio, A. and Paglia, E. and Giglio, A.} } @conference {150, title = {A PAAS-Based framework for automated performance analysis of service-oriented systems}, booktitle = {Proceedings - Winter Simulation Conference}, year = {2017}, publisher = {Institute of Electrical and Electronics Engineers Inc.}, organization = {Institute of Electrical and Electronics Engineers Inc.}, abstract = {

Service-oriented systems are often at the core of mission- or business-critical systems, and thus advanced quantitative analysis techniques are needed to assess, from the early development stages, whether or not the system accomplishes the stakeholder requirements and constraints. In this respect, in order to take advantage of the distributed nature of the considered systems, the use of distributed simulation (DS) appears the most natural and effective simulation approach. Nevertheless, the integration of traditional system development processes with DS approaches can be cost-And time-demanding. This paper presents SOAsim, a highly automated framework that allows system designers to generate the executable DS code from the model-based specification of the system under study, by use of automated model transformations. Moreover, in order to reduce the costs of setting-up dedicated DS platforms, SOAsim also automates the DS deployment and execution over a cloud-based infrastructure, according to a Platform-As-A-Service (PaaS) paradigm. {\textcopyright} 2016 IEEE.

}, keywords = {Automated model transformations, Automated performance analysis, Automation, Computer aided software engineering, Development stages, Distributed simulations, Model-based specifications, Platform as a Service (PaaS), Service Oriented Systems, Simulation approach, Traditional systems}, isbn = {9781509044863}, doi = {10.1109/WSC.2016.7822154}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85014155535\&doi=10.1109\%2fWSC.2016.7822154\&partnerID=40\&md5=588d85610cba0fbef476d22e0f4a006f}, author = {D{\textquoteright}Ambrogio, A. and Bocciarelli, P. and Mastromattei, A.}, editor = {Roeder T.M., Szechtman R., Frazier P.I., Zhou E.} } @conference {158, title = {Welcome from the general chair}, booktitle = {Proceedings of the 2017 Summer Simulation Multi-Conference (SummerSim 2017)}, year = {2017}, publisher = {The Society for Modeling and Simulation International}, organization = {The Society for Modeling and Simulation International}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85029655386\&partnerID=40\&md5=436b3cc44c81ea00459e4d99bf888a59}, author = {Martin, J.L.R. and D{\textquoteright}Ambrogio, A. and Syriani, E. and Mamidala, R. and Wille, R. and Zacharewicz, G. and Zilic, Z. and Ferguson, B. and De Rango, F.} } @conference {155, title = {Welcome letter}, booktitle = {Proceedings of the 2017 Spring Simulation Multi-Conference (SpringSim 2017)}, year = {2017}, publisher = {The Society for Modeling and Simulation International}, organization = {The Society for Modeling and Simulation International}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85020789905\&partnerID=40\&md5=1c13f9e62dd9d2ab57274a8c95b95e1b}, author = {Mittal, S. and Zacharewicz, G. and D{\textquoteright}Ambrogio, A.} } @conference {153, title = {Welcome to SCSC 2017 from the general chair}, booktitle = {Proceedings of the 49th Summer Computer Simulation Conference (SCSC 2017)}, year = {2017}, publisher = {The Society for Modeling and Simulation International}, organization = {The Society for Modeling and Simulation International}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85029505299\&partnerID=40\&md5=5842945e6ee1befb9e72e6240674e212}, author = {D{\textquoteright}Ambrogio, A.}, editor = {Syriani E. and D{\textquoteright}Ambrogio A.} } @conference {137, title = {A BPMN extension to enable the explicit modeling of task resources}, booktitle = {CEUR Workshop Proceedings}, year = {2016}, publisher = {CEUR-WS}, organization = {CEUR-WS}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84999143350\&partnerID=40\&md5=bfeb06235c0c2cec231bbc68ed06b02c}, author = {Bocciarelli P. and D{\textquoteright}Ambrogio A. and Giglio A. and Paglia E.} } @conference {Antonacci2016124, title = {A BPMN-based automated approach for the analysis of healthcare processes}, booktitle = {Proceedings - 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2016}, year = {2016}, note = {cited By 0}, pages = {124-129}, publisher = {Institute of Electrical and Electronics Engineers Inc.}, organization = {Institute of Electrical and Electronics Engineers Inc.}, abstract = {

Healthcare organizations are increasingly pushed to improve the quality of care service taking into account the increasing complexity in patient treatment and the continuous reduction of available resources. The adoption of Business Process Management (BPM) practices is thus becoming a key enabler for the improvement of healthcare processes (HPs). Accordingly, methods and tools are required to address behavioral and performance aspects from the early phases of the process lifecycle in order to improve the quality of healthcare, reduce costly reworks and increase the effectiveness of BPM approaches. This paper specifically addresses the specification and analysis phases of the process lifecycle and introduces a model-driven method for healthcare process simulation. The proposed method is based on a model transformation approach that takes as input the process specification in BPMN, appropriately extended to include the performance properties of the process, and yields as output the corresponding process simulation code, ready to be executed. In order to illustrate the method and its effectiveness, the paper describes an example application to a process dealing with the hip fracture for elderly patients. {\textcopyright} 2016 IEEE.

}, keywords = {Administrative data processing, BPMN, Business process management, Enterprise resource management, Health care, Healthcare process, Life cycle, Model transformation, Patient treatment, Process simulations, Specifications}, isbn = {9781509016631}, doi = {10.1109/WETICE.2016.35}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84983805389\&partnerID=40\&md5=524846f6fc6c8c3f937421168f86515c}, author = {Antonacci, G. and Calabrese, A. and Andrea D{\textquoteright}Ambrogio and Giglio, A. and Intrigila, B. and Ghiron, N.L.}, editor = {Reddy S.M., Gaaloul W.} } @conference {138, title = {Bringing Model-Based Systems Engineering Capabilities to Project Management: an Application to Prince2}, booktitle = {CEUR Workshop Proceedings}, year = {2016}, publisher = {CEUR-WS}, organization = {CEUR-WS}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84999268216\&partnerID=40\&md5=bc5793d603e17b2b57c9a5a5aa29192f}, author = {Coppola, D. and D{\textquoteright}Ambrogio, A. and Gianni, D.} } @conference {Gianni20162644, title = {A model-driven and simulation-based method to analyze building evacuation plans}, booktitle = {Proceedings - Winter Simulation Conference}, volume = {2016-February}, year = {2016}, note = {cited By 1}, pages = {2644-2655}, publisher = {Institute of Electrical and Electronics Engineers Inc.}, organization = {Institute of Electrical and Electronics Engineers Inc.}, abstract = {

Modern buildings are often expected to satisfy minimum safety requirements to define upper bounds for safety metrics, such as evacuation time. The building design must therefore consider prediction of these metrics for a set of representative evacuation scenarios. These scenarios can be rather complex, and often can be investigated only using building evacuation simulators. However, these simulators might require considerable development effort, and their use might therefore become less convenient, for time and cost issues. In this respect, this paper introduces a model-driven method to automatically develop building evacuation simulators from informal specifications of building evacuation scenarios, i.e., building plans and behavioral descriptions of evacuees. Specifically, the paper shows how a floor plan develops in the structural characteristics of an Extended Queueing Network (EQN) model and how the behavioral description can be used to parameterize the EQN model. The paper also presents an example application along with preliminary validation issues. {\textcopyright} 2015 IEEE.

}, keywords = {Architectural design, Behavioral descriptions, Building components, Building design, Building evacuation, Buildings, Complex networks, Model-driven method, Modern buildings, Queueing networks, Safety requirements, Simulation-based method, Simulators, Structural characteristics}, isbn = {9781467397438}, issn = {08917736}, doi = {10.1109/WSC.2015.7408372}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84962833056\&partnerID=40\&md5=0f1ea728c9ece7012654f0b378a1486c}, author = {Gianni, D. and Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio and Iazeolla, G.} } @conference {Bocciarelli2016436, title = {Modeling-To-simulation: Transformation approaches to boost automation in modeling \& simulation}, booktitle = {Simulation Series}, volume = {48}, number = {9}, year = {2016}, note = {cited By 0}, pages = {436-443}, abstract = {

The use of automated transformation approaches based on model-driven principles and standards promises to be a significant enablcr of time, effort and cost savings in the Modeling and Simulation (M\&S) field. This paper specifically addresses the distributed simulation (DS) domain, which allows to naturally cope with the ever growing complexity and distributed nature of modern systems. Unfortunately, the use of DS in a system development lifecycle can be a challenging issue due to the fact that: i) the use of DS frameworks and standards requires significant and specific technical skills system engineers are usually not familiar with; ii) the development of a DS is an effort-, time- demanding and error-prone activity. In this respect, this paper shows the benefits of using a model-driven transformation approach to the development of DS systems. Specifically, the paper presents and compares two main approaches, namely the conventional approach, based on a standard model- driven process, and an innovative approach that exploits the SimArch layered architecture. {\textcopyright} 2016 Society for Modeling \& Simulation International (SCS).

}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84994613927\&partnerID=40\&md5=337a29162550b91004048cf1479cb212}, author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio} } @proceedings {139, title = {Proceedings of the INCOSE Italia Conference on Systems Engineering (CIISE 2016)}, year = {2016}, publisher = {CEUR-WS}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84999233532\&partnerID=40\&md5=dac6006ef9d14971813b39698357c41d}, author = {Brusa, E. and D{\textquoteright}Ambrogio, A. and Garro, A. and Tirone, L. and Tundis, A.} } @conference {D{\textquoteright}Ambrogio2016116, title = {Report of collaborative modeling and simulation (CoMetS) track of WETICE 2016}, booktitle = {Proceedings - 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2016}, year = {2016}, note = {cited By 0}, pages = {116-117}, publisher = {Institute of Electrical and Electronics Engineers Inc.}, organization = {Institute of Electrical and Electronics Engineers Inc.}, abstract = {

The CoMetS track aims to bring together leading researchers and practitioners from both the modeling and simulation (M\&S) community and the collaborative environments community, in order to focus on innovative research contributions that address both the use of collaborative technologies in the field of M\&S and the use of M\&S methodologies and tools to address the design of collaborative systems. This paper reports on the motivations of the track and the organization of its fifth edition. {\textcopyright} 2016 IEEE.

}, keywords = {Collaborative environments, Collaborative model, Collaborative systems, Collaborative technologies, Computer supported cooperative work, Innovative research, Model and simulation}, isbn = {9781509016631}, doi = {10.1109/WETICE.2016.33}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84983751833\&partnerID=40\&md5=46781bf163022c22e31a686e8de8876b}, author = {Andrea D{\textquoteright}Ambrogio and Zacharewicz, G. and Gianni, D.}, editor = {Reddy S.M., Gaaloul W.} } @conference {D{\textquoteright}ambrogio2016444, title = {Resource-based modeling and simulation of business processes}, booktitle = {Simulation Series}, volume = {48}, number = {9}, year = {2016}, note = {cited By 0}, pages = {444-451}, abstract = {

The simulation-based analysis of business processes (BPs) is a key activity at various phases of the BP lifecycle. from the design phase, to predict the process behavior, down to the execution and improvement phases, to recover from possible performance downgrades and/or improve the process performance. The BP analysis is usually carried out taking as input the BP description in a given BP modeling language. This paper specifically addresses BPs described in BPMN (Business Process Model \& Notation) and introduces an approach that exploits both model-driven principles and the DEVS (Discrete Event System Specification) formalism to first annotate the BPMN model with the allocation of task resources described in terms of performance and reliability properties and then transform the annotated BPMN model into a DEVS-based model, which can be eventually executed to get the analysis results of interest. The BPMN annotation is carried out by use of PyBPMN, a lightweight BPMN extension that allows business analysts to specify the allocation of task resources and their properties in terms of both time-related attributes and reliability attributes. The paper overviews the proposed approach and gives the details of the DEVS components that are used to model the behavior of the corresponding BPMN primitives. {\textcopyright} 2016 Society for Modeling \& Simulation International (SCS).

}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84994619739\&partnerID=40\&md5=12a5309d193e19a0e59252b9586022f4}, author = {D{\textquoteright}Ambrogio, A. and Zacharewicz, G.} } @conference {136, title = {SCSC chairs message}, booktitle = {Simulation Series}, year = {2016}, publisher = {The Society for Modeling and Simulation International}, organization = {The Society for Modeling and Simulation International}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84994627944\&partnerID=40\&md5=8c8bb36835c76d37b6ef6d63dab6c5fb}, author = {Martin, J.L.R. and Nicolescu G. and D{\textquoteright}Ambrogio A. and De Rango F. and Risco Martin J.L.} } @conference {135, title = {Setting systems and simulation life cycle processes side by side}, booktitle = {ISSE 2016 - 2016 International Symposium on Systems Engineering - Proceedings Papers}, year = {2016}, publisher = {Institute of Electrical and Electronics Engineers Inc.}, organization = {Institute of Electrical and Electronics Engineers Inc.}, isbn = {9781509007936}, doi = {10.1109/SysEng.2016.7753139}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85006511713\&doi=10.1109\%2fSysEng.2016.7753139\&partnerID=40\&md5=335143cf488826feed7581744dc522bf}, author = {Andrea D{\textquoteright}Ambrogio and Umut Durak} } @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 = {

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 \& Simulation International (SCS).

}, 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}Ambrogio2015xi, title = {Message from program chairs: WETICE 2015}, booktitle = {Proceedings - 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2015}, year = {2015}, note = {cited By 0}, pages = {xi}, publisher = {Institute of Electrical and Electronics Engineers Inc.}, organization = {Institute of Electrical and Electronics Engineers Inc.}, isbn = {9781467376921}, doi = {10.1109/WETICE.2015.5}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84943806133\&partnerID=40\&md5=cfccfa97f5ffa5dc9e2168219007fc46}, author = {Andrea D{\textquoteright}Ambrogio and Drira, K.}, editor = {Reddy S.M.} } @conference { 2108_130663, title = {A model-driven approach to enable the distributed simulation of complex systems}, booktitle = {Proceedings of the Sixth International Conference on Complex Systems Design \& Management (CSD\&M 2015)}, year = {2015}, doi = {10.1007/978-3-319-26109-6}, author = {Bocciarelli, P and D{\textquoteright}Ambrogio, A and Falcone, A and Garro, A and Giglio, A} } @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 = {

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 \& Simulation International (SCS).

}, 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.} } @book {Bocciarelli2015425, title = {A model-driven method for the design-time performance analysis of service-oriented software systems}, series = {Modeling and Simulation of Computer Networks and Systems: Methodologies and Applications}, year = {2015}, note = {cited By 0}, pages = {425-450}, publisher = {Elsevier Inc.}, organization = {Elsevier Inc.}, abstract = {

Service-oriented architecture (SOA) is one of the prominent architectural paradigms recently adopted in the software development field. According to SOA principles, a distributed software system can be seen as an orchestration of software services deployed and executed onto networked hosts. The design-time analysis of SOA-based software systems demands new approaches that take into account both the inherent complexity and the architectural characteristics of such systems. In this respect, simulation-based approaches have proven to be effective to obtain quantitative predictions of system performance. Specifically, this chapter explains distributed simulation as a valuable technique to deal with the intrinsic distributed nature of SOA-based systems. Unfortunately, the adoption of distributed simulation requires a significant expertise and a considerable effort due to the complexity of currently available distributed simulation standards and technologies. This chapter introduces an automated method to reduce the effort and make distributed simulation easier to use. The method takes as input a design model of the SOA-based software system and yields as output the corresponding simulation model, ready to be deployed and transparently executed onto either a local or a distributed simulation engine. The design model is specified as a UML (Unified Modeling Language) model extended by use of the SoaML (Service-oriented architecture Modeling Language) profile, while the simulation model is specified in jEQN, a domain-specific language for the simulation of EQN (Extended Queueing Network) models. jEQN is part of SimArch, a layered architecture that eases the use of distributed simulation by hiding all the implementation details of the distributed execution platform. The proposed method is founded on the use of automated model transformations, with specific reference to standards and languages provided by the MDA (Model Driven Architecture). The joint use of automated model transformations and SimArch allows the user to effortlessly obtain, at design time, the performance-oriented distributed simulation model of the SOA-based system under development, thus giving system designers the ability to predict the performance behavior of the to-be system and/or to evaluate the impact on performance of different design alternatives. The chapter also presents an example application that shows how involved stakeholders can effectively benefit from the application of the proposed method. {\textcopyright} 2015 Elsevier Inc. All rights reserved.

}, isbn = {9780128011584; 9780128008874}, doi = {10.1016/B978-0-12-800887-4.00014-6}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84940029561\&partnerID=40\&md5=034757f8dc6f541fc5f0bb51a78331da}, author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio} } @conference {Filippi2015311, title = {A service Systems Engineering framework with application to performance based logistics}, booktitle = {1st IEEE International Symposium on Systems Engineering, ISSE 2015 - Proceedings}, year = {2015}, note = {cited By 0}, pages = {311-317}, publisher = {Institute of Electrical and Electronics Engineers Inc.}, organization = {Institute of Electrical and Electronics Engineers Inc.}, abstract = {

Although Systems Engineering (SE) is becoming progressively the leading discipline in the development of engineered systems, most of the functions performed by a system are {\textquoteright}delivered{\textquoteright} as services. This leads to what is referred to as Service Systems Engineering (SSE), which has its basis in the SE and, for specific types of services, represents the driving discipline to design successful systems capable of delivering effective services. In the defence market, the acquisition of defence and weapon systems is facing, in the last decades, a continuous budget contraction for both the acquisition and the support of the delivered systems. The main scope of support services, as an instance of SSE, is to define, deliver and asses the proper blend of services to ensure optimal system performance at an affordable life cycle cost. This paper introduces a model for the definition, implementation and continuous assessment of operational availability, in order to ensure that the required performance is met in a cost-effective way throughout the system lifecycle. The amount, distribution and continuous readiness of the logistic resources required to meet the target availability is the primary scope of what is referred to as performance based logistics, which this paper addresses by introducing a SSE framework to tailor, design, deliver and monitor logistic resources. {\textcopyright} 2015 IEEE.

}, keywords = {Budget control, Continuous assessment, Cost effectiveness, Engineered systems, Engineering frameworks, Life cycle, Logistics, Operational availability, Optimal system performance, Performance-based logistics, Support services, System lifecycle, Systems engineering}, isbn = {9781479919208}, doi = {10.1109/SysEng.2015.7302775}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84954536711\&partnerID=40\&md5=d8ad59bdf17177796fadbbaa2dd0f1e5}, author = {Filippi, M. and Andrea D{\textquoteright}Ambrogio and Lisi, M.} } @conference {Bocciarelli20153012, title = {Simulation-based performance and reliability analysis of business processes}, booktitle = {Proceedings - Winter Simulation Conference}, volume = {2015-January}, year = {2015}, note = {cited By 2}, pages = {3012-3023}, publisher = {Institute of Electrical and Electronics Engineers Inc.}, organization = {Institute of Electrical and Electronics Engineers Inc.}, abstract = {

The use of process modeling combined with the use of simulation-based analysis provides a valuable way to analyze business processes (BPs) and to evaluate design alternatives before committing resources and effort. The simulation-based analysis of BPs usually addresses performance in terms of efficiency, i.e., focusing on time-related properties (e.g., throughput or execution time). Differently, this paper proposes an automated method for the analysis of BPs in terms of both efficiency-related performance and reliability. In addition, the method allows business analysts to carry out a joint performance and reliability analysis by introducing a so-called performability attribute. The proposed method is illustrated by use of a running example dealing with a conventional e-commerce scenario. {\textcopyright} 2014 IEEE.

}, keywords = {Automated methods, Business analysts, Business Process, Design alternatives, Joint performance, Performance and reliabilities, Process Modeling, Reliability, Reliability analysis, Simulation-based analysis}, isbn = {9781479974863}, issn = {08917736}, doi = {10.1109/WSC.2014.7020140}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84940521933\&partnerID=40\&md5=04c0407c66dbcda5756df2c96a686040}, author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio and Giglio, A. and Paglia, E.}, editor = {Tolk A., Diallo S.Y., Ryzhov I.O., Yilmaz L.} } @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 {Gianni201472, title = {Interface management in concurrent engineering facilities for systems and service systems engineering: A model-based approach}, booktitle = {CEUR Workshop Proceedings}, volume = {1300}, year = {2014}, note = {cited By 0}, pages = {72-81}, publisher = {CEUR-WS}, organization = {CEUR-WS}, abstract = {Concurrent engineering facilities (CEFs) are successfully used in the aeropsace sector to design systems and services that that fulfill the requirements. Model-based systems engineering (MBSE) enables the effective (i.e., unambiguous) communication in the collaborative activities within concurrent engineering and service systems engineering facilities. The advantages obtained by the MBSE approach can be further scaled up by an innovative approach that take into explicit account the representation of the inter-systems aspects, i.e., those aspects, namely interfaces, that stay in between the system, its sub-systems and external entities (other systems and organizations). Such an approach, briefly denoted as a Model-based Interface Engineering (MBIE), brings several benefits to the CEF activities. This paper illustrates the integration of the Interface Communication Modelling Language (ICML) into the existing MBSE methods for the CEF software framework VirSat, by identifying the business needs driving the use of MBIE approaches and showing example application scenarios. Copyright {\textcopyright} held by the authors.}, keywords = {Application programs, Application scenario, Collaborative activities, Computer programming, Concurrent engineering, Engineering facilities, Innovative approaches, Interface engineering, Interface management, Model based approach, Model-based systems engineering (MBSE), Software frameworks, Systems engineering}, issn = {16130073}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84915808014\&partnerID=40\&md5=f0fffa53cc2bb0532e88c66848379569}, author = {Gianni, D. and Schaus, V. and Andrea D{\textquoteright}Ambrogio and Gerndt, A. and Lisi, M. and De Simone, P.}, editor = {D{\textquoteright}Ambrogio A., Leardi C., Arrichiello V., Garro A., Poloni C., Tundis A.} } @inbook { 2108_112169, title = {Introduction to the modeling and simulation-based systems engineering handbook}, booktitle = {Modeling and Simulation-Based Systems Engineering Handbook}, year = {2014}, pages = {1{\textendash}10}, publisher = {CRC Press}, organization = {CRC Press}, author = {Gianni, D and D{\textquoteright}Ambrogio, A and Tolk, A} } @conference {Bocciarelli2014325, title = {A language for enabling model-driven analysis of business processes}, booktitle = {MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development}, year = {2014}, note = {cited By 5}, pages = {325-332}, publisher = {SciTePress}, organization = {SciTePress}, abstract = {

The use of simulation-based approaches for the analysis of business processes enables the design-time prediction of the process behavior and/or the operation-time process reconfiguration. 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 that can be hard to gather, large semantic gap between the business process model and the simulation model). To overcome such limitations, this paper introduces a modeldriven method to automatically build the executable simulation code of a business process from its abstract definition in BPMN, the standard language for specifying business processes. The simulation code is specified in eBPMN, a novel domain-specific language that has been designed and implemented according to the BPMN execution semantics. Copyright {\textcopyright} 2014 SCITEPRESS - Science and Technology Publications. All rights reserved.

}, keywords = {BPMN, Business Process, Computer simulation, Computer simulation languages, Domain specific languages, Model transformation, Performance, Problem oriented languages, Semantics, Simulation, Software design, Technology transfer}, isbn = {9789897580079}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84906910126\&partnerID=40\&md5=d8853e490341214705bedcb2f8ce2260}, author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio and Paglia, E.} } @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.} } @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 = {

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.

}, 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} } @booklet { 2108_111823, title = {Modeling and Simulation-Based Systems Engineering Handbook}, year = {2014}, publisher = {CRC Press}, isbn = {9781466571457}, author = {Gianni, D and D{\textquoteright}Ambrogio, A and Tolk, A} } @conference {D{\textquoteright}Ambrogio2014155, title = {Modeling approaches for the design and analysis of complex systems}, booktitle = {CEUR Workshop Proceedings}, volume = {1300}, year = {2014}, note = {cited By 0}, pages = {155-157}, publisher = {CEUR-WS}, organization = {CEUR-WS}, abstract = {The design of a complex system traditionally relies on a systems engineering process that makes use of text documents and engineering data in multiple formats. Copyright {\textcopyright} held by the authors.}, keywords = {Design and analysis, Engineering data, Large scale systems, Model approach, Systems engineering, Systems engineering process, Text document}, issn = {16130073}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84915749690\&partnerID=40\&md5=0285eef420e1ec67847f94d5843ece34}, author = {Andrea D{\textquoteright}Ambrogio and Tirone, L.}, editor = {D{\textquoteright}Ambrogio A., Leardi C., Arrichiello V., Garro A., Poloni C., Tundis A.} } @booklet { 2108_101595, title = {Proceedings of the INCOSE Italia Conference on Systems Engineering (CIISE 2014)}, year = {2014}, publisher = {CEUR-WS.org}, author = {Arrichiello, V and D{\textquoteright}Ambrogio, A and Garro, A and Leardi, C and Poloni, C and Tundis, A} } @conference {Gianni2014217, title = {Referencing capabilities for collaborative engineering of conceptual process modeling with object-role modeling}, booktitle = {Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE}, year = {2014}, note = {cited By 0}, pages = {217-222}, publisher = {IEEE Computer Society}, organization = {IEEE Computer Society}, abstract = {Conceptual modeling has been proved to bring tangible advantages as a mean to formalize specifications in collaborative multi-partner projects. Particularly, the Object-Role Modeling language-the most prominent conceptual data modeling language-offers verbalization capabilities that ensure a common semantic understanding of the data specification, specifically for complex data systems and for non-native English speakers. However, ORM is primarily aimed at data specifications and has been more marginally used for process specifications. The paper reports part of the results on an experimental activity undertaken to probe the use of ORM for conceptual process modeling. In particular, the paper introduces the definitions of referencing capabilities for linking data models to the activity-the fundamental element of a process-models in ORM. Specifically, two new concepts have been identified as potentially necessary for supporting conceptual process modeling using ORM: Extended Facts, for distinguishing current Facts from potentially true Facts, and Set of Facts for indicating the Extended Facts affected by the activity. An activity schema definition also shows how these concepts can support the definition of an ORM interlayer for conceptual process modeling. {\textcopyright} 2014 IEEE.}, keywords = {Collaborative engineering, Conceptual model, Object role models, Object-role modeling, Process Modeling, Processing, Referencing Capabilities}, isbn = {9781479942497}, issn = {15244547}, doi = {10.1109/WETICE.2014.29}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84908400806\&partnerID=40\&md5=301878eb688f9fbb501795ab859a1b44}, author = {Gianni, D. and Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio}, editor = {Reddy S.M.} } @conference {Gianni2014201, title = {Temporal capabilities in support of conceptual process modeling using object- Role modeling (work in progress)}, booktitle = {Simulation Series}, volume = {46}, number = {4}, year = {2014}, note = {cited By 1}, pages = {201-206}, publisher = {The Society for Modeling and Simulation International}, organization = {The Society for Modeling and Simulation International}, abstract = {Conceptual data modeling languages must be provided with temporal capabilities to support the data evolution throughout the execution of a conceptual process model. Asides from supporting the storage of historical data, temporal capabilities must also provide the means for verifying the consistency between the data temporal properties and the data modification resulting from the process execution. The Object-Role Modeling (ORM) language is a conceptual data modeling language that is based on the concepts of Fact (i.e. true statements on the represented world), Fact Type, and Fact Base (i.e. the set of all the Facts). Currently, the ORM language does not address the specification of Facts temporal properties, and therefore does not also support the verification of Facts variations during a process execution. The paper introduces an initial ORM overlay methodology that aims to laying the foundation of the conceptual modeling structures that can support the verification of temporal evolution of conceptual data models (i.e., whether a Fact can be asserted or retracted, depending on its temporal properties). Moreover, the overlay methodology also defines a temporal visual notation and an initial semi-formal temporal verbalization that eases the use of the methodology to the ORM modelers. A simple example illustrates the potential application of the overlay methodology.}, keywords = {Computer simulation, Conceptual data modeling, Conceptual data models, Data modification, Digital storage, Object-role modeling, Process engineering, Process execution, Process Modeling, Temporal evolution, Temporal modeling}, isbn = {9781632662156}, issn = {07359276}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84901987698\&partnerID=40\&md5=db5df894ce84d4770a6c882cac28c018}, author = {Gianni, D. and Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio} } @conference {D{\textquoteright}Ambrogio2014, title = {TMS{\textquoteright}14 Chairs{\textquoteright} message}, booktitle = {Simulation Series}, volume = {46}, number = {4}, year = {2014}, note = {cited By 0}, publisher = {The Society for Modeling and Simulation International}, organization = {The Society for Modeling and Simulation International}, isbn = {9781632662156}, issn = {07359276}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84901981157\&partnerID=40\&md5=ae0fd42ae28504a827694fecbc8d4a4f}, author = {Andrea D{\textquoteright}Ambrogio and Zacharewicz, G.} } @conference {D{\textquoteright}Ambrogio2014197, title = {Track report of collaborative modeling and simulation (CoMetS 2014)}, booktitle = {Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE}, year = {2014}, note = {cited By 0}, pages = {197-198}, publisher = {IEEE Computer Society}, organization = {IEEE Computer Society}, abstract = {The CoMetS track aims to bring together leading researchers and practitioners from both the modeling and simulation (M\&S) community and the collaborative environments community, in order to focus on innovative research contributions that address both the use of collaborative technologies in the field of M\&S and the use of M\&S methodologies and tools to address the design of collaborative systems. This paper reports on the motivations of the track and the organization of its fourth edition. {\textcopyright} 2014 IEEE.}, keywords = {Collaborative model}, isbn = {9781479942497}, issn = {15244547}, doi = {10.1109/WETICE.2014.93}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84908430934\&partnerID=40\&md5=505c89f0a88a89fab7ef00dada173576}, author = {Andrea D{\textquoteright}Ambrogio and Gianni, D. and Fuchs, J. and Iazeolla, G.}, editor = {Reddy S.M.} } @conference {Bocciarelli2014199, title = {A transformation approach to enact the design-time simulation of BPMN models}, booktitle = {Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE}, year = {2014}, note = {cited By 2}, pages = {199-204}, publisher = {IEEE Computer Society}, organization = {IEEE Computer Society}, abstract = {Simulation is a key technique for enabling business process analysts to predict the process behavior at design time. However, some issues limit the effectiveness of business process simulation (e.g., lack of simulation know how, costs and difficulties for gathering process data, semantic gap between the business process model and the simulation model). This paper proposes a model-driven method that automates the generation of executable business process simulation code. In order to address the increasing complexity and to take into account the inherent collaborative aspects of modern business processes, the simulation code produced by the proposed method replicates the business process distributed structure (in terms, e.g., of a service-oriented architecture) by including a set of simulation services that are orchestrated into a distributed simulation execution. The characterization of business processes in terms of the required performance properties is introduced through standard BPMN annotations according to a well-defined syntax, thus avoiding the need of additional languages. The implementation of the executable simulation code is based on the eBPMN language, a domain-specific language that preserves the semantic behavior of the original BPMN standard. {\textcopyright} 2014 IEEE.}, keywords = {Time simulations}, isbn = {9781479942497}, issn = {15244547}, doi = {10.1109/WETICE.2014.27}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84908454476\&partnerID=40\&md5=b0decda34447d3f850f0b68130c5d270}, author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio and Giglio, A. and Paglia, E. and Gianni, D.}, editor = {Reddy S.M.} } @conference {Bocciarelli2013218, title = {4SEE: A model-driven simulation engineering framework for business process analysis in a SaaS paradigm}, booktitle = {Simulation Series}, volume = {45}, number = {4}, year = {2013}, note = {cited By 1}, pages = {218-225}, abstract = {The intrinsic geographical distribution and the increasing complexity are two significant properties of modern business processes (BPs) that have not been fully addressed by existing simulation tools for BP analysis. Quantitative analysis of BPs is essential both at design time, to predict the BP quality of service (QoS), and at execution time, to dynamically reconfigure the BP and guarantee the pre-agreed QoS. In this respect, this work proposes a model-driven QoS-aware framework for simulation-based quantitative analysis of BPs. Specifically, the framework adopts a distributed simulation approach that replicates the service-oriented infrastructure of a BP into the corresponding simulation infrastructure based on the HLA-Evolved standard. The proposed framework assumes a scenario in which service providers publish a set of simulation-oriented services that can be subsequently used by interested consumers to dynamically discover and evaluate the QoS of the offered services. Key to the economical feasibility of this scenario is that a model-driven approach is used to automate the derivation of the simulation software from the BPMN (Business Process Model \& Notation) models of the actual BPs. The paper presents both the proposed model-driven framework, named 4SEE, and an example application to a BP for an e-commerce scenario.}, keywords = {Business process analysis, Business process model, Computer simulation, Computer software, Distributed simulations, Economical feasibility, Model driven approach, Quality of service, Service-oriented infrastructures, Simulation engineering, Simulation software}, isbn = {9781627480321}, issn = {07359276}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84876848381\&partnerID=40\&md5=735bc33d9335c85e8f26a7d6dfe860c8}, author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio and Gianni, D.} } @article {Gianni201343, title = {Interfacing clearly}, journal = {GPS World}, volume = {24}, number = {4}, year = {2013}, note = {cited By 0}, pages = {43-49}, abstract = {

The EOS will provide ranging capabilities and will enable receiver manufacturers to begin to design and test their technological solutions for Galileo receivers and Galileo overlay services, such as search and rescue. Specifically, the MBSE approaches enable the designer to effectively trace the requirements and design alternatives on the descending branch of the {\textquoteright}V.{\textquoteright} For the same characteristics, MBSE facilitates the verification through a model repository that interconnects not only the design products, but also the stakeholders involved in the entire process. In addition, MBSE approaches support the automatic generation of the documentation and of other artifacts, particularly software. Using a model-based approach, it becomes easier to establish links between interface elements and the functional blocks in the receiver schema. Moreover, these links can also be decorated with a number of properties that can be used to further describe the type of the relationship between the interface element and the functional block.

}, keywords = {Design, EOS, Galileo mission, numerical model, software, testing method}, issn = {10485104}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84875715111\&partnerID=40\&md5=77f2829972af0bea2ef584ad5f664aec}, author = {Gianni, D. and Lisi, M. and De Simone, P. and Andrea D{\textquoteright}Ambrogio and Luglio, M.} } @conference {Bocciarelli20131371, title = {A SaaS-based automated framework to build and execute distributed simulations from SysML models}, booktitle = {Proceedings of the 2013 Winter Simulation Conference - Simulation: Making Decisions in a Complex World, WSC 2013}, year = {2013}, note = {cited By 6}, pages = {1371-1382}, abstract = {The development of complex systems requires the use of quantitative analysis techniques to allow a designtime evaluation of the system behavior. In this context, distributed simulation (DS) techniques can be effectively introduced to assess whether or not the system satisfies the user requirements. Unfortunately, the development of a DS requires the availability of an IT infrastructure that could not comply with time-to-market requirements and budget constraints. In this respect, this work introduces HLAcloud, a model-driven and cloud-based framework to support both the implementation of a DS system from a SysML specification of the system under study and its execution over a public cloud infrastructure. The proposed approach, which exploits the HLA (High Level Architecture) DS standard, is founded on the use of model transformation techniques to generate both the Java/HLA source code of the DS system and the scripts required to deploy and execute the HLA federation onto the PlanetLab cloud-based infrastructure. {\textcopyright} 2013 IEEE.}, isbn = {9781479939503}, doi = {10.1109/WSC.2013.6721523}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84894110082\&partnerID=40\&md5=763d726aa2f46446bf8742e5300658d1}, author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio and Giglio, A. and Gianni, D.} } @conference {Gianni2012211, title = {3rd IEEE track on collaborative modeling and simulation: (CoMetS 2012)}, booktitle = {Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE}, year = {2012}, note = {cited By 0}, pages = {211-213}, abstract = {The track aims to bring together leading researchers and practitioners from the modeling and simulation (M\&S) and the collaborative environments communities. The track aims to gather innovative research contributions on the use of collaborative technologies to support M\&S activities and on the use of M\&S practices to support the design of collaborative environment. The workshop is inherently multi-disciplinary and aims also to cross-fertilize practices and methods across audience from diverse research domains and communities. This paper reports on the motivations of the track, a brief history and the organization of its third edition. {\textcopyright} 2012 IEEE.}, keywords = {Collaborative environments, Collaborative modeling, Collaborative technologies, Computer simulation, Innovative research, Modeling and simulation, Multi-disciplinary, Research, Research domains}, isbn = {9780769547176}, issn = {15244547}, doi = {10.1109/WETICE.2012.110}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84866914528\&partnerID=40\&md5=3992e194a9d86d7cd60158ed97495e2f}, author = {Gianni, D. and Andrea D{\textquoteright}Ambrogio and Fuchs, J. and Iazeolla, G.} } @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 {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 {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 {Gianni20122705, title = {Model-based interface specification for systems integration in systems of systems engineering}, booktitle = {22nd Annual International Symposium of the International Council on Systems Engineering, INCOSE 2012 and the 8th Biennial European Systems Engineering Conference 2012, EuSEC 2012}, volume = {4}, year = {2012}, note = {cited By 2}, pages = {2705-2717}, abstract = {The key to enable systems integration is that systems inter-communications are accurately and unambiguously specified. In line with ongoing Model-based Systems Engineering (MBSE) initiatives aiming to support systems engineering activities by means of formal and graphical models, we have introduced a logical model for the definition of Interface Communication Modelling Language (ICML), to enable a model-based approach for interface specification. ICML is based on UML and can potentially be integrated with other systems models in similar forms, e.g., SySML, and with systems of systems models in UPDM or related frameworks. We have designed ICML basing on a preliminary domain analysis on radio signal specifications, with application to space systems. In the analysis, we have specifically considered simple digital and unidirectional signals, and subsequently we have included a method to use ICML for Time-Division Multiplexed signals. We also present an excerpt of the ICML metamodel and a simple example application. {\textcopyright} 2012 by Daniele Gianni et al.}, keywords = {Engineering activities, Interface specification, Model based approach, Model-based systems engineering (MBSE), Modelling language, Multiplexed signals, Specifications, Systems engineering, Systems integration, Systems of systems}, isbn = {9781622769162}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84884132292\&partnerID=40\&md5=137b25c099fd2308a19460fd8ff866b8}, author = {Gianni, D. and Andrea D{\textquoteright}Ambrogio and De Simone, P. and Lisi, M. and Luglio, 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 {Bocciarelli201249, title = {A model-driven approach to build HLA-based distributed simulations from SysML models}, booktitle = {SIMULTECH 2012 - Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications}, year = {2012}, note = {cited By 6}, pages = {49-60}, abstract = {The analysis and design of complex systems, which very often are composed of several sub-systems, takes advantages by the use of distributed simulation techniques. Unfortunately, the development of distributed simulation systems requires a significant expertise and a considerable effort for the inherent complexity of available standards, such as HLA. This paper introduces a model-driven approach to support the automated generation of HLA-based distributed simulations starting from system descriptions specified by use of SysML (Systems Modeling Language), the UML-based general purpose modeling language for systems engineering. The proposed approach is founded on the use of model transformation techniques and relies on standards introduced by the Model Driven Architecture (MDA). The method exploits several UML models that embody the details required to support two transformations that automatically map the source SysML model into a HLA-specific model and then use the latter to generate the Java/HLA source code. To this purpose, this paper also introduces two UML profiles, used to annotate UML diagrams in order both to represent HLA-based details and to support the automated generation of the HLA-based simulation code.}, keywords = {Computer simulation, HLA, Model-driven, QVT, Simulation, Software architecture, SysML, Unified Modeling Language}, isbn = {9789898565204}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84867729868\&partnerID=40\&md5=fafd37b90daa458cc5075061c63c5357}, author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio and Fabiani, G.} } @conference {Bocciarelli2012, title = {A model-driven method for building distributed simulation systems from business process models}, booktitle = {Proceedings - Winter Simulation Conference}, year = {2012}, note = {cited By 6}, abstract = {The analysis of modern business processes implemented as orchestration of software services demands for new approaches that explicitly take into account the inherent complexity and distribution characteristics of such processes. In this respect, Distributed Simulation (DS) offers a viable tool to cope with such a demand, due to the aggregation, scalability, representativeness and load balancing properties that it allows to achieve. However, the use of DS is mostly limited by the specialized technical know-how and the extra-development that DS requires with respect to approaches based on conventional local simulation. This paper proposes a model-driven method that enables the DS-based analysis of business processes by introducing the automated transformation of business process models into analysis models that are specified as Extended Queueing Network (EQN) models and executed as distributed simulations. The paper also presents an example application to a business process for an e-commerce scenario. {\textcopyright} 2012 IEEE.}, keywords = {Analysis models, Automated transformations, Business Process, Business process model, Computer simulation, Distributed computer systems, Distributed simulation systems, Distributed simulations, Distribution characteristics, Inherent complexity, Load balancing properties, Model-driven method, New approaches, Software services, Technical know hows, Technology transfer}, isbn = {9781467347792}, issn = {08917736}, doi = {10.1109/WSC.2012.6465106}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84874755866\&partnerID=40\&md5=8d358a15fcb545b3725d825b701fc795}, author = {Bocciarelli, P. and Pieroni, A. and Gianni, D. and Andrea D{\textquoteright}Ambrogio} } @conference {Gianni2012, title = {Model-driven performance prediction of HLA-based distributed simulation systems}, booktitle = {Proceedings - Winter Simulation Conference}, year = {2012}, note = {cited By 3}, abstract = {Performance models offer a convenient tool to assess design alternatives and predict the execution time of distributed simulation (DS) systems at design time, before system implementation. Currently, performance models are to be manually developed and the related extra effort often becomes the limiting factor for their cost- and time-effective use. In this paper, we aim to reduce this extra effort with the introduction of a model-driven method for the automated building of performance models whose evaluation provides a prediction about of the execution time of a distributed simulation system. As such, the method contributes to bring software performance engineering techniques into the distributed simulation system lifecycle. In particular, we show how the SysML-based specification of the system to be simulated and the design documents of the DS system can be used to derive the topology and the parameters of a performance model specified according to the Extended Queueing Network formalism. {\textcopyright} 2012 IEEE.}, keywords = {Automated buildings, Computer simulation, Design, Design alternatives, Design documents, Design time, Distributed computer systems, Distributed simulation systems, Distributed simulations, Execution time, Forecasting, Model-driven, Model-driven method, Performance Model, Performance prediction, Software performance engineerings, System implementation, Topology}, isbn = {9781467347792}, issn = {08917736}, doi = {10.1109/WSC.2012.6465255}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84874698997\&partnerID=40\&md5=a02b093d52a8995b3774ab0d2df86fb2}, author = {Gianni, D. and Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio} } @conference {Gianni201271, title = {The viewband concept: Introducing life-cycle modeling in enterprise architectural frameworks}, booktitle = {Proceedings - 2012 7th International Conference on System of Systems Engineering, SoSE 2012}, year = {2012}, note = {cited By 0}, pages = {71-76}, abstract = {Enterprise architecture (EA) frameworks have been successfully used to support enterprise engineering activities by providing graphical and machine-processable constructs to represent enterprise systems. However, existing EA frameworks lack modeling approaches to represent the increasing complexity and coupling of modern enterprises, as these frameworks do not distinguish architectural blocks supporting the different enterprise lifecycle processes, such as operation, maintenance and governance. In this paper, we propose the Viewband concept, which can be used to explicitly introduce lifecycle modeling, thus overcoming the limitations of existing EA frameworks. We also present an overlay methodology to implement the Viewband concept by use of standard modeling structures in existing EA frameworks, thus gaining compliance with currently available technologies and documentation standards. We show the application of the Viewband concept, and the related implementation methodology, through a simplified example enterprise model in UPDM (Unified Profile for DoDAF and MODAF). {\textcopyright} 2012 IEEE.}, keywords = {Architectural frameworks, Documentation standards, Enterprise Architecture, Enterprise engineering, Framework, Implementation methodology, Industry, Life cycle, Models, Regulatory compliance, Systems engineering, UML, UPDM}, isbn = {9781467329750}, doi = {10.1109/SYSoSE.2012.6384147}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84879760525\&partnerID=40\&md5=460d2bf88dfbefdc28866d34620db577}, author = {Gianni, D. 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 {Gianni2011162, title = {IEEE 2nd track on collaborative modeling and simulation (CoMetS 2011)}, booktitle = {Proceedings of the 2011 20th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2011}, year = {2011}, note = {cited By 1}, pages = {162-163}, abstract = {The track aims to bring together leading researchers and practitioners from the modeling and simulation (M\&S) and the collaborative environments communities. The workshop aims to gather innovative research contributions on the use of collaborative technologies to support M\&S activities and on the use of M\&S practices to support the design of collaborative environment. The workshop is inherently multi-disciplinary and aims also to cross-fertilize ongoing practices across audience from diverse research domains and communities. This paper reports on the motivations of the track and the organization of its first edition. {\textcopyright} 2011 IEEE.}, keywords = {Collaborative environments, Collaborative modeling, Collaborative technologies, Computer simulation, Innovation, Innovative research, Modeling and simulation, Multi-disciplinary, Research, Research domains}, isbn = {9780769544106}, doi = {10.1109/WETICE.2011.67}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-80052645765\&partnerID=40\&md5=8bdec926566e78c034eddbe4b87572df}, author = {Gianni, D. and Andrea D{\textquoteright}Ambrogio and Fuchs, J. and Iazeolla, G.} } @article {Bocciarelli201190, title = {A JXTA-based peer architecture for enhanced service discovery in SOA-based P2P applications}, journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}, volume = {6569 LNCS}, year = {2011}, note = {cited By 0}, pages = {90-100}, abstract = {The adoption of a P2P paradigm for implementing software applications based on service oriented architectures (SOA) is gaining momentum as a valid alternative to the classic client-server paradigm. In this context, service providers are strategically interested to describe and manage the quality of service (QoS) characteristics of offered services. The ability to carry out QoS-oriented service discovery activities is an essential issue for effectively managing the QoS of SOA-based P2P applications and as consequence to guarantee an good quality level among collaborating services. To this purpose, this paper introduces a JXTA-based peer architecture for enhanced service discovery in SOA-based P2P applications. The proposed approach builds upon a model-driven framework for predicting, at composition time, and managing, at execution time, the QoS of SOA-based P2P applications. {\textcopyright} 2011 Springer-Verlag.}, keywords = {Client server, Composition time, Execution time, Gaining momentum, Information services, Model-driven, P2P applications, Quality levels, Quality of service, Service discovery, Service oriented architecture (SOA), Service provider, Software applications}, isbn = {9783642227592}, issn = {03029743}, doi = {10.1007/978-3-642-22760-8_10}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-80054818335\&partnerID=40\&md5=7588973cdd0fb59a54c6d2a6fd1cda33}, author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio and Angelaccio, M.} } @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.} } @article {Bocciarelli2011265, title = {A model-driven method for describing and predicting the reliability of composite services}, journal = {Software and Systems Modeling}, volume = {10}, number = {2}, year = {2011}, note = {cited By 11}, pages = {265-280}, abstract = {Service-oriented computing is the prominent paradigm for viewing business processes as composed of functions provided by modular and standardized services. Web services are the building blocks for the application of service-oriented computing on the Web and provide the necessary support for the consolidation of multiple services into a single composite service corresponding to the overall process. In such a context, service providers are strategically interested in both describing the quality of service (QoS) characteristics of offered services, to better qualify their offer and gain a significant advantage in the global marketplace, and predicting the level of QoS that can be offered to service consumers when building composite web services that make use of services managed by various service providers. This paper illustrates a model-driven method to automatically describe and predict the QoS of composite web services specified by use of business process execution language (BPEL). The paper specifically addresses the reliability characteristic of the QoS. The proposed method is founded on Q-WSDL, a lightweight WSDL extension for the description of the QoS characteristics of a web service, and exploits Q-WSDL to annotate reliability data onto a BPEL-based UML model of the composite service. The UML model is then used to predict and describe the reliability of the composite web service. The proposed method is illustrated by use of an example application that deals with a composite web service for the migration of PSTN telephone numbers. {\textcopyright} 2010 Springer-Verlag.}, keywords = {BPEL, Forecasting, Information services, Model-driven prediction, QoS, Quality of service, Reliability, Service oriented architecture (SOA), Telephone systems, UML, Unified Modeling Language, Web services, WSDL}, issn = {16191366}, doi = {10.1007/s10270-010-0150-3}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-79955480530\&partnerID=40\&md5=1e9d768badb65996f4a07183d92b15d5}, author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio} } @book {Bocciarelli20111, title = {Performability-oriented description and analysis of business processes}, series = {Business Process Modeling: Software Engineering, Analysis and Applications}, year = {2011}, note = {cited By 8}, pages = {1-36}, publisher = {Nova Science Publishers, Inc.}, organization = {Nova Science Publishers, Inc.}, 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 chapter focuses on the description and analysis of business processes. In particular, the chapter introduces a notation for the description of a business process in terms of both functional and non-functional properties. Such a description is then used to carry out the predictive analysis of the business process behaviour. The chapter specifically addresses the performance and reliability prediction of a business process by use of a joint measure known as performability. 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 chapter introduces PyBPMN (Performability-enabled BPMN), a lightweight BPMN extension for the specification of performability properties. The proposed extension is based on an approach that exploits principles and standards introduced by MDA (Model Driven Architecture). In particular, the BPMN extension is carried out by first specifying the BPMN metamodel and then obtaining the PyBPMN metamodel by adding the metaclasses that define the specific performance and reliability characteristics. The tasks that define a business process can be carried out either by human operators or by automated software services. This chapter specifically focuses on fully automated business processes that are defined and executed as orchestrations of software services. In this respect, PyBPMN can be used to describe the performance and reliability properties of both a business process and its constituent services. This chapter also introduces a model-driven method that makes use of PyBPMN to predict, at design time, the performability of a business process, either to select the configuration of services that provide the best level of performability or to check if a given configuration satisfies the overall requirements of the business process. The proposed method can be fully automated, thus allowing business analysts to carry out the performability prediction with no extra effort and without being required to own specific skills of performability theory, as shown by use of an example case study. {\textcopyright} 2011 by Nova Science Publishers, Inc. All rights reserved.}, isbn = {9781612093444}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84874744977\&partnerID=40\&md5=77a96bbfad5e6ec50f8574420380569b}, author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio} } @article {Gianni2011819, title = {A software architecture to ease the development of distributed simulation systems}, journal = {SIMULATION}, volume = {87}, number = {9}, year = {2011}, note = {cited By 13}, pages = {819-836}, abstract = {The simulation of modern systems may require an amount of computational resources that might not be available on a single host. Distributed simulation (DS) provides an effective way to scale up for the increased computational requirements. However, using existing DS environments remains the main obstacle to the wide adoption of DS systems, because of their inherent complexity. This complexity can be quantitatively shown by the extra effort that the development of DS systems requires compared to the development of conventional local simulation (LS) systems. In this paper we introduce SimArch, a layered architecture that eases the development of DS systems by enabling simulation developers to effortlessly obtain a DS system or derive a DS system from the equivalent LS one. A reference model is used throughout the paper to illustrate the use of SimArch in the development of DS systems and to prove how the DS development effort is lowered down with respect to the use of a conventional DS environment. {\textcopyright} 2011, SAGE Publications. All rights reserved.}, keywords = {Computer simulation, Computer simulation languages, Computer software, development effort, Distributed computer systems, distributed simulation, Distributed simulation environments, High level architecture, Layered architecture, Simulation language, Software architecture}, issn = {00375497}, doi = {10.1177/0037549711400777}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-80052372123\&partnerID=40\&md5=8073e46ed4ea01775fd920be558f394c}, author = {Gianni, D. and Andrea D{\textquoteright}Ambrogio and Iazeolla, G.} } @conference {Iazeolla2010, title = {A distributed approach to the simulation of inherently distributed systems}, booktitle = {Spring Simulation Multiconference 2010, SpringSim{\textquoteright}10}, year = {2010}, note = {cited By 3}, abstract = {Inherently distributed systems are systems that are distributed by their own nature; in other words, they are composed of subsystems, which are physically and geographically separated. Examples of such systems are the distributed computer systems with various hosts geographically located; the wireless systems with a number of base and subscriber stations geographically separated; the satellite constellations, the military battlefields and so on. Such systems have, in many cases, been studied by use of Local Simulation (LS), in other words, a simulation run by a single host, or by use of Distributed Simulation (DS) in which the simulation system is divided into a number of federates, run by separate hosts for the scope of obtaining resource scalability and simulator reusability. In this paper, the DS approach is seen from a different point of view: a way to give higher representativeness to the simulation of inherently distributed systems. The approach consists of locating the federates in the same geographic positions of the subsystems that are designed to become part of the inherently distributed system. In this way, the distributed system can be studied in a very realistic way before being implemented. In this paper the problems and the advantages of this new DS approach are discussed and the technology is presented that supports and facilitates its introduction. {\textcopyright} 2010 SCS.}, keywords = {Distributed approaches, Distributed computer systems, Distributed simulations, Distributed systems, HLA, Network security, Reusability, Satellite constellations, Simulation in-the-loop, Simulation representativeness, Simulation systems, Subscriber stations, Wireless systems}, isbn = {9781450300698}, doi = {10.1145/1878537.1878675}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-78650620361\&partnerID=40\&md5=2f9f3dded848b3a4a02c6b3a7b5e898c}, author = {Iazeolla, G. and Pieroni, A. and Andrea D{\textquoteright}Ambrogio and Gianni, D.} } @conference {Iazeolla201036, title = {A distributed approach to the simulation of inherently distributed systems}, booktitle = {Simulation Series}, volume = {42}, number = {1 BOOK 4}, year = {2010}, note = {cited By 0}, pages = {36-45}, abstract = {Inherently distributed systems are systems that are distributed by their own nature; in other words, they are composed of subsystems, which are physically and geographically separated. Examples of such systems are the distributed computer systems with various hosts geographically located; the wireless systems with a number of base and subscriber stations geographically separated; the satellite constellations, the military battlefields and so on. Such systems have, in many cases, been studied by use of Local Simulation (LS), in other words, a simulation run by a single host, or by use of Distributed Simulation (DS) in which the simulation system is divided into a number of federates, run by separate hosts for the scope of obtaining resource scalability and simulator reusability. In this paper, the DS approach is seen from a different point of view: a way to give higher representativeness to the simulation of inherently distributed systems. The approach consists of locating the federates in the same geographic positions of the subsystems that are designed to become part of the inherently distributed system. In this way, the distributed system can be studied in a very realistic way before being implemented. In this paper the problems and the advantages of this new DS approach are discussed and the technology is presented that supports and facilitates its introduction.}, keywords = {Computer simulation, Distributed approaches, Distributed simulations, HLA, Military battlefields, Reusability, Satellite constellations, Separation, Simulation in-the-loop, Simulation representativeness, Subscriber stations}, isbn = {9781617382048}, issn = {07359276}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84887064085\&partnerID=40\&md5=08dc921115e86c196b23a970cead2f1d}, author = {Iazeolla, G. and Pieroni, A. and Andrea D{\textquoteright}Ambrogio and Gianni, D.} } @conference {Iazeolla2010252, title = {A distributed approach to wireless system simulation}, booktitle = {6th Advanced International Conference on Telecommunications, AICT 2010}, year = {2010}, note = {cited By 4}, pages = {252-262}, abstract = {Many papers have been published that present simulation results for wireless systems, including WiMAX. All such papers do not deal with wireless simulation approaches, and simulation is only seen as a side-means to produce numerical results. This paper does not present simulation numerical predictions. It instead deals with new simulation approaches for wireless systems and presents simulation software technologies. From the approach point of view, the "local" versus the "distributed" simulation approach is investigated to wireless systems. From the technology point of view, two new software tools are presented, for a step forward with respect to existing tools to ease the development of distributed simulation systems. The tools consist of a new distributed simulation environment (wDSEnv) and a new distributed simulation language (wDSLang). Such tools are described and a detailed WiMAX local and distributed simulation example is developed. {\textcopyright} 2010 IEEE.}, keywords = {Computer simulation languages, Computer software, Distributed approaches, Distributed simulation environments, Distributed simulation systems, Distributed simulations, Fuzzy control, IEEE 802.16, Interoperability, Numerical analysis, Numerical predictions, Numerical results, Simulation approach, Simulation result, Simulation software, Software tool, Wimax, WiMax wireless, Wireless simulation, Wireless systems}, isbn = {9780769540214}, doi = {10.1109/AICT.2010.66}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-77955389670\&partnerID=40\&md5=b2c180074951949ca03eb646f638f842}, author = {Iazeolla, G. and Pieroni, A. and Andrea D{\textquoteright}Ambrogio and Gianni, D.} } @inbook { 2108_36836, title = {HLA-Transparent Distributed Simulation of Agent-based Systems}, booktitle = {Modeling Simulation and Optimization --- Focus on Applications}, year = {2010}, publisher = {INTECH}, organization = {INTECH}, author = {Gianni, D and D{\textquoteright}Ambrogio, A and Iazeolla, G and Pieroni, A} } @conference {D{\textquoteright}Ambrogio2010122, title = {IEEE First Workshop on Collaborative Modeling and Simulation (CoMetS 2010)}, booktitle = {Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE}, year = {2010}, note = {cited By 1}, pages = {122-123}, abstract = {The CoMetS workshop aims to bring together leading researchers and practitioners from both the modeling and simulation (M\&S) community and the collaborative environments community, in order to focus on innovative research contributions that address both the use of collaborative technologies in the field of M\&S and the use of M\&S methodologies and tools to address the design of collaborative systems. This paper reports on the motivations of the workshop and the organization of its first edition. {\textcopyright} 2010 IEEE.}, keywords = {Collaborative environments, Collaborative modeling, Collaborative systems, Collaborative technologies, Computer simulation, Computer supported cooperative work, Innovation, Innovative research, Modeling and simulation, Technical presentations}, isbn = {9780769540634}, issn = {15244547}, doi = {10.1109/WETICE.2010.25}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-77955896065\&partnerID=40\&md5=6be06dc91c58926a54face050988522b}, author = {Andrea D{\textquoteright}Ambrogio and Gianni, D. and Fuchs, J. and Iazeolla, G.} } @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 {Gianni201031, title = {A methodology to predict the performance of distributed simulations}, booktitle = {Proceedings - Workshop on Principles of Advanced and Distributed Simulation, PADS}, year = {2010}, note = {cited By 5}, pages = {31-39}, abstract = {Predicting the time-performance of a Distributed Simulation (DS) system may be of interest to evaluate system alternatives during the development cycle, before the system is implemented. In this paper, we introduce a methodology to predict the execution time of a DS system during its design phase. The methodology is based on a model-building approach that, basing on the design documents of the DS system, first produces its performance model and then evaluates it. The model includes components such as middleware to use (e.g., the HLA RTI), the set of DS execution hosts and the set of host interconnection networks. The methodology is applied to determine whether or not producing the distributed simulator of a given system may be advantageous in terms of execution time with respect to a conventional local simulator. An example use of the methodology is presented and validated by a comparison of the time-prediction with the actual execution time of the implemented DS system. {\textcopyright} 2010 IEEE.}, keywords = {Building performance, Computer simulation, Design documents, Design phase, Development cycle, Distributed simulations, Execution time, Forecasting, Middleware, Model buildings, Performance Model, Simulation model}, isbn = {9781424472918}, doi = {10.1109/PADS.2010.5471669}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-77954092922\&partnerID=40\&md5=2d68a6f0b45ad790df832f3da1a2ad43}, author = {Gianni, D. and Iazeolla, G. and Andrea D{\textquoteright}Ambrogio} } @article {D{\textquoteright}Ambrogio201081, title = {Model-driven quality engineering of service-based systems}, journal = {Smart Innovation, Systems and Technologies}, volume = {2}, year = {2010}, note = {cited By 0}, pages = {81-103}, abstract = {Web services are the building blocks of systems 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 (QoS) characteristics. This paper introduces a lightweight WSDL extension for the description of QoS 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 Q-WSDL (QoS-enabled WSDL) metamodel. As an example application of Q-WSDL, the paper illustrates a model-driven method that exploits Q-WSDL in order to automatically predict and describe the QoS of systems based on composite web services specified by use of the Business Process Execution Language for Web Services (BPEL). The paper specifically addresses the prediction of the reliability attribute of QoS and is illustrated by use of an example application to a composite web service for travel planning. {\textcopyright} Springer-Verlag Berlin Heidelberg 2010.}, keywords = {BPEL, Business process execution language for web services, Distributed applications, Forecasting, Information services, Meta-model transformations, Model driven architectures, Model-driven, Multimedia services, Quality of service, Service oriented architecture (SOA), Software architecture, Software design, UML, Web service definition languages, Web services, Websites, WSDL}, isbn = {9783642133541}, issn = {21903018}, doi = {10.1007/978-3-642-13355-8_6}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84879295871\&partnerID=40\&md5=6aebac9835244b3b880b8819ea5e68f2}, author = {Andrea D{\textquoteright}Ambrogio}, editor = {George, Maria} } @conference {Gianni2009, title = {Dissimjade: A framework for the development of agent-based distributed simulation systems}, booktitle = {SIMUTools 2009 - 2nd International ICST Conference on Simulation Tools and Techniques}, year = {2009}, note = {cited By 6}, publisher = {ICST}, organization = {ICST}, abstract = {The adoption of an agent-based approach that incorporates intelligence, adaptation and learning abilities has proved to significantly increase the realism and the accuracy of the simulation. Simulation systems of such a kind, however, require computational resources that might be considerable for a single agent, so to become unfeasible when the number of simulated agents scales up. A distributed environment is thus needed to allow the execution of such simulation systems, particularly in the case of scenarios populated by a large number of agents. Building an agent-based distributed simulation system, however, requires both specific expertise and knowledge of distributed simulation standards and a non-negligible amount of effort to develop ad-hoc components. This paper introduces a simulation framework named DisSimJADE, which enables the incorporation of distributed simulation facilities into existing agent-based systems. DisSimJADE is built on top of the popular agent-based framework JADE and allows to define agent-based simulation systems that can be transparently executed either in a local or distributed, therefore bringing significant savings in terms of effort and development time. In addition, DisSimJADE provides a uniform interface to the JADE framework, which further facilitates the production of distributed simulation systems to developers of JADE-based multi-agent systems.}, keywords = {Agent based simulation, Discrete event simulation, Distributed computer systems, Distributed simulations, Framework, HLA, Intelligent agents, JADE, Multi agent systems, Silicate minerals}, isbn = {9789639799455}, doi = {10.4108/ICST.SIMUTOOLS2009.5725}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84922896723\&partnerID=40\&md5=2916ed218703e0d34cb973b665080ff4}, author = {Gianni, D. and Andrea D{\textquoteright}Ambrogio and Iazeolla, G.}, editor = {Stea G., Dalle O., Perrone L.F., Wainer G.} } @conference {Angelaccio2009137, title = {A model-driven approach for designing adaptive WEB GIS interfaces}, booktitle = {Lecture Notes in Geoinformation and Cartography}, year = {2009}, note = {cited By 7}, pages = {137-148}, abstract = {Adaptive WEB GIS systems are emerging as a promising technology for managing highly dynamic situations such as in emergencies. Such situations require quick response and combination of static and dynamic data. Context information is crucial for understanding the possible roles within the rescue teams and the possibility for their collaboration. Emergency conditions require adjustments of performance and behavior according to the information and activation of the components and according to the needs of the users. In this paper, we propose a context-aware meta model for a WEB GIS interface. This model is based on the unified modeling language (UML) and the model driven architecture (MDA) paradigm. The proposed framework is described in terms of an emerging web engineering paradigm by specializing a meta model transformation that adapts WEB GIS interfaces to the context information. A study case is taken from a flood emergency scenario. A discussion of the corresponding technological framework, together with a description of a test case, is given in order to show the feasibility of the proposed concept. {\textcopyright} Springer-Verlag Berlin Heidelberg 2009.}, keywords = {Context information, Emergency conditions, Emergency scenario, Geographic information systems, Information fusion, Meta-model transformations, Model driven approach, Model driven architectures, Semantics, Software architecture, Technological framework, Unified Modeling Language, Web engineering, Websites}, isbn = {9783642003035}, issn = {18632351}, doi = {10.1007/978-3-642-00304-2-9}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-78649514444\&partnerID=40\&md5=cf18f4e4d3529f57ceb725b865e8246c}, author = {Angelaccio, M. and Krek, A. and Andrea D{\textquoteright}Ambrogio} } @article {Gianni200967, title = {Ontology-based specification of simulation sequences}, journal = {International Journal of Simulation: Systems, Science and Technology}, volume = {10}, number = {2}, year = {2009}, note = {cited By 5}, pages = {67-78}, abstract = {The specification of a simulation model includes the description of the input sequences while the simulation output can be described by the produced sequences. The input sequences describe the characteristics of the simulated scenarios and are to be chosen in a way to preserve the real system representativeness; while the output sequences can be used as a proof of such representativeness. Producing the appropriate input sequences and validating the output sequences against the model specification is therefore fundamental to the validation of the simulation model. In this paper, we propose an ontology-based specification of simulation input sequences. The ontology gives a methodology to formalize the sequence specification and output sequence validation by providing the semantic basis for the sequences formal description. In the model specification, the input sequences are described in terms of ontology concepts and properties values, and in the model implementation the deployed sequences can be thus automatically derived by mapping them on the ontology concepts. Sequence validation may be carried out by establishing the congruence between the ontology concepts and the deployed sequences.}, keywords = {Computer simulation, Formal Description, Input sequence, Model implementation, Model specification, Model specifications, Ontology, Ontology concepts, Ontology-based, Output sequences, Real systems, Semantics, Simulation model, Specifications}, issn = {14738031}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-78650605223\&partnerID=40\&md5=cbdaef9e43630d47be542c7b08e0d72f}, author = {Gianni, D. and Andrea D{\textquoteright}Ambrogio and Iazeolla, G.} } @article {D{\textquoteright}Ambrogio2009625, title = {Simulation model building of traffic intersections}, journal = {Simulation Modelling Practice and Theory}, volume = {17}, number = {4}, year = {2009}, note = {cited By 9}, pages = {625-640}, abstract = {Designers of traffic systems might take advantage of the simulation-before-construction approach that allows them to study the behavior of a new or existing system by use of simulation models. Nevertheless, the use of simulation models is often hindered by the fact that the model building activity is a critical, time consuming and error prone activity if performed by use of experience and intuition only. Moreover, traffic designers do not usually have the necessary skills to effectively carry out system simulation. This paper overcomes such problems by introducing a model building method, thus enabling traffic designers to seamlessly introduce simulation-before-construction into their best practices. The method is applied to the building of simulation models of traffic intersections, with an example application to a real-world intersection. {\textcopyright} 2008 Elsevier B.V. All rights reserved.}, keywords = {Automated model building, Best practices, Error-prone, Existing systems, Intersections, Model buildings, Model-building methods, Real-world, Simulation model production, Specifications, System simulations, Traffic control, Traffic intersection specification, Traffic simulation, Traffic systems}, issn = {1569190X}, doi = {10.1016/j.simpat.2008.11.001}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-62149138054\&partnerID=40\&md5=e6b0fba289eb046089cab4e9984ab819}, author = {Andrea D{\textquoteright}Ambrogio and Iazeolla, G. and Pasini, L. and Pieroni, A.} } @conference {D{\textquoteright}Ambrogio2008460, title = {Distributed simulation of complex systems by use of an HLA-transparent simulation language}, booktitle = {2008 Asia Simulation Conference - 7th International Conference on System Simulation and Scientific Computing, ICSC 2008}, year = {2008}, note = {cited By 5}, pages = {460-467}, abstract = {The continuously decreasing cost of distributed systems gives academics and industry the advantage of using larger execution platforms and of reusing locally implemented software components. This is particularly true for the simulation of complex systems where the computational resources needed considerably increase with the model resolution and with the number of simulated entities. The development of such simulation systems, however, requires extra efforts compared to the conventional local ones. Example extra efforts are learning how to use the Distributed Simulation (DS) Standard (such as HLA) and the development of extra software for the synchronization and communication between the local and distributed environment. In this paper, we address the problem of defining a simulation language that can transparently support the development distributed simulation systems, by making the use of the DS standard transparent and also reducing the amount of extra software. The HLA transparent language we introduce is named jEQN, being Java-based and dealing with Extended Queueing Networks domains. The language approach, however, can be easily extended to any other DS Standard and modelling domain. {\textcopyright} 2008 IEEE.}, keywords = {Complex systems, Computational resources, Computer simulation languages, Computer software, Dielectric relaxation, Distributed environments, Distributed simulation systems, Distributed simulations, Distributed systems, Do-mains, Java programming language, Large scale systems, Linguistics, Model resolutions, Queueing networks, Simulation languages, Simulation systems, Software components, Standardization, Standards}, isbn = {9781424417872}, doi = {10.1109/ASC-ICSC.2008.4675405}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-58049176462\&partnerID=40\&md5=9610842bfbbce4f9f21f913927ec00c1}, author = {Andrea D{\textquoteright}Ambrogio and Gianni, D. and Iazeolla, G. and Pieroni, A.} } @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 {Gianni2008, title = {A layered architecture for the model-driven development of distributed simulators}, booktitle = {SIMUTools 2008 - 1st International ICST Conference on Simulation Tools and Techniques for Communications, Networks and Systems}, year = {2008}, note = {cited By 12}, publisher = {ICST}, organization = {ICST}, abstract = {The development of a distributed simulator requires knowledge and skills that might be unavailable or difficult to acquire. Bringing model-driven approaches to the development of distributed simulators contributes to reduce both the need for specific skills and the development effort. To support this innovative development methodology, we introduce a layered simulation architecture named SimArch that allows to define simulation models that can be transparently transformed into simulation programs ready to be executed in a distributed (or local) mode. SimArch defines layers of services at increasing levels of abstraction on top of the execution environment, thus allowing developers to build distributed simulators without explicit knowledge about the execution environment (local/distributed) and the specific distributed simulation infrastructure (e.g., HLA). In order to show the effectiveness of the proposed approach, SimArch has been provided with an Extended Queueing Network (EQN) simulation language, which has been applied to the development of an example distributed simulator in the computer network domain. Copyright {\textcopyright} 200F ICST 978-963-9799-20-2.}, keywords = {Computational linguistics, Computer networks, Computer simulation languages, Development methodology, Distributed computer systems, Distributed simulations, Execution environments, HLA, Model driven development, Network architecture, Network simulation, Queueing networks, Simulation architecture, Simulation framework, Simulators}, isbn = {9789639799233}, doi = {10.4108/ICST.SIMUTOOLS2008.3071}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84923272498\&partnerID=40\&md5=512ca53ab563e55634811dc6f2c01695}, author = {Gianni, D. and Andrea D{\textquoteright}Ambrogio and Iazeolla, G.}, editor = {Heath J., Molnar S.} } @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.} } @article {Bocciarelli2008228, title = {Model-driven performability analysis of composite web services}, journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}, volume = {5119 LNCS}, year = {2008}, note = {cited By 14}, pages = {228-246}, abstract = {Web services are the building blocks of the emerging computing paradigm based on service-oriented architectures (SOAs). A web service is a self-describing, open component that supports rapid composition of distributed applications. In a SOA context, service providers are strategically interested both to predict and describe the QoS of the offered services. This paper introduces a model-driven approach to automatically predict and describe the QoS of composite web services specified by use of the Business Process Execution Language for Web Services. The paper is founded on a lightweight QoS-oriented extension of the WSDL and specifically addresses the QoS in terms of the performability attribute, which defines a combined measure of performance and reliability. The proposed approach is illustrated by use of an example application that shows how the performability analysis may lead to predictions that do not correspond to those obtained by approaches that only consider the performance attribute. {\textcopyright} 2008 Springer-Verlag Berlin Heidelberg.}, keywords = {Building blockes, Business process execution language for web services, Combined measure, Composite web services, Distributed applications, Emerging computing paradigm, Information services, Model driven approach, Model-driven, Model-driven development, Perform-ability, Performance, Performance attributes, Quality of service, Reliability, Service oriented architecture (SOA), Service provider, Systems analysis, Web services}, isbn = {3540698132; 9783540698135}, issn = {03029743}, doi = {10.1007/978-3-540-69814-2-15}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-70349880842\&partnerID=40\&md5=2b62ddfcd5d7d53a52f20982c298e063}, author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio} } @conference {Gianni2008171, title = {Producing simulation sequences by use of a java-based generalized framework}, booktitle = {Proceedings - EMS 2008, European Modelling Symposium, 2nd UKSim European Symposium on Computer Modelling and Simulation}, year = {2008}, note = {cited By 6}, pages = {171-176}, abstract = {The quality and representativeness of simulation results heavily depend on the sequence of numbers used in the experiments. When dealing with simulations of critical systems, it might be necessary to increase the representativeness of such results by running experiments with different sequences and to investigate the system behaviour in specific situations. In large models, however, managing sequence of numbers could become cumbersome and could attract the attention of simulation system developers on the input settings instead of model logic. In this paper, we present a component-based framework for sequence of numbers that offers a high degree of flexibility and raises the simulation system developers from the details of the input sequences while implementing the model logic. The sequences can be thus configured in a following phase and deployed in the simulation systems with almost no effort. {\textcopyright} 2008 IEEE.}, keywords = {Computer systems, Critical systems, Degree of flexibilities, Input sequences, Input settings, Magnetic properties, Magnetic susceptibility, Model logics, Simulation results, Simulation systems, System behaviours}, isbn = {9780769533254}, doi = {10.1109/EMS.2008.52}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-55849093564\&partnerID=40\&md5=e238b9497ca873aa74ae141c715dae45}, author = {Gianni, D. and Andrea D{\textquoteright}Ambrogio and Iazeolla, G. 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 {Angelaccio2008, title = {WETICE general chairs{\textquoteright} report}, booktitle = {Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE}, year = {2008}, note = {cited By 0}, pages = {x-xi}, issn = {15244547}, doi = {10.1109/WETICE.2008.4}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-66749118381\&partnerID=40\&md5=5424232ec9722580bda82430d1f3d49f}, author = {Angelaccio, M. and Andrea D{\textquoteright}Ambrogio} } @conference {Angelaccio2008271, title = {WETICE2008 showcase report}, booktitle = {Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE}, year = {2008}, note = {cited By 0}, pages = {271-273}, issn = {15244547}, doi = {10.1109/WETICE.2008.52}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-66749092449\&partnerID=40\&md5=77d251bfeea7d2ec2e724aaa06ccc4e3}, author = {Angelaccio, M. and Buttarazzi, B. and Andrea D{\textquoteright}Ambrogio} } @conference {Angelaccio2007111, title = {COPS - Collaborative peer-to-peer information systems workshop report}, booktitle = {Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE}, year = {2007}, note = {cited By 0}, pages = {111-112}, isbn = {0769528791; 9780769528793}, issn = {15244547}, doi = {10.1109/WETICE.2007.4407136}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-51149113095\&partnerID=40\&md5=509d5825a8911af293d90b4f811d18cb}, author = {Angelaccio, M. and Andrea D{\textquoteright}Ambrogio} } @article {Gianni200776, title = {A language to enable distributed simulation of extended queueing networks}, journal = {Journal of Computers (Finland)}, volume = {2}, number = {4}, year = {2007}, note = {cited By 15}, pages = {76-86}, abstract = {Distributed simulators are increasingly being used for their intrinsic advantages in terms of reusability, fault tolerance, performance, and geographic distribution. The development of a distributed simulator, however, requires significant investments in terms of effort if compared to the development of traditional local simulators. This paper introduces jEQN, a Java-based language that significantly reduces the extra effort needed to develop a distributed simulator of extended queueing networks (EQNs), by enabling simulator developers to build distributed simulators as they were to be locally executed. By use of jEQN, simulator developers are enabled to easily switch from a local to a distributed version of an EQN simulator by only modifying few statements of the given local simulator. Moreover, these statements can be easily inferred by a very intuitive graphical procedure. The paper illustrates both the jEQN architecture, based on a layered approach, and the implementation details that contribute to achieve the above mentioned advantages. {\textcopyright} 2007 ACADEMY PUBLISHER.}, keywords = {Computer simulation languages, Distributed simulations, Fault tolerance, Geographic distribution, High level architecture, Java programming language, Queueing networks, Reusability, Simulators, Software architecture}, issn = {1796203X}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-50149099857\&partnerID=40\&md5=5715034653b5f3887aceb678fc9e510d}, author = {Gianni, D. and Andrea D{\textquoteright}Ambrogio} } @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.} } @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} } @conference {D{\textquoteright}Ambrogio200778, title = {A model-driven approach to describe and predict the performance of composite services}, booktitle = {Proceedings of the 6th International Workshop on Software and Performance, WOPS{\textquoteright}07}, year = {2007}, note = {cited By 76}, pages = {78-89}, abstract = {Distributed applications are rapidly converging towards the adoption of a computing paradigm based on service-oriented architectures (SOA), according to which an application results from the composition of a set of services in execution on networked server hosts. In a SOA 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 when building composite web services that make use of services managed by various service providers. This paper introduces a model-driven approach for integrating performance prediction into service composition processes carried out by use of BPEL (Business Process Execution Language for Web Services). The proposed approach is founded on P-WSDL (Performance-enabled WSDL), a performance-oriented extension of WSDL, the language for describing the information about service capabilities and invocation mechanisms. P-WSDL is a lightweight WSDL extension for the description of performance characteristics of a web service. The approach is illustrated by use of an example application to a composite web service for travel planning. Copyright 2007 ACM.}, keywords = {Context sensitive grammars, Distributed computer systems, Model checking, Model transformation, Network architecture, Service providers, Service-oriented architectures (SOA), Software performance, User interfaces, Web services}, isbn = {1595932976; 9781595932976}, doi = {10.1145/1216993.1217008}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-34748847460\&partnerID=40\&md5=359f771f293455994ff32902ee2772e6}, author = {Andrea D{\textquoteright}Ambrogio and Bocciarelli, P.} } @conference {Bocciarelli2007159, title = {QShare: QoS-enabled description and discovery of services in SOA-based P2P applications}, booktitle = {Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE}, year = {2007}, note = {cited By 3}, pages = {159-164}, abstract = {Distributed applications are rapidly converging towards the adoption of a computing paradigm based on SOAs (service-oriented architectures), according to which an application results from the composition of a set of services in execution on networked server hosts. In this context, in order to provide SOA-based applications with high levels of QoS (quality of service), service providers may employ P2P (peer-to-peer) networks to bring applications closer to their consumers, overcoming slow backbone paths, network congestions and physical latencies. The ability to efficiently carry out service discovery activities is a key issue for effectively managing the QoS of SOA-based P2P applications. To this purpose, this paper introduces QSHARE, an approach for the QoS-enabled description and discovery of services in SOA-based P2P applications. The proposed approach introduces a novel peer architecture that makes use of QoS-enabled service descriptions and its effectiveness is shown within the context of a model-driven framework for managing the QoS of SOA-based P2P applications.}, keywords = {Computer networks, Enabling technologies, P2P applications, Quality of service}, isbn = {0769528791; 9780769528793}, issn = {15244547}, doi = {10.1109/WETICE.2007.4407144}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-51149106143\&partnerID=40\&md5=6e581af0df8d7f406326082475a8262d}, author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio and Angelaccio, M.} } @conference {D{\textquoteright}Ambrogio2007210, title = {Software technologies for the interoperability and reusability of distributed simulators}, booktitle = {SISO European Simulation Interoperability Workshop 2007, EURO SIW 2007}, year = {2007}, note = {cited By 2}, pages = {210-219}, abstract = {Giving interoperability and reusability capabilities to distributed simulators is fundamental to the widespread use of distributed simulation. The HLA standard has introduced considerable improvements with respect to previous standards, though it suffers from shortcomings such as (1) lack of interoperability among different IEEE-compliant implementations, (2) no support to the adaptation and integration of individual federates and (3) poor reusability, which is limited to entire federates only. In this paper, we present two independent technologies that overcome such shortcomings. The first technology consists of a CORBA-HLA architecture that overcomes limitation (1), the second technology is a new development framework called SimJ that overcomes limitations (2) and (3). The CORBA-HLA architecture decouples federates from the specific HLA implementation so that federates can be effortlessly run on top of any HLA implementation that exposes services through an IEEE-complaint IDL interface. The SimJ framework eases the development of individual federates by providing a uniform and standard interface for local and distributed simulators, and makes it possible the reuse of components smaller than entire federates in both local and distributed simulators.}, keywords = {Adaptability, Common object request broker architecture (CORBA), Computer architecture, Computer software reusability, Distributed simulations, Framework, HLA, Interoperability, Middleware, Reusability, Simulators, Software technology, Standard interface, Technology}, isbn = {9781615671700}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84865354509\&partnerID=40\&md5=3cad39842c91176c439ae7bf7e6b17a1}, author = {Andrea D{\textquoteright}Ambrogio and Gianni, D. and Iazeolla, G.} } @conference {Angelaccio200655, title = {COPS - Collaborative peer-to-peer information systems workshop report}, booktitle = {Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE}, year = {2006}, note = {cited By 0}, pages = {55-56}, isbn = {0769526233; 9780769526232}, issn = {15244547}, doi = {10.1109/WETICE.2006.25}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-46449095129\&partnerID=40\&md5=c86320f40e6d766272edc9fdf52435b4}, author = {Angelaccio, M. and Andrea D{\textquoteright}Ambrogio and Buttarazzi, B.} } @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 {Angelaccio200695, title = {A model-driven framework for managing the QoS of collaborative P2P service-based applications}, booktitle = {Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE}, year = {2006}, note = {cited By 6}, pages = {95-100}, abstract = {Distributed and collaborative applications are rapidly converging towards the adoption of a computing paradigm based on service-oriented architectures, according to which an application results from the composition of a set of services in execution on networked server hosts. In this context, a major challenge for collaborative businesses and application service providers is to provide services with high levels of QoS to geographically dislocated consumers. In order to enable better QoS, service providers may employ overlay networks to bring applications closer to their consumers, overcoming slow backbone paths, network congestions and physical latencies. This paper introduces a model-driven QoS management framework that provides both a standard (UML-based) notation to describe QoS-aware collaborative P2P service-based applications and a method for adaptive QoS management based on the automated building of performance models. {\textcopyright} 2006 IEEE.}, keywords = {Application service provider (ASP), Architectural design, Collaborative Applications, Collaborative businesses, Computing paradigms, Distributed computer systems, Enabling technologies, In order, Industry, Information services, International workshops, Model-driven, Network architecture, Network congestions, Overlay Networks (ON), performance modelling, QOS management, Service oriented architectures (SOAs), Service provider (SP), Service-based, Standards, Systems analysis, Telecommunication networks, Unified Modeling Language}, isbn = {0769526233; 9780769526232}, issn = {15244547}, doi = {10.1109/WETICE.2006.9}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-46449083466\&partnerID=40\&md5=9f8545baa48661a0597b49ba825a295a}, author = {Angelaccio, M. and Andrea D{\textquoteright}Ambrogio} } @conference {D{\textquoteright}Ambrogio2006789, title = {A model-driven WSDL extension for describing the QoS of web services}, booktitle = {Proceedings - ICWS 2006: 2006 IEEE International Conference on Web Services}, year = {2006}, note = {cited By 69}, pages = {789-796}, 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 (QoS) characteristics. This paper introduces a lightweight WSDL extension for the description of QoS 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 Q-WSDL (QoS-enabled WSDL) metamodel. The proposed Q-WSDL extension can effectively be used to specify QoS requirements, to establish service level agreements (SLA), to add QoS-oriented characteristics when querying registries of web services and to support the automated mapping from WSDL documents to Q-WSDL ones and from UML models to Q-WSDL web services. {\textcopyright} 2006 IEEE.}, keywords = {Automated mappings, Computing paradigm, Data structures, Distributed computer systems, Metadata, Quality of service, Service-oriented architectures, Unified Modeling Language, Web Service Definition Language (WSDL), Web services, XML}, isbn = {0769526691; 9780769526690}, doi = {10.1109/ICWS.2006.10}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-38949121932\&partnerID=40\&md5=a1ab2cc907fb8abdedb50d97ab6a9776}, author = {Andrea D{\textquoteright}Ambrogio} } @conference {D{\textquoteright}Ambrogio2006149, title = {SimJ: A framework to develop distributed simulators}, booktitle = {Summer Computer Simulation Conference 2006, SCSC{\textquoteright}06, Part of the 2006 Summer Simulation Multiconference, SummerSim{\textquoteright}06}, year = {2006}, note = {cited By 10}, pages = {149-156}, abstract = {A distributed simulation (DS) is based on the use of several simulators distributed over a network infrastructure. Existing DS standards (e.g., HLA) only specify distribution services without giving support for developing individual simulators in a way to be compliant to the given standard. Traditionally, the development of individual simulators was facilitated by use of simulation languages (e.g., Csim, Arena, Extend, Modline, etc.) which however do not provide support to obtain interaction according to a given DS standard. The extension of such languages to include DS support is very problematic, especially in case of proprietary languages. For these reasons, the development of DS-compliant individual simulators is mostly done by use of standard programming languages (e.g., C, Java, etc.) with the additional effort of developing simulation mechanisms, model components and interfaces to the DS standard. This paper introduces SimJ, a Java library that minimizes such efforts, so that simulators can be developed as to be run on a single local host and can then be partitioned to be run over a set of networked hosts according to a given DS standard. The simulators SimJ addresses are discreteevent simulators (DES) and are easily portable to different DS standards. The paper illustrates the design guidelines of SimJ and presents an example use based on the HLA DS standard.}, keywords = {C (programming language), Computer simulation languages, Discrete event simulation, Discrete-event simulators, Distributed simulations, Distribution services, HLA, Java, Java library, Model components, Network infrastructure, Simulation mechanisms, Simulators, Standard programming language, Standardization}, isbn = {9781622763528}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-50149099672\&partnerID=40\&md5=d2720c3ec54b8e318b0231b9ab847d3a}, author = {Andrea D{\textquoteright}Ambrogio and Gianni, D. and Iazeolla, G.} } @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.} } @article {D{\textquoteright}Ambrogio2005127, title = {Metadata-driven design of integrated environments for software performance validation}, journal = {Journal of Systems and Software}, volume = {76}, number = {2}, year = {2005}, note = {cited By 5}, pages = {127-146}, abstract = {Lifecycle validation of the performance of software products (i.e., the prediction of the product ability to satisfy the user performance requirements) encompasses the production of performance models from CASE documents. The model production activity is a critical, time-consuming and error-prone activity so that lifecycle validation is still not widely accepted and applied. The reason is twofold: the lack of methods for the automatic derivation of software performance models from CASE documents and the lack of environments that implement and integrate such methods. A number of methods for the automatic derivation of software performance models from CASE documents has been already proposed in literature, without however solving the automation problem. This paper instead faces up to such problem, by introducing an integrated and standards-based environment for the automatic derivation and evaluation of queueing-based performance models. The environment is based on the use of standards for metadata exchange (MOF, XMI), to ease the integration of the most common UML-based CASE tools, thus enabling software designers to smoothly introduce performance validation activities into their best development practices. {\textcopyright} 2004 Elsevier Inc. All rights reserved.}, keywords = {Codes (standards), Computer aided software engineering, Computer simulation, Lifecycle validation, Metadata, Metamodeling, Performance, Quality control, Software environments, Software performance, XML}, issn = {01641212}, doi = {10.1016/j.jss.2004.04.014}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-11144271040\&partnerID=40\&md5=36f844fc57fc3cf9ba5a51344b5472d2}, 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.} } @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} } @article {D{\textquoteright}Ambrogio2004584, title = {Model-driven maintenance of QoS characteristics in heterogeneous networks}, journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}, volume = {3280}, year = {2004}, note = {cited By 0}, pages = {584-593}, publisher = {Springer Verlag}, abstract = {System QoS maintenance is the activity intended to maintain the system QoS at acceptable levels. The activity consists of continuously measuring the system QoS characteristics and adjusting the system parameters that affect them. This paper introduces a model-driven approach to the maintenance of QoS characteristics in heterogeneous networks that support geographically distributed processing services. The model is used as an on-line tool that enables network managers to rapidly adjust the network parameters to maintain the network QoS characteristics at required levels. The on-line use of the model requires short model evaluation times, which are obtained by use of a multi-level hierarchical hybrid technique. The application to the maintenance of timerelated and capacity-related network QoS characteristics is illustrated. {\textcopyright} Springer-Verlag 2004.}, keywords = {Distributed processing, Heterogeneous networks, Hybrid techniques, Maintenance, Model driven approach, Model evaluation, Model-driven, Network managers, Network parameters, On-line tools}, issn = {03029743}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-35048850389\&partnerID=40\&md5=21de7002295472f48770051c819654c3}, author = {Andrea D{\textquoteright}Ambrogio and De Person{\'e}, V.N. and Iazeolla, G.} } @article {D{\textquoteright}Ambrogio2004696, title = {Using CORBA to enhance HLA interoperability in distributed and web-based simulation}, journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}, volume = {3280}, year = {2004}, note = {cited By 8}, pages = {696-705}, abstract = {In distributed simulation, various simulation programs, or else components of a given simulation program, interact as elements of a simulation-oriented distributed computation. The High Level Architecture (HLA) is a standardization effort that provides a general framework for promoting interoperability and reusability in the simulation field. When applied to distributed simulation HLA shows some drawbacks that limit the desired degree of interoperability and reusability. This paper proposes a CORBA-based approach to overcome such drawbacks and improve HLA capabilities. The paper also illustrates how to combine the use of HLA and CORBA for Web-based simulation, which is the extension of distributed simulation to Web-based network infrastructures. {\textcopyright} Springer-Verlag 2004.}, keywords = {Cold rolling, Common object request broker architecture (CORBA), Computer software reusability, Distributed computations, Distributed simulations, High level architecture, Interoperability, Network infrastructure, Reusability, Simulation program, Web based, Web-based simulations, Websites}, issn = {03029743}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-35048819478\&partnerID=40\&md5=c82459b12703bfc7d078f01abef2a9c5}, author = {Andrea D{\textquoteright}Ambrogio and Gianni, D.} } @article {D{\textquoteright}Ambrogio200329, title = {Steps towards the automatic production of performance models of web applications}, journal = {Computer Networks}, volume = {41}, number = {1}, year = {2003}, note = {cited By 14}, pages = {29-39}, abstract = {

The automatic production of performance models of software products can encourage software designers to include performance validation in their best practices. The incorporation of methods for automatic production can also be of interest of CASE tool vendors to improve the capabilities of their commercial software development environments. This paper deals with a method that introduces a systematic approach towards the automatic production of performance models of web applications (i.e. software applications run on web platforms). The method takes in input two sets of data, the description of the platform architecture (a general view of the system platform and a detailed view of the packet flow in the platform itself) and a set of data that describes the workload imposed on the platform by the application. The produced model is an extended queueing network ready to be used by conventional evaluation tools to derive predictions on the performance of the software applications. An example is given of the method application, in which predictions of the performance of the application are obtained versus various combinations of the processing powers of the interacting hosts. {\textcopyright} 2002 Elsevier Science B.V. All rights reserved.

}, keywords = {Computer aided software engineering, Computer software, Packet networks, Performance, Performance prediction, Queueing networks, World Wide Web}, issn = {13891286}, doi = {10.1016/S1389-1286(02)00324-9}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-0037437673\&partnerID=40\&md5=03d6a60f12ce2896f634526eeeb2605e}, author = {Andrea D{\textquoteright}Ambrogio and Iazeolla, G.} } @article {Cortellessa200181, title = {Automatic derivation of software performance models from CASE documents}, journal = {Performance Evaluation}, volume = {45}, number = {2-3}, year = {2001}, note = {cited By 27}, pages = {81-105}, abstract = {Lifecycle validation of software performance (or prediction of the product ability to satisfy the user performance-requirements) is based on the automatic derivation of software performance models from CASE documents or rapid prototypes. This paper deals with the CASE document alternative. After a brief overview of existing automatic derivation methods, it introduces a method that unifies existing techniques that use CASE documents. The method is step-wise clear, can be used from the early phases of the software lifecycle, is distributed-software oriented, and can be easily incorporated into modern (e.g., UML-based) CASE tools. The method enables the software designer with no specific knowledge of performance theory to predict at design time the performance of various final product alternatives. The designer does only need to feed the CASE documents into the performance model generator. The paper carries on an application case study that deals with the development of distributed software, where the method is used to predict the performance of different distributed architectures the designer could select at preliminary design time to obtain the best performing final product. The method can be easily incorporated into modern object-oriented software development environments to encourage software designers to introduce lifecycle performance validation into their development best practices. {\textcopyright} 2001 Elsevier Science B.V.}, keywords = {Computer aided software engineering, Computer architecture, Distributed computer systems, Distributed software, Systems analysis, User interfaces}, issn = {01665316}, doi = {10.1016/S0166-5316(01)00036-0}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-0035400344\&partnerID=40\&md5=c4fbe1a264e5fde474ce1c0eabbaedcb}, author = {Cortellessa, V. and Andrea D{\textquoteright}Ambrogio and Iazeolla, G.} } @article {Paoluzzi1999711, title = {A programming approach for complex animations. Part II. Reconstruction of a real disaster}, journal = {CAD Computer Aided Design}, volume = {31}, number = {11}, year = {1999}, note = {cited By 2}, pages = {711-732}, abstract = {Three years ago, during the excavation of a subway gallery near Neaples, a terrible gas explosion occurred with a terrain and building collapse. In this paper, we describe the geometric modeling and the visual simulation of some possible scenarios of the catastrophic event. The geometric models and the visual simulation, as well as the overall animation coordination, were developed using the functional design language PLaSM. Both animation and rendering were performed by an Open Inventor-based animation server, which plays motion data generated by the PLaSM interpreter. This paper will discuss both the design lines and some preliminary results of a very complex visual simulation project, accomplished by using a geometric programming approach. A methodology for symbolic representation of complex animations was already discussed in the companion paper [Bajaj C, Baldazzi C, Cutchin S, Paoluzzi A, Pascucci V, Vicentino M. A programming approach for complex animations. Part I. Methodology. Computer Aided Design 1999;31;695]. {\textcopyright} 1999 Elsevier Science Ltd. All rights reserved.}, issn = {00104485}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-0347595632\&partnerID=40\&md5=d0c15bf1cc494bb54780db91bc20f783}, author = {Paoluzzi, A. and Andrea D{\textquoteright}Ambrogio} } @article {D{\textquoteright}Ambrogio199749, title = {CORBA-based approach to design gateways for multidatabase systems}, journal = {Journal of Engineering and Applied Science}, year = {1997}, note = {cited By 0}, pages = {49-54}, publisher = {Cairo Univ, Cairo, Egypt}, abstract = {

A MDBS (Multi Data Base System) is a system that provides access to data from a collection of DBSs (Data Base Systems), called component DBSs, that are heterogeneous and distributed. The integration of the component DBSs into the MDBS is performed by a complex of functions termed gateway. This paper describes the design of a gateway based on the distributed object computing (DOC) approach, and compliant to the CORBA (Common Object Request Broker Architecture) standard. The approach is shown to introduce savings in design complexity and cost. The details of the approach are described in a gateway case study for the integration of a relational DBS into a MDBS.

}, keywords = {CORBA-based approach, Costs, Database systems, Design, Information infrastructure, Information management, Standards}, issn = {11101903}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-0031361885\&partnerID=40\&md5=fe80867dceaf0e573e86d141fd1b40d1}, author = {Andrea D{\textquoteright}Ambrogio and Iazeolla, G.}, editor = {Anon} } @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} }