Showing 1–2 of 2 results for author: Estañol, M

Mapping knowledge with ontologies: the case of obesity

Authors: Montserrat Estañol, Francesco Masucci, Alessandro Mosca, Ismael Ràfols

Abstract: Scientometric techniques have been remarkably successful at mapping science but they face important difficulties when mapping research for societal problems possibly because they they are derived only from scientific documents and thus do not rely on non-academic expert knowledge. Here we aim to explore how ontologies can be used in science mapping, thus enriching current algorithmic techniques wi… ▽ More Scientometric techniques have been remarkably successful at mapping science but they face important difficulties when mapping research for societal problems possibly because they they are derived only from scientific documents and thus do not rely on non-academic expert knowledge. Here we aim to explore how ontologies can be used in science mapping, thus enriching current algorithmic techniques with systematic domain expert knowledge. This study introduces the methodology behind the construction of an ontology and tests potential uses in science mapping. We use obesity as a topic of case study. △ Less

Submitted 4 December, 2017; originally announced December 2017.

Comments: 2017 Science and Technology Indicators Proceeedings, 10 pages, 6 figures

Verifiable UML Artifact-Centric Business Process Models (Extended Version)

Authors: Diego Calvanese, Marco Montali, Montserrat Estanol, Ernest Teniente

Abstract: Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process related) aspects. In particular, two main lines of research have been pursued so far: one tailored to business artefact modeling languages and methodologies, the other focused on the foundations for their formal verification… ▽ More Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process related) aspects. In particular, two main lines of research have been pursued so far: one tailored to business artefact modeling languages and methodologies, the other focused on the foundations for their formal verification. In this paper, we merge these two lines of research, by showing how recent theoretical decidability results for verification can be fruitfully transferred to a concrete UML-based modeling methodology. In particular, we identify additional steps in the methodology that, in significant cases, guarantee the possibility of verifying the resulting models against rich first-order temporal properties. Notably, our results can be seamlessly transferred to different languages for the specification of the artifact lifecycles. △ Less

Submitted 26 August, 2014; v1 submitted 21 August, 2014; originally announced August 2014.

Comments: Extended version of "Verifiable UML Artifact-Centric Business Process Models" - to appear in the Proceedings of CIKM 2014