@conference {Gianni2012310,
	title = {BOM2UML: Integrating BOM specifications into UML-based development environments},
	booktitle = {Simulation Series},
	volume = {44},
	number = {4 BOOK},
	year = {2012},
	note = {cited By 0},
	pages = {310-317},
	abstract = {Base Object Model (BOM) is a standard to define conceptual models that can be reused for the development or the extension of simulation systems based on the IEEE High Level Architecture (HLA). However, BOM specifications suffer from interoperability issues as they cannot be automatically imported into model-driven simulation engineering environments based on UML and related standards. In this paper, we overcome this limitation by introducing BOM2UML, a model transformation to derive standard UML models from a BOM specification. We provide both a conceptual description of the transformation rules and the details of their implementation in ATL, the Atlas Transformation Language. We also show a preliminary output of the proposed transformation, applied to a set of BOM specifications of a simplified military application.},
	keywords = {BOM, Computer simulation, HLA, Mathematical models, Model driven development, Model transformation, Specifications, Standards, UML, Unified Modeling Language},
	isbn = {9781618397867},
	issn = {07359276},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84876472367\&partnerID=40\&md5=60c7fa8c563ba58f48e298b7cc8fb1a1},
	author = {Gianni, D. and Andrea D{\textquoteright}Ambrogio and Grasso, M.}
}
@conference {Gianni2012,
	title = {A model-based Signal-In-Space interface specification to support the design of Galileo receivers},
	booktitle = {6th ESA Workshop on Satellite Navigation Technologies: Multi-GNSS Navigation Technologies Galileo{\textquoteright}s Here, NAVITEC 2012 and European Workshop on GNSS Signals and Signal Processing},
	year = {2012},
	note = {cited By 1},
	abstract = {The design and development of Galileo receivers will be a key factor to determine the market approach and penetration. The massive use of the Galileo services will be impacted, as well as the estimated economical return of the Galileo linked activities. In general, GNSS receivers use similar mathematical models for the computation of the global positioning from a standard parameter set. However, receivers design and implementation solutions are often inherently dependent on the specific parameter representations defined in the Signal-In-Space (SIS) interface specifications. In this paper, we introduce Interface Communication Modeling Language (ICML) as a model-based approach for the SIS interface specification to support the engineering of Galileo receivers. We argue that a model-based specification can potentially bring several technical benefits to the design of Galileo receivers, including support for specification communication among stakeholders, reuse and adaptation of existing GPS software and chipsets, and receiver-side multi GNSS interoperability, for example. As a result, a model-based SIS interface specification can contribute to increase the use of the Galileo services by reducing the impact of the technical factors leading to the extra costs. In the paper, we present the overall layout of the ICML language and preliminary applications. In particular, we present a simplified excerpt of a Galileo-like SIS specification and functional schema of GNSS receivers and show how the ICML-based specification can support the design of Galileo receivers. An important caveat: no endorsement is made for the use of the ICML language for the official Galileo SIS interface specification. {\textcopyright} 2012 IEEE.},
	keywords = {Communication, Computer software reusability, Design, GALILEO, Global positioning system, Information theory, Interface control documents, Interface specification, Mathematical models, Model-based systems engineering, Receivers (containers), Signal processing, Signal receivers, Specifications, SysML, Technology, UML},
	isbn = {9781467320115},
	doi = {10.1109/NAVITEC.2012.6423066},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84874274251\&partnerID=40\&md5=c5bbcc7395ef038a87c8dcbae3e8f360},
	author = {Gianni, D. and Lisi, M. and De Simone, P. and Andrea D{\textquoteright}Ambrogio and Luglio, M.}
}
@conference {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}
}
@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}
}
@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 {D{\textquoteright}Ambrogio20104,
	title = {A MDA-based approach for the development of DEVS/SOA simulations},
	booktitle = {Simulation Series},
	volume = {42},
	number = {1 BOOK 4},
	year = {2010},
	note = {cited By 0},
	pages = {4-11},
	abstract = {The intrinsic complexity of the DEVS formalism and the manual production of DEVS-based simulations might constitute obstacles to the adoption of DEVS for both system modelers and simulation users. To overcome these obstacles, this paper introduces a model-driven approach for the development of DEVS simulations. The approach provides modelers and users with standard graphical modeling languages and with model transformation specifications for automated code production. Specifically, the approach enables the UML specification of DEVS models and automates the generation of DEVS simulations that make use of the DEVS/SOA implementation. An example application to the production of a DEVS/SOA simulation for a basic queuing system is also presented, to show the details of the proposed approach.},
	keywords = {DEVS, Discrete event simulation, Mathematical models, MDA, Model driven development, Model transformation, Software architecture, Specifications, UML},
	isbn = {9781617382048},
	issn = {07359276},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84887115977\&partnerID=40\&md5=d939ce7d1f75fadfcbdeca9335ab3f30},
	author = {Andrea D{\textquoteright}Ambrogio and Gianni, D. and Risco-Mart{\'\i}n, J.L. and Pieroni, A.}
}
@article {D{\textquoteright}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 {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.}
}
