Title :
Tool specification with GTSL
Author :
Emmerich, Wolfgang
Author_Institution :
Dept. of Comput. Sci., City Univ., London, UK
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;
Conference_Titel :
Software Specification and Design, 1996., Proceedings of the 8th International Workshop on
Conference_Location :
Schloss Velen
Print_ISBN :
0-8186-7361-3
DOI :
10.1109/IWSSD.1996.501144
