Modelovanie softvéru 2023/24

Prednášky

Prednášky sa konajú v stredu 12.00-13.50 v Malej aule. Budú sprístupňované záznamy prednášok. Na tejto stránke nájdete materiály k prednáškam, vrátane príslušnych modelov a literatúry, ktorú by ste mali preštudovať.

Po každej prednáške v sprístupnenom formulári uveďte, čo vám v prednáške bolo najmenej jasné: aký pojem, súvis, prvok, technika, príklad… Vysvetlenie dostanete na najbližšej prednáške.

Celkový model e-obchodu v Enterprise Architecte – prepracovaný a vo formáte QEA

Valentino Vranić. Modelovanie softvéru: prípady použitia, UML a ďalej. SPEKTRUM STU, 2022. [PDF]

1. [20. september] P1: Prípady použitia
   • Čítanie:
     • Modelovanie softvéru (V. Vranić, 2022): kapitoly 1 a 2
     • A. Cockburn. Writing Effective Use Cases. Addison–Wesley, 2000. [alternatívny link]
       • Chapter 1 introduction (úvodné odseky kapitoly), Section 1.1–1.3 – čo je prípad použitia
       • Chapter 5 introduction, Section 5.1–5.3, Section 5.5 – úrovne prípadov použitia
       • Chapter 4 – účastníci
       • Chapter 6 – podmienky (pojem guarantees označuje dôsledky)
       • Chapter 7 – jazyk prípadov použitia: ako formulovať jednotlivé kroky
     • W. V. Galen. Use Case Preconditions: A Best-Kept Secret? BATimes, 2012.
2. [27. september] P2: Modularizácia prípadov použitia a ich vyjadrenie v UML
   • Čítanie:
     • Modelovanie softvéru (V. Vranić, 2022): kapitola 3
     • A. Cockburn. Writing Effective Use Cases. Addison–Wesley, 2000. [alternatívny link]
       • Chapter 8 – alternatívne toky
       • Chapter 9 – generalizácia a špeciálziacia prípadov použitia
       • Chapter 10 – include a extend; extend ako externý alternatívny tok
       • Chapter 14 – CRUD a parametrizácia
       • Chapter 19 – typické chyby pri modelovaní prípadov použitia
   • Prípady použitia z prednášky
   • Transformácia diagramu sekvencií na diagram komunikácie (následne otvorte dialóg Properties pri prvej správe a vyberte v ňom možnosť Start New Group, čo napraví číslovanie)
3. [4. október] P3: Architektúra softvéru a prípady použitia
   • Čítanie:
     • Modelovanie softvéru (V. Vranić, 2022): kapitola 4
     • M. Fowler. Analysis Patterns: Reusable Object Models. Addison–Wesley, 1996. (referenčná príručka doménového modelovania; vzor Scenario použitý v modeli z prednášky na podchytenie ceny v čase je na s. 188)
     • M. Conway. Conway's Law. 2012.
     • M. Fowler. Making Architecture Matter. OSCON 2015, Portland, USA (video).
   • Odkazy:
     • OMG. OMG Unified Modeling Language. Version 2.5.1, December 2017. [priamy odkaz na PDF] (špecifikácia jazyka UML)
     • K. Fakhroutdinov. The Unified Modeling Language. 2018. (praktický prehľad notácie UML)
4. [11. október] P4: Modularizácia a konceptualizácia štruktúry
   • Čítanie: Modelovanie softvéru (V. Vranić, 2022): kapitola 5
5. [18. október] P5: Stavové diagramy
   • Čítanie:
     • Modelovanie softvéru (V. Vranić, 2022): kapitola 6
     • Časť 5.3 z knihy Object-Oriented Analysis and Design with Applications (Grady Booch, Addison-Wesley, 2nd edition, 1993) [link] alebo časť 5.11 z tretieho vydania tejto knihy [link]
     • Kapitola o stavových diagramoch z knihy UML 2 and the Unified Process: Practical Object-Oriented Analysis and Design alebo jej prvého vydania (Jim Arlow and Ila Neustadt, Addison-Wesley, 2005/2001)
     • O explózii stavového priestoru na príklade kalkulačky: UML state machine, Wikipedia, časť UML extensions to the traditional FSM formalism
     • Ďalšie názorné príklady stavových diagramov s poznámkami k notácii: UML State Machines, Bernhard Beckert, Universität Koblenz-Landau
6. [25. október] 12.00–12.40 Rekapitulácia a diskusia (doc. Ing. Ján Lang, PhD.)
7. [8. november] P6: Detailný model metódy a ako sa mu vyhnúť pomocou OCL
   • Príklady podmienok v OCL nájdete v modeli v EA v diagrame tried OCL - Ordering Process Elements v balíku Packages (sumarizácia je v poznámke uvedenej priamo v diagrame)
   • Transformácia diagramu sekvencií na diagram komunikácie (následne otvorte dialóg Properties pri prvej správe a vyberte v ňom možnosť Start New Group, čo napraví číslovanie)
   • Podmienky a ohraničenia v modeloch: OCL – poznámky k prednáškam
   • Príklad s kruhom a elipsou (na pripomenutie Liskovej princípu substitúcie v kóde)
   • Čítanie:
     • Modelovanie softvéru (V. Vranić, 2022): kapitola 7
     • Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall, 2nd edition, 1997. – Chapter 11 – Design by Contract – link
     • Object Constraint Language, Version 2.4. OMG, 2014. – Chapter 7.
   • Odkazy:
     • Bernhard Beckert. Introduction to OCL. 2006.
     • Jordi Cabot and Martin Gogolla. Introduction to OCL.Object Constraint Language: A Definitive Guide. 2012.
     • EmPowerTec. OCL support in Enterprise Architect. EmPowerTec UML and modeling blog, 2007.
8. [15. november] P7: Algebraická špecifikácia
   • Formálna špecifikácia softvéru: jazyk Z a algebraická špecifikácia – poznámky k prednáškam
   • Čítanie:
   • Modelovanie softvéru (V. Vranić, 2022): kapitola 8
   • Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall, 2nd edition, 1997. – Chapter 6 – Abstract Data Types – link
9. [22. november] P8: Modelovanie variantnosti softvéru
   • Príklad parametrizovanej triedy a jej použitia nájdete v diagrame tried OrderList v časti Design/Packages modelu v EA
   • Model vlastností z prednášky v nástroji FeatureIDE; aby ste ho otvorili, jednoducho vytvorte nový FeatureIDE projekt (možnosť dostupná v položke Other) a potiahnite do neho XML súbory z archívu
   • FeatureIDE, nástroj na modelovanie vlastností
   • pure::variants, komerčný nástroj na manažment variantov a modelovanie vlastností (komunitná verzia zadarmo)
   • Čítanie:
     • Modelovanie softvéru (V. Vranić, 2022): kapitola 9
     • OMG. OMG Unified Modeling Language. Version 2.5.1, December 2017. [priamy odkaz na PDF] (template class: časť 9.3.5, s. 104; template package: časť 7.4.5.1, s. 30–31)
     • K. Fakhroutdinov. UML Template. The Unified Modeling Language, 2016
     • Rady softvérových výrobkov, doménové inžinierstvo a modelovanie vlastností: K. Czarnecki. Generative Programming: Principles and Techniques of Software Engineering Based on Automated Configuration and Fragment-Based Component Models. Ph.D. Thesis, Computer Science Department, Technical University of Ilmenau, Ilmanau, Germany, 1998. Kapitoly 3 a 5. (takmer to isté knižne: K. Czarnecki and U. Eisenecker. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, 2000. Kapitoly 2 a 4.)
     • Bran Selić. Getting It Right on the Dot. OMG, 2013.
10. [29. november] P9: Agilné a úsporné prístupy a modelovanie softvéru
    • Čítanie:
      • A. Cockburn. Agile Use Cases. 2008.
      • M. Conway. Conway's Law. Mel Conway's Home Page, 2012.
      • A. Cockburn. The Heart of Agile. 2015.
      • K. Beck et al. Manifesto for Agile Software Development. 2001.
    • Odkazy:
      • J. Sutherland and K. Schwaber. Scrum Guides. 2020.
      • J. Sutherland. Jeff Sutherland’s Scrum Handbook. Scrum Training Institute Press, 2010.
      • V. Vranić. Promoting Natural Human Attitude Towards Work: Scrum. In Proceedings of Conference Mreža 2013 – Internet in Educational and Business Environment, Singidunum University, Business Faculty in Valjevo, Valjevo, Serbia, 2013.
      • J. O. Coplien and N. B. Harrison. Organizational Patterns of Agile Software Development. Prentice Hall, 2004.
      • Organizational Patterns
      • J. Sutherland, J. Coplien et al. Scrum as Organizational Patterns. Gertrud&Cope, 2011.
      • J. O. Coplien and G. Bjørnvig. Lean Architecture: for Agile Software Development. Wiley, 2010.
      • M. Kohn. User Stories Applied: For Agile Software Development. Addison-Wesley, 2004.
      • A. Cockburn. Beyond the Agile Manifesto: The Heart of Agile. CrossTalk, 2016.
      • A. Cockburn. Let's Dive into the Heart of Agile. 2nd Agile Serbia Conference, 2017.
11. [6. december] Rekapitulácia a konzultácie
12. [11. december] Konzultácie