FIRST STEPS TOWARD A VERIFICATION AND VALIDATION ONTOLOGY

Mounira Kezadri, Marc Pantel

Abstract

This paper presents the key elements of an ontology that formalizes part of the knowledge about behavioural modeling and the associated verification and validation technologies. It summarizes the objects, concepts, and other entities that are assumed to exist in this area of interest and the relationships that hold among them. We propose a classification of different modeling formalisms and a representation of possible verification and validation methods. A system is represented using several views conforming to different modeling languages. Its properties can be assessed with verification and validation technologies.

References

  1. Alur, R., Courcoubetis, C., Henzinger, T., and Ho, P. (1993). Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Hybrid systems, pages 209-229.
  2. Bengtsson, J. and Yi, W. (2003). Timed automata: Semantics, algorithms and tools. Lectures on Concurrency and Petri Nets, pages 87-124.
  3. Cervelle, J., Formenti, E., and Guillon, P. (2010). Ultimate Traces of Cellular Automata. Arxiv preprint arXiv:1001.0251.
  4. Chaki, S., Clarke, E., Ouaknine, J., Sharygina, N., and Sinha, N. (2004). State/event-based software model checking. In Integrated Formal Methods, pages 128- 147. Springer.
  5. Clemens, S., Dominik, G., and Stephan, M. (1998). Component software: Beyond object-oriented programming.
  6. D'Argenio, P. and Katoen, J. (2005). A theory of stochastic systems part I: Stochastic automata. Information and computation, 203(1):1-38.
  7. Gomez-Perez, A., Fernández-L ópez, M., and Corcho, O. (1991). Ontological engineering. AI Magazine, 36:56.
  8. Guarino, N. and Giaretta, P. (1995). Ontologies and knowledge bases: Towards a terminological clarification. Towards very large knowledge bases: knowledge building and knowledge sharing, 1(9):9.
  9. Hilliard, R. (2000). Ieee-std-1471-2000 recommended practice for architectural description of softwareintensive systems. IEEE, http://standards. ieee. org.
  10. Huo, Q., Zhu, H., and Greenwood, S. (2003). A multi-agent software environment for testing Web-based applications. COMPSAC-NEW YORK-, pages 210-215.
  11. Krishnan, S., Puri, A., and Brayton, R. (1994). Deterministic W automata vis-a-vis deterministic Buchi automata. Algorithms and Computation, pages 378-386.
  12. Lawson, M. (2005). Finite automata. Handbook of networked and embedded control systems, pages 117- 143.
  13. Lee, T., Hendler, J., Lassila, O., et al. (2001). The semantic web. Scientific American, 284(5):34-43.
  14. McGuinness, D., Van Harmelen, F., et al. (2004). OWL web ontology language overview. W3C recommendation, 10:2004-03.
  15. Mikk, E., Lakhnechi, Y., and Siegel, M. (1997). Hierarchical automata as model for statecharts. Advances in Computing ScienceASIAN'97, pages 181-196.
  16. Neches, R., Fikes, R., Finin, T., Gruber, T., Patil, R., et al. (1991). Enabling technology for knowledge sharing. AI magazine, 12(3):36.
  17. Perrin, D. (2004). Infinite words: automata, semigroups, logic and games. Academic Press.
Download


Paper Citation


in Harvard Style

Kezadri M. and Pantel M. (2010). FIRST STEPS TOWARD A VERIFICATION AND VALIDATION ONTOLOGY . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2010) ISBN 978-989-8425-29-4, pages 440-444. DOI: 10.5220/0003102904400444


in Bibtex Style

@conference{keod10,
author={Mounira Kezadri and Marc Pantel},
title={FIRST STEPS TOWARD A VERIFICATION AND VALIDATION ONTOLOGY},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2010)},
year={2010},
pages={440-444},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003102904400444},
isbn={978-989-8425-29-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2010)
TI - FIRST STEPS TOWARD A VERIFICATION AND VALIDATION ONTOLOGY
SN - 978-989-8425-29-4
AU - Kezadri M.
AU - Pantel M.
PY - 2010
SP - 440
EP - 444
DO - 10.5220/0003102904400444