SNL2Z

Tool for translating an informal structured software specification into formal specification

Mohamed A. Sullabi, Zarina Shukur

Research output: Contribution to journalArticle

9 Citations (Scopus)

Abstract

In the area of software engineering there have been very few efforts to automate the translation from specifications written in natural language to the formal specification languages. Writing of the specifications in natural language is always depending on context and it is commonly vagueness; this represents the major reasons of the challenge. This paper discusses the design of a tool for translating a software specification written in natural language into a formal specification. We apply controlled natural language that limits the syntax and semantics when the natural language statements been written by proposing structured natural language (SNL) to avoid the ambiguity problem. The tool uses basic information about the operation schemas and statements describing the specification of the system written by a group of user collaboratively as input. The output of the tool is a translation and interpreting of the specification statements into equivalent statements in LATEX form, which are compiled to produce an equivalent statements in Z.

Original languageEnglish
Pages (from-to)378-384
Number of pages7
JournalAmerican Journal of Applied Sciences
Volume5
Issue number4
Publication statusPublished - 2008

Fingerprint

Specifications
Specification languages
Software engineering
Semantics
Formal specification

Keywords

  • Collaborative writing
  • Formal specification
  • Machine translation
  • Z

ASJC Scopus subject areas

  • General

Cite this

SNL2Z : Tool for translating an informal structured software specification into formal specification. / Sullabi, Mohamed A.; Shukur, Zarina.

In: American Journal of Applied Sciences, Vol. 5, No. 4, 2008, p. 378-384.

Research output: Contribution to journalArticle

@article{a86ed4aedf01417cb303c8fd36651c6b,
title = "SNL2Z: Tool for translating an informal structured software specification into formal specification",
abstract = "In the area of software engineering there have been very few efforts to automate the translation from specifications written in natural language to the formal specification languages. Writing of the specifications in natural language is always depending on context and it is commonly vagueness; this represents the major reasons of the challenge. This paper discusses the design of a tool for translating a software specification written in natural language into a formal specification. We apply controlled natural language that limits the syntax and semantics when the natural language statements been written by proposing structured natural language (SNL) to avoid the ambiguity problem. The tool uses basic information about the operation schemas and statements describing the specification of the system written by a group of user collaboratively as input. The output of the tool is a translation and interpreting of the specification statements into equivalent statements in LATEX form, which are compiled to produce an equivalent statements in Z.",
keywords = "Collaborative writing, Formal specification, Machine translation, Z",
author = "Sullabi, {Mohamed A.} and Zarina Shukur",
year = "2008",
language = "English",
volume = "5",
pages = "378--384",
journal = "American Journal of Applied Sciences",
issn = "1546-9239",
publisher = "Science Publications",
number = "4",

}

TY - JOUR

T1 - SNL2Z

T2 - Tool for translating an informal structured software specification into formal specification

AU - Sullabi, Mohamed A.

AU - Shukur, Zarina

PY - 2008

Y1 - 2008

N2 - In the area of software engineering there have been very few efforts to automate the translation from specifications written in natural language to the formal specification languages. Writing of the specifications in natural language is always depending on context and it is commonly vagueness; this represents the major reasons of the challenge. This paper discusses the design of a tool for translating a software specification written in natural language into a formal specification. We apply controlled natural language that limits the syntax and semantics when the natural language statements been written by proposing structured natural language (SNL) to avoid the ambiguity problem. The tool uses basic information about the operation schemas and statements describing the specification of the system written by a group of user collaboratively as input. The output of the tool is a translation and interpreting of the specification statements into equivalent statements in LATEX form, which are compiled to produce an equivalent statements in Z.

AB - In the area of software engineering there have been very few efforts to automate the translation from specifications written in natural language to the formal specification languages. Writing of the specifications in natural language is always depending on context and it is commonly vagueness; this represents the major reasons of the challenge. This paper discusses the design of a tool for translating a software specification written in natural language into a formal specification. We apply controlled natural language that limits the syntax and semantics when the natural language statements been written by proposing structured natural language (SNL) to avoid the ambiguity problem. The tool uses basic information about the operation schemas and statements describing the specification of the system written by a group of user collaboratively as input. The output of the tool is a translation and interpreting of the specification statements into equivalent statements in LATEX form, which are compiled to produce an equivalent statements in Z.

KW - Collaborative writing

KW - Formal specification

KW - Machine translation

KW - Z

UR - http://www.scopus.com/inward/record.url?scp=37349015938&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=37349015938&partnerID=8YFLogxK

M3 - Article

VL - 5

SP - 378

EP - 384

JO - American Journal of Applied Sciences

JF - American Journal of Applied Sciences

SN - 1546-9239

IS - 4

ER -