Dr. Ross Gore

Dr. Ross Gore

I am Research Associate Professor at Old Dominion University My work focuses on data science and predictive analytics. I am is passionate about extracting useful information from new and diverse data sources to help inform decision making.

Conceve: Conceptual modeling and formal validation for everyone

Published in ACM Transactions on Modeling and Computer Simulation (TOMACS), 2014

In this article, we present ConceVE, an approach for designing and validating models before they are implemented in a computer simulation. The approach relies on (1) domain-specific languages for model specification, (2) the Alloy Specification Language and its constraint solving analysis capabilities for exploring the state space of the model dynamically, and (3) supporting visualization tools to relay the results of the analysis to the user. We show that our approach is applicable with generic languages such as the Web Ontology Language as well as special XML-based languages such as the Coalition Battle Management Language.

Recommended citation: Gore, Ross; Diallo, Saikou; Padilla, Jose. (2014). "Conceve: Conceptual modeling and formal validation for everyone". ACM Transactions on Modeling and Computer Simulation (TOMACS). 24(2), 1-17.
Download Paper