CSC2125:  Modeling Methods, Tools and Techniques

Fall 2012

Reading List

 

This page lists the papers that will be covered in lectures and paper presentations this term.  Most links are to ACM, IEEE, Springer-Verlag, and other publisher digital libraries, which means that you may need to retrieve the papers from Toronto addresses (because the university has subscriptions to these services).

 

Introduction to Modelling and MDE

[1] J. Ludewig, Models in Software Engineering - An Introduction, In Software and Systems Modeling, 2(1): pp. 5-14, (March 2003).

[2] Kühne, T., Matters of (Meta-)Modeling. In Software and System Modeling, vol. 5, no. 4, pp. 369-385, (2006)

[3] 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.

[4] 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.

[5] B. Selic.  Personal reflections on automation, programming culture, and model-based software engineering.  In J. of Automated Software Engineering, 15 (3-4): 379-391, Dec. 2008.

[6] Schmidt, D.C.: Model-Driven Engineering. IEEE Computer vol. 39, no. 2, 2006.

 

Modelling Notations

(background)  Fowler, M. UML Distilled, 3ed, Addison-Wesley, 2004. (available through UofT library)

[7] Jackson, D., Alloy: a lightweight object modelling notation. In ACM Transacitons on Software Engineering and Methodology, 11(2): 256-290 (Apr. 2002) and Alloy tutorial on Alloy website at MIT.

[8] Harel, D., Statecharts: A visual formalism for complex systems, In Science of Computer Programming 8(3):231-274, (June 1987).

[9] L. Baresi, R. Henckel.  Tutorial Introduction to Graph Transformation:  A Software Engineering Perspective.  In Proceedings of  ICGT, 2002.  

[10] 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).

[11] Harel, D, Rumpe, B. Meaningful Modeling:What’s the Semantics of “Semantics”?, IEEE Computer, 2004

[background] Online Petri net tutorial by Wil van der Aalst

 

Domain-Specific Languages (DSLs)

[12] Dmitriev, S.     Language Oriented Programming:  The    Next  Programming Paradigm , 2005.  

[13] Bentley, J. Programming pearls: little languages. In Communications of the ACM, 29(8):711-721, (Aug. 1986).

[14] Wile, D.S. Supporting the DSL spectrum. In Journal of Computing and Information Technology, 9(4):263–287, (Dec. 2001).

 

Model Management

[15] 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.

[16] 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.

[17] R. Salay, J. Mylopoulos, S. 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.

[18] 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).

[19] 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.

[20] Bernstein, P.: Applying Model Management to Classical Meta Data Problems. In Proc. Conf. on Innovative Database Research, pp. 209-220, 2003.

[21] M. Chechik, S. Nejati, M. Sabetzadeh. A Relationship-Based Approach to Model Integration, Journal of Innovations in Systems and Software Engineering, 2012

 

Model Analysis and Verification

[22] Ab. Rahim, J. Whittle.  Verifying Semantic Conformance of State Machine-to-Java Code Generators,  In Proceedings of MoDELS’10, 2010

[23] H. Goldsby, B. Cheng.  Automatically Discovering Properties that Specify the Latent Behavior of UML Models.  In Proceedings of MoDELS’10, 2010

[24] W. Grieskamp, N. Kicillof, K. Stobie, V. Braberman.  Model-based quality assurance of protocol documentation:  tools and methodology.  Soft. Test. Verif. Reliability, 21:55-71, 2011

[25] S. Maoz, J.O. Ringert, B. Rumpe.  CD2Alloy:  Class Diagrams Analysis Using Alloy Revisited.  In Proceedings of MoDELS’11, 2011

[26] A. Egyed, E. Letier, A. Finkelstein.  Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models.  In Proceedings of ASE’08, 2008.  

[27] M. Famelis, R. Salay, M. Chechik.  Partial Models: Towards Modeling and Reasoning with Uncertainty. In Proceedings of ICSE'12, pp. 573-583, May 2012

[28] 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).

[29] Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin: Model checking lots of systems: efficient verification of temporal properties in software product lines. ICSE’2010: 335-344

[30] 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.

[31] 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.

[32] 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.

 

Model Transformations

[33] I. Porres.  Model Refactorings as Rule-Based Update Transformations.  In Proceedings of UML’03, 2003

[34] E. Biermann, S. Jurack, C. Krause, T. Arendt, G. Taentzer.  Henshin:  Advanced Concepts and Tools for In-Place EMF Model Transformations. In Proceedings of  MoDELS’10, 2010

[35] B. Baecker, L. Lambers, J. Dyck, S. Birth, H. Giese.  Iterative Development of Consistency-Preserving Rule-Based Refactorings.  In Proceedings of ICMT’10, LNCS Vol. 6707, pp. 123-137, 2011

[36] B. Baudry, S. Ghosh, F. Fleurey, R. France, Y. Le Traon, J.-M. Mottu.  Barriers to Systematic Model Transformation Testing.  Communications of the ACM 53(6), pp. 139-143, June 2010

[37] 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 Development, 29. February - 5. March 2004, volume 04101 of Dagstuhl Seminar Proceedings, 2004.

[38] 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)

[39] Czarnecki, K. and Helsen, S. : Feature-based survey of model transformation approaches. IBM Syst. J., Vol. 45, No.. 3, pp. 621-645, 2006.

[40] M. Tisi, S. Martínez, F. Jouault, J. Cabot: Lazy Execution of Model-to-Model Transformations, In Proceedings of MODELS’11, 2011

[41] Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola: Towards Quality Driven Exploration of Model Transformation Spaces.  In Proceedings of MODELS’11, 2011

[42] F. Buettner, M. Egea, J. Cabot. On verifying ATL transformations using `off-the-shelf‘ SMT solvers.  In Proceedings of MODELS’12 , 2012



OTHER TOPICS (based on what will be selected)

 

Adaptive and ultra-large software systems

[43] B.H.C. Cheng et al. Software Engineering for Self-Adaptive Systems:  A Research Roadmap.  Lecture Notes in Computer Science, Vol. 5525, 2009.

[44] B. Morin, O. Barais, J-M. Jezequel, F. Fleurey, A. Solberg.  Models@Run.time to Support Dynamic Adaptation, IEEE Computer, 2009.

[45] F. Fleurey and A. Solberg.  A Domain Specific Modeling Language supporting Specification, Simulation and Execution of Dynamic Adaptive Systems. In Proceedings of MoDELS’09, 2009

 

Modeling and Cloud Computing

[46] A. Sheth, A. Ranabahu. Semantic Modeling for Cloud Computing, IEEE Internet Computing, 2010  [part 1], [part 2]

[47] Rodrigo N. Calheiros, Rajiv Ranjan, Anton Beloglazov, Cesar A. F. De Rose, and Rajkumar Buyya, CloudSim: A Toolkit for Modeling and Simulation of Cloud Computing Environments and Evaluation of Resource Provisioning Algorithms, Software: Practice and Experience (SPE), Volume 41, Number 1, Pages: 23-50, ISSN: 0038-0644, Wiley Press, New York, USA, January, 2011

 

Model-Based Testing

 

[48] 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.

 

Generative Techniques

[49] 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.

[50] 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.

 

 

Cyber-Physical Systems

[51] Patricia Derler, Edward A. Lee, Alberto Sangiovanni-Vincentelli. Modeling Cyber-Physical Systems. Proceedings of the IEEE (special issue on CPS), 100(1):13-28, January 2012.

 

Biological systems modeling

[52] J. Fisher, D. Harel, T. Henzinger.  Biology as reactivity.  Communications of the ACM, October, 2011.  

 

Domain-specific Modeling and Reasoning

[53] Yu, E. Social Modeling and i*.  In Conceptual Modeling: Foundations and Applications : Essays in Honor of John Mylopoulos, 2009.

[54] A. Kraemer.  Engineering Android Applications Based on UML Activities.  In Proceedings of MoDELS’11, 2011

 

Other Suggestions

[55] Bran Selic:  Pragmatics of Model-Driven Development, IEEE Software, Volume 20, Issue 5, September 2003, pp. 19-25.
[56] Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio: Automating Co-evolution in Model-Driven Engineering, Proc. of EDOC'08, 2008.
[57] Paul Baker, Shiou Loh, Frank Weil.  Model-Driven Engineering in a Large Industrial Context - Motorola Case Study.  Proceedings of MODELS'05, pp. 476-491.
 

 

Send questions or comments to chechik@cs.toronto.edu

Last updated:  September 18, 2012