Miért is transzformáljunk modelleket? Varró Dániel

Méret: px
Mutatás kezdődik a ... oldaltól:

Download "Miért is transzformáljunk modelleket? Varró Dániel"

Átírás

1 Miért is transzformáljunk modelleket? Varró Dániel

2 Mit látunk a képen?

3 Tipikus kérdések (Hardvertervezés) Jól működik-e? 1+1 = 2? Hogyan készítsünk 8 bites összeadót 4 bites összeadóval? Hogyan készítsünk összeadót, ha: AND kapu: 5 Ft OR kapu: 10 Ft XOR kapu: 20 Ft

4 És mi újság a szoftvereknél?

5 Szoftverek meghibásodása a gyakorlatban Javasolt útvonal: Budapest Milano Atlanta Firenze Atlanta Firenze: 12 óra, 274 km, este indul és aznap érkezik (keletre!)

6 Üzleti folyamatok szolgáltatásbiztonsága Hibás adat Járat keresése Kiválasztás Járat foglalása Hibás szolgáltatás Jegy nyomtatása Online Irodai keresés Irodai foglalás

7 Üzleti folyamatok hibamodellezése Hibás adat Hihetőségvizsgálat Kivétel Járat keresése Kiválasztás Járat foglalása Jegy nyomtatása Online? Irodai keresés Irodai foglalás

8 Üzleti folyamatok méretezése Járat keresése Kiválasztás Járat foglalása Online? Irodai keresés Szűk keresztmetszet Irodai foglalás Jegy nyomtatása Milyen erőforrást bővítsünk (emberi/gépi), ha adott ráfordítással minél több klienst szeretnénk kiszolgálni?

9 Feladatok és kihívások Korai hibadetekció 7-14-szeres költségcsökkenés szörös minőségjavulás Nyitott kérdések Funkcionális helyesség Specifikáció Funkcionális modell Mennyiségi teljesség ellentmondásmentesség felhasználói követelményeknek megfelelés Specifikációnak megfelelés időhatárok teljesítmény átbocsátóképesség Nemfunkcionális Hibatűrés Mennyiségi hibamodellezés hibahatás elemzése rendelkezésreállás megbízhatóság HW SW

10 Miért is transzformálunk modelleket?

11 Modellvezérelt rendszertervezés és -analízis Rendszer tervezés Magasszintű rendszer modell (UML, BPM, DSL) Telepítés Megbízható platform Kódgenerálás Implementáció Telepítési leíró Modell generálás Terv módosítás Hiányosságok listája Monitor generálás Futási idejű monitorozás Alkalmazásfigyelő rendszer Matematikai analízis Matematikai modell Analízis

12 Tervezőeszközök integrációja (SENSORIA) Integrált tervezőeszközök / modellezési nyelvek: Tervezés: UML, BPEL Analízis: PEPA, WS-Engineer Telepítés: WSDL, IBM RAMP, Apache Axis2 Integráció: SDE, VIATRA

13 Tervezőeszközök transzformáció alapú integrációja (DECOS, DIANA) CRD editing PIM editing Simulink, C, Ada, etc. V-plan definition CRD PIM PIM PIM Predef. models V-plans PIM-PSM mapping PSM Behavioural modeling SCADE model Repository: specs., models, code, configs. V-plan execution V&V activity description Middleware generation Configuration generation Code generation PIL, HL services Config. data additional code libs. Job & wrapper Model transf. V&V execution Legend: Deployment specification design implementation Executables V&V

14 Hogyan transzformáljunk modelleket?

15 A VIATRA2 modelltranszformációs rendszer Eclipse keretrendszer VIATRA2 plugin ( Forrás metamodell VIATRA modelltér MT. szabály (GT+ASM) Cél metamodell Forrás modell MT motor Plugin generátor Cél modell Natív forrás leírás (text) Modellező eszköz Önálló MT Plugin (Java, EMF, EJB) Natív cél leírás (text) Analízis eszköz

16 Szoftver alapú rendszerek modelljei Fogalomtár (Metamodell) Grafikus szintakszis p1:port inputs c1:circuit subcomponents Absztrakt (Gráf) szintakszis g1:andgate

17 Gráftranszformációs szabályok (VIATRA) Baloldal (LHS) Jobboldal (RHS) F1: Család F2: Család F1: Család F2: Család tag tag M: Férfi W:Nő házas házas M: Férfi házas W:Nő tag tag F: Család

18 Végül néhány friss kutatásról

19 Modellszinkronizációs probléma Forrás Modell 1 MT Cél Modell 1 Forrás Modell 1 MT Cél Modell 1 Változás Változás Változás Forrás Modell 2 Újra MT Cél Modell 2 Forrás Modell 2 Cél Modell 2 Batch megközelítés Minden lépésben újratranszformálunk Inkrementális megközelítés Tároljuk a minták előfordulásait Csak az új modellrészekre hajtsuk végre a transzformációt Implementáció: RETE hálózatok

20 Modelltranszformáció példák alapján Bemenet: Előny: Kimenet: prototipikus, összetartozó forrás- és célmodell párok Elég a forrás és célnyelvet ismerni automatikusan generált Megspóroljuk transzformációs a szabályok szabályok egy részének felírását MTBE = Model Transformation By Example Minta Forrásmodell Prototipikus leképezés Minta Célmodell Automatikus generálás Forrás metamodell Transzformációs szabályok Cél metamodell Forrás modell Transzformációs motor Cél modell

21 Összefoglalás Milyenek a modellek? Domain/Szakterület-specifikusak Üzleti folyamatok, beágyazott rendszerek, stb. Szakértőknek szólnak Grafikus jelölésrendszer Hatékony fejlesztőeszközök (Eclipse) Miért is transzformáljunk modelleket? Korai hibadetekció minőség ++ Automatikus kódgenerálás termelékenység ++ Hogyan transzformál(j)unk modelleket? VIATRA2:

Transzformációk integrált alkalmazása a modellvezérelt szoftverfejlesztésben. Ráth István

Transzformációk integrált alkalmazása a modellvezérelt szoftverfejlesztésben. Ráth István Transzformációk integrált alkalmazása a modellvezérelt szoftverfejlesztésben Ráth István rath@mit.bme.hu A grafikus nyelvek... mindenhol ott vannak: Grafikus felületek (Visual Studio) Relációs sémák (dbdesign)

Részletesebben

Ráth István. DECOS Nemzeti Nap október 15. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Ráth István. DECOS Nemzeti Nap október 15. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Korszerű fejlesztő környezetek Ráth István Tartalom A szoftverfejlesztés evolúciója Szakterület-specifikus nyelvek és előnyeik Verifikáció és validáció a rendszertervezésben Modern fejlesztőkörnyezetek

Részletesebben

Ráth István. A fejlesztés evolúciója

Ráth István. A fejlesztés evolúciója Korszerű fejlesztő környezetek Ráth István Tartalom A szoftverfejlesztés evolúciója Szakterület-specifikus nyelvek és előnyeik Verifikáció és validáció a rendszertervezésben Modern fejlesztőkörnyezetek

Részletesebben

Rendszertervezés ágazat

Rendszertervezés ágazat Rendszertervezés Mérnök informatikus szak BSc Informatikai technológiák szakirány http://www.inf.mit.bme.hu/ Mérnök informatikus BSc A szakirány és ágazatai Informatikai technológiák szakirány Rendszertervezés

Részletesebben

Csertán György Balogh András. Fejlesztési környezet áttekintés PIM-PSM editor bemutatás Ellenőrzési tesztkörnyezet bemutatása

Csertán György Balogh András. Fejlesztési környezet áttekintés PIM-PSM editor bemutatás Ellenőrzési tesztkörnyezet bemutatása A DECOS fejlesztési környezet Csertán György Balogh András Tartalom Fejlesztési környezet áttekintés PM-PSM editor bemutatás Ellenőrzési tesztkörnyezet bemutatása 2 Célkitűzés Módszerek és eszközök specifikáció,

Részletesebben

Nagy bonyolultságú rendszerek fejlesztőeszközei

Nagy bonyolultságú rendszerek fejlesztőeszközei Nagy bonyolultságú rendszerek fejlesztőeszközei Balogh András balogh@optxware.com A cég A BME spin-off-ja A Hibatűrő Rendszerek Kutatócsoport tagjai alapították Tisztán magánkézben Szakmai háttér Hibatűrő

Részletesebben

Autóipari beágyazott rendszerek. Komponens és rendszer integráció

Autóipari beágyazott rendszerek. Komponens és rendszer integráció Autóipari beágyazott rendszerek és rendszer integráció 1 Magas szintű fejlesztési folyamat SW architektúra modellezés Modell (VFB) Magas szintű modellezés komponensek portok interfészek adattípusok meghatározása

Részletesebben

Metamodellezés. Simon Balázs BME IIT, 2011.

Metamodellezés. Simon Balázs BME IIT, 2011. Metamodellezés Simon Balázs BME IIT, 2011. Bevezetés Metamodellezés EMF & ecore Tartalom (C) Simon Balázs, BME IIT, 2011. 2 Hétfő: Simon Balázs Bevezetés hetente felváltva: előadás és gyakorlat metamodellezés

Részletesebben

Tartalom Platform-független modellezés Alkalmazás-modellezés A DECOS hardver platform Platform modellezés Hardver-szoftver integráció Implementáció 2

Tartalom Platform-független modellezés Alkalmazás-modellezés A DECOS hardver platform Platform modellezés Hardver-szoftver integráció Implementáció 2 Biztonság-vezérelt automatikus architektúra szintézis Balogh András abalogh@mit.bme.hu Tartalom Platform-független modellezés Alkalmazás-modellezés A DECOS hardver platform Platform modellezés Hardver-szoftver

Részletesebben

Varró Dániel MTA doktori értekezésének bírálata. Precíz modell transzformációk tervezése és analízise a modellvezérelt fejlesztésben

Varró Dániel MTA doktori értekezésének bírálata. Precíz modell transzformációk tervezése és analízise a modellvezérelt fejlesztésben Varró Dániel MTA doktori értekezésének bírálata Precíz modell transzformációk tervezése és analízise a modellvezérelt fejlesztésben Design and Analysis Techniques for Precise Model Transformations in Model-Driven

Részletesebben

Pataricza András

Pataricza András Kihívások, ipari és kutatási irányok Pataricza András pataric@mit.bme.hu Design for trust Mérés Paraméterezés Szimuláció Specifikáció Transzformáció Tervezési spec. spec. Teljesség, Ellentmondásmentesség

Részletesebben

Folyamatmodellezés és eszközei. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Folyamatmodellezés és eszközei. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Folyamatmodellezés és eszközei Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Folyamat, munkafolyamat Munkafolyamat (Workflow): azoknak a lépéseknek a sorozata,

Részletesebben

Informatikai technológiák szakirány Rendszertervezés ágazat

Informatikai technológiák szakirány Rendszertervezés ágazat Méréstechnika és Információs Rendszerek Tanszék Informatikai technológiák szakirány Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék A (BSc) Informatikai technológiák

Részletesebben

PRECÍZ MODELLTRANSZFORMÁCIÓK

PRECÍZ MODELLTRANSZFORMÁCIÓK PRECÍZ MODELLTRANSZFORMÁCIÓK TERVEZÉSE ÉS ANALÍZISE A MODELLVEZÉRELT FEJLESZTÉSBEN MTA DOKTORI ÉRTEKEZÉS TÉZISEI VARRÓ DÁNIEL BUDAPEST, 2011 Tartalomjegyzék 1. Bevezetés 3 1.1. Modellvezérelt fejlesztés

Részletesebben

Szoftverminőségbiztosítás

Szoftverminőségbiztosítás NGB_IN003_1 SZE 2014-15/2 (13) Szoftverminőségbiztosítás Szoftverminőség és formális módszerek Formális módszerek Formális módszer formalizált módszer(tan) Formális eljárások alkalmazása a fejlesztésben

Részletesebben

Informatikai rendszertervezés

Informatikai rendszertervezés Informatikai rendszertervezés Dr. Varró Dániel Budapesti Műszaki és Gazdaságtudományi Egyetem Hibatűrő Rendszerek Kutatócsoport Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs

Részletesebben

A Hibatűrő Rendszerek Kutatócsoport EU kutatási projektekjei

A Hibatűrő Rendszerek Kutatócsoport EU kutatási projektekjei Budapesti Műszaki és Gazdaságtudományi Egyetem A EU kutatási projektekjei Európai partnereink RESIST BME (HU) City U. (UK) TU Darmstadt (DE) Deep Blue Srl (IT) France Telecom R&D (FR) IBM Research GmbH

Részletesebben

DECOS Nemzeti Nap. DECOS Nemzeti Nap. DECOS Nemzeti Nap

DECOS Nemzeti Nap. DECOS Nemzeti Nap. DECOS Nemzeti Nap Biztonság-vezérelt automatikus architektúra szintézis Balogh András abalogh@mit.bme.hu Implementáció 2 Célkitűzés Fejlesztőeszköz készítése modell-alapú folyamathoz Meglevő eszközök felhasználásával Fejlesztési

Részletesebben

Szolgáltatásintegráció (VIMIM234) tárgy bevezető

Szolgáltatásintegráció (VIMIM234) tárgy bevezető Szolgáltatásintegráció Szolgáltatásintegráció (VIMIM234) tárgy bevezető Gönczy László gonczy@mit.bme.hu A tárgyról A tantárgy célja a hallgatók megismertetése a komplex informatikai rendszerek integrációs

Részletesebben

Modellinformációk szabványos cseréje. Papp Ágnes, Debreceni Egyetem EFK

Modellinformációk szabványos cseréje. Papp Ágnes, Debreceni Egyetem EFK Modellinformációk szabványos cseréje Papp Ágnes, agi@delfin.unideb.hu Debreceni Egyetem EFK Tartalom MOF, UML, XMI Az UML és az XML séma MDA - Model Driven Architecture Networkshop 2004 2 Az OMG metamodell

Részletesebben

Verifikáció és validáció Általános bevezető

Verifikáció és validáció Általános bevezető Verifikáció és validáció Általános bevezető Általános Verifikáció és validáció verification and validation - V&V: ellenőrző és elemző folyamatok amelyek biztosítják, hogy a szoftver megfelel a specifikációjának

Részletesebben

Informatikai rendszertervezés

Informatikai rendszertervezés Informatikai rendszertervezés Budapesti Műszaki és Gazdaságtudományi Egyetem Hibatűrő Rendszerek Kutatócsoport Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Részletesebben

Modell alapú tesztelés mobil környezetben

Modell alapú tesztelés mobil környezetben Modell alapú tesztelés mobil környezetben Micskei Zoltán Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék A terület behatárolása Testing is an activity performed

Részletesebben

Folyamatmodellezés és eszközei. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Folyamatmodellezés és eszközei. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Folyamatmodellezés és eszközei Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Folyamat, munkafolyamat Ez vajon egy állapotgép-e? Munkafolyamat (Workflow):

Részletesebben

DECOS Nemzeti Nap október 15. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

DECOS Nemzeti Nap október 15. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Megfelelőség tanúsítása modell alapon Dr. Polgár Balázs polgar@mit.bme.hu Miről lesz szó? 2 Tartalom Célkitűzés Megoldandó feladatok A tesztkörnyezet komponensei folyamatok Eszközintegrációs szintek Megfelelőségtanúsítás

Részletesebben

Oracle9i Alkalmazás Szerver Üzleti folyamat integráció. Molnár Balázs Vezető értékesítési konzultáns Oracle Hungary

Oracle9i Alkalmazás Szerver Üzleti folyamat integráció. Molnár Balázs Vezető értékesítési konzultáns Oracle Hungary Oracle9i Alkalmazás Szerver Üzleti folyamat integráció Molnár Balázs Vezető értékesítési konzultáns Oracle Hungary Üzleti folyamat integráció Kereskedők Beszállítók Partnerek Alkalmazás Disztribútor Belső

Részletesebben

Webszolgáltatás alapokon BPEL

Webszolgáltatás alapokon BPEL Üzleti folyamatok Webszolgáltatás alapokon BPEL Pl.: Bank: Motiváció o Ahány beszállító, annyi technológia, módszertan, protokoll o Régi eszközöket soha nem selejteznek le Meglévő workflow eszközök o Gyártófüggőek

Részletesebben

Data Integrátorok a gyakorlatban Oracle DI vs. Pentaho DI Fekszi Csaba Ügyvezető Vinnai Péter Adattárház fejlesztő 2013. február 20.

Data Integrátorok a gyakorlatban Oracle DI vs. Pentaho DI Fekszi Csaba Ügyvezető Vinnai Péter Adattárház fejlesztő 2013. február 20. Data Integrátorok a gyakorlatban Oracle DI vs. Pentaho DI Fekszi Csaba Ügyvezető Vinnai Péter Adattárház fejlesztő 2013. február 20. 1 2 3 4 5 6 7 8 Pentaho eszköztára Data Integrator Spoon felület Spoon

Részletesebben

Célkitűzés Megoldandó feladatok A tesztkörnyezet komponensei V&V folyamatok Eszközintegrációs szintek. Megfelelőség tanúsítása modell alapon

Célkitűzés Megoldandó feladatok A tesztkörnyezet komponensei V&V folyamatok Eszközintegrációs szintek. Megfelelőség tanúsítása modell alapon Megfelelőség tanúsítása modell alapon Dr. Polgár Balázs polgar@mit.bme.hu Miről lesz szó? 2 Tartalom Célkitűzés Megoldandó feladatok A tesztkörnyezet komponensei folyamatok Eszközintegrációs szintek Megfelelőségtanúsítás

Részletesebben

Szolgáltatásintegráció (VIMIM234) tárgy bevezető

Szolgáltatásintegráció (VIMIM234) tárgy bevezető Szolgáltatásintegráció Szolgáltatásintegráció (VIMIM234) tárgy bevezető Gönczy László gonczy@mit.bme.hu A tárgyról A tantárgy célja a hallgatók megismertetése a komplex informatikai rendszerek integrációs

Részletesebben

Közösség, projektek, IDE

Közösség, projektek, IDE Eclipse Közösség, projektek, IDE Eclipse egy nyílt forráskódú (open source) projekteken dolgozó közösség, céljuk egy kiterjeszthető fejlesztői platform és keretrendszer fejlesztése, amely megoldásokkal

Részletesebben

Folyamatmodellezés (BPMN) és alkalmazásai

Folyamatmodellezés (BPMN) és alkalmazásai Folyamatmodellezés (BPMN) és alkalmazásai Rendszermodellezés 2018. Budapesti Műszaki és Gazdaságtudományi Egyetem Hibatűrő Rendszerek Kutatócsoport Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika

Részletesebben

Webszolgáltatás alapokon BPEL

Webszolgáltatás alapokon BPEL Üzleti folyamatok Webszolgáltatás alapokon BPEL Pl.: Bank: Motiváció o Ahány beszállító, annyi technológia, módszertan, protokoll o Régi eszközöket soha nem selejteznek le Meglévő workflow eszközök o Gyártófüggőek

Részletesebben

Használati alapú és modell alapú tesztelés kombinálása szolgáltatásorientált architektúrák teszteléséhez az ipari gyakorlatban

Használati alapú és modell alapú tesztelés kombinálása szolgáltatásorientált architektúrák teszteléséhez az ipari gyakorlatban Használati alapú és modell alapú tesztelés kombinálása szolgáltatásorientált architektúrák teszteléséhez az ipari gyakorlatban Nagy Attila Mátyás 2016.12.07. Áttekintés Bevezetés Megközelítés Pilot tanulmányok

Részletesebben

Viczián István IP Systems http://jtechlog.blogspot.hu/ JUM XIX. - 2012. szeptember 18.

Viczián István IP Systems http://jtechlog.blogspot.hu/ JUM XIX. - 2012. szeptember 18. Viczián István IP Systems http://jtechlog.blogspot.hu/ JUM XIX. - 2012. szeptember 18. Két projekt Mindkettőben folyamatirányítás Eltérő követelmények Eltérő megoldások Dokumentum gyártási folyamat Üzemeltetés

Részletesebben

Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék. Folyamatmodellezés

Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék. Folyamatmodellezés Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Folyamatmodellezés Folyamat, munkafolyamat Munkafolyamat (Workflow): azoknak a lépéseknek a sorozata, amelyeket

Részletesebben

MODELLTRANSZFORMÁCIÓS SZABÁLYOK AUTOMATIKUS GENERÁLÁSA PÉLDÁK ALAPJÁN

MODELLTRANSZFORMÁCIÓS SZABÁLYOK AUTOMATIKUS GENERÁLÁSA PÉLDÁK ALAPJÁN Diplomaterv MODELLTRANSZFORMÁCIÓS SZABÁLYOK AUTOMATIKUS GENERÁLÁSA PÉLDÁK ALAPJÁN Balogh Zoltán Konzulens Dr. Varró Dániel Egyetemi adjunktus Méréstechnika és Információs Rendszerek Tanszék Budapesti Műszaki

Részletesebben

Automatikus tesztgenerálás modell ellenőrző segítségével

Automatikus tesztgenerálás modell ellenőrző segítségével Méréstechnika és Információs Rendszerek Tanszék Automatikus tesztgenerálás modell ellenőrző segítségével Micskei Zoltán műszaki informatika, V. Konzulens: Dr. Majzik István Tesztelés Célja: a rendszerben

Részletesebben

Modellek fejlesztése

Modellek fejlesztése Modellek fejlesztése Budapesti Műszaki és Gazdaságtudományi Egyetem Hibatűrő Rendszerek Kutatócsoport Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék 1 Tartalom

Részletesebben

Végül, nagyon szépen köszönöm családomnak és barátaimnak a sok áldozatot és türelmet.

Végül, nagyon szépen köszönöm családomnak és barátaimnak a sok áldozatot és türelmet. Budapesti Műszaki és Gazdaságtudományi Egyetem Műszaki Tudományág Informatikai Tudományszak Eseményvezérelt modelltranszformációk szakterület-specifikus nyelvekben PhD értekezés tézisei Ráth István okl.

Részletesebben

TSIMMIS egy lekérdezés centrikus megközelítés. TSIMMIS célok, technikák, megoldások TSIMMIS korlátai További lehetségek

TSIMMIS egy lekérdezés centrikus megközelítés. TSIMMIS célok, technikák, megoldások TSIMMIS korlátai További lehetségek TSIMMIS egy lekérdezés centrikus megközelítés TSIMMIS célok, technikák, megoldások TSIMMIS korlátai További lehetségek 1 Információk heterogén információs forrásokban érhetk el WWW Társalgás Jegyzet papírok

Részletesebben

Modellek fejlesztése

Modellek fejlesztése Modellek fejlesztése Molnár Vince, Dr. Pataricza András Budapesti Műszaki és Gazdaságtudományi Egyetem Hibatűrő Rendszerek Kutatócsoport Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és

Részletesebben

Üzleti folyamatok rugalmasabb IT támogatása. Nick Gábor András 2009. szeptember 10.

Üzleti folyamatok rugalmasabb IT támogatása. Nick Gábor András 2009. szeptember 10. Üzleti folyamatok rugalmasabb IT támogatása Nick Gábor András 2009. szeptember 10. A Generali-Providencia Magyarországon 1831: A Generali Magyarország első biztosítója 1946: Vállalatok államosítása 1989:

Részletesebben

Utolsó módosítás:

Utolsó módosítás: Utolsó módosítás: 2012. 02. 20. 1 Bonyolult rendszerekkel csak úgy tudunk dolgozni, hogy először egy egyszerűbb modellt építünk, megvizsgáljuk a rendszert különböző szempontokból. A modellezés nagyon általános

Részletesebben

Válasz opponensi bírálatra

Válasz opponensi bírálatra Válasz opponensi bírálatra Opponens: Gyimóthy Tibor, egyetemi tanár, az MTA doktora MTA értekezés címe: Precíz modell transzformációk tervezése és analízise a modellvezérelt fejlesztésben Szeretném megköszönni

Részletesebben

Utolsó módosítás:

Utolsó módosítás: Utolsó módosítás: 2016. 02. 16. 1 Bonyolult rendszerekkel csak úgy tudunk dolgozni, hogy először egyszerűbb modelleket építünk, és ezeknek a segítségével megvizsgáljuk a rendszert különböző szempontokból.

Részletesebben

Hogyan lehet megakadályozni az üzleti modellezés és az IT implementáció szétválását? Oracle BPM Suite

Hogyan lehet megakadályozni az üzleti modellezés és az IT implementáció szétválását? Oracle BPM Suite Hogyan lehet megakadályozni az üzleti modellezés és az IT implementáció szétválását? Oracle BPM Suite Petrohán Zsolt Vezető tanácsadó zsolt.petrohan@oracle.com Napirend Oracle Fusion Middleware BPM kihívásai

Részletesebben

Ficsor Lajos Általános Informatikai Tanszék Miskolci Egyetem

Ficsor Lajos Általános Informatikai Tanszék Miskolci Egyetem A Java EE 5 platform Ficsor Lajos Általános Informatikai Tanszék Miskolci Egyetem Utolsó módosítás: 2008. 04. 17. A Java EE 5 platform A Java EE 5 plattform A J2EE 1.4 után következő verzió. Alapvető továbbfejlesztési

Részletesebben

Formális módszerek GM_IN003_1 Bevezetés

Formális módszerek GM_IN003_1 Bevezetés Formális módszerek GM_IN003_1 Formális módszerek Formális módszer! formalizált módszer(tan) Formális eljárások alkalmazása a fejlesztésben nincs olyan formális eljárás, ami egy komplex rendszer minden

Részletesebben

Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék. Folyamatmodellezés

Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék. Folyamatmodellezés Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Folyamatmodellezés Folyamat, munkafolyamat Munkafolyamat (Workflow): azoknak a lépéseknek a sorozata, amelyeket

Részletesebben

Adattárház kialakítása a Szövetkezet Integrációban, UML eszközökkel. Németh Rajmund Vezető BI Szakértő március 28.

Adattárház kialakítása a Szövetkezet Integrációban, UML eszközökkel. Németh Rajmund Vezető BI Szakértő március 28. Adattárház kialakítása a Szövetkezet Integrációban, UML eszközökkel Németh Rajmund Vezető BI Szakértő 2017. március 28. Szövetkezeti Integráció Központi Bank Takarékbank Zrt. Kereskedelmi Bank FHB Nyrt.

Részletesebben

Szolgáltatásorientált rendszerintegráció. SOA-alapú rendszerintegráció. Enterprise Service Bus (ESB) Ercsényi András, BME IIT, 2011.

Szolgáltatásorientált rendszerintegráció. SOA-alapú rendszerintegráció. Enterprise Service Bus (ESB) Ercsényi András, BME IIT, 2011. Szolgáltatásorientált rendszerintegráció SOA-alapú rendszerintegráció Enterprise Service Bus (ESB) Mi a téma? Valójában alkalmazásintegráció integrációs minták szinkron (RPC, RMI) aszinkron web service

Részletesebben

Modellezési alapismeretek

Modellezési alapismeretek Modellezési alapismeretek Budapesti Műszaki és Gazdaságtudományi Egyetem Hibatűrő Rendszerek Kutatócsoport Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Részletesebben

Szoftver-technológia II. Szoftver újrafelhasználás. (Software reuse) Irodalom

Szoftver-technológia II. Szoftver újrafelhasználás. (Software reuse) Irodalom Szoftver újrafelhasználás (Software reuse) Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 18. Roger S. Pressman: Software Engineering, 5th e. chapter 27. 2 Szoftver újrafelhasználás Szoftver

Részletesebben

Testreszabott alkalmazások fejlesztése Notes és Quickr környezetben

Testreszabott alkalmazások fejlesztése Notes és Quickr környezetben Testreszabott alkalmazások fejlesztése Notes és Quickr környezetben Szabó János Lotus Brand Manager IBM Magyarországi Kft. 1 Testreszabott alkalmazások fejlesztése Lotus Notes és Quickr környezetben 2

Részletesebben

S01-8 Komponens alapú szoftverfejlesztés 2

S01-8 Komponens alapú szoftverfejlesztés 2 S01-8 Komponens alapú szoftverfejlesztés 2 Tartalom 1. Komponens megvalósítása: kölcsönhatás modell, viselkedési vagy algoritmikus modell és strukturális modell. 2. Komponens megtestesítés: finomítás és

Részletesebben

Laborgyakorlat 3 A modul ellenőrzése szimulációval. Dr. Oniga István

Laborgyakorlat 3 A modul ellenőrzése szimulációval. Dr. Oniga István Laborgyakorlat 3 A modul ellenőrzése szimulációval Dr. Oniga István Szimuláció és verifikáció Szimulációs lehetőségek Start Ellenőrzés után Viselkedési Funkcionális Fordítás után Leképezés után Időzítési

Részletesebben

Szoftver újrafelhasználás

Szoftver újrafelhasználás Szoftver újrafelhasználás Szoftver újrafelhasználás Szoftver fejlesztésekor korábbi fejlesztésekkor létrehozott kód felhasználása architektúra felhasználása tudás felhasználása Nem azonos a portolással

Részletesebben

Diplomaterv. Horváth Ádám Gábor. Ráth István, doktorandusz

Diplomaterv. Horváth Ádám Gábor. Ráth István, doktorandusz Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Fejlesztőeszközök integrációja Eclipse környezetben Diplomaterv Horváth Ádám Gábor Konzulens: Ráth István,

Részletesebben

Folyamatmodellezés és eszközei. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Folyamatmodellezés és eszközei. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Folyamatmodellezés és eszközei Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Folyamat, munkafolyamat Munkafolyamat (Workflow): azoknak a lépéseknek a sorozata,

Részletesebben

MEGA ÜZLETI FOLYAMATMENEDZSMENT ÉS VÁLLALATI ARCHITEKTÚRA MEGOLDÁSOK. Kóczé Zoltán Tanácsadó

MEGA ÜZLETI FOLYAMATMENEDZSMENT ÉS VÁLLALATI ARCHITEKTÚRA MEGOLDÁSOK. Kóczé Zoltán Tanácsadó MEGA ÜZLETI FOLYAMATMENEDZSMENT ÉS VÁLLALATI ARCHITEKTÚRA MEGOLDÁSOK Kóczé Zoltán Tanácsadó 2 Bevezető Nem a legerősebbek, vagy a legintelligensebbek, hanem a legjobban alkalmazkodók maradnak fenn. 3 Modellezés

Részletesebben

Modellellenőrzés a vasút automatikai rendszerek fejlesztésében. XIX. Közlekedésfejlesztési és beruházási konferencia Bükfürdő

Modellellenőrzés a vasút automatikai rendszerek fejlesztésében. XIX. Közlekedésfejlesztési és beruházási konferencia Bükfürdő Modellellenőrzés a vasút automatikai rendszerek fejlesztésében XIX. Közlekedésfejlesztési és beruházási konferencia Bükfürdő 2018.04.25-27. Tartalom 1. Formális módszerek state of the art 2. Esettanulmány

Részletesebben

A Java EE 5 plattform

A Java EE 5 plattform A Java EE 5 platform Ficsor Lajos Általános Informatikai Tanszék Miskolci Egyetem Utolsó módosítás: 2007. 11. 13. A Java EE 5 platform A Java EE 5 plattform A J2EE 1.4 után következő verzió. Alapvető továbbfejlesztési

Részletesebben

BIG DATA ÉS GÉPI TANULÁS KÖRNYEZET AZ MTA CLOUD-ON KACSUK PÉTER, NAGY ENIKŐ, PINTYE ISTVÁN, HAJNAL ÁKOS, LOVAS RÓBERT

BIG DATA ÉS GÉPI TANULÁS KÖRNYEZET AZ MTA CLOUD-ON KACSUK PÉTER, NAGY ENIKŐ, PINTYE ISTVÁN, HAJNAL ÁKOS, LOVAS RÓBERT BIG DATA ÉS GÉPI TANULÁS KÖRNYEZET AZ MTA CLOUD-ON KACSUK PÉTER, NAGY ENIKŐ, PINTYE ISTVÁN, HAJNAL ÁKOS, LOVAS RÓBERT TARTALOM MTA Cloud Big Data és gépi tanulást támogató szoftver eszközök Apache Spark

Részletesebben

Modelltranszformációk statikus analízise

Modelltranszformációk statikus analízise Modelltranszformációk statikus analízise Ujhelyi Zoltán Budapesti Műszaki és Gazdaságtudományi Egyetem, Méréstechnika és Információs Rendszerek Tanszék Manapság a szoftverfejlesztés területén egyre hangsúlyosabb

Részletesebben

Integrációs mellékhatások és gyógymódok a felhőben. Géczy Viktor Üzletfejlesztési igazgató

Integrációs mellékhatások és gyógymódok a felhőben. Géczy Viktor Üzletfejlesztési igazgató Integrációs mellékhatások és gyógymódok a felhőben Géczy Viktor Üzletfejlesztési igazgató Middleware projektek sikertelenségeihez vezethet Integrációs (interfész) tesztek HIÁNYA Tesztadatok? Emulátorok?

Részletesebben

Software Engineering Babeş-Bolyai Tudományegyetem Kolozsvár

Software Engineering Babeş-Bolyai Tudományegyetem Kolozsvár Software Engineering Dr. Barabás László Ismétlés/Kitekintő Ismétlés Software Engineering = softwaretechnológia Projekt, fogalma és jellemzői, személyek és szerepkörök Modell, módszertan Kitekintés Elemzés/

Részletesebben

Modellezési alapismeretek

Modellezési alapismeretek Modellezési alapismeretek Rendszermodellezés Budapesti Műszaki és Gazdaságtudományi Egyetem Hibatűrő Rendszerek Kutatócsoport Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs

Részletesebben

Életciklus modellek a rendszer és szoftverrendszer-fejlesztésben. SDLC System Development Life Cycle Software Development Life Cycle

Életciklus modellek a rendszer és szoftverrendszer-fejlesztésben. SDLC System Development Life Cycle Software Development Life Cycle Életciklus modellek a rendszer és szoftverrendszer-fejlesztésben SDLC System Development Life Cycle Software Development Life Cycle Mi az életciklus? A termék piacon való megjelenésétől a kivonásáig terjedő

Részletesebben

Rendszermodellezés: házi feladat bemutatás

Rendszermodellezés: házi feladat bemutatás Rendszermodellezés: házi feladat bemutatás Budapest University of Technology and Economics Fault Tolerant Systems Research Group Budapest University of Technology and Economics Department of Measurement

Részletesebben

BPEL nyelvű üzleti folyamatok modellezése és formális ellenőrzése

BPEL nyelvű üzleti folyamatok modellezése és formális ellenőrzése BPEL nyelvű üzleti folyamatok modellezése és formális ellenőrzése Kovács Máté, Gönczy László {kovmate,gonczy}@mit.bme.hu Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek

Részletesebben

Folyamatmodellezés implementáció

Folyamatmodellezés implementáció Folyamatmodellezés implementáció BPEL jbpm (XPDL) Kitekintés: folyamatanalízis Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Pl.: Bank: Motiváció o Ahány

Részletesebben

Ügyfél- és címadatok feldolgozása Talenddel

Ügyfél- és címadatok feldolgozása Talenddel Ügyfél- és címadatok feldolgozása Talenddel 2012.október 4. Dr. Miskolczi Mátyás, Kiss György A Stratisról röviden Jellemzők - Alapítva: 1998 - Tisztán magyar tulajdon - 50 tanácsadó - 140 ügyfél - 500+

Részletesebben

Folyamattervezéstıl a megvalósításig

Folyamattervezéstıl a megvalósításig IBM Software Group Folyamattervezéstıl a megvalósításig Balogh Péter WebSphere Technical Specialist IBM Software Group Koczé Zoltán Tanácsadó Hyperteam 2006 IBM Corporation IBM Software Group Problémák

Részletesebben

Szolgáltatás Orientált Architektúra a MAVIR-nál

Szolgáltatás Orientált Architektúra a MAVIR-nál Szolgáltatás Orientált Architektúra a MAVIR-nál Sajner Zsuzsanna Accenture Sztráda Gyula MAVIR ZRt. FIO 2009. szeptember 10. Tartalomjegyzék 2 Mi a Szolgáltatás Orientált Architektúra? A SOA bevezetés

Részletesebben

OpenCL alapú eszközök verifikációja és validációja a gyakorlatban

OpenCL alapú eszközök verifikációja és validációja a gyakorlatban OpenCL alapú eszközök verifikációja és validációja a gyakorlatban Fekete Tamás 2015. December 3. Szoftver verifikáció és validáció tantárgy Áttekintés Miért és mennyire fontos a megfelelő validáció és

Részletesebben

A szoftverfejlesztés eszközei

A szoftverfejlesztés eszközei A szoftverfejlesztés eszközei Fejleszt! eszközök Segédeszközök (szoftverek) programok és fejlesztési dokumentáció írásához elemzéséhez teszteléséhez karbantartásához 2 Történet (hw) Lyukkártya válogató

Részletesebben

UML (Unified Modelling Language)

UML (Unified Modelling Language) UML (Unified Modelling Language) UML (+ Object Constraint Language) Az objektum- modellezés egy szabványa (OMG) UML A 80-as, 90-es években egyre inkább terjedő objektum-orientált analízis és tervezés (OOA&D)

Részletesebben

Modellező eszközök, kódgenerálás

Modellező eszközök, kódgenerálás Modellező eszközök, kódgenerálás Budapesti Műszaki és Gazdaságtudományi Egyetem Hibatűrő Rendszerek Kutatócsoport Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek

Részletesebben

Autóipari beágyazott rendszerek. Kockázatelemzés

Autóipari beágyazott rendszerek. Kockázatelemzés Autóipari beágyazott rendszerek Kockázatelemzés 1 Biztonságkritikus rendszer Beágyazott rendszer Aminek hibája Anyagi vagyont, vagy Emberéletet veszélyeztet Tipikus példák ABS, ESP, elektronikus szervokormány

Részletesebben

Copyright 2012, Oracle and/or its affiliates. All rights reserved.

Copyright 2012, Oracle and/or its affiliates. All rights reserved. 1 Oracle Felhő Alkalmazások: Gyorsabb eredmények alacsonyabb kockázattal Biber Attila Igazgató Alkalmazások Divízió 2 M I L L I Á RD 4 1 PERC MINDEN 5 PERCBŐL 5 6 Ember használ mobilt 7 FELHŐ SZOLGÁLTATÁS

Részletesebben

Folyamatmodellezés implementáció

Folyamatmodellezés implementáció Folyamatmodellezés implementáció BPEL jbpm (XPDL) Kitekintés: folyamatanalízis Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Pl.: Bank: Motiváció o Ahány

Részletesebben

Oracle SQL Developer Data Modeler és a DW adatmodellezés. Gollnhofer Gábor Meta Consulting Kft.

Oracle SQL Developer Data Modeler és a DW adatmodellezés. Gollnhofer Gábor Meta Consulting Kft. Oracle SQL Developer Data Modeler és a DW adatmodellezés Gollnhofer Gábor Meta Consulting Kft. Oracle Information Management & Big Data Reference Architecture 2 Mi a NoSQL modellezés célja? Forrás: Insights

Részletesebben

Folyamatoptimalizálás: a felhőalapú modernizáció kiindulópontja. Bertók Botond Pannon Egyetem, Műszaki Informatikai Kar

Folyamatoptimalizálás: a felhőalapú modernizáció kiindulópontja. Bertók Botond Pannon Egyetem, Műszaki Informatikai Kar Folyamatoptimalizálás: a felhőalapú modernizáció kiindulópontja Bertók Botond Pannon Egyetem, Műszaki Informatikai Kar Tartalom Felhőalapú szolgáltatások Kihívások Módszertan Kutatás Projektek 2 Felső

Részletesebben

Business Service Management Varga Zsolt NPSH operatív vezető

Business Service Management Varga Zsolt NPSH operatív vezető Business Service Management Varga Zsolt NPSH operatív vezető zvarga@novell.com Managed Objects is a Novell Company TÚ LÉ LÉ S Business Service Management Varga Zsolt NPSH operatív vezető zvarga@novell.com

Részletesebben

Programrendszerek tanúsítása szoftverminőség mérése

Programrendszerek tanúsítása szoftverminőség mérése SZEGEDI TUDOMÁNYEGYETEM Programrendszerek tanúsítása szoftverminőség mérése Dr. Gyimóthy Tibor Dr. Ferenc Rudolf Szoftverminőség biztosítás Fő cél: az üzemelő IT rendszerekben csökkenteni a hibák számát

Részletesebben

AUTOMATIKUS MODELLTRANSZFORMÁCIÓK

AUTOMATIKUS MODELLTRANSZFORMÁCIÓK BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM MŰSZAKI TUDOMÁNYÁG INFORMATIKAI TUDOMÁNYSZAK AUTOMATIKUS MODELLTRANSZFORMÁCIÓK INFORMATIKAI RENDSZEREK VIZSGÁLATÁHOZ PHD ÉRTEKEZÉS TÉZISEI VARRÓ DÁNIEL OKL.

Részletesebben

Bokor Péter. DECOS Nemzeti Nap október 15. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Bokor Péter. DECOS Nemzeti Nap október 15. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Beépített diagnosztika Bokor Péter Tartalom 1. Elosztott diagnosztika: a feladat 2. A diagnosztika kihívása 3. A tagság mint diagnosztika 4. A DECOS diagnosztikai szolgáltatások 5. Kapcsolódó feladatok:

Részletesebben

Információtartalom vázlata

Információtartalom vázlata 1. Az Ön cégétől árajánlatot kértek egy üzleti portál fejlesztésére, amelynek célja egy online áruház kialakítása. Az árajánlatkérés megválaszolásához munkaértekezletet tartanak, ahol Önnek egy vázlatos

Részletesebben

Sapientia - Erdélyi Magyar TudományEgyetem (EMTE) Csíkszereda IRT 6. kurzus

Sapientia - Erdélyi Magyar TudományEgyetem (EMTE) Csíkszereda IRT 6. kurzus Sapientia - Erdélyi Magyar TudományEgyetem (EMTE) Csíkszereda IRT 6. kurzus 5-ös Kurzus (UML) Visszatekintés: történelmi szempontok Az UML létrejötte UML-1 (Unified Modeling Language) és UML-2 Magyarul

Részletesebben

Domain- specifikus modellezés az Eclipse Modeling Framework használatával

Domain- specifikus modellezés az Eclipse Modeling Framework használatával Domain- specifikus modellezés az Eclipse Modeling Framework használatával Budapes( Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Domain- specifikus nyelvek: miért?

Részletesebben

A formális módszerek szerepe

A formális módszerek szerepe A formális módszerek szerepe dr. Majzik István dr. Bartha Tamás dr. Pataricza András BME Méréstechnika és Információs ek Tanszék 1 Mik azok a formális módszerek? 2 Matematikai technikák Formális módszerek

Részletesebben

Programozási Technológia 1. 1. előadás bevezetés. Előadó: Lengyel Zsolt

Programozási Technológia 1. 1. előadás bevezetés. Előadó: Lengyel Zsolt Programozási Technológia 1. 1. előadás bevezetés Előadó: Lengyel Zsolt Tartalom Információk a tantárggyal kapcsolatban Programozási technológiai eszközök áttekintése UML tervezőeszközök JAVA fejlesztőeszközök,

Részletesebben

A fejlesztéshez használható eszközök

A fejlesztéshez használható eszközök A fejlesztéshez használható eszközök CASE Tools Computer Aided Software Engineering Tools 2018.12.07. Korszerű módszerek a közlekedésautomatikai rendszerek fejlesztésében 1 Ismétlés fejlesztési háromszög

Részletesebben

Tesztelési szintek Tesztautomatizálás

Tesztelési szintek Tesztautomatizálás Integrációs és ellenőrzési technikák (VIMIA04) Tesztelési szintek Tesztautomatizálás Majzik István, Micskei Zoltán Méréstechnika és Információs Rendszerek Tanszék Budapesti Műszaki és Gazdaságtudományi

Részletesebben

Nyílt hozzáférésű informatikai rendszerek BME VIMM 5294

Nyílt hozzáférésű informatikai rendszerek BME VIMM 5294 Nyílt hozzáférésű informatikai rendszerek BME VIMM 5294 Übelhart István ubelhart@mit.bme.hu Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszéke Nyílt rendszerek

Részletesebben

Google App Engine az Oktatásban 1.0. ügyvezető MattaKis Consulting http://www.mattakis.com

Google App Engine az Oktatásban 1.0. ügyvezető MattaKis Consulting http://www.mattakis.com Google App Engine az Oktatásban Kis 1.0 Gergely ügyvezető MattaKis Consulting http://www.mattakis.com Bemutatkozás 1998-2002 között LME aktivista 2004-2007 Siemens PSE mobiltelefon szoftverfejlesztés,

Részletesebben

Szoftverminőségbiztosítás

Szoftverminőségbiztosítás NGB_IN003_1 SZE 2014-15/2 (3) Szoftverminőségbiztosítás A szoftverminőségbiztosítási rendszer (folyt.) Eljárások, munkautasítások Eljárás: egy adott módja valami elvégzésének részletezett tevékenységek,

Részletesebben

Elosztott biztonságkritikus rendszerek modellvezérelt fejlesztése

Elosztott biztonságkritikus rendszerek modellvezérelt fejlesztése Budapesti Műszaki és Gazdaságtudományi Egyetem Villamosmérnöki és Informatikai Kar Méréstechnika és Információs Rendszerek Tanszék Elosztott biztonságkritikus rendszerek modellvezérelt fejlesztése TDK

Részletesebben

Folyamatmodellezés a gyakorlatban. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Folyamatmodellezés a gyakorlatban. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Folyamatmodellezés a gyakorlatban Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Business ProcessModeling Notation Business ProcessModeling Notation (BPMN)

Részletesebben