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, (NovDec, 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.
2005.
Language Oriented Programming:
The
Next
Programming Paradigm ,
[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. 450467.
[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
Epsilon
The Epsilon Book. http://www.eclipse.org/epsilon/doc/book/
Epsilon Articles. http://www.eclipse.org/epsilon/doc/articles/