Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

ConceVE: Conceptual modeling and formal validation for everyone

ConceVE: Conceptual modeling and formal validation for everyone ConceVE: Conceptual Modeling and Formal Validation for Everyone ROSS GORE, SAIKOU DIALLO, and JOSE PADILLA, Old Dominion University 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. Categories and Subject Descriptors: D.2.5 [Software Engineering]: Formal Verification General Terms: Design, Model Checking Additional Key Words and Phrases: Verification, M&S formalism, conceptual modeling, validity, interoperability ACM Reference Format: Ross Gore, Saikou Diallo, and Jose Padilla. 2014. ConceVE: Conceptual modeling and formal validation for everyone. ACM Trans. Model. Comput. Simul 24, 2, Article 12 (February 2014), 17 pages. DOI: http://dx.doi.org/10.1145/2567897 1. INTRODUCTION The process of developing, verifying, and validating models and simulations should be straightforward. A conceptual model is designed by a Subject Matter Expert http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM Transactions on Modeling and Computer Simulation (TOMACS) Association for Computing Machinery

ConceVE: Conceptual modeling and formal validation for everyone

Download PDF
17 pages

Loading next page...
 
/lp/association-for-computing-machinery/conceve-conceptual-modeling-and-formal-validation-for-everyone-RJR4G1JdX6
Publisher
Association for Computing Machinery
Copyright
Copyright © 2014 by ACM Inc.
ISSN
1049-3301
DOI
10.1145/2567897
Publisher site
See Article on Publisher Site

Abstract

ConceVE: Conceptual Modeling and Formal Validation for Everyone ROSS GORE, SAIKOU DIALLO, and JOSE PADILLA, Old Dominion University 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. Categories and Subject Descriptors: D.2.5 [Software Engineering]: Formal Verification General Terms: Design, Model Checking Additional Key Words and Phrases: Verification, M&S formalism, conceptual modeling, validity, interoperability ACM Reference Format: Ross Gore, Saikou Diallo, and Jose Padilla. 2014. ConceVE: Conceptual modeling and formal validation for everyone. ACM Trans. Model. Comput. Simul 24, 2, Article 12 (February 2014), 17 pages. DOI: http://dx.doi.org/10.1145/2567897 1. INTRODUCTION The process of developing, verifying, and validating models and simulations should be straightforward. A conceptual model is designed by a Subject Matter Expert

Journal

ACM Transactions on Modeling and Computer Simulation (TOMACS) – Association for Computing Machinery

Published: Feb 1, 2014

There are no references for this article.