From Natural Language to Formal Proof Goal
作者： Ruud Stegers , Annette ten Teije , Frank van Harmelen
DOI: 10.1007/11891451_8
关键词: Correctness 、 Formal system 、 Formal proof 、 Subject-matter expert 、 Natural language 、 Computer science 、 Equivalence (formal languages) 、 Programming language 、 Ambiguity 、 Goal modeling
摘要: The main problem encountered when starting verification of goals for some formal system, is the ambiguity those they are specified in natural language. To verify given language, a translation to formalism tool required. concern assure equivalence final and original. A structured method required every case. This article proposes goal formalisation five steps, which domain expert involved such way that correctness result can be assured. contribution this conceptual model, expression language transforms any input fully formalised target formalism. proposed guarantees essential properties like correctness, traceability, reduced variability reusability.
springer.com
sci-hub.st 参考文章(8)
Yuval Shahar, Silvia Miksch, Peter Johnson, A task-specific ontology for the application and critiquing of time-oriented clinical guidelines Artificial Intelligence in Medicine. pp. 51- 61 ,(1997) , 10.1007/BFB0029435
B.R. Bryant, Object-oriented natural language requirements specification Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518). pp. 24- 30 ,(2000) , 10.1109/ACSC.2000.824376
M. Balser, Verifying Concurrent Systems with Symbolic Execution Journal of Logic and Computation. ,vol. 12, pp. 549- 560 ,(2002) , 10.1093/LOGCOM/12.4.549
Annette ten Teije, Mar Marcos, Michel Balser, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Peter Lucas, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang, Improving medical protocols by formal methods Artificial Intelligence in Medicine. ,vol. 36, pp. 193- 209 ,(2006) , 10.1016/J.ARTMED.2005.10.006
Kendra Cooper, Mabo Ito, 1.6.2 Formalizing a Structured Natural Language Requirements Specification Notation INCOSE International Symposium. ,vol. 12, pp. 1025- 1032 ,(2002) , 10.1002/J.2334-5837.2002.TB02569.X
Yuval Shahar, Silvia Miksch, Peter Johnson, THE ASGAARD PROJECT: A TASK-SPECIFIC FRAMEWORK FOR THE APPLICATION AND CRITIQUING OF TIME-ORIENTED CLINICAL GUIDELINES Artificial Intelligence in Medicine. ,vol. 14, pp. 29- 51 ,(1998) , 10.1016/S0933-3657(98)00015-3
Frank van Harmelen, V. Svatek, S. Staab, Ruud Stegers, Annette ten Teije, Managing Knowledge in a World of Networks ,(2008)
Ruud Stegers, Annette ten Teije, Frank van Harmelen, From Natural Language to Formal Proof Goal Managing Knowledge in a World of Networks. pp. 51- 58 ,(2006) , 10.1007/11891451_8