Skip to main content
SpringerLink
Log in

Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL

  • Conference paper
Models in Software Engineering (MODELS 2006)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4364))

Abstract

This paper reports the application of language metamodeling techniques to EJB3QL, the object-oriented query language for Java Persistence recently standardized in JSR-220. Five years from now, today’s EJB3 applications will be legacy. We see our metamodel as an enabler for increasing the efficiency of reverse engineering activities. It has already proven useful in uncovering spots where the EJB3QL spec is vague. The case study reported in this paper involved (a) expressing the abstract syntax and well-formedness rules of EJB3QL in UML and OCL respectively; (b) deriving from that metamodel software artifacts required for several language-processing tasks, targeting two modeling platforms (Eclipse EMF and Octopus); and (c) comparing the generated artifacts with their counterparts in the reference implementation of EJB3 (which was not developed following a language-metamodeling approach). The metamodel of EJB3QL constitutes the basis for applying model-checkers to aid in assuring conformance of tools claiming to support the specification.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Klint, P., Lämmel, R., Verhoef, C.: Towards an Engineering Discipline for Grammarware. ACM Transactions on Software Engineering and Methodology 14(3), 331–380 (2005)

    Article  Google Scholar 

  2. Huang, S.S., Zook, D., Smaragdakis, Y.: Statically Safe Program Generation with SafeGen. In: Glück, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol. 3676, pp. 309–326. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  3. Wang, J., Kim, S-K., Carrington, D.: Verifying Metamodel Coverage of Model Transformations. In: Australian Software Engineering Conference (ASWEC’06), Sydney, Australia, April 2006, pp. 270–282 (2006)

    Google Scholar 

  4. Jouault, F., Bézivin, J., Kurtev, I.: TCS: a DSL for the Specification of Textual Concrete Syntaxes in Model Engineering. To appear in Proc. of the 5th Intnl. Conf. on Generative programming and Component Engineering, Portland, Oregon, October 2006 (2006)

    Google Scholar 

  5. Muller, P-A., et al.: Model-Driven Analysis and Synthesis of Concrete Syntax. To appear in Proc. of the MoDELS/UML 2006, Genoa, Italy, October 2006 (2006)

    Google Scholar 

  6. Klasse Objecten, Octopus: OCL Tool for Precise Uml Specifications. http://octopus.sourceforge.net/

  7. Emfatic Language for EMF. http://www.alphaworks.ibm.com/tech/emfatic

  8. Damus, C.W.: Implementing Model Integrity in EMF with EMFT OCL. IBM developerWorks (August 2006), http://www.eclipse.org/articles/Article-EMF-Codegen-with-OCL/article.html

  9. Alanen, M., Porres, I.: A Relation Between Context-Free Grammars and Meta Object Facility Metamodels. Tech. Rep. No. 606, Turku Centre for Computer Science (March 2003)

    Google Scholar 

  10. Jin, D., Cordy, J.R., Dean, T.R.: Where’s the Schema? A Taxonomy of Patterns for Software Exchange. In: 10th International Workshop on Program Comprehension (IWPC’02), pp. 65–74 (2002)

    Google Scholar 

  11. Antoniol, G., Di Penta, M., Merlo, E.: YAAB (Yet another AST browser): using OCL to navigate ASTs. In: 11th IEEE International Workshop on Program Comprehension (IWPC ’03), Washington, DC, USA, May 2003, pp. 13–22. IEEE, Los Alamitos (2003)

    Google Scholar 

  12. SQL 99/2003 Metamodel. http://www.eclipse.org/datatools/project_modelbase/

  13. Demuth, B., Hussmann, H.: Using OCL Constraints for Relational Database Design. In: France, R.B., Rumpe, B. (eds.) «UML» ’99 - The Unified Modeling Language. Beyond the Standard. LNCS, vol. 1723, pp. 598–613. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  14. Lamport, L.: Specifying Systems: The TLA +  Language and Tools for Hardware and Software Engineers. Addison-Wesley, Reading (2002)

    Google Scholar 

  15. Lamport, L.: The <Superscript> + </Superscript>Cal Algorithm Language (Submitted for publication, 2006), http://research.microsoft.com/users/lamport/pubs/pluscal.pdf

  16. EJB3QL Metamodel and accompanying software artifacts. http://www.sts.tu-harburg.de/~mi.garcia/pubs/atem06

Download references

Author information

Authors and Affiliations

  1. Hamburg University of Technology, Hamburg 21073, Germany

    Miguel Garcia

Authors
  1. Miguel Garcia
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Thomas Kühne

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this paper

Cite this paper

Garcia, M. (2007). Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL. In: Kühne, T. (eds) Models in Software Engineering. MODELS 2006. Lecture Notes in Computer Science, vol 4364. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69489-2_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-69489-2_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-69488-5

  • Online ISBN: 978-3-540-69489-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation