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. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1017/S1351324902003030 | Natural Language Engineering |
Keywords | Field | DocType |
lingware system,lingware specification,main existing formalisms,formal specification,complete requirement specification,linguistic formalisms,verifying lingware,linguistic knowledge,formal approach,functional aspect | Head-driven phrase structure grammar,Rule-based machine translation,Notation,Programming language,Computer science,Unification,Formal specification,Natural language processing,Artificial intelligence,Formal notation,Rotation formalisms in three dimensions,Executable | Journal |
Volume | Issue | Citations |
9 | 3 | 1 |
PageRank | References | Authors |
0.39 | 8 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bilel Gargouri | 1 | 43 | 15.26 |
Mohamed Jmaiel | 2 | 668 | 110.41 |
Abdelmajid Ben Hamadou | 3 | 353 | 56.16 |