Analysis goal expression language

Boumediene Belkhouche, Sonal Dekhane

    Research output: Chapter in Book/Report/Conference proceedingConference contribution


    This paper presents the abstract representation of Goal Expression Language (GEL). GEL is a very simple language used to specify analysis goals for an object-oriented design. This language is close to natural language and hence the learning factor is very low. GEL is part of a formal framework designed for the specification and analysis of object-oriented designs (FSAF). GEL can be usefd to express analysis goals for the static and dynamic behavior analysis of the design. This paper describes the basic components of GEL, how and where they can be used and also provides examples for demonstration. This abstract representation is the first step towards the formal semantics of GEL

    Original languageEnglish
    Title of host publicationProceedings Of the 45th ACM Southeast Conference, ACMSE 2007
    Number of pages6
    Publication statusPublished - 2007
    Event45th Annual ACM Southeast Conference, ACMSE 2007 - Winston-Salem, NC, United States
    Duration: Mar 23 2007Jul 24 2007

    Publication series

    NameProceedings of the Annual Southeast Conference


    Other45th Annual ACM Southeast Conference, ACMSE 2007
    Country/TerritoryUnited States
    CityWinston-Salem, NC


    • GEL abstract syntax
    • GEL informal semantics
    • Goal expression language
    • Object-oriented analysis

    ASJC Scopus subject areas

    • General Engineering


    Dive into the research topics of 'Analysis goal expression language'. Together they form a unique fingerprint.

    Cite this