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