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