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