A metalanguage based on a theory of specification

Author

Zerangue, Karl B. ; Urban, Joseph E.

Author_Institution

Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA

fYear

1992

fDate

21-25 Sep 1992

Firstpage

218

Lastpage

223

Abstract

A specification metalanguage is presented for the purpose of describing and analyzing specifications written in existing specification languages. Specification theory-based metalanguage (STM) was developed to describe specifications in terms of components defined within a theory of specification. STM constitutes the application of theoretical definitions and analyses to individual specifications. The process of describing specifications in STM produces needed manual analysis, while the completed description can be automatically processed by the language processor and description simulator. A summary of STM features is presented. Manual analysis results are pointed out in discussing an example of STM description

Keywords

formal specification; specification languages; description simulator; language processor; manual analysis; metalanguage; specification languages; theory of specification; Analytical models; Application software; Computer aided software engineering; Computer languages; Computer science; Formal languages; Programming; Software testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1992. COMPSAC '92. Proceedings., Sixteenth Annual International

Conference_Location

Chicago, IL

Print_ISBN

0-8186-3000-0

Type

conf

DOI

10.1109/CMPSAC.1992.217565

Filename

217565