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