A model transformation approach to automatic model construction and evolution

ABSTRACT

As models are elevated to first-class artifacts within the software development lifecycle, the task of construction and evolution of large-scale system models becomes a manually intensive effort that can be very time consuming and error prone. To address these problems, this dissertation abstract presents a model transformation approach. There are three main features of this research. First, tasks of model construction and evolution are specified in a model transformation language (called the Embedded Constraint Language). Second, a core transformation engine (called C-SAW) is used to perform model transformation in an automated manner by executing the ECL transformation specification. Finally, testing and debugging tools at the modeling level are provided to assist in detecting errors in the model transformation.

REFERENCES

• 1: Aditya Agrawal , Gabor Karsai , Akos Ledeczi, An end-to-end domain-driven software development framework, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 26-30, 2003, Anaheim, CA, USA [doi>10.1145/949344.949347]
• 2: Alanen, M. and Porres, I., "Difference and Union of Models," Proceedings of the UML Conference, Springer-Verlag LNCS 2863, San Francisco, California, October 2003, pp. 2--17.
• 3: Bezivin, J., Jouault, F., and Valduriez, P., "On the Need for MegaModels," OOPSLA Workshop on Best Practices for Model-Driven Software Development, Vancouver, BC, October 2004.
• 4: Sudarshan S. Chawathe , Anand Rajaraman , Hector Garcia-Molina , Jennifer Widom, Change detection in hierarchically structured information, Proceedings of the 1996 ACM SIGMOD international conference on Management of data, p.493-504, June 04-06, 1996, Montreal, Quebec, Canada
• 5: Jeff Gray , Ted Bapty , Sandeep Neema , James Tuck, Handling crosscutting constraints in domain-specific modeling, Communications of the ACM, v.44 n.10, p.87-93, Oct. 2001 [doi>10.1145/383845.383864]
• 6: Gray, J., Lin, Y., Zhang, J., Nordstrom, S., Gokhale, A., and Neema, S., "Replicators: Transformations to Address Model Scalability," proceedings of Model Driven Engineering Languages and Systems (MoDELS), Montego Bay, Jamaica, October 2005, pp.295--308.
• 7: Gray, J., Zhang, J., Lin, Y., Wu, H., Roychoudhury, S., Sudarsan, R., Neema, S., Shi, F., and Bapty, T., "Model-Driven Program Transformation of a Large Avionics Application," Generative Programming and Component Engineering (GPCE 2004), Springer-Verlag LNCS 3286, Vancouver, BC, October 2004, pp.361--378.
• 8: Gerard J. Holzmann, The Model Checker SPIN, IEEE Transactions on Software Engineering, v.23 n.5, p.279-295, May 1997 [doi>10.1109/32.588521 ]
• 9: Sven Johann , Alexander Egyed, Instant and Incremental Transformation of Models, Proceedings of the 19th IEEE international conference on Automated software engineering, p.362-365, September 20-24, 2004 [doi>10.1109/ASE.2004.43]
• 10: Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William Griswold, Getting started with ASPECTJ, Communications of the ACM, v.44 n.10, p.59-65, Oct. 2001 [doi>10.1145/383845.383858]
• 11: Karsai,G., Maroti, M., Lédeczi, Á., Gray, J., and Sztipanovits, J., "Type Hierarchies and Composition in Modeling and Metamodeling Languages," IEEE Transactions on Control System Technology, March 2004, pp. 263--278.
• 12: Lin, Y., Zhang, J., and Gray, J., "A Framework for Testing Model Transformations," Model-driven Software Development, Springer, 2005, Chapter 30, pp.219--236.
• 13: Dirk Ohst , Michael Welle , Udo Kelter, Differences between versions of UML diagrams, Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering, September 01-05, 2003, Helsinki, Finland
• 14: Octavian Patrascoiu, Mapping EDOC to Web Services using YATL, Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International (EDOC'04), p.286-297, September 20-24, 2004 [doi>10.1109/EDOC.2004.14]
• 15: Shane Sendall , Wojtek Kozaczynski, Model Transformation: The Heart and Soul of Model-Driven Software Development, IEEE Software, v.20 n.5, p.42-45, September 2003 [doi>10.1109/MS.2003.1231150]
• 16: Schmidt, A., and Varró, D., "CheckVML: A Tool for Model Checking Visual Modeling Languages," Proceedings of the UML Conference, Springer-Verlag LNCS 2863, San Francisco, California, October 2003, pp. 92--95.
• 17: Wang, Y., David J. DeWitt, D. J., and Cai, J., "X -Diff: An Effective Change Detection Algorithm for XML Documents," Proceedings of the 19th International Conference on Data Engineering, Bangalore, India, March 2003, pp. 519--530.
• 18: Hong Zhu , Patrick A. V. Hall , John H. R. May, Software unit test coverage and adequacy, ACM Computing Surveys (CSUR), v.29 n.4, p.366-427, Dec. 1997 [doi>10.1145/267580.267590]
• 19: The FUJABA Toolsuite, http://www.fujaba.com.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: Object-oriented design methods

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging

General Terms:
Design, Languages, Verification

Keywords:
debugging, model transformation, modeling, testing