„Rendszermodellezés” változatai közötti eltérés

A VIK Wikiből
← Régebbi szerkesztésÚjabb szerkesztés →
VizuálisWikiszöveges
Csia Klaudia Kitti (vitalap | szerkesztései)
felületadminisztrátorok, oauth2, smwadministrator, smwcurator, adminisztrátorok, upwizcampeditors
1 846 szerkesztés
aNincs szerkesztési összefoglaló
Csia Klaudia Kitti (vitalap | szerkesztései)
felületadminisztrátorok, oauth2, smwadministrator, smwcurator, adminisztrátorok, upwizcampeditors
1 846 szerkesztés
a Jegyzet feltöltése
47. sor: 47. sor:
** A '''házi feladat''' a pótlási hét végéig pótolható, különeljárási díj fejében.
** A '''házi feladat''' a pótlási hét végéig pótolható, különeljárási díj fejében.


===Félévvégi jegy===
=== Félévvégi jegy ===
A jegyet a félév közben szerzett pontok alapján adják. Megszerezhető pontok:
A jegyet a félév közben szerzett pontok alapján adják. Megszerezhető pontok:
* HF: maximum 30 pont.
* HF: maximum 30 pont.
57. sor: 57. sor:
** Fakultatív kisZH-k: (0-8 pont)
** Fakultatív kisZH-k: (0-8 pont)
*** Minden kisZH abból az anyagból van, amely a gyakorlat anyaga. Értsd úgy: a második gyakorlat anyaga az állapot alapú modellezés, és a kisZH anyag is az, ne az első gyakorlat anyagából készülj csak fel! Érdemes készülni a kisZH-kra, 2 egyszerű kérdésből áll, egy kisZH 0-2 pontot ér.
*** Minden kisZH abból az anyagból van, amely a gyakorlat anyaga. Értsd úgy: a második gyakorlat anyaga az állapot alapú modellezés, és a kisZH anyag is az, ne az első gyakorlat anyagából készülj csak fel! Érdemes készülni a kisZH-kra, 2 egyszerű kérdésből áll, egy kisZH 0-2 pontot ér.
 
* Ponthatárok:
*Ponthatárok:
:{| class="wikitable" style="text-align: center; width: 120px; height: 40px;"
:{| class="wikitable" style="text-align: center; width: 120px; height: 40px;"
!Pont!!Jegy
!Pont!!Jegy
76. sor: 75. sor:
* [[Media:SYSMO_jegyzet_2018t.pdf | 2018-as oktató (Gönczy László) által lektorált tanszéki és előadás jegyzet egyben]]
* [[Media:SYSMO_jegyzet_2018t.pdf | 2018-as oktató (Gönczy László) által lektorált tanszéki és előadás jegyzet egyben]]
* Tanszéki jegyzet: [[Media:Remo_jegyzet_20160720.pdf | pdf]] - [http://docs.inf.mit.bme.hu/remo-jegyzet/ online (legújabb)]
* Tanszéki jegyzet: [[Media:Remo_jegyzet_20160720.pdf | pdf]] - [http://docs.inf.mit.bme.hu/remo-jegyzet/ online (legújabb)]
* Előadások diái 2016:
* [[Media:Tomor_remo_2020.PDF | Tömör Remo összefoglaló - 2020]]
 
* '''Előadások diái 2016''':
** [[Media:Remo_dia_2015-16-2_1.pdf | Modellezési alapismeretek]]
** [[Media:Remo_dia_2015-16-2_1.pdf | Modellezési alapismeretek]]
** [[Media:Remo_dia_2015-16-2_2.pdf | Strukturális modellezés]]
** [[Media:Remo_dia_2015-16-2_2.pdf | Strukturális modellezés]]
91. sor: 92. sor:
== Házi feladat ==
== Házi feladat ==


*A 5. héten kerül kiadásra, beadni elektronikusan kell a 12. héten. ('''Az új házi feladat portál miatt nincsen már szóbeli védés év végén, de a régebbi házikat se fogadják már el. Külön kérésre viszont lehet javítás érdekében szóbelire menni, de arra külön jelentkezni kell.''')
* A 5. héten kerül kiadásra, beadni elektronikusan kell a 12. héten. ('''Az új házi feladat portál miatt nincsen már szóbeli védés év végén, de a régebbi házikat se fogadják már el. Külön kérésre viszont lehet javítás érdekében szóbelire menni, de arra külön jelentkezni kell.''')
*Egy sakkórát utánozó programot kell elkészíteni, mindenkinek különböző tulajdonságokkal. A házi feladat kiírása, és technikai segédlet elérhető a [https://inf.mit.bme.hu/edu/courses/remo/hazifeladat tárgyhonlapon].
* Egy sakkórát utánozó programot kell elkészíteni, mindenkinek különböző tulajdonságokkal. A házi feladat kiírása, és technikai segédlet elérhető a [https://inf.mit.bme.hu/edu/courses/remo/hazifeladat tárgyhonlapon].


*Leggyakoribb hiba: olyan állapotátmenet használata, amik nem is valódiak, mert az átmenet nem egy esemény bekövetkezésekor történik meg. *Lehetséges, hogy amire mi gondolunk, az egy esemény, de modellezési szempontból másként kell értelmezni ezt a fogalmat. 5 ilyen elem van tiltva:
* Leggyakoribb hiba: olyan állapotátmenet használata, amik nem is valódiak, mert az átmenet nem egy esemény bekövetkezésekor történik meg.  
**<code>always</code>
* Lehetséges, hogy amire mi gondolunk, az egy esemény, de modellezési szempontból másként kell értelmezni ezt a fogalmat. 5 ilyen elem van tiltva:
**<code>oncycle</code>
** <code>always</code>
**Olyan nyíl (állapotátmenet), amire nincs semmi írva (nincs őrfeltétel, mindig lefut).
** <code>oncycle</code>
**<code>after 0s</code> / <code>after 0ms</code> / <code>every 0s</code> stb. A modell szempontjából ezek is feltétel nélküli átmenetek.
** Olyan nyíl (állapotátmenet), amire nincs semmi írva (nincs őrfeltétel, mindig lefut).
**'''[trigger && feltétel]''' kiváltó esemény, ezeket egy [trigger]-re és egy choice-ra kell szétbontani.
** <code>after 0s</code> / <code>after 0ms</code> / <code>every 0s</code> stb. A modell szempontjából ezek is feltétel nélküli átmenetek.
*Ha a modelledben ezeket használod, az oldal nem fogja elfogadni a házidat. A hiba megoldása:
** '''[trigger && feltétel]''' kiváltó esemény, ezeket egy [trigger]-re és egy choice-ra kell szétbontani.
* Ha a modelledben ezeket használod, az oldal nem fogja elfogadni a házidat. A hiba megoldása:
[[File:Remo_modelltipusok_20160720.png|thumb|Szekvenciális programozásra hasonlító (balra), és helyes állapotalapú (jobbra) modellek]]
[[File:Remo_modelltipusok_20160720.png|thumb|Szekvenciális programozásra hasonlító (balra), és helyes állapotalapú (jobbra) modellek]]
*Meg kell érteni az állapotalapú modellezés alapját. Sokan úgy próbálják felépíteni a modellt, mint egy C nyelvben írt programot, ahol egymás után hajtódnak végre a feladatok, és az állapot egy művelet végrehajtásának felel meg. Ez hibás gondolkozás, mert állapotmodellezésre van szükség, és nem folyamatmodellezésre! Eseményvezérelt felépítés kell. A kép oldalt illusztrálja a kettő közötti különbséget. A hagyományos programozási módszer használatával keletkezik egy olyan állapotátmenet, aminek nincs kiváltó eseménye. Az állapotalapú modellezésnél ilyet ne csináljunk, mert a ChangeSettings nem egy olyan állapot, ami tartósan jellemezné a modellünket, hiszem a <code>whiteMoves = true</code> művelet elvégzése után azonnal bekövetkezik egy újabb állapotváltás, így a ChangeSettings csak egy pillanatig, és nem egy valamekkora időegységig jellemezte a modellt. Ha viszont a műveleteket nem az állapot belsejébe írjuk, hanem egy hurokélre, akkor valójában nem történik állapotváltás (ugyan oda térünk vissza), a művelet mégis végrehajtódik! Többnyire igaz, hogy úgy kell megtervezni a modellt, hogy az élekre kerülnek a változók módosításai, az állapotokra pedig az, ami megjelenik a képernyőn, lásd a képet. Ez természetesen nem mindig van így, de ha eszerint próbálod meg megtervezni a modelled felépítését, kiküszöbölheted az üres élek problémáját.
* Meg kell érteni az állapotalapú modellezés alapját. Sokan úgy próbálják felépíteni a modellt, mint egy C nyelvben írt programot, ahol egymás után hajtódnak végre a feladatok, és az állapot egy művelet végrehajtásának felel meg. Ez hibás gondolkozás, mert állapotmodellezésre van szükség, és nem folyamatmodellezésre! Eseményvezérelt felépítés kell. A kép oldalt illusztrálja a kettő közötti különbséget. A hagyományos programozási módszer használatával keletkezik egy olyan állapotátmenet, aminek nincs kiváltó eseménye. Az állapotalapú modellezésnél ilyet ne csináljunk, mert a ChangeSettings nem egy olyan állapot, ami tartósan jellemezné a modellünket, hiszem a <code>whiteMoves = true</code> művelet elvégzése után azonnal bekövetkezik egy újabb állapotváltás, így a ChangeSettings csak egy pillanatig, és nem egy valamekkora időegységig jellemezte a modellt. Ha viszont a műveleteket nem az állapot belsejébe írjuk, hanem egy hurokélre, akkor valójában nem történik állapotváltás (ugyan oda térünk vissza), a művelet mégis végrehajtódik! Többnyire igaz, hogy úgy kell megtervezni a modellt, hogy az élekre kerülnek a változók módosításai, az állapotokra pedig az, ami megjelenik a képernyőn, lásd a képet. Ez természetesen nem mindig van így, de ha eszerint próbálod meg megtervezni a modelled felépítését, kiküszöbölheted az üres élek problémáját.
*''Ha továbbra sem műküdik a programod, és nem érted, hogy mi a gond, látogasd meg a [http://q2a.inf.mit.bme.hu/rendszermodellez%C3%A9s Házi feladat fórum] oldalát, hátha már akadt másnak is hasonló problémája.''
* ''Ha továbbra sem műküdik a programod, és nem érted, hogy mi a gond, látogasd meg a [http://q2a.inf.mit.bme.hu/rendszermodellez%C3%A9s Házi feladat fórum] oldalát, hátha már akadt másnak is hasonló problémája.''
 
== Kikérdezők ==


== ZH beugró ==
* [[Rendszermodellezés_1._ZH/Igaz_Hamis_kikérdező | 1. ZH]]
*'''1. ZH:'''
* [[Rendszermodellezés_2._ZH/Rendszermodellezés | 2. ZH]]
**[[Rendszermodellezés_1._ZH/Igaz_Hamis_kikérdező | Wiki kikérdező]]
**[https://docs.google.com/forms/d/e/1FAIpQLSeYKYgrawYfHdi02UMjBFqkSi8lcLb1nzPIMhuvowmpB5c5Cw/viewform 1. Google űrlapos kikérdező]
**[https://docs.google.com/forms/d/e/1FAIpQLSdNHYq6lqSl32EeHRhYd-1k01ML5eNUxVTJVRSTF1IMGWijlQ/viewform 2. Google űrlapos kikérdező]
**[https://docs.google.com/forms/d/e/1FAIpQLSfoYH9vagXW2vsGypwuaz86KDt7fwqZRNzytQwMbz3Wq0E1iw/viewform 3. Google űrlapos kikérdező]
**[https://docs.google.com/forms/d/e/1FAIpQLSeP3_wXPNKcIESbYnPj6UlNK7WRF6jIbmFx65gEE-TDCkhrtQ/viewform 4. Google űrlapos kikérdező]
**[https://docs.google.com/forms/d/e/1FAIpQLSeu4nN_-o70cqaGdj58je2faDwVy5L9Fz8IOlkeW-vkDlKexQ/viewform 5. Google űrlapos kikérdező]
**[https://docs.google.com/forms/d/e/1FAIpQLSetrqe1bT7R0orrSH6rJNk9-Xoxlwk-snTY0uVvX7QETltyng/viewform 6. Google űrlapos kikérdező]
*'''2. ZH:'''
**[[Rendszermodellezés_2._ZH/Rendszermodellezés | Wiki kikérdező]]
**[https://docs.google.com/forms/d/e/1FAIpQLScJU1Ol0rl3T2ZykPV97s7DkOKyqmlv7-f9McK23z6bL-l8Pg/viewform 1. Google űrlapos kikérdező]
**[https://docs.google.com/forms/d/e/1FAIpQLSc1FabPJz2p_pM7GYtZ6n48MIZUvNPGpYhfpr7m6W2k_V-rAA/viewform 2. Google űrlapos kikérdező]
**[https://docs.google.com/forms/d/e/1FAIpQLSe0TiJ5LevF4SKItOJy-v3cNcnmcOHxPzLT25-aABNw0EOGXg/viewform 3. Google űrlapos kikérdező]
**[https://docs.google.com/forms/d/e/1FAIpQLScp0vYPwRSG3_iI7jJx8q4xCLa6Z-79nkTcr9ZEMlCHPBtLxA/viewform 4. Google űrlapos kikérdező]
**[https://docs.google.com/forms/d/e/1FAIpQLSf7Nb3Zg0OPTMicWFd8u2l8hhFk9KkpVw7HPxlITczVrEAyrw/viewform 5. Google űrlapos kikérdező]
**[https://docs.google.com/forms/d/e/1FAIpQLSdeIVeBD6adItjJIG-gCZeHjLE3a8RLMylxwg5bL0f1KWJ8qA/viewform 6. Google űrlapos kikérdező]
**[https://docs.google.com/forms/d/e/1FAIpQLScrQ7Ka9UPKESzZ70sCGxEaMjztz9Yvyoe36y79vCegUXo1zQ/viewform 7. Google űrlapos kikérdező]
**[https://docs.google.com/forms/d/e/1FAIpQLSfTW7KZHqFyAU8x0jbSfFDOP2XmxcQluONNKTehb-7finy8Dg/viewform 8. Google űrlapos kikérdező]


== 1. ZH ==
== 1. ZH ==
138. sor: 125. sor:


== Verseny ==
== Verseny ==
*Félév vége fele a tanszék meg szokott hirdetni egy Rendszermodellezés versenyt (~április 25 körül). Erre érdemes felkészülni, mert ha eléred a versenyen a 60%-ot, az megfelel egy 100%-os 2. ZH-nak, ami sokat tud segíteni, mivel a második ZH-n nagyon nehezen lehetne elérni alapból 100%-ot.  
* Félév vége fele a tanszék meg szokott hirdetni egy Rendszermodellezés versenyt (~április 25 körül). Erre érdemes felkészülni, mert ha eléred a versenyen a 60%-ot, az megfelel egy 100%-os 2. ZH-nak, ami sokat tud segíteni, mivel a második ZH-n nagyon nehezen lehetne elérni alapból 100%-ot.  
~2018. tavasz~


== Tippek ==
== Tippek ==


*Érdemes tisztában lenni minden fogalommal, mert utána elég csak a józan paraszti eszet használni. Nem túl bonyolult belőle 4-est 5-öst szerezni, mert rengeteg extra pont jár és a házi sok pontot ér. A ZH-k beugróit ne vedd könnyű péznek. Legtöbben azért bukják el a tárgyat, mert a beugró nem sikerül. Az elméleti részeket jól át kell nézni, bizonytalan esetekben inkább ne írj be semmit, mert hibás válaszért pontot veszíthetsz. A házi egy-kétnapos munka, ha teljesen nulláról kezdik, de ha már foglalkozott a Yakinduval egy kicsit előtte, akkor maximum négy óra.
* Érdemes tisztában lenni minden fogalommal, mert utána elég csak a józan paraszti eszet használni. Nem túl bonyolult belőle 4-est 5-öst szerezni, mert rengeteg extra pont jár és a házi sok pontot ér. A ZH-k beugróit ne vedd könnyű péznek. Legtöbben azért bukják el a tárgyat, mert a beugró nem sikerül. Az elméleti részeket jól át kell nézni, bizonytalan esetekben inkább ne írj be semmit, mert hibás válaszért pontot veszíthetsz. A házi egy-kétnapos munka, ha teljesen nulláról kezdik, de ha már foglalkozott a Yakinduval egy kicsit előtte, akkor maximum négy óra.




{{Lábléc_-_Mérnök_informatikus_alapszak_2014}}
{{Lábléc_-_Mérnök_informatikus_alapszak_2014}}

A lap 2021. február 14., 17:47-kori változata

Rendszermodellezés
Tárgykód
VIMIAA00
Általános infók
Szak
info
Kredit
4
Ajánlott félév
2
Keresztfélév
nincs
Tanszék
MIT
Követelmények
Labor
nincs
KisZH
4 db (opcionális)
NagyZH
2 db
Házi feladat
1 db (+2 szorgalmi)
Vizsga
nincs
Elérhetőségek
Levlista
remo@sch.bme.hu
Ez az új tanterv tárgya, a régiért lásd: Rendszermodellezés_(régi)


A tantárgy tematikusan az informatikai rendszerek tervezési folyamatának modell alapú megközelítését tárgyalja.

Célkitűzése a későbbi tantárgyak által megtanítandó specializált modellezési paradigmák előkészítése, az alapvető modellezési feladatok és eszközök bemutatásával. Egyúttal bemutat néhány olyan fogalmilag tiszta és egyszerűen kezelhető eszközt is, amelyek segítségével a tervezés alapvető aspektusait a hallgatók készség szinten elsajátíthatják és egyszerű, működő alkalmazásokat is tudnak tervezni.

A hallgatók megismerik a magas szintű, grafikus eszközökre épülő, folyamat alapú rendszermodellezés, a helyességbizonyítás, teljesítményanalízis és szolgáltatásbiztonság alapfogalmait és megjelenésüket a modellezésben. A korábbi automataelméleti és rendszertechnikai ismereteikre építve megismerik a szabatos rendszertervezés alapjait. A hallgatók a modellezés munkafolyamatain keresztül elsajátítják az informatikai rendszerek implementációjának egyes munkafogásait. Jártasságot szereznek a szimulációs rendszervizsgálatokban és a mérési adatok vizuális elemzésében.

A tárgy kiemelt didaktikai célja a hallgatók absztrakciós készségének fejlesztése és a későbbi szakmai tárgyak fogalmi és motivációs előkészítése.


Követelmények

Előtanulmányi rend

A szorgalmi időszakban

  • Az aláírás feltételei:
    • ZH: mindkettő sikeres megírása. El kell érni a 10 pontos beugróból 5 pontot.
      • Első ZH-n összesen 12 pontot a 30-ból.
      • Mádodik ZH-n összesen 16 pontotot a 40-ből.
    • Házi feladat: beadása, legalább 12 pont elérése a 30-ból.
    • Gyakorlat: jelenlét 4/6.
  • Pótlási lehetőségek:
    • Mindkét ZH pótolható egyszer a pótlási héten, egy napon (1. ZH 8-10h, 2. ZH 10-12h)
    • A házi feladat a pótlási hét végéig pótolható, különeljárási díj fejében.

Félévvégi jegy

A jegyet a félév közben szerzett pontok alapján adják. Megszerezhető pontok:

  • HF: maximum 30 pont.
  • ZH1: maximum 30 pont. (10 pont beurgó + 20 pont feladatok)
  • ZH2: maximum 40 pont. (10 pont beugró + 30 pont feladatok)
  • Plusz pontokat az alábbi módon lehet szerezni:
    • Bemelegítő HF: 0 vagy 4 pont.
    • Szorgalmi HF: 0-10 pont (pótlási héten is le lehet adni, 0-7 pontért)
    • Fakultatív kisZH-k: (0-8 pont)
      • Minden kisZH abból az anyagból van, amely a gyakorlat anyaga. Értsd úgy: a második gyakorlat anyaga az állapot alapú modellezés, és a kisZH anyag is az, ne az első gyakorlat anyagából készülj csak fel! Érdemes készülni a kisZH-kra, 2 egyszerű kérdésből áll, egy kisZH 0-2 pontot ér.
  • Ponthatárok:
Pont Jegy
0 - 39 1
40 - 54 2
55 - 69 3
70 - 84 4
85 - 100 5

Segédanyagok

Házi feladat

  • A 5. héten kerül kiadásra, beadni elektronikusan kell a 12. héten. (Az új házi feladat portál miatt nincsen már szóbeli védés év végén, de a régebbi házikat se fogadják már el. Külön kérésre viszont lehet javítás érdekében szóbelire menni, de arra külön jelentkezni kell.)
  • Egy sakkórát utánozó programot kell elkészíteni, mindenkinek különböző tulajdonságokkal. A házi feladat kiírása, és technikai segédlet elérhető a tárgyhonlapon.
  • Leggyakoribb hiba: olyan állapotátmenet használata, amik nem is valódiak, mert az átmenet nem egy esemény bekövetkezésekor történik meg.
  • Lehetséges, hogy amire mi gondolunk, az egy esemény, de modellezési szempontból másként kell értelmezni ezt a fogalmat. 5 ilyen elem van tiltva:
    • always
    • oncycle
    • Olyan nyíl (állapotátmenet), amire nincs semmi írva (nincs őrfeltétel, mindig lefut).
    • after 0s / after 0ms / every 0s stb. A modell szempontjából ezek is feltétel nélküli átmenetek.
    • [trigger && feltétel] kiváltó esemény, ezeket egy [trigger]-re és egy choice-ra kell szétbontani.
  • Ha a modelledben ezeket használod, az oldal nem fogja elfogadni a házidat. A hiba megoldása:
Szekvenciális programozásra hasonlító (balra), és helyes állapotalapú (jobbra) modellek
  • Meg kell érteni az állapotalapú modellezés alapját. Sokan úgy próbálják felépíteni a modellt, mint egy C nyelvben írt programot, ahol egymás után hajtódnak végre a feladatok, és az állapot egy művelet végrehajtásának felel meg. Ez hibás gondolkozás, mert állapotmodellezésre van szükség, és nem folyamatmodellezésre! Eseményvezérelt felépítés kell. A kép oldalt illusztrálja a kettő közötti különbséget. A hagyományos programozási módszer használatával keletkezik egy olyan állapotátmenet, aminek nincs kiváltó eseménye. Az állapotalapú modellezésnél ilyet ne csináljunk, mert a ChangeSettings nem egy olyan állapot, ami tartósan jellemezné a modellünket, hiszem a whiteMoves = true művelet elvégzése után azonnal bekövetkezik egy újabb állapotváltás, így a ChangeSettings csak egy pillanatig, és nem egy valamekkora időegységig jellemezte a modellt. Ha viszont a műveleteket nem az állapot belsejébe írjuk, hanem egy hurokélre, akkor valójában nem történik állapotváltás (ugyan oda térünk vissza), a művelet mégis végrehajtódik! Többnyire igaz, hogy úgy kell megtervezni a modellt, hogy az élekre kerülnek a változók módosításai, az állapotokra pedig az, ami megjelenik a képernyőn, lásd a képet. Ez természetesen nem mindig van így, de ha eszerint próbálod meg megtervezni a modelled felépítését, kiküszöbölheted az üres élek problémáját.
  • Ha továbbra sem műküdik a programod, és nem érted, hogy mi a gond, látogasd meg a Házi feladat fórum oldalát, hátha már akadt másnak is hasonló problémája.

Kikérdezők

1. ZH

2. ZH

Verseny

  • Félév vége fele a tanszék meg szokott hirdetni egy Rendszermodellezés versenyt (~április 25 körül). Erre érdemes felkészülni, mert ha eléred a versenyen a 60%-ot, az megfelel egy 100%-os 2. ZH-nak, ami sokat tud segíteni, mivel a második ZH-n nagyon nehezen lehetne elérni alapból 100%-ot.

Tippek

  • Érdemes tisztában lenni minden fogalommal, mert utána elég csak a józan paraszti eszet használni. Nem túl bonyolult belőle 4-est 5-öst szerezni, mert rengeteg extra pont jár és a házi sok pontot ér. A ZH-k beugróit ne vedd könnyű péznek. Legtöbben azért bukják el a tárgyat, mert a beugró nem sikerül. Az elméleti részeket jól át kell nézni, bizonytalan esetekben inkább ne írj be semmit, mert hibás válaszért pontot veszíthetsz. A házi egy-kétnapos munka, ha teljesen nulláról kezdik, de ha már foglalkozott a Yakinduval egy kicsit előtte, akkor maximum négy óra.
Bevezetők
1. félév
2. félév
3. félév
4. félév
5. félév
6. félév
7. félév


A lap eredeti címe: „https://vik.wiki/index.php?title=Rendszermodellezés&oldid=200529”