Detail projektu
Vývoj systémů založený na modelech
Období řešení: 1. 1. 2007 - 31. 12. 2009
Typ projektu: grant
Kód: GP102/07/P306
Agentura: Grantová agentura České republiky
Program:
vysokoúrovňový návrh, modelování, metamodelování, simulace, adaptivní software
Podstatným rysem současných softwarových systémů je jejich rostoucí složitost. V oblasti vývoje těchto systémů je proto v popředí zájmu jednak zvyšování efektivity vývojového procesu, ale také zvyšování spolehlivosti vyvíjených systémů. Jedním z aktivně rozvíjených přístupů je aplikace vysokoúrovňových formálních modelů a teorie modelování a simulace. Klíčovou myšlenkou je modelovat softwarové systémy takovými prostředky, které umožňují jednoduchý a spolehlivý způsob ověřování modelů a plynulý přechod od modelů k cílové aplikaci. Navrhovaný projekt je zaměřen na základní výzkum v oblasti pokročilých modelovacích a simulačních technik ve vývoji softwarových systémů. Zejména se zaměřuje na integraci vybraných typů vysokoúrovňových modelů, na integraci modelů a aplikačního prostředí a na možnosti využití modelů ve spojení s metaúrovňovými architekturami ve vývoji adaptivního softwaru. Projekt navazuje na zkušenosti a výsledky, které již pracoviště navrhovatele v této oblasti získalo.
2010
- KOČÍ Radek, JANOUŠEK Vladimír a ZBOŘIL František. Object Oriented Petri Nets - Modelling Techniques Case Study. International Journal of Simulation Systems, Science & Technology, roč. 10, č. 3, 2010, s. 32-44. ISSN 1473-8031. Detail
2009
- ZBOŘIL František, JANOUŠEK Vladimír, KOČÍ Radek, MAZAL Zdeněk a ZBOŘIL František V. Framework for model-based design of mullti-agent systems. International Journal of Autonomic Computing, roč. 1, č. 2, 2009, s. 140-162. ISSN 1741-8569. Detail
- MAZAL Zdeněk, KOČÍ Radek, JANOUŠEK Vladimír a ZBOŘIL František. Modelling intelligent agents for autonomic computing in the PNagent framework. International Journal of Autonomic Computing, roč. 1, č. 2, 2009, s. 121-139. ISSN 1741-8569. Detail
- KOČÍ Radek a JANOUŠEK Vladimír. On the Dynamic Features of PNtalk. In: International Workshop on Petri Nets and Software Engineering 2009. Paříž: Université Pierre et Marie Curie, 2009, s. 189-206. Detail
- KOČÍ Radek a JANOUŠEK Vladimír. Simulation Based Design of Control Systems using DEVS and Petri Nets. In: Computer Aided Systems Theory. Las Palmas de Gran Canaria: Universidad de Las Palmas de Gran Canaria, 2009, s. 291-292. ISBN 978-84-691-8502-5. Detail
- KOČÍ Radek a JANOUŠEK Vladimír. Simulation Based Design of Control Systems Using DEVS and Petri Nets. In: Computer Aided Systems Theory - EUROCAST 2009. Lecture Notes in Computer Science, Volume 5717. Berlin: Springer Verlag, 2009, s. 849-856. ISBN 978-3-642-04771-8. Detail
- KOČÍ Radek a JANOUŠEK Vladimír. Towards Simulation-Based Design of the Software Systems. In: The Fourth International Conference on Software Engineering Advances. Los Alamitos: IEEE Computer Society, 2009, s. 452-457. ISBN 978-1-4244-4779-4. Detail
2008
- MAZAL Zdeněk, JANOUŠEK Vladimír a KOČÍ Radek. Enhancing the PNtalk Language with Negative Predicates. In: MOSIS '08. Ostrava: MARQ, 2008, s. 28-34. ISBN 978-80-86840-40-6. Detail
- KOČÍ Radek, JANOUŠEK Vladimír a ZBOŘIL František. Object Oriented Petri Nets -- Modelling Techniques Case Study. In: Second UKSIM European Symposium on Computer Modeling and Simulation. Liverpool: IEEE Computer Society, 2008, s. 165-170. ISBN 978-0-7695-3325-4. Detail
- JANOUŠEK Vladimír, KOČÍ Radek, MAZAL Zdeněk a ZBOŘIL František. PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets. In: Proceedings of 8th ISDA. Los Alamitos: IEEE Computer Society, 2008, s. 420-425. ISBN 978-0-7695-3382-7. Detail
- KOČÍ Radek a JANOUŠEK Vladimír. System Design with Object Oriented Petri Nets Formalism. In: The Third International Conference on Software Engineering Advances Proceedings ICSEA 2008. Los Alamitos: IEEE Computer Society, 2008, s. 421-426. ISBN 978-0-7695-3372-8. Detail
- JANOUŠEK Vladimír a KOČÍ Radek. The PNtalk/SmallDEVS Framework -- Meta-level Modeling Techniques. In: Proceedings of CSE 2008 International Scientific Conference on Computer Science and Engineering. Košice: elfa, s.r.o., TU v Košiciach, 2008, s. 16-23. ISBN 978-80-8086-092-9. Detail
2007
- JANOUŠEK Vladimír a KOČÍ Radek. Embedding Object-Oriented Petri Nets into a DEVS-based Simulation Framework. In: Proceedings of the 16th International Conference on System Science. volume 1. Wroclaw: Politechnika Wrocławska, 2007, s. 386-395. ISBN 978-83-7493-339-1. Detail
- ZBOŘIL František a KOČÍ Radek. Intention Structures Modelling Using Object Oriented Petri Nets. In: Proceedings of the 7th ISDA. Los Alamitos: IEEE Computer Society, 2007, s. 33-38. ISBN 0-7695-2976-3. Detail
- KOČÍ Radek, MAZAL Zdeněk, ZBOŘIL František a JANOUŠEK Vladimír. Modeling Deliberative Agents Using Object Oriented Petri Nets. In: Proceedings of the 7th ISDA. Los Alamitos: IEEE Computer Society, 2007, s. 15-20. ISBN 0-7695-2976-3. Detail
- JANOUŠEK Vladimír a KOČÍ Radek. Simulation and Design of Systems with Object Oriented Petri Nets. In: Proceedings of the 6th EUROSIM Congress on Modelling and Simulation. Ljubljana: ARGE Simulation News, 2007, s. 9. ISBN 978-3-901608-32-2. Detail
- JANOUŠEK Vladimír, KOČÍ Radek a ZBOŘIL František. Towards Modeling Rational Agents with Object Oriented Petri Nets. In: Proceedings of the Workshop on Petri Nets and Software Engineering. Siedlce, 2007, s. 244-245. ISBN 978-83-7051-427-3. Detail
2008
- PNtalk, software, 2008
Autoři: Kočí Radek Detail