skip to main content
10.1145/1233341.1233352acmconferencesArticle/Chapter ViewAbstractPublication Pagesacm-seConference Proceedingsconference-collections
Article

Analysis goal expression language

Published: 23 March 2007 Publication History

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

[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]
G. Engels, L. Groenewegen, R. Heckel, and J. M. Küster. A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models. 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 186--195, 2001.
[5]
P. Fradet, D. L. Métayer, and M. Perin. Consistency Checking for Multiple View Software Architectures. Lecture Notes in Computer Science, 1687:410--428, 1999.
[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]
A. Moreira and R. Clark. Combining Object-Oriented Modeling and Formal Description Techniques. Proceedings of the 8th European Conference on Object-Oriented Programming (ECOOP'94), pages 344--364, 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]
S. Sendall and A. Strohmeier. Using OCL and UML to Specify System Behavior. Object Modeling with the OCL, The Rationale Behind the Object Constraint Language, (2263):250--279, 2002.

Index Terms

  1. Analysis goal expression language

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    ACMSE '07: Proceedings of the 45th annual ACM Southeast Conference
    March 2007
    574 pages
    ISBN:9781595936295
    DOI:10.1145/1233341
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 23 March 2007

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. GEL abstract syntax
    2. GEL informal semantics
    3. analysis of OODs
    4. goal expression language
    5. object-oriented analysis

    Qualifiers

    • Article

    Conference

    ACM SE07
    Sponsor:
    ACM SE07: ACM Southeast Regional Conference
    March 23 - 24, 2007
    North Carolina, Winston-Salem

    Acceptance Rates

    ACMSE '07 Paper Acceptance Rate 81 of 137 submissions, 59%;
    Overall Acceptance Rate 502 of 1,023 submissions, 49%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 96
      Total Downloads
    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 16 Feb 2025

    Other Metrics

    Citations

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media