Analysis goal expression language

Authors:
Boumediene Belkhouche;Sonal Dekhane
Affiliations:
Tulane University, New Orleans, Louisiana;Tulane University, New Orleans, Louisiana
Venue:
ACM-SE 45 Proceedings of the 45th annual southeast regional conference
Year:
2007

Citing 4
Cited 0

Consistency checking for multiple view software architectures

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
A methodology for specifying and analyzing consistency of object-oriented behavioral models

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Combining Object-Oriented Analysis and Formal Description Techniques

ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
Using OCL and UML to Specify System Behavior

Object Modeling with the OCL, The Rationale behind the Object Constraint Language

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 objectoriented designs (FSAF). GEL can be used 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