MDA, Software Components and Reuse 2007.1:
Advanced Topics in Software Engineering 3 (IN0980)

 

 

.: General Information :.

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

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

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

 

.: Grades :.

- Individual Examinations: 30%

- Individual Seminar: 20%

- Team Project: 50%

 

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

- Programming .Net components. Juwal, L. O’Reilly. 2003.

- Eclipse Modeling Framework: A Developer's Guide. Budinsky, F., Steinberg, D., Merks, D., Ellersick, R. and Grose, T.J. Addison-Wesely. 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.

- 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 :.
- Antônio José de Vasconcelos Costa, tonze00@gmail.com

- Breno Batista Machado, brenomachado@gmail.com, bbm
- Cleyton Mario de Oliveira Rodrigues, cleyton.rodrigues@gmail.com, cmor
- Marcos Aurelio Almeida Silva, maurelio1234@gmail.com, maas
- Pablo de Santana, pablodesantana@gmail.com,
- Weslei Alvim de Tarso Marinho, weslei@gmail.com, watm

 

.: Schedule :.

.: Introduction :.
Lectures 1, 2 Overview of Software Reuse Reuse.ppt (Jacques, 25/04, 30/04)
                       - 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 

Lecture 3 Model-Driven Engineering MDE.ppt (Jacques, 02/05, 07/05)
                 - Chapters 1, 2, 4, 5, 12 of Stahl, Völter & al.

.: Structural Modeling :.
Lecture 4 Basic Structural Modeling with UML2 StructuralUML.ppt (Jacques, 09/05)
              - Chapters 2, 4 of Eriksson et al.
              - Chapter 7 of UML2.1 Specification

Lecture 5 Precise Semi-Formal Structural Modeling with OCL2 OCL.ppt (Jacques, 14/05)

              - 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

.: Behavioral Modeling :.
Lectures 6, 7, 8 Behavioral Modeling with UML2 and OCL2 BehavioralUML.ppt (Jacques, 16/05, 16/05, 21/05)
                        - 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

.: Meta Modeling :.

Lecture 12 Meta-Modeling with MOF2 and UML2 Profiles Metamodeling.ppt (Jacques, 04/06)

              - 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

 

Lecture 13 Interchanging Meta-Models and Models with XMI XMI.ppt (Seminário Cleyton, 06/06, 12:30)

              - Chapters 4-8 of XMI2.1 Specification

.: GUI Modeling :.
Lecture 11 GUI Modeling with UML2 GUIModeling.ppt (Luiz, 30/05, 16:00)
              -
A UML2 Profile for GUI Modeling
              - Chapter 6 of Software Engineering for Adaptive Hypermedia Systems:
http://www.pst.informatik.uni-muenchen.de/ personen/kochn/PhDThesisNoraKoch.pdf
              -
The Authoring Process of the UML-based Web Engineering Approach: http://www.pst.informatik.uni-muenchen.de/ publications/uwe_iwwost01.pdf
                  -  Chapters 8, Annex B of DI1.0 Specification       

.: Architectural Modeling :.
Lectures 10, 14 Patterns Patterns1.ppt, Patterns2.ppt (Seminar Weslei, Breno, 30/06, 06/06)
                       - Chapters 1, 3-5 of Gamma et al.
                       - Chapters 1-3 of Buschmann et al.

Lecture 17 Modeling Composite Structures and Components with UML2 Components.ppt (Jacques, 25/06)
               - Chapter 2 of Löwy
               - Chapter 7 of Eriksson et al.
               - Chapters 8, 9 of UML2.1 Superstructure Specification

.: Software Process :.
Lectures 18, 19 The KobrA Component-Based MDE Method
KobrA.ppt (Jacques, 26/06)
                      - Chapters 2-10, 12-13 of Atkinson et al.

Lecture 15 Software Process Modeling with SPEM2.0 and EPF SPEM-EPF.ppt (Seminar Pablo 20/06, 12:30)
               - Chapters 7-16 of SPEM2.0 Specification
               -
www.eclipse.org/epf/

.: Model Transformations :.
Lecture 16 Overview and Paradigms of Model Transformation ModelTransformations.ppt (Seminário Antônio), 20/06)
               - Chapters 9 and 10 of Stahl, Vöelter et al.
               - Papers of Classifying Model Transformations
               - The Flora-2 User Manual
               - Papers on XML, XSLT

Lecture 20 Model Transformation with ATL and ATL-DT ATL.ppt (Marcos Aurelio, 26/06)
               - The ATL User Manual 0.7

.: Testing Models and Model Testing :.
Lecture 21 Testing Component Models with Built-In Contract Testing and ATL (Jacques e Marcos Aurelio, 26/06)
               - Chapter 14 of Stahl, Völter & al.
               - Chapters 1, 2-6 of  Gross

.: CASE Tools :.
Lecture 14 Borland Together and IBM Rational RSA UML2CASETools.ppt (Fabrício, 11/06)

Exam: 04/07

Project deliverable calendars:
- KobrA2 top-level Rollerslam simulation component 1.0 PIM
- KobrA2 level 1 sub-component PIM:
  - Environment agent 1.0 PIM
  - Player agent 1.0 PIM proposal
  - Communication channel 1.0 PIM
- KobrA2 level 2,3 sub-components PIM:
 
- Environment game reception of player actions
  - Environment game update from player actions' direct consequences 1.0 PIM

 
- Environment game update from player actions' ramifications 1.0 PIM
 
- Environment game player percepts computation 1.0 PIM
  - Environment game player percept sending 1.0 PIM
  - Environment game reasoning trace generator 1.0 PIM
  - Environment game reasoning trace visual browser 1.0 PIM

 
- Player agent percept reception 1.0 PIM
 
- Player agent game model update from percept 1.0 PIM
  - Player agent game model update from assumed teammate actions' direct consequences 1.0 PIM
  - Player agent game model update from assumed adversary actions' direct consequences 1.0 PIM
  - Player agent game model update from assumed action's ramifications 1.0 PIM
  - Player agent goal update from updated game model update 1.0 PIM
  - Player agent action choice when attacking with ball 1.0 PIM
  - Player agent action choice when attacking without has ball 1.0 PIM
  - Player agent action choice when defending 1.0 PIM

  - Player agent action choice sending 1.0 PIM
  - Player agent reasoning trace generator 1.0 PIM
  - Player agent reasoning trace visual browser 1.0 PIM

  - Communication channel percept transfer 1.0 PIM
  - Communication channel action choice transfer 1.0 PIM
- CHR and OSCGi Java Implementation

Final Project Report and Oral Presentations: 12/09