@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} } @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 {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 {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 {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 {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}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} }