Efficient integrity checking for essential MOF + OCL in software repositories

Journal of Object Technology

Volumn 7, Issue 6, 2008, Pages 101-119

  Garcia, Miguel ^a  

^a HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 51049121566     PISSN: None     EISSN: 16601769     Source Type: Journal    
DOI: 10.5381/jot.2008.7.6.a3     Document Type: Article

References (37)

1. Object Management Group: Meta Object Facility (MOF) Core Specification, formal/06-01-01, http://www.omg.org/docs/formal/06-01-01.pdf (Jan 2006)
2. Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley, Boston, MA, USA (2003) ISBN 0321179366.
3. Dittrich, K.R., Tombros, D., Geppert, A.: Databases in Software Engineering: a Roadmap. In: ICSE - Future of SE Track. (2000) 293-302
4. Garcia, M.: Rules for Type-checking of Parametric Polymorphism in EMF Generics. In Bleek, W.G., Schwentner, H., Züllighoven, H., eds.: Software Engineering 2007 - Beiträge zu den Workshops. Volume 106 of GI-Edition Lecture Notes in Informatics. (2007) 261-270 http://www.sts.tu-harburg.de/~mi. garcia/pubs/2007/mdsdHeute/garcia-emfgen-2.pdf.
5. Garcia, M., Möller, R.: Certification of Transformations Algorithms in Model-Driven Software Development. In Bleek, W.G., Rasch, J., Züllighoven, H., eds.: Software Engineering 2007. Volume 105 of GI-Edition Lecture Notes in Informatics. (2007) 107-118 http://www.sts.tu-harburg.de/~mi. garcia/pubs/2007/se2007/GarciaMoeller.pdf.
6. Muller, P.A., Fleurey, F., Fondement, F., Hassenforder, M., Schneckenburger, R., Gérard, S., Jézéquel, J.M.: Model-Driven Analysis and Synthesis of Concrete Syntax. In Nierstrasz, O., Whittle, J., Harel, D., Reggio, G., eds.: MoDELS. Volume 4199 of LNCS., Springer (2006) 98-110 http://lglpc35.epfl.ch/lgl/docs/papers/MDASOCS-5-pam.pdf.
7. Jouault, F., Bézivin, J., Kurtev, I.: TCS: a DSL for the specification of textual concrete syntaxes in model engineering. In Jarzabek, S., Schmidt, D.C., Veldhuizen, T.L., eds.: GPCE, ACM (2006) 249-254
8. Daly, C.J.: AST framework generation with Gymnast. In: Tech Exchange Panel: Language Toolkits, EclipseCON 2005 (2005)
9. Ehrig, K., Ermel, C., Hänsgen, S., Taentzer, G.: Generation of Visual Editors as Eclipse Plugins. In: ASE '05: Proceedings of the 20th IEEE/ACM Intnl Conf on Automated Software Engineering, New York, NY, USA, ACM Press (2005) 134-143
10. Ritter, N., Steiert, H.P.: Enforcing Modeling Guidelines in an ORDBMS-based UML Repository. In: Intnl Resource Mgmt. Assoc. Conf. 2000 (Information Modeling Methods and Methodologies Track of IRMA 2000), Anchorage, Alaska (May 2000) 269-273
11. Kovse, J.: Model-Driven Development of Versioning Systems. PhD thesis, TU Kaiserslautern, Germany (August 2005)
12. Ruokonen, A., Hammouda, I., Mikkonen, T.: Enforcing Consistency of Model-Driven Architecture Using Meta-Designs. In: European Conf. on MDA: Workshop on Consistency in Model Driven Engineering (C@MoDE 2005). (Nov. 2005) 127-141 http://practise.cs.tut.fi/files/publications/EEWES/metadesign.pdf.
13. Amelunxen, C., Schürr, A.: On OCL as part of the Metamodeling Framework MOFLON. In: 6th OCL Workshop at the UML/MoDELS Conference. (2006) http://st.inf.tudresden.de/OCLApps2006/topic/acceptedPapers/13_Amelunxen_MOFLON. pdf.
14. Brucker, A.D., Wolff, B.: The HOL-OCL Book. Technical Report 525, ETH Zürich (2006) http://www.brucker.ch/bibliography/abstract/brucker.ea-hol- ocl-book-2006.
15. Fegaras, L., Maier, D.: Towards an Effective Calculus for Object Query Languages. In: SIGMOD '95: Proceedings of the 1995 ACM SIGMOD Intl Conf. on Management of Data, New York, NY, USA, ACM Press (1995) 47-58 http://lambda.uta.edu/sigmod95.ps.gz.
16. Lamport, L.: The +CAL Algorithm Language. In: NCA '06: Proc of the Fifth IEEE Intnl Symposium on Network Computing and Applications, Washington, DC, USA, IEEE Computer Society (2006) 5-10 See also http://research.microsoft.com/users/ lamport/pubs/pluscal.pdf.
17. Lawley, M.: Transaction Safety in Deductive Object-Oriented Databases. In Ling, T.W., Mendelzon, A., Vieille, L., eds.: DOOD. Volume 1013 of LNCS., Springer (1995) 395-410
18. Stockmeyer, L.J.: The Complexity of Decision Problems in Automata Theory and Logic. Technical Report MAC TR-133, MIT, Cambridge MA, Project MAC (1974)
19. Ali, M.A., Fernandes, A.A.A., Paton, N.W.: MOVIE: an incremental maintenance system for materialized object views. Data Knowl. Eng. 47(2) (2003) 131-166
20. Cabot, J., Teniente, E.: Incremental Evaluation of OCL Constraints. In Dubois, E., Pohl, K., eds.: CAiSE. Volume 4001 of LNCS., Springer (2006) 81-95 Project homepage http://www.lsi.upc.edu/~jcabot/research/IncrementalOCL/index. html
21. Altenhofen, M., Hettel, T., Kusterer, S.: OCL Support in an Industrial Environment. In Demuth, B., Chiorean, D., Gogolla, M., Warmer, J., eds.: OCL for (Meta-)Models in Multiple Application Domains, Dresden, University Dresden (2006) 126-139 http://st.inf.tudresden.de/OCLApps2006/topic/acceptedPapers/ 03_Altenhofen_OCLSupport.pdf.
22. Meyer, B., Mingins, C., Schmidt, H.: Providing trusted components to the industry. Computer 31(5) (1998) 104-105
23. Ali, M.A.: Incremental Maintenance of Materialized Views in Object-Oriented Databases. PhD thesis, University of Manchester, UK (September 2002) http://computing.unn. ac.uk/staff/CGMA2/projectlinks.html.
24. Ali, M.A., Paton, N.W., Fernandes, A.A.A.: An Experimental Performance Evaluation of Incremental Materialized View Maintenance in Object Databases. In Kambayashi, Y., Winiwarter, W., Arikawa, M., eds.: DaWaK. Volume 2114 of LNCS., Springer (2001) 240-253
25. Fegaras, L., Maier, D.: Optimizing Object Queries using an Effective Calculus. ACM Trans. Database Syst. 25(4) (2000) 457-516
26. Grust, T., Scholl, M.H.: Translating OQL into Monoid Comprehensions-Stuck with Nested Loops? Technical Report 3a/1996, Dept. of Computer and Information Science, Database Research Group, U Konstanz, (September 1996) http://www.inf.unikonstanz.de/dbis/publications/download/GS:TR96a.ps.gz.
27. Elver Project: Teneo EMF Persistency, http://www.eclipse.org/emft/ projects/teneo/ (2007)
28. EJB 3.0 Expert Group: JSR 220: Enterprise JavaBeans, Version 3.0: EJB 3.0 Simplified API. Available at http://java.sun.com/products/ejb/docs.html (2005)
29. Grust, T.: Monad Comprehensions. A Versatile Representation for Queries. In: The Functional Approach to Data Management - Modeling, Analyzing and Integrating Heterogeneous Data. Springer Verlag (Sept 2003) 288-311 ISBN: 978-3-540-00375-5.
30. Object Management Group: OMG OCL Specification v2.0, formal/2006-05-01 (May 2006) http://www.omg.org/technology/documents/formal/ocl.htm.
31. Garcia, M.: How to process OCL Abstract Syntax Trees (2007) http://www.eclipse.org/articles/article.php?file=Article- HowToProcessOCLAbstractSyntaxTrees/index.html, Eclipse Technical Article.
32. Garcia, M.: Formalizing the Well-formedness Rules of EJB3QL in UML + OCL. In Kühne, T., ed.: Reports and Revised Selected Papers, Workshops and Symposia at MoDELS 2006, Genoa, Italy. LNCS 4364, Springer-Verlag (2006) 66-75
33. Trigoni, A.: Semantic Optimization of OQL Queries. PhD thesis, University of Cambridge, UK (October 2002) http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR- 547.html.
34. Demuth, B., Hußmann, H., Loecher, S.: OCL as a Specification Language for Business Rules in Database Applications. In Gogolla, M., Kobryn, C., eds.: UML. Volume 2185 of LNCS., Springer (2001) 104-117
35. Willis, D., Pearce, D.J., Noble, J.: Efficient Object Querying for Java. In Thomas, D., ed.: ECOOP. Volume 4067 of LNCS., Springer (2006) 28-49 http://www.mcs.vuw.ac.nz/~djp/files/WPN_ECOOP06.ps.
36. Doom, J.H., Rivero, L.C., eds.: Database Integrity: Challenges and Solutions. Idea Group Publishing (2002)
37. Gupta, A., Mumick, I.S., eds.: Materialized views: techniques, implementations, and applications. MIT Press, Cambridge, MA, USA (1999)