@conference {Gianni2014201,
	title = {Temporal capabilities in support of conceptual process modeling using object- Role modeling (work in progress)},
	booktitle = {Simulation Series},
	volume = {46},
	number = {4},
	year = {2014},
	note = {cited By 1},
	pages = {201-206},
	publisher = {The Society for Modeling and Simulation International},
	organization = {The Society for Modeling and Simulation International},
	abstract = {Conceptual data modeling languages must be provided with temporal capabilities to support the data evolution throughout the execution of a conceptual process model. Asides from supporting the storage of historical data, temporal capabilities must also provide the means for verifying the consistency between the data temporal properties and the data modification resulting from the process execution. The Object-Role Modeling (ORM) language is a conceptual data modeling language that is based on the concepts of Fact (i.e. true statements on the represented world), Fact Type, and Fact Base (i.e. the set of all the Facts). Currently, the ORM language does not address the specification of Facts temporal properties, and therefore does not also support the verification of Facts variations during a process execution. The paper introduces an initial ORM overlay methodology that aims to laying the foundation of the conceptual modeling structures that can support the verification of temporal evolution of conceptual data models (i.e., whether a Fact can be asserted or retracted, depending on its temporal properties). Moreover, the overlay methodology also defines a temporal visual notation and an initial semi-formal temporal verbalization that eases the use of the methodology to the ORM modelers. A simple example illustrates the potential application of the overlay methodology.},
	keywords = {Computer simulation, Conceptual data modeling, Conceptual data models, Data modification, Digital storage, Object-role modeling, Process engineering, Process execution, Process Modeling, Temporal evolution, Temporal modeling},
	isbn = {9781632662156},
	issn = {07359276},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84901987698\&partnerID=40\&md5=db5df894ce84d4770a6c882cac28c018},
	author = {Gianni, D. and Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio}
}
@conference {D{\textquoteright}Ambrogio2014197,
	title = {Track report of collaborative modeling and simulation (CoMetS 2014)},
	booktitle = {Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE},
	year = {2014},
	note = {cited By 0},
	pages = {197-198},
	publisher = {IEEE Computer Society},
	organization = {IEEE Computer Society},
	abstract = {The CoMetS track aims to bring together leading researchers and practitioners from both the modeling and simulation (M\&amp;S) community and the collaborative environments community, in order to focus on innovative research contributions that address both the use of collaborative technologies in the field of M\&amp;S and the use of M\&amp;S methodologies and tools to address the design of collaborative systems. This paper reports on the motivations of the track and the organization of its fourth edition. {\textcopyright} 2014 IEEE.},
	keywords = {Collaborative model},
	isbn = {9781479942497},
	issn = {15244547},
	doi = {10.1109/WETICE.2014.93},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84908430934\&partnerID=40\&md5=505c89f0a88a89fab7ef00dada173576},
	author = {Andrea D{\textquoteright}Ambrogio and Gianni, D. and Fuchs, J. and Iazeolla, G.},
	editor = {Reddy S.M.}
}
@conference {Bocciarelli2014199,
	title = {A transformation approach to enact the design-time simulation of BPMN models},
	booktitle = {Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE},
	year = {2014},
	note = {cited By 2},
	pages = {199-204},
	publisher = {IEEE Computer Society},
	organization = {IEEE Computer Society},
	abstract = {Simulation is a key technique for enabling business process analysts to predict the process behavior at design time. However, some issues limit the effectiveness of business process simulation (e.g., lack of simulation know how, costs and difficulties for gathering process data, semantic gap between the business process model and the simulation model). This paper proposes a model-driven method that automates the generation of executable business process simulation code. In order to address the increasing complexity and to take into account the inherent collaborative aspects of modern business processes, the simulation code produced by the proposed method replicates the business process distributed structure (in terms, e.g., of a service-oriented architecture) by including a set of simulation services that are orchestrated into a distributed simulation execution. The characterization of business processes in terms of the required performance properties is introduced through standard BPMN annotations according to a well-defined syntax, thus avoiding the need of additional languages. The implementation of the executable simulation code is based on the eBPMN language, a domain-specific language that preserves the semantic behavior of the original BPMN standard. {\textcopyright} 2014 IEEE.},
	keywords = {Time simulations},
	isbn = {9781479942497},
	issn = {15244547},
	doi = {10.1109/WETICE.2014.27},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84908454476\&partnerID=40\&md5=b0decda34447d3f850f0b68130c5d270},
	author = {Bocciarelli, P. and Andrea D{\textquoteright}Ambrogio and Giglio, A. and Paglia, E. and Gianni, D.},
	editor = {Reddy S.M.}
}
