Verification and validation of the SACHEM conceptual model

International Journal of Human Computer Studies

Volumn 56, Issue 2, 2002, Pages 199-223

  Le Goc, M ^a,b   Frydman, C ^b   Torres, L ^b  

^a Sachem   (France)

^b AIX MARSEILLE UNIV   (France)

Author keywords

KADS; Knowledge based system; Operationalizing; Specification; Validation

Indexed keywords

BLAST FURNACES; MATHEMATICAL MODELS; PETRI NETS; PROCESS CONTROL; REQUIREMENTS ENGINEERING; SYSTEMS ANALYSIS;

CONCEPTUAL MODEL; OPERATIONALIZING PROCESS;

KNOWLEDGE BASED SYSTEMS;

EID: 0036487941     PISSN: 10715819     EISSN: None     Source Type: Journal    
DOI: 10.1006/ijhc.2001.0521     Document Type: Article

References (28)

1. Banâtre, J.-P. (1991). La programmation parallèle. Outils, méthodes et éléments de mise en oeuvre. Paris: Eyrolles.
2. Bax, M. (1995). Réseaux de Petri Orienté Objet pour la modélisation des systèmes distribués temps réel. Thèse de doctorat, Université de Montpellier II. Décembre.
3. Calvez, J.-P. (1990). Spécification et conception des systèmes. Une méthodologie. Paris: Masson.
4. Fensel, D. (1995). Specification languages in knowledge engineering and software engineering. Knowledge Engineering Review, 10, 361-404.
5. Fensel, D. & van Harmelen, F. (1994). A comparison of languages which operationalize and formalize KADS models of expertise. Knowledge Engineering Review, 9, 105-147.
6. Fensel, D. Schoenegge, A. Groenboom, R. & Wielinga, B. (1996). Specification and verification of knowledge-based systems. Knowledge Acquisition Workshop, November.
7. Frydman, C. Torres, L. & Le Goc, M. (2000). Vérification et validation du modèle d'expertise du Système SACHEM. Conférence Ingénierie des Connaissances, Toulouse, Mai.
8. Groot, P., ten Teije, A. & van Harmelen, F. (1999). Formally verifying dynamic properties of KBS. 11th European Workshop on Knowledge Acquisition, Modeling, and Management.
9. Haouche, C. & Charlet, J. (1996). Knowledge-based system validation: a knowledge acquisition perspective. 12th European Conference on Artificial Intelligence, Budapest, Hungary.
10. Jacob-Delouis & Krivine. (1995). LISA: un langage réflexif pour opérationnaliser les modèles d'expertise. Revue d'Intelligence Artificielle, 9, 53-88.
11. Jensen, R. W. (1994). An introduction to the theoretical aspects of colored Petri nets. In J. W. Bakker, N. P. Roever & G. Rozenberg (Eds.), A Decade of Concurrency. Lecture Notes in Computer Science, Vol. 803, pp. 230-272. Berlin: Springer-Verlag.
12. Jensen, K. Huber, P. & Shapiro, R. M. (1990). Hierarchies in colored Petri nets. In Advances in PNs, Lecture Notes in Computer Science, Vol. 483, pp. 313-341. Berlin: Springer.
13. Kirsch, P. Maesano, L. & Rabaux, E. (1993). Open KADS. méthode & atelier pour la modélisation des connaissances. Génie Logiciel & Systèmes Experts No. 31, Juin.
14. Le Goc, M. (1999). Ontological models as shared model to validate a knowledge based system. Knowledge Acquisition Workshop, Banff, Alberta, Canada, October.
15. Le Goc, M. & Thirion, C. (1999). Using both numerical and symbolic models to create economic value: The SACHEM system example. 27th McMaster Symposium on Iron and Steelmaking, Ont., Canada, May.
16. Merlin, P. & Farber, D. J. (1976). Recoverability of communication protocols implications of a theoretical study. IEEE Transactions on Communications 24, 1036-1043.
17. Newell, M. (1982). The knowledge level. Artificial Intelligence, 18, 87-127.
18. Pezzè, M. (1994). CABERNET: A customizable environment for the specification and analysis of real-time systems. Dipartimento di Elettronica et Informazione, Politecnico di Milano, June 2.
19. Pierra, G. (1991). Les bases de la programmation et du génie logiciel. Paris: Dunod.
20. Pierret-Golbreich, C. (1994). TASK MODEL: a framework for the design of expertise models and their application. Knowledge Acquisition Workshop, University of Calgary, October.
21. ème cycle en informatique, Université de Paris Sud, 17/12/1987.
22. Silva, S. (1994). Cabernet User Manual, Computer Aided Software Engineering Based on ER NETs. Cefriel and Politecnico de Milano, May.
23. Sommerville, I. (1992). Software Engineering. Reading, MA: Addison-Wesley.
24. Steel, L. (1990). Components of expertise. Artificial Intelligence, 11, 28-49.
25. Torres, L. & Frydman, C. Verifying and validating specifications of knowledge-based systems. European Conference on Artificial Intelligence, Brighton, UK, August.
26. van Harmelen, F. & ten Teije, A. (1997). Validation and verification of conceptual models of diagnosis. 4th European Symposium on the Validation and Verification of Knowledge-Based Systems (EUROV AV'97), Leuven, Belgium, June.
27. van Harmelen, F., Balder, J. R., Aben, M. W. M. M. & Akkermans J. M. (1991). (ML)2 A formal language for KADS models of expertise. Esprit Projet P5248 KADS-II, KADS-II/T1.2/TR/ECN/006/1.0, D1.2.1, 28/10/91.
28. Wielinga B. J., Schreiber A. T. & Breuker, J. A. (1992). KADS a modelling approach to knowledge engineering. Knowledge Acquisition, 4, 5-53.