Analysis goal expression language

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Analysis goal expression language

Full text

Pdf (248 KB)

Source

ACM Southeast Regional Conference archive
Proceedings of the 45th annual southeast regional conference table of contents

Winston-Salem, North Carolina

SESSION: Papers table of contents

Pages: 53 - 58

Year of Publication: 2007

ISBN:978-1-59593-629-5

Authors

Boumediene Belkhouche	Tulane University, New Orleans, Louisiana
Sonal Dekhane	Tulane University, New Orleans, Louisiana

Sponsor

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 16, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1233341.1233352 What is a DOI?

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

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	B. Belkhouche and A. Nix. Formal Analysis of Uml-based Designs. Proceedings of the International Conference on Software Engineering Research and Practice, SERP '04, I:220--226, June 2004.
	2	B. Belkhouche and J. Wu. Behavioral Specification and Analysis of Object-oriented Designs. Journal of Object-Oriented Programming, pages 37--46, Jan/Feb 1999.
	3	A. F. Egyed. Automatically Validating Model Consistency During Refinement. Technical report, University of Southern California, 2000.
	4	Gregor Engels , Jochem M. Küster , Reiko Heckel , Luuk Groenewegen, 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, September 10-14, 2001, Vienna, Austria
	5	Pascal Fradet , Daniel Le Métayer , Michaël Périn, Consistency checking for multiple view software architectures, Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, p.410-428, September 06-10, 1999, Toulouse, France
	6	X. Li, Z. Liu, and H. Jifeng. A Formal Semantics of UML Sequence Diagram. Technical report, United Nations University International Institute for Software Technology, 2004.
	7	Ana M. D. Moreira , Robert G. Clark, Combining Object-Oriented Analysis and Formal Description Techniques, Proceedings of the 8th European Conference on Object-Oriented Programming, p.344-364, July 04-08, 1994
	8	O. Pilskalns, A. Andrews, S. Ghosh, and R. France. Rigorous Testing by Merging Structural and Behavioral Uml Representations. Proceedings of the Sixth International Conference on the Unified Modeling Language, pages 234--248, 2003
	9	Shane Sendall , Alfred Strohmeier, Using OCL and UML to Specify System Behavior, Object Modeling with the OCL, The Rationale behind the Object Constraint Language, p.250-280, January 2002