Rani Nelken and Nissim Francez. Automatic translation of natural language system specifications into temporal logic. In Rajeev Alur and Thomas A. Henzinger, editors, Computer Aided Verification, CAV'96, volume 1102 of LNCS, pages 360--371. Springer-Verlag, 1996.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....the object is to take various abstract descriptions of a system and produce a translation into natural language which can be understood without intimate knowledge of the way in which the descriptions have been formalized. More recently, work has begun on addressing the process of formalization. [NF96,HK99]. The work we report here, while it addresses the de formalization phase, is a component of a larger program which has as its goal a complete interactive system that will serve as a sort of wrapper for formal verification or synthesis tools supporting both formalization of initial requirements ....

Rani Nelken and Nissim Francez. Automatic translation of natural language system specifications into temporal logic. In Rajeev Alur and Thomas A. Henzinger, editors, Computer Aided Verification, CAV'96, volume 1102 of LNCS, pages 360--371. Springer-Verlag, 1996.

.... out the proposals of Lindland et al. 16] and of Pohl [23] that have been further merged and refined by Krogstie et al. 14] On the other hand, several specific natural language processing (NLP) techniques have been tailored to the purpose of analyzing and controlling software requirements [3, 9, 17, 18, 21, 24]. Techniques of different kinds have been investigated, ranging from purely lexical analysis for the extraction of abstractions from natural language texts [11] to speech act modeling [22] Moreover, tools have been developed for most of these techniques. Summing up, the state of the art is that ....

....information needs and rules for activities. Many other papers investigate how to translate natural language requirements into formal or semi formal specification languages statements. Among the others, we cite Ambriola and Gervasi [3] Amoroso [5] Fantechi et al. 9] Nelken and Francez [21] and Vadera and Meziane [25] Also, the problem of translating natural language into formal languages has been widely studied in the context of natural language databases queries and object oriented requirements analysis. Goldin and Berry [11] implemented a tool for the extraction of abstractions ....

R. Nelken and N. Francez. Automatic translation of natural-language system specifications into temporal logic. In Proceedings of CAV'96, number 1102 in Lecture Notes in Computer Science, pages 360--371, 1996.

....NL requirements. On the other hand, several specific NLP techniques have been tailored to the purpose of analyzing and controlling software requirements. Among the others, we cite Macias and Pulman [7, 8] Rolland and Proix [12] Ambriola and Gervasi [2] Fantechi et al. 3] Nelken and Francez [9]. The kind of techniques investigated is rather different, ranging from purely lexical analysis for the extraction of abstractions from natural language texts by Goldin and Berry [4] to speech act modeling by Nellborn and Holm [10] Moreover, tools have been developed for most techniques. ....

R. Nelken and N. Francez. Automatic translation of natural-language system specifications into temporal logic. In Proceedings of CAV'96, number 1102 in Lecture Notes in Computer Science, pages 360--371, 1996.

....important. Even for the case of logics like CTL or LTL, the designers are reluctant to fully embrace this techniques because they are considered complicated. Some efforts can be found in the literature to automate the translation of properties stated in natural languages to temporal logic [NF96] Furthermore, as mentioned in Section 2.2, a formalism with a lot of expressive power translates into a model checking algorithm with hight complexity. This is precisely the case of calculus. Even though the calculus is strictly more expressive than CTL , the complexity of the model checking ....

R. Nelken and N. Franzez. Automatic translation of natural language system specifications into temporal logic. In R. Alur and T. Henzinger, editors, 8th Conference on Computer Aided Verification (CAV'96), pages 360--371. Springer-Verlag, Berlin, 1996. LNCS 1102.

.... point out the proposals of Lindland et al. 16] and of Pohl [23] that have been further merged and re ned by Krogstie et al. 14] On the other hand, several speci c natural language processing (NLP) techniques have been tailored to the purpose of analyzing and controlling software requirements [3, 9, 17, 18, 21, 24]. Techniques of di erent kinds have been investigated, ranging from purely lexical analysis for the extraction of abstractions from natural language texts [11] to speech act modeling [22] Moreover, tools have been developed for most of these techniques. Summing up, the state of the art is that ....

....information needs and rules for activities. Many other papers investigate how to translate natural language requirements into formal or semi formal speci cation languages statements. Among the others, we cite Ambriola and Gervasi [3] Amoroso [5] Fantechi et al. 9] Nelken and Francez [21] and Vadera and Meziane [25] Also, the problem of translating natural language into formal languages has been widely studied in the context of natural language databases queries and object oriented requirements analysis. Goldin and Berry [11] implemented a tool for the extraction of abstractions ....

R. Nelken and N. Francez. Automatic translation of natural-language system specications into temporal logic. In Proceedings of CAV'96, number 1102 in Lecture Notes in Computer Science, pages 360-371, 1996.

....expert who is proficient in formal methods but not necessarily in the specific problem domain. It is desirable to bring these two roles closer. Undoubtedly, this will happen in the future. Much research is being conducted to make formal methods more intuitive to engineers [Lee and Sokolsky 1997; Nelken and Francez 1996]. However, given today s state of technology, an expert in formal methods is necessary in most realistic cases as a mediator between the engineer and the tool. The specification of a system is constructed by the expert and the customer working in close cooperation. The structure of the ....

Nelken, R. and N. Francez (1996), "Automatic Translation of Natural Language System Specifications into Temporal Logic," In Proceedings of CAV '96 , LNCS 1102, Springer-Verlag, pp. 360--371.

....the system, and the expert who is proficient in formal methods but not necessarily in the specific problem domain. It is desirable to bring these two roles closer. Undoubtably, this will happen in the future. Much research is being conducted to make formal methods more intuitive to engineers [35, 41]. However, given today s state of technology, a formal methods expert is necessary in most realistic cases as a mediator between the engineer and the tool. The specification of a system is constructed by the expert and the customer working in close cooperation. The structure of the specification ....

R. Nelken and N. Francez. Automatic translation of natural language system specifications into temporal logic. In Proceedings of CAV '96, LNCS 1102, pages 360--371. Springer-Verlag, 1996.

No context found.

R. Nelken and N. Francez, 1996, 'Automatic Translation of Natural-Language System Specifications into Temporal Logic', in R. Alur and Th. Henzinger, eds., Proceedings of the 8th International Conference on Computer Aided Verification, Lecture Notes in Computer Science 1102, Springer Verlag, Berlin, 360--371.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC