• WOSM

Wytwarzanie oprogramowania sterowane modelami

Aktualizacja dla semestru 2011L

Wykład (sem. 1)

Prowadzący: Michał Śmiałek

Cel i treść przedmiotu

Celem przedmiotu jest nauczenie właściwej organizacji procesu inżynierii oprogramowania przy pomocy modeli. Dla zrozumienia treści przedmiotu konieczna jest jedynie elementarna wiedza na temat modelowania w języku UML oraz podstawy inżynierii oprogramowania. W ramach wykładu przedstawione są dwa podstawowe obszary wytwarzania oprogramowania sterowanego modelami: definiowanie języków modelowania oraz transformacje modeli. Studenci otrzymują wiedzę z zakresu definiowania składni abstrakcyjnej języków modelowania przy pomocy meta-modeli w języku MOF (opartym na języku UML). Dowiadują się również, w jaki sposób definiować składnię konkretną (widoczną dla użytkownika) oraz semantykę języka. W drugiej części wykładu, przedstawiane są podstawowe zasady pisania i wykonywania transformacji modeli w języku MOLA. Przedstawiane są odpowiednie konstrukcje języka służące do określania meta-modeli oraz wzorców, reguł i algorytmów przekształcania modeli. Jako rezultat nauczania, studenci powinni uzyskać wiedzę, w jaki sposób zwiększyć efektywność procesu wytwarzania oprogramowania przy pomocy zasad modelowania oprogramowania.

Zasady zaliczenia

1. Zaliczenie przedmiotu odbywa się poprzez wykonywanie ćwiczeń wykładowych oraz sprawdzian końcowy.
2. Ćwiczenia wykonywane są indywidualnie lub w grupach dwuosobowych.
3. Za każde ćwiczenie można dostać 6 pkt., w sumie – 72 pkt.
4. Za sprawdzian końcowy można dostać 28 pkt. Sprawdzian należy zaliczyć na co najmniej 15 punktów.
5. Ocena końcowa jest wyliczana na podstawie sumy punktów za ćwiczenia i sprawdzian końcowy: 0-50 pkt. – 2,0; 51-60 pkt. – 3,0; i kolejne oceny co 10 punktów.
6. Osoby, które nie wykonywały ćwiczeń podczas wykładów mogą przystąpić do rozszerzonego sprawdzianu końcowego, za który można otrzymać 100 pkt. Decyzja o przystąpieniu do sprawdzianu standardowego (za 28 pkt.) lub rozszerzonego (za 100 pkt.) należy do studenta.

Literatura

• Stephen J. Mellor, Kendall Scott, Avel Uhl, Dirk Weise - MDA Distilled. Principles of Model-Driven Architecture, Addison-Wesley, 2004
• Object Management Group - Unified Modeling Language (UML) Superstructure, v. 2.1.1, OMG, 2007 (patrz wykład 4)
• Hermann Kaindl, Michał Śmiałek et al. - Requirements Specification Language Definition, D2.4.2, ReDSeeDS, 2009 (patrz wykład 6)
• Tutorial języka MOLA (patrz wykład 8))
• Michał Śmiałek - Zrozumieć UML 2.0. Metody modelowania obiektowego, Helion, 2005

Plan wykładu