Tool specification with GTSL

Author

Emmerich, Wolfgang

Author_Institution

Dept. of Comput. Sci., City Univ., London, UK

fYear

1996

Firstpage

26

Lastpage

35

Abstract

The definition of software development methods encompasses the definition of syntax and static semantics of formal languages. These languages determine documents to be produced during the application of a method. Developers demand language-based tools that provide document production support, check the syntax and static semantics of documents, and thus implement methods. Method integration must determine inter-document consistency constraints between documents produced in the various tasks. Tools must, therefore, be integrated to implement the required method integration and check or even preserve inter-document consistency. The focus of this paper is on the specification of such integrated tools and outlines the main concepts of the object-oriented tool specification language GTSL (GOODSTEP Tool Specification Language). GOODSTEP is an ESPRIT-III project (no. 6115) to produce a General Object-Oriented Database for SofTware Engineering Processes

Keywords

data integrity; formal languages; formal specification; object-oriented databases; object-oriented methods; research initiatives; software tools; specification languages; system documentation; GOODSTEP Tool Specification Language; GTSL; document production support; formal language syntax; inter-document consistency constraints; method integration; methods implementation; object-oriented database; object-oriented tool specification language; software development methods; software engineering processes; static semantics; Application software; Computer science; Delay; Formal languages; Object oriented databases; Object oriented modeling; Performance analysis; Production; Programming; Software engineering; Software maintenance; Software systems; Software tools; Specification languages;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Specification and Design, 1996., Proceedings of the 8th International Workshop on

Conference_Location

Schloss Velen

Print_ISBN

0-8186-7361-3

Type

conf

DOI

10.1109/IWSSD.1996.501144

Filename

501144