Hostname: page-component-8448b6f56d-42gr6 Total loading time: 0 Render date: 2024-04-20T23:23:27.149Z Has data issue: false hasContentIssue false

An approach to the formal specification of lingware

Published online by Cambridge University Press:  12 August 2003

BILEL GARGOURI
Affiliation:
LARIS Laboratory, FSEG-SFAX B.P. 1088–3018 Sfax, Tunisia e-mail: Bilel.Gargouri,@fsegs.rnu.tn
MOHAMED JMAIEL
Affiliation:
LARIS Laboratory, FSEG-SFAX B.P. 1088–3018 Sfax, Tunisia e-mail: Mohamed.Jmaiel@enis.rnu.tn
ABDELMAJID BEN HAMADOU
Affiliation:
LARIS Laboratory, FSEG-SFAX B.P. 1088–3018 Sfax, Tunisia e-mail: Abdelmajid.BenHamadou@fsegs.rnu.tn

Abstract

This paper has two purposes. First, it suggests a formal approach for specifying and verifying lingware. This approach is based on a unified notation of the main existing formalisms for describing linguistic knowledge (i.e. Formal Grammars, Unification Grammars, HPSG, etc.) on the one hand, and the integration of data and processing on the other. Accordingly, a lingware specification includes all related aspects in a unified framework. This facilitates the development of a lingware system, since one has to follow a single development process instead of two separate ones. Secondly, it presents an environment for the formal specification of lingware, based on the suggested approach, which is neither restricted to a particular kind of application nor to a particular class of linguistic formalisms. This environment provides interfaces enabling the specification of both linguistic knowledge and functional aspects of a lingware system. Linguistic knowledge is specified with the usual grammatical formalisms, whereas functional aspects are specified with a suitable formal notation. Both descriptions will be integrated into the same framework to obtain a complete requirement specification that can be refined towards an executable program.

Type
Papers
Copyright
2003 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

Lingware: software related to Natural Language Processing (NLP).