Programação com Componentes 2007.2 (IF710)

MDA, Componentes e Reuso de Software 2007.2 (TAAI2, IN1097)

 

 

.: General Information :.

Who: Prof. Jacques Robin (robin.jacques@gmail.com)

When: Mondays 10:00-12:00 & Wednesdays 08:00-10:00 
Where: Room D002

This page: www.cin.ufpe.br/~if710/2007/

 

.: Bibliography :.

- Model-Driven Software Development: Technology, Engineering, Management. Stahl, T., Voelter, M. et al. Wiley. 2006.

- UML 2 Toolkit. Eriksson, H.E., Penker, M., Lyons, B. & Fado, D. Wiley. 2004

- The Object Constraint Language: Getting Your Models Ready for MDA (2nd Ed.) Warmer, J. & Kleppe, A. Addison-Wesley. 2003.

- Component-based product line engineering with UML. Atkinson, C., Bayer, J., Bunse. C., Kamsties, E., Laitenberger, O., Laqua, R., Muthig, D; Paech, B. Wüst, J. and Zettel. J. Component Software Series. Addison-Wesley. 2002.

- Component+ Methodology: Built-In Contract Testing Method and Process. Gross, H.B. Fraunhofer IESE, 2002.

- Pattern-Oriented Software Architecture: A System of Patterns. Buschmann, F., Meunier, R., Rohnert, H., Sommerlad. P. and Stal, M. Wiley.  1996.

- Design Patterns: Elements of Reusable Object-Oriented Software. Gamma, E., Helm, R., and Johnson, R. and Vlissides, J. Addison-Wesley. 1995.

- Eclipse Modeling Framework: A Developer's Guide. Budinsky, F., Steinberg, D., Merks, D., Ellersick, R. and Grose, T.J. Addison-Wesely. 2003.

- UML2.1 Infrastruture Specification

- UML2.1 Superstructure Specification

- OCL2.0 Specification

- MOF2.0 Specification

- XMI2.1 Specification

- UML Diagram Interchange 1.0 Specification

- SPEM2.0 Specification

- ATL User Manual 0.7

 

.: Roster :.
-
Fabio Rocha de Pinho, frp@cin.ufpe.br, fabiofrp@yahoo.com, Undergraduate, 7th Semester, full-time student, Robson, Data Warehousing

- Gleibson Rodrigo Silva de Oliveira, grso@cin.ufpe.br, dartanham.grso@gmail.com, Undergraduate, 7th Semester, full-time student

- Joabe Bezerra de Jesus Jt., jbjj@cin.ufpe.br, joabebezerra@gmail.com, Graduate, 2nd Semester, full-time student, Alexandre Motta & Augusto Sampaio, Formal specification and validation of avionics software

- Luiz Carlos Assis d'Oleron Barreto, lcadb@cin.ufpe.br, doleron@gmail.com, Undergraduate, 7th Semester, works 36h at CHESF

- Marcus Vinicius Lima e Machado, mvlm@cin.ufpe.br, mvlmachado@gmail.com, Master, 2nd Semester, Software Factory for Game Development advised by André Santos, full-time student

- Rafael Ferreira Oliveira, rfo@cin.ufpe.br, rafoli@gmail.com, Undergraduate@UESB 9th semester, full-time student, Fábio Moura, UML profile for GUI PSM

- Rilton Oliveira Souza, ros@cin.ufpe.br, rilton1@gmail.com, Undergraduate@UESB 9th semester, full-time student, Helio Lopes, PALM platform metamodel

- Thiago José Moreira Lira, tjml@cin.ufpe.br, moreirajthiago@gmail.com, Undergraduate, 7th Semester, work 20h at Convênio Ministério da Cultura

- Tiago Vinicius Remigio da Costa, turc@cin.ufpe.br, vinicius.remigio@gmail.com, Undergraduate, 7th Semester, IC on e-learning project AMADEUS advised by Alex Sandro Gomes, full-time student

- Sidney de Carvalho Nogueira, scn@cin.ufpe.br, sidney.nogueira@gmail.com, PhD, 2nd Semester, Automated Black-Box Test Case Generation from CSP Models advised by Augusto Sampaio, full-time student

 

.: Schedule :.

.: Introduction :.
Lectures 1, 2 Overview of Software Reuse Reuse.ppt (Jacques, 19/09, 24/09)
                      
- Reusing software: issues and research directions: http://citeseer.ist.psu.edu/mili95reusing.html
                  - Software reuse: principles, patterns, prospects: http://citeseer.ist.psu.edu/357780.html 

Lectures 3, 4 Model-Driven Engineering MDE.ppt (Jacques, 26/09, 01/10)
                
- Chapters 1, 2, 4, 5, 12 of Stahl, Völter & al.

.: Structural Modeling :.
Lecture 5, 6  Basic Structural Modeling with UML2 StructuralUML.ppt (Jacques, 03/10, 08/10)
                 - Chapters 2, 4 of Eriksson et al.
                 - Chapters 9-13 of UML2.1 Infra-Structure Specification
                 - Chapters 7 of UML2.1 Super-Structure Specification

Lecture 7, 8 Precise Semi-Formal Structural Modeling with OCL2 OCL.ppt (Jacques, 10/10, 15/10)

                - Chapters 1-2, 8-10 and Sections 3.1-3.3, 3.9-3.10, 6.1-6.3, 6.7 of Warmer & Kleppe

                - Sections 7.1-7.3.3, 7.4-7.6, 7.8, 8 of OCL2 Specification

 

.: Meta Modeling :.

Lectures 9, 10 Meta-Modeling with MOF2 and UML2 Profiles Metamodeling.ppt (Jacques, 17/10, 22/10)

              - Chapter 6 of Stahl & Völter

              - Chapter 8 of Eriksson & al.

              - Chapter 18 of UML2.1 Superstructure Specification

              - Chapters 9-15 of MOF2.0 Specification

.: Behavioral Modeling :.
Lectures 11, 12, 13 Basic Behavioral Modeling with UML2 and OCL2 BehavioralUML.ppt (Jacques, 24/10, 29/10)
                        - Chapters 3, 5, 6 of Eriksson et al.
                        - Sections 3.4-3.8, 6.4-6.6 of Warmer & Kleppe
                        - Chapters 11-16 of UML2.1 Superstructure Specification
                        - Sections 7.3.4-7.3.8 of OCL2 Specification

Lecture 14 Project Topics ProjectTopics.ppt (Jacques 31/19)

.: Software Components :.
Lectures 15, 16, 17 The KobrA Component-Based MDE Method
KobrA.ppt (Jacques, 05/11, 07/11, 12/11)
                          - Chapters 2-10, 12-13 of Atkinson et al.

.: GUI Modeling :.
Lecture 18 GUI Modeling with UML2 GUIModeling.ppt (Fábio, 14/11)
              -
A UML2 Profile for GUI Modeling
              -
Um profile UML 2 e um processo de modelagem para engenharia de interfaces gráficas dirigida a modelos e baseada em componentes
                  -  Chapters 8, Annex B of DI1.0 Specification       

.: Software Process Modeling :.
Lecture 19 Software Process Modeling with SPEM2.0 and EPF SPEM.ppt (Pablo 19/11)
               - Chapters 7-16 of SPEM2.0 Specification
               -
www.eclipse.org/epf/

.: CASE Tools :.
Lecture 20 Borland Together, IBM Rational RSA and Papyrus UML
UML2CASETools.ppt (Fabrício and Rafael 21/11)

.: Architectural Modeling :.
Lectures 21, 22 Introduction to Patterns Patterns.ppt (Weslei 26/11, 28/11)
                       - Chapters 1, 3-5 of Gamma et al.
                       - Chapters 1-3 of Buschmann et al.

.: Model Transformations :.
Lectures 23 Overview and Paradigms of Model Transformation
ModelTransformations.ppt (Marcos 03/12)
               - Chapters 9 and 10 of Stahl, Vöelter et al.
               - pp. 1-15 of
Logical Foundations of Object-Oriented and Frame-Based Language
               -
The Flora-2 User Manual
               -
W3C School’s XML Tutorial
               -
W3C School’s XML Schema Tutorial
               -
W3C School' XSLT Tutorial

Lecture 24 Model Transformation with ATL and ATL-DT ATL.ppt (Marcos Aurelio, 05/12)
               -
ATL Starter’s Guide 0.1
               -
ATL User Manual 0.7

.: Project Advising :.

Lectures 25-34 Project Advising (Marcos, 10/12, 12/12, 17/12, 19/12, Jacques, 07/01, 09/01, 14/01, 16/01, 21/01, 23/01)

Lectures 36,37 Final Oral Project Presentation and Written Report (28/01, 30/01)