Alneelain: A formal specification language

2017 International Conference on Communication, Control, Computing and Electronics Engineering (ICCCCEE) Pub Date : 1900-01-01 DOI:10.1109/ICCCCEE.2017.7867678

N. A. Ali, Amal A. Mirghani, Abdelrasoul Y. Ibrahim

{"title":"Alneelain: A formal specification language","authors":"N. A. Ali, Amal A. Mirghani, Abdelrasoul Y. Ibrahim","doi":"10.1109/ICCCCEE.2017.7867678","DOIUrl":null,"url":null,"abstract":"In computer science, specification language is defined as a formal language used during systems analysis, requirements analysis and system design to describe a system. This description will be at much higher level than programming, which is used to produce the executable code for a system. Formal specification language provides mathematical representation of the system and expresses the specification in a language whose vocabulary syntax and semantic are properly defined. Today, a variety of formal specification languages are in use some of them are either based on algebraic specification or on model-based specification. In this paper a new specification language called Alneelain specification language is presented. It is based on axiomatic specification. The primary concern in designing the compiler of Alneelain specification language, was with syntax and semantics of the language. Compared to other specification language, Alneelain Language is the easiest way to write a formal specification without mush mathematical details. In additions, the specification written in Alneelain syntax will be precise, clear, and concise.","PeriodicalId":227798,"journal":{"name":"2017 International Conference on Communication, Control, Computing and Electronics Engineering (ICCCCEE)","volume":"57 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2017 International Conference on Communication, Control, Computing and Electronics Engineering (ICCCCEE)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCCCEE.2017.7867678","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

Abstract

In computer science, specification language is defined as a formal language used during systems analysis, requirements analysis and system design to describe a system. This description will be at much higher level than programming, which is used to produce the executable code for a system. Formal specification language provides mathematical representation of the system and expresses the specification in a language whose vocabulary syntax and semantic are properly defined. Today, a variety of formal specification languages are in use some of them are either based on algebraic specification or on model-based specification. In this paper a new specification language called Alneelain specification language is presented. It is based on axiomatic specification. The primary concern in designing the compiler of Alneelain specification language, was with syntax and semantics of the language. Compared to other specification language, Alneelain Language is the easiest way to write a formal specification without mush mathematical details. In additions, the specification written in Alneelain syntax will be precise, clear, and concise.

查看原文本刊更多论文

一种正式的规范语言

在计算机科学中，规范语言被定义为在系统分析、需求分析和系统设计过程中用来描述系统的一种形式语言。这种描述将比用于生成系统可执行代码的编程高得多。形式化规范语言提供了系统的数学表示，并用词汇、语法和语义得到正确定义的语言来表达规范。今天，使用了各种形式的规范语言，其中一些是基于代数规范或基于模型的规范。本文提出了一种新的规范语言——Alneelain规范语言。它基于公理规范。在设计Alneelain规范语言的编译器时，主要关注的是该语言的语法和语义。与其他规范语言相比，Alneelain语言是编写形式化规范的最简单方法，不需要繁琐的数学细节。此外，用Alneelain语法编写的规范将是精确、清晰和简洁的。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2017 International Conference on Communication, Control, Computing and Electronics Engineering (ICCCCEE)

自引率

0.00%

发文量