CAL: USING CONSTRAINTS WITH ACTION LANGUAGE FOR AUTOMATING MODEL EVOLUTION1

Shahid Alam

References

  1. [1] M. Lindvall and K. Sandahl, How well do experienced software developers predict software change?, Journal of Systems and Softwares, 43(1), 1998, 19–27.
  2. [2] Accelerated Technology Embedded Systems Division of Mentor Graphics Corporation (MGC), Object action language reference manual, c 2004, MGC.
  3. [3] I. Wilkie, A. King, M. Clarke, C. Weaver, and C. Rastrick, ASL language reference level 2.5, manual revision C, c 2001, Kennedy Carter Limited.
  4. [4] Pathfinder Solutions. Platform independent action language version 2.2 reference manual, c 2004, LLC Solutions.
  5. [5] IBM Corporation, Rational Rose, A UML visual modeling and application development solution, http://www-03.ibm.com/software/products/us/en/ratirosefami/ (accessed May 21, 2013).
  6. [6] IBM Corporation, Rational XDE (eXtended development environment) http://www.ibm.com/developerworks/rational/products/xde/ (accessed May 21, 2013).
  7. [7] IBM Corporation, Rational Rhapsody , Collaborative design and development environment, http://www-03.ibm./com/software/products/us/en/ratirhapfami/ (accessed May 21, 2013).
  8. [8] IBM Corporation, Rational TAU, A UML and SysML modeling tool, http://www-03.ibm.com/software/products/us/en/ratitau/ (accessed May 21, 2013).
  9. [9] G. Sunyé, A. Le Guennec, and J.-M. Jézéquel, Using UML action semantics for model execution and transformation, Information Systems, 27(6), 2002, 445–457.
  10. [10] J. Zhang, Y. Lin, and J. Gray, Generic and domain-specific model refactoring using a model transformation engine (Springer-Verlag Heidelberg, Germany, 2005), 199–218.
  11. [11] L. Dobráznski and L. Kúzniarz, An approach to refactoring of executable UML models, Proc. SAC, New York, NY, 2006, 1273–1279.
  12. [12] N. Ubayashi, S. Sano, Y. Maeno, S. Murakami, and T. Tamai, Model evolution with aspect-oriented mechanisms, Proc. IWPSE, Washington, DC, 2005, 187–194.
  13. [13] J. Gray, Y. Lin, and J. Zhang, Automating change evolution in model-driven engineering, Computer, 39(2), 2006, 51–58.
  14. [14] L.C. Briand, Y. Labiche, L. O’Sullivan, and M.M. Sówka, Automated impact analysis of UML models, Journal of Systems and Software, 79(3), March 2006, 339–352.
  15. [15] T. Mens and T. D’Hondt, Automating support for software evolution in UML, Automated Software Engineering, 7(1), 2000, 39–59.
  16. [16] M. Jazayeri, Species evolve, individuals age, Proc. Eighth IWPSE, Washington, DC, 2005, 3–12.
  17. [17] Object Management Group (OMG) Architecture Board MDA Drafting Team, Model driven architecture guide version 1.0.1, June 2003.
  18. [18] D.C. Schmidt, Guest editor’s introduction: Model-driven engineering, Computer, 39(2), 2006, 25–31.
  19. [19] Object Management Group (OMG) Inc., Semantics of a foundational subset for executable UML models, http://www.omg.org/spec/FUML/1.1/ (accessed May 21, 2013).
  20. [20] Object Management Group (OMG) Inc., Unified modeling language: version 2.4.1, http://www.omg.org/spec/UML/2.4.1/ (accessed May 21, 2013).
  21. [21] Object Management Group (OMG) Inc., OCL 2.0 Specification Version 2.0, http://www.omg.org/spec/OCL/2.0/ (accessed May 21, 2013).
  22. [22] N. Ubayashi, T. Tamai, S. Sano, Y. Maeno, and S. Murakami, Model compiler construction based on aspect-oriented mechanisms, Proc. 4th GPCE, Berlin, Heidelberg, 2005, 109–124.
  23. [23] L. Lamport, Specifying systems: The TLA+ language and tools for hardware and software engineers (Boston, MA: Addison-Wesley Longman Publishing Co., Inc, 2002).
  24. [24] S. Alam, Automating software evolution: Towards using constraints with action for model evolution, Master’s Thesis, Carleton University, 2007.
  25. [25] S. Alam and S.A. Ajila, Using constraints with action language for model evolution, Proc. Software Engineering Research & Practice (SERP), Volume II, Nevada, USA, 2007, 553–559.
  26. [26] S.A. Ajila and S. Alam, Using a formal language constructs for software model evolution, Proc. ICSC, Washington, DC, USA, 2009, 390–395.
  27. [27] R.S. Arnold, Software change impact analysis (Los Alamitos, CA: IEEE Computer Society Press, 1996).
  28. [28] Joint Technical Committee of ISO and IEC. Information Technology – Syntactic Metalanguage – Extended Backus-Naur Form, ISO/IEC 14977 : 1996.
  29. [29] A.V. Aho, M.S. Lam, R. Sethi, and J.D. Ullman, Compilers: Principles, techniques, and tools, 2nd ed. (Boston, MA: USA, Addison-Wesley Longman Publishing Co., Inc., 2006).
  30. [30] C. Larman and V.R. Basili, Iterative and incremental development: A brief history, Computer, 36(6), 2003, 47–56.
  31. [31] S.J. Mellor and M. Balcer, Executable UML: A foundation for model-driven architectures (Boston, MA: Addison-Wesley Longman Publishing Co., Inc., 2002).
  32. [32] Object Management Group (OMG) Inc., Precise Action Semantics for UML, http://www.omg.org/spec/UML/2.4.1/ (accessed May 21, 2013).
  33. [33] S. Alam, CAL online, http://www.cs.uvic.ca/∼salam/thesis/cal/cal.html (accessed Mar. 6, 2013).
  34. [34] L.C. Briand, Y. Labiche, and L. O’Sullivan, Impact analysis and change management of UML models, Proc. ICSM, Washington, DC, 2003, 256–265.
  35. [35] A. von Knethen and M. Grund, QuaTrace: A tool environment for (semi-) automatic impact analysis based on traces, Proc. ICSM, ICSM ’03, Washington, DC, 2003, 246–255.
  36. [36] S. Shinotsuka, N. Ubayashi, H. Shinomi, and T. Tamai, An extensible contract verifier for AspectJ, 2nd AOAsia, Tokyo, Japan, 2006, 35–40.
  37. [37] J. Gray, T. Bapty, E. Neema, and A. Gokhale, Aspect-oriented domain-specific modeling: A generative approach using a metaweaver framework, PhD Thesis, ProQuest Co., 2002.

Important Links:

Go Back