CSC2125: Modeling Methods, Tools and Techniques

Winter 2018

Course Calendar

Week

Topic, papers, deliverables

Presenter

Reviewers

1. Jan. 8

Introduction, motivation, course organization

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

Marsha

2. Jan. 15

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

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

___
[3] Hutchinson, J.E., Whittle, J., Roucefied, M. Model-driven Engineering Practices in Industry: Social, Organizational and Managerial Factors that Lead to Success or Failure. In Science of Computer Programming, vol. 89, pp. 144-161 (2014)

[4] Whittle, J., Hutchinson, J.E., Roucefield, M. The State of Practice in Model-Driven Engineering, IEEE Software, 31(3), pp. 78-85 (2014)

Marsha

Marsha

Marsha

Marsha

3. Jan. 22

Modeling Notations

[9] Harel, D., On Visual Formalisms. Communications of the ACM, 31(5), pp. 514-530, 1988

[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

[12] M. Petre. Why looking isn’t always seeing: readership skills and graphical programming. Communications of the ACM, 38(6), 1995.

Mike

Marsha

Azadeh

Nick

Nick, Ramy, Laura

Mike, Mikhail, Laura

4. Jan. 29

Meta-Modeling and model analysis

[17] J. de Lara, E. Guerra, J.S. Cuadrado. When and How to Use Multilevel Modelling. ACM Transactions on Software Engineering Methodology. 24(2), 2014.

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

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

5. Feb. 5

Model Analysis and Verification

1-page project proposals due

[32] Semerath, O, Barta, A., Horvath, A., Szatmari, Z., Varro, D. Formal Validation of Domain-Specific Languages with Derived Features and Well-Formedness Constraints. J. of Software and System Modeling, 16(2), pp. 357-392, 2017.

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

Nick

Laura

Azadeh, Mikhail

Or, Ramy

6. Feb. 12

Model Transformations and their analysis (Dr. Rick Salay replaces Marsha)

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

[21] T. Mens, K. Czarnecki, and P. Van Gorp. A Taxonomy of Model Transformations. In Jean Bézivin and Reiko Heckel, editors, Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, volume 04101 of Dagstuhl Seminar Proceedings, 2004.

[25] R. Heckel. Graph Transformation in a Nutshell. Foundations of Visual Modelling Techniques. EETCS: 148(1), pp. 187-198, Elsevier, 2006.

Nick, Laura, Lobna

Nick, Mikhail

Feb. 19

Family day, no class

7. Feb. 26

Model Evolution and Management

[44] Salay, R., Kokaly, S., Di Sandro, A., Chechik, M. Enriching megamodel management with collection-based operators. In Proceedings of the 9^th International Conference on Model Driven Engineering Languages and Systems (MoDELS), pp. 236-245, 2016.

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

Nick

Marsha

Mihail, Lobna

Azadeh, Laura

8. Mar. 5

Product Lines

[54] 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. In Proceedings of the International Conference on Software Engineering (ICSE), pp. 335-344, 2010.

[55] Salay, R., Famelis, M., Rubin, J., Di Sandro, A., Chechik, M. Lifting Model Transformations to Product Lines. In Proceedings of the International Conference on Software Engineering (ICSE), pp. 117-128, 2014.

[57] B. Baudry, S. Ghosh, F. Fleurey, R. France, Y. Le Traon, J.-M. Mottu. Barriers to Systematic Model Transformation Testing

Azadeh, Ramy, Lobna

9. Mar. 12

Applications I

[60] 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

[61] Ferry, N., Chauvel, F., Rossini, A., Morin, B., Solberg, A. CloudMF: Applying MDE to Tame the Complexity of Managing Multi-cloud Applications. In Proceedings of the Second Nordic Symposium on Cloud Computing and Internet Technologies, 2013, pp. 38-45. The wiki page for the project is here.

[64] Ciccozzi, F., Crnkovic, I., Di Ruscio, D., Malavolta, I., Pelliccione, P., Spalazzese, R. Model-Driven Engineering for Mission-Critical IoT Systems. IEEE Software 34(1), pp. 46-53, 2017.

10. Mar. 19

Applications II

[71] Graydon, P., Knight, J., Strunk, E. Assurance Based Development of Critical Systems. International Conference on Dependable Systems and Networks (DSN), 2007, pp. 347-357.

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

[76] Hartmann, T., Moawad, A., Fouquet, F., Le Traon, Y. The next evolution of MDE: a seamless integration of machine learning into domain modeling. J. of Software and Systems Modeling, pp, 1-20, 2017.

Mike

Azadeh

Or, Ramy, Lobna

Nick, Laura

Nick, Mikhail

11. Mar. 25

Applications III

[75] Ceri, S., Della Valle, E., Pedreschi, D., Trasarti, R. Mega-modeling for Big Data Analytics. In Proceedings on International Conference of Conceptual Modeling (ER), LNCS Vol. 7532, 2012.

[78] Sara Perez-Soler, Esther Guerra, Juan de Lara, Francisco Jurado. The rise of the (modelling) bots: towards assisted modeling via social networks. In Proceedings of International Conference on Automated Software Engineering (ASE), pp. 723-728, 2017.

[79] Harrand, N., Fleurey, F., Morin, B. Husa, K.E. ThingML: a language and code generation framework for heterogeneous targets. In Proceedings of International Conference on Modeling Languages and Systems (MoDELS), 2016, pp. 125-135. This is a modeling language for IoT. Web page.

[59] Selim, G.M.K., Cordy, J., Dingel, J. Model Transformation Testing: The State of the Art. AMT@MODELS, pp. 21-26, 2012.

Mikhail

Laura

(not presented)

Lobna

Azadeh, Mike, Or, Lobna

Or, Mike

Or, Ramy

12. April 2

TBD

Project write-ups are due.