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 - May 17 2007
Externally publishedYes
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

  • Engineering(all)


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

Cite this