CS 846   Model-Based Software Engineering Winter 2012

Readling List

• Introduction to Modelling and MDE
  
• J. Ludewig, Models in Software Engineering - An Introduction, In Software and Systems Modeling, 2(1): pp. 5-14, (March 2003).
• Kühne, T. What is a Model? in Proceedings of Dagstuhl Seminar 04101 on Language Engineering for Model-Driven Development, March 2005
• Kühne, T., Matters of (Meta-)Modeling. In Software and System Modeling, vol. 5, no. 4, pp. 369-385, (2006)
• Fowler, M. UML Distilled, 3ed, Addison-Wesley, 2004. (Click on Online resource).
Hutchinson, J., Whittle, J., Rouncefield, M., Kristoffersen, S. Empirical assessment of MDE in industry. In Proceedings of the International Conference on Software Engineering (ICSE), 2011, pp. 471-480.

• Hutchinson, J., Rouncefield, M., Whittle, J. Model-driven engineering practices in industry. In Proceedings of the International Conference on Software Engineering (ICSE), 2011, pp. 633-642.

• Modelling Notations
  • Jackson, D., Alloy: a lightweight object modelling notation. In ACM Transacitons on Software Engineering and Methodology, 11(2): 256-290 (Apr. 2002).
  • Harel, D., Statecharts: A visual formalism for complex systems, In Science of Computer Programming 8(3):231-274, (June 1987).
  • Odersky, M., Altherr, P., Cremet, V., Dragos, I., Dubochet, G., Emir, B., McDirmid, S., Micheloud, S., Mihaylov, N., Schinz, M., Stenman, E., Spoon, L., Zengerhttp, M. An Overview of the Scala Programming Language, Technical Report LAMP-REPORT-2006-001, École Polytechnique Fédérale de Lausanne (EPFL), 2006.
    

• Domain-Specific Languages (DSLs)
• Mernik, M., Heering, J., and Sloane, A. M. When and how to develop domain-specific languages. In ACM Computing Surveys, 37(4):316-344, (Dec. 2005).
• Bentley, J. Programming pearls: little languages. In Communications of the ACM, 29(8):711-721, (Aug. 1986).
  
• Wile, D.S. Supporting the DSL spectrum. In Journal of Computing and Information Technology, 9(4):263–287, (Dec. 2001).
• DeVito, Z., Joubert, N., Palacios, F., Oakley, S., Medina, M., Barrientos, M., Elsen, E., Ham, F., Aiken, A.,  Duraisamy, K., Darve, E., Alonso, J., and Hanrahan, P. Liszt: a domain specific language for building portable mesh-based PDE solvers. In Proceedings of 2011 International Conference for High Performance Computing, Networking, Storage and Analysis (SC), 2011l, Article 9, 12 pages.
  
• Daniel L. Moody, The "Physics" of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering, In IEEE Transactions on Software Engineering,  35(6): 756-779, (Nov-Dec, 2009).
• Janina Reeder and Robert Giegerich. A graphical programming system for molecular motif search. In Proceedings of the 5th international conference on Generative programming and component engineering (GPCE), 2006, pp. 131-140.
  
  


• Creating DSLs
• Selic, B.   A Systematic Approach to Domain-Specific Language Design Using UML, in Proceedings of the 10th International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp. 2-9, 2007.
• Tolvanen, J.-P. and Kelly S., Defining Domain-Specific Modeling Languages to Automate Product Derivation: Collected Experiences, In Proc. of the 9th International Software Product Line Conference (SPL), LNCS 3714, Springer-Verlag, pp. 198 – 209, 2005.
• Dmitriev, S. (2005).    Language Oriented Programming:    The    Next    Programming    Paradigm http://www.jetbrains.com/mps/docs/Language_Oriented_Programming.pdf
• Fowler, M. (2005). Language Workbenches: The Killer- App for Domain Specific Languages?   http://martinfowler.com/articles/languageWorkbench.html
• Van Wyk, E., Bodin, D., Gao, J., and Krishnan, L. Silver: An extensible attribute grammar system. in Science of Computer Programming. 75, 1-2 (January 2010), pp. 39-54.
  

• Model Management
• Brunet, G., Chechik, M., Easterbrook, S., Nejati, S., Niu, N., Sabetzadeh., M. A Manifesto for Model Merging, In Proc. of the 1st International Workshop on Global Integrated Model Management (associated with ICSE'06), May 2006.
• Kolovos, D,S., Paige R.F., Polack, F. The Epsilon Object Language (EOL). In Proceedings of the 2nd European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA), pp. 128-142, 2006.
  
• Kolovos, D,S., Paige R.F., Polack, F. Merging Models with the Epsilon Merging Language (EML). In Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS), LNCS 4199, pp. 215-229, 2006.
  
• Rick Salay, John Mylopoulos, Steve M. Easterbrook: Using Macromodels to Manage Collections of Related Models. In Proceedings of the 21st international Conference on Advanced information Systems Engineering (CAiSE), pp. 141-155, 2009.
  
• Ohst, D., Welle, M., and Kelter, U. Differences between versions of UML diagrams. In Proc. of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE/ESEC), pp. 227-236, (Sep. 2003).
• Heimdahl, M. P. E.  and Whalen, M.W. Reduction and slicing of hierarchical state machines. In Proceedings of the 6th European Software Engineering Conference held jointly with the 5th ACM SIGSOFT international Symposium on Foundations of Software Engineering (ESEC/FSE), 1997, pp. 450-467.

• Model Analysis and Verification
  • Nentwich, C., Emmerich, W., and Finkelstein, A., Static consistency checking for distributed specifications, In Proceedings of the 16th Annual International Conference on Automated Software Engineering (ASE), pp. 115- 124, (Nov. 2001).
    
  • Sreemani, T., Atlee, J.M., Feasibility of model checking software requirements: a case study, Proceedings of the Eleventh Annual Conference on Computer Assurance (COMPASS '96), pp.77-88, (Jun 1996).
    
  • McUmber, W. E. and Cheng, B. H. A general framework for formalizing UML with formal languages. In Proceedings of the 23rd International Conference on Software Engineering (ICSE), pp. 433-442, 2001.
  • Hausmann, J. H., Heckel, R., and Taentzer, G. Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation. In Proceedings of the 24th International Conference on Software Engineering (ICSE), pp. 105-115. 2002.

• Other Modelling Tools
  
• Grundy, J., Hosking, J., Zhu, N., and Liu, N.  Generating Domain-Specific Visual Language Editors from High-level Tool Specifications. In Proceedings of the 21st International Conference on Automated Software Engineering (ASE), 2006, pp. 25-36.
• Xiong, Y., Liu, D., Hu, Z., Zhao, H., Takeichi, M., and Mei, H. Towards automatic model synchronization from model transformations. In Proceedings of the 22nd International Conference on Automated Software Engineering (ASE), 2007, pp. 164-173.
• Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A. Automating Co-evolution in Model-Driven Engineering, In Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference (EDOC), pp.222-231, 2008.
  
• Yilmaz, C., and Williams, C. An automated model-based debugging approach. In Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2007, pp. 174-183.
  
• Mcintosh, P., Hamilton, M., and Schyndel, R.  X3D-UML: 3D UML State Machine Diagrams. In Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS), LNCS 5301, pp. 264-279, 2008.
  


• Model Transformations
• T. Mens, K. Czarnecki, and P. Van Gorp. A Taxonomy of Model Transformations. In Jean Bézivin and Reiko Heckel, editors, Language Engineering for Model-Driven Software De- velopment, 29. February - 5. March 2004, volume 04101 of Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss
  Dagstuhl, Germany, 2004.
  
• Liang, H. and Dingel, J. A Practical Evaluation of Using TXL for Model Transformation. In Software Language Engineering: First international Conference (SLE), LNCS 5452, Springer-Verlag, pp. 245-264, 2008.
  
• Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.  ATL: A model transformation tool. In Science of Computer Programming. 72(1-2): 31-39 (2008)
• Bézivin, J., Büttner, F., Gogolla, M., Jouault, F., Kurtev, I., Lindow, A. Model Transformations? Transformation Models!, In Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS), LNCS 4199, 2006, pp. 440-453.
  

• Generative Techniques
• Czarnecki, K. Overview of generative software development. In Unconventional Programming Practices, LNCS 3566, Springer, 2005, pages 326--341.
• Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling step-wise refinement. In IEEE Transactions on Software Engineering, vol. 30, no. 6 (June 2004), pp. 355-371.
  
• Antkiewicz, M., Czarnecki, K., Framework-Specific Modeling Languages with Round-Trip Engineering. In Proceedings of  the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), October 2006.
• Czarnecki, K., Helsen, S., Eisenecker, U.: Staged configuration using feature models. In Proceedings of the 3rd International Conference on Software Product Lines (SPLC 2004), LNCS 3154, pp. 266–283, 2004.
  

• Model-Based Testing
• Richardson, D.J., Aha, S.L., and O'Malley, T.O.,  Specification-based test oracles for reactive systems. In Proceedings of the 14th International Conference on Software Engineering (ICSE '92). pp. 105-118.
• Mottu, J. M., Baudry, B., and Traon, Y. L. Model transformation testing: oracle issue. In Proceedings of IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW’08), pages 105–112.
• Rayadurgam, S., Heimdahl; M.P.E.  Coverage based test-case generation using model checkers, In Proceedings of the 8th IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS), pp. 83-91, 2001.
  
• Bringmann, E., Kramer, A., Model-Based Testing of Automotive Systems, In Proceedings of the First International Conference on Software Testing, Verification, and Validation (ICST), pp.485-493, 2008.