Systematic software development using VDM
Systematic software development using VDM
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
A system for automatic model verification and validation
Transactions of the Society for Computer Simulation International
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Symbolic model checking: 1020 states and beyond
Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
ACM Transactions on Programming Languages and Systems (TOPLAS)
A knowledge-based approach for the validation of simulation models: the foundation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A case study of verification, validation, and accreditation for advanced distributed simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Formal verification in a commercial setting
DAC '97 Proceedings of the 34th annual Design Automation Conference
Formal modeling and analysis of the HLA component integration standard
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
A denotational semantics for a process-based simulation language
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Domain-specific languages: an annotated bibliography
ACM SIGPLAN Notices
Communicating sequential processes
Communications of the ACM
Comparing the QoS of Internet audio mechanisms via formal methods
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A Calculus of Communicating Systems
A Calculus of Communicating Systems
An Environment for Formal Modeling and Simulation of Control Systems
SS '00 Proceedings of the 33rd Annual Simulation Symposium
Investigating Ontologies for Simulation Modeling
ANSS '04 Proceedings of the 37th annual symposium on Simulation
Simulation: The Practice of Model Development and Use
Simulation: The Practice of Model Development and Use
XML-based modeling and simulation: web service technologies and their synergy with simulation
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
When and how to develop domain-specific languages
ACM Computing Surveys (CSUR)
Experiences creating three implementations of the repast agent modeling toolkit
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
How do practitioners use conceptual modeling in practice?
Data & Knowledge Engineering - Special issue: ER 2004
Verification and validation of simulation models
WSC '05 Proceedings of the 37th conference on Winter simulation
A case study of model context for simulation composability and reusability
WSC '05 Proceedings of the 37th conference on Winter simulation
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Conceptual modeling for simulation: issues and research requirements
Proceedings of the 38th conference on Winter simulation
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Embedded System Design: Modeling, Synthesis and Verification
Embedded System Design: Modeling, Synthesis and Verification
On theorem proving for program checking: historical perspective and recent developments
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
How to build valid and credible simulation models
Winter Simulation Conference
A simple example of SysML-driven simulation
Winter Simulation Conference
The OWL instance store: system description
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
| Hi-index | 0.00 |
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.