Aspect-oriented model-driven skeleton code generation: A graph-based transformation approach

G. Abowd, Software engineering issues for ubiquitous computing, in: Proceedings of the 1999 International Conference on in Software Engineering, ICSE’99, Los Angeles, California, 1999, pp. 75–84 A. Agrawal, G. Karsai, F. Shi, Graph transformations on domain-specific models, Technical Report ISIS-03-403, Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN 37203, 2003 A. Agrawal, T. Levendovszky, J. Sprinkle, F. Shi, G. Karsai, Generative programming via graph transformations in the model-driven architecture, in: Workshop on Generative Techniques in the Context of Model Driven Architecture, 2002. Available at: http://www.softmetaware.com/oopsla2002/karsaig D.H. Akehurst, S.J.H. Kent, A relational approach to defining transformations in a metamodel, in: Proceedings of the 5th International Conference on the Unified Modeling Language, Dresden, Germany, 2002, pp. 243–258 F. Alhalabi, P. Vienne, M. Maranzana, J. Sourrouille, Code generation from the description of QoS-aware applications, in: The IEEE International Conference on Information & Communication Technologies: From Theory to Applications, Damascus, Syria, 2006, pp. 3216–3221 C. Archibald, Classroom scheduler, SourceForge.Net, January 2004. Available at: https://sourceforge.net/projects/cr-scheduler/ Bell, 2003, UML Basics Part III: The class diagram J. Bennett, An approach to aspect-oriented model-driven code generation using graph transformation, M.Sc. Thesis, The University of Texas at Dallas, 2007 C. Buckl, M. Regensburger, A. Knoll, G. Schrott, Models for automatic generation of safety-critical real-time systems, in: Second International Conference on Availability, Reliability and Security’07, Vienna, Austria, 2007, pp. 580–587 Caplat, 2005, MDA: Model mapping using formalism extension, IEEE Software, 22, 44, 10.1109/MS.2005.45 Compuware Corporation, OptimalJ. Available at: http://www.compuware.com Coyler, 2005 K. Czarnecki, S. Helsen, Classification of model transformation approaches, in: Workshop on Generative Techniques in the context of MDA, OOPSLA, 2003. Available at: http://www.swen.uwaterloo.ca/~kczarnec/ECE750T7/czarnecki_helsen.pdf Czarnecki, 2006, Feature-based survey of model transformation approaches, IBM Systems Journal, 45, 621, 10.1147/sj.453.0621 L. Dai, Formal design analysis framework: An aspect-oriented architectural framework, Ph.D. Dissertation, The University of Texas at Dallas, 2005 Dai, 2006, Modeling and performance analysis for security aspects, Journal of Science of Computer Programming, 61, 58, 10.1016/j.scico.2005.11.006 Dai, 2006, Modeling and analysis of performance aspects for software architecture: A UML-based approach, International Journal of Software Engineering and Knowledge Engineering, 16, 347, 10.1142/S0218194006002835 Dai, 2007, Using FDAF to bridge the gap between enterprise and software architectures for security, Journal of Science of Computer Programming, 66, 87, 10.1016/j.scico.2006.10.010 Duddy, 2004 Eclipse foundation, The AspectJ Project, www.eclipse.org, 2007 [Online] Available at: http://www.eclipse.org/aspectj/ Joerg Evermann, A meta-level specification and profile for AspectJ in UML, in: Workshop AOM’07, Vancouver, British Columbia, Canada, 2007, pp. 21–27 Formal design analysis framework project, UDC Tool, 2009 [Online] Available at: http://www.utdallas.edu/~kcooper/research/FDAF Garshol, 2002 Y. Han, G. Kniesel, A.B. Cremers, A meta model for aspectJ, Computer Science Department III, University of Bonn, Bonn, Germany, Tech. Rep. IAI-TR-2004-3, October 2004 W. Ho, J. Jézéquel, A. Le Guennec, F. Pennaneac’h, UMLAUT: An extendible UML transformation framework, in: Proceedings of the 14th IEEE Int’l Conf. Automated Software Engineering, ASE’99, Cocoa Beach, FL, 1999, pp. 275–278 IBM, Rational rose, IBM Software, 2008 [Online] Available at: http://www-306.ibm.com/software/awdtools/developer/rose/index.html Jamda. Available at: http://sourceforge.net/projects/jamda Java Metadata Interface (JMI) standard, http://java.sun.com/products/jmi F. Jouault, J. Bézivin, KM3: A DSL for metamodel specification, in: Proceedings of 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, Bologna, Italy, 2006, pp. 171–185 E. Jung, C. Kapoor, D. Batory, Automatic code generation for actuator interfacing from a declarative specification, in: Proceedings of 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2005, pp. 2839–2844 S. Kuske, M. Gogolla, R. Kollman, H. Kreowski, An integrated semantics for UML class, object and state diagrams based on graph transformation, in: Integrated Formal Methods: Third International Conference, Turku, Finland, 2002, pp. 11–28 Küster, 2006, Definition and validation of model transformations, Software and Systems Modeling, 5, 233, 10.1007/s10270-006-0018-8 J. Küster, Systematic validation of model transformations, in: UML: Workshop in Software Model Engineering, Lisbon, Portugal, 2004 J. Küster, S. Sendall, M. Wahler, Comparing two model transformation approaches, in: Proc. Workshop on OCL and Model Driven Engineering. 2004. Available at: http://www.cs.kent.ac.uk/projects/ocl/oclmdewsuml04/papers/6-kuster_sendall_wahler.pdf M. Lawley, J. Steel, Practical declarative model transformation with tefkat, in: Proceedings of Model Transformations in Practice Workshop, MoDELS Conference, Montego Bay, Jamaica, 2005. Available at: http://sosym.dcs.kcl.ac.uk/events/mtip05/submissions/lawley_steel_practical_declarative_model_transformation_with_tefkat.pdf Q. Long, Z. Liu, X. Li, H. Jifeng, Consistent code generation from UML models, in: Proceedings of the Australian Software Engineering Conference, Brisbane QLD, Australia, 2005, pp. 23–30 S. Maoz, D. Harel, From multi-modal scenarios to code: Compiling LSCs into AspectJ, in: SIGSOFT ‘06/FSE-14, Portland, Oregon, 2006, pp. 219–229 Mellor, 2002 T. Mens, On the use of graph transformations for model refactoring, in: International Summer School on Generative and Transformational Techniques in Software Engineering. International Summer School, GTTSE 2005, Berlin, Germany, pp. 219–257 Mens, 2006, A taxonomy of model transformation, Electronic Notes in Theoretical Computer Science, 152, 125, 10.1016/j.entcs.2005.10.021 MetaEdit. Available at: http://www.metacase.com/ Miles, 2004 A. Narayanan, G. Karsai, Specifying the correctness properties of model transformations, in: Proceedings of the ICSE 3rd International Workshop on Graph and Model Transformations, Leipzig, Germany, 2008, pp. 45–52 OMG Meta Object Facility (MOF) 2.0 Query/View/Transformation (QVT) Specification, January 2006. Available at: www.omg.org OMG Model Driven Architecture (MDA) Guide Version 1.0.1, March 2003. Available at: www.omg.org Rauchwerger, 2005, vol. 3530, 210 A. Schurr, A. Winter, A. Zundorf, Visual programming with graph rewriting systems, in: Proceedings of the 11th IEEE International Symposium on Visual Languages, Darmstadt, Germany, 1995, pp. 326–333 J. Sprinkle, A. Agrawal, T. Levendovszky, F. Shi, G. Karsai, Domain model translation using graph transformations, in: Proceedings of the 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Huntsville, AL, 2003, pp. 159–168 D. Stein, St. Hanenberg, R. Unland, Designing aspect oriented crosscutting in UML, in: Proceedings of the AOM with UML workshop at AOSD, Enschede, The Netherlands, 2002 Taentzer, 2004, AGG: A tool environment for algebraic graph transformation, 446 G. Taentzer, et al., Model transformation by graph transformation: A comparative study, Software and Systems Modelling Team, Department of Computer Science, King’s College London, London, England, August 2005 D. Varró, A. Pataricza, Generic and meta-transformations for model transformation engineering, in: Proceedings of the 7th International Conference on the Unified Modeling Language, Lisbon, Portugal, 2004, pp. 290–304 G. Varró, A. Schürr, D. Varró, Benchmarking for graph transformation, in: IEEE Symposium on Visual Languages and Human-Centric Computing, Dallas, TX, 2005, pp. 79–88 V. Vranic, AspectJ paradigm model: A basis for multi-paradigm design for aspectJ, in: Generative and Component-Based Software Engineering: Third International Conference, Erfurt, Germany, 2001, pp. 48–57 World Wide World Consortium, Extensible Markup Language (XML) 1.0 (fourth edition), World Wide World Consortium, August 2006 [Online] Available at: http://www.w3.org/TR/xml/