Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail projektu
Období řešení: 01.01.2007 — 31.12.2009
Zdroje financování
Grantová agentura České republiky - Postdoktorandské granty
- plně financující (2007-01-01 - 2009-12-31)
O projektu
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.
Popis anglickyThe significant characteristic of current software systems is their growing complexity. Therefore the actual research of the software systems development is focused on increasing the development process effectivity, but also on the system reliability. One of the auspicious approaches is an application of the high-level formal models and the theory of modelling and simulation. The key idea is to model software systems by such means that there is a possibility to verify models in a simple way and to move fluently from models to the goal application. This project deals with the basic research in the area of the advanced modelling and simulation techniques in the software system development. In particular it concerns with the integration of high-level models, with the integration of models and the application environment, and with the possibility to use models in association with the metalevel architectures in the adaptive software development. The project is a follow-up to the experiences and the results acquired from the previous projects and the research at the applicant's workplace.
Klíčová slovavysokoúrovňový návrh, modelování, metamodelování, simulace, adaptivní software
Klíčová slova anglickyhigh-level design, modelling, metamodelling, simulation, adaptive software
Označení
GP102/07/P306
Originální jazyk
čeština
Řešitelé
Kočí Radek, Ing., Ph.D. - hlavní řešitel
Útvary
Ústav inteligentních systémů- spolupříjemce (01.01.2007 - 31.12.2009)
Výsledky
KOČÍ, R.; MAZAL, Z.; ZBOŘIL, F.; JANOUŠEK, V. Modeling Deliberative Agents Using Object Oriented Petri Nets. Proceedings of the 7th ISDA. Los Alamitos: IEEE Computer Society, 2007. p. 15-20. ISBN: 0-7695-2976-3.Detail
ZBOŘIL, F.; KOČÍ, R. Intention Structures Modelling Using Object Oriented Petri Nets. Proceedings of the 7th ISDA. Los Alamitos: IEEE Computer Society, 2007. p. 33-38. ISBN: 0-7695-2976-3.Detail
JANOUŠEK, V.; KOČÍ, R.; ZBOŘIL, F. Towards Modeling Rational Agents with Object Oriented Petri Nets. Proceedings of the Workshop on Petri Nets and Software Engineering. Siedlce: 2007. p. 244-245. ISBN: 978-83-7051-427-3.Detail
JANOUŠEK, V.; KOČÍ, R. Embedding Object-Oriented Petri Nets into a DEVS-based Simulation Framework. Proceedings of the 16th International Conference on System Science. volume 1. Wroclaw: Wroclaw University of Technology, 2007. p. 386-395. ISBN: 978-83-7493-339-1.Detail
JANOUŠEK, V.; KOČÍ, R. Simulation and Design of Systems with Object Oriented Petri Nets. Proceedings of the 6th EUROSIM Congress on Modelling and Simulation. Ljubljana: ARGE Simulation News, 2007. p. 1-9. ISBN: 978-3-901608-32-2.Detail
KOČÍ, R.; JANOUŠEK, V. Simulation Based Design of Control Systems using DEVS and Petri Nets. Computer Aided Systems Theory. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2009. p. 291-292. ISBN: 978-84-691-8502-5.Detail
KOČÍ, R.; JANOUŠEK, V. On the Dynamic Features of PNtalk. International Workshop on Petri Nets and Software Engineering 2009. Paříž: University of Pierre and Marie Curie, 2009. p. 189-206.Detail
KOČÍ, R.; JANOUŠEK, V. Towards Simulation-Based Design of the Software Systems. The Fourth International Conference on Software Engineering Advances. Los Alamitos: IEEE Computer Society, 2009. p. 452-457. ISBN: 978-1-4244-4779-4.Detail
MAZAL, Z.; JANOUŠEK, V.; KOČÍ, R. Enhancing the PNtalk Language with Negative Predicates. MOSIS '08. Ostrava: 2008. p. 28-34. ISBN: 978-80-86840-40-6.Detail
JANOUŠEK, V.; KOČÍ, R.; MAZAL, Z.; ZBOŘIL, F. PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets. Proceedings of 8th ISDA. Los Alamitos: IEEE Computer Society, 2008. p. 420-425. ISBN: 978-0-7695-3382-7.Detail
KOČÍ, R.; JANOUŠEK, V.; ZBOŘIL, F. Object Oriented Petri Nets -- Modelling Techniques Case Study. Second UKSIM European Symposium on Computer Modeling and Simulation. Liverpool: IEEE Computer Society, 2008. p. 165-170. ISBN: 978-0-7695-3325-4.Detail
JANOUŠEK, V.; KOČÍ, R. The PNtalk/SmallDEVS Framework -- Meta-level Modeling Techniques. Proceedings of CSE 2008 International Scientific Conference on Computer Science and Engineering. Košice: elfa, s.r.o., TU Kosice, 2008. p. 16-23. ISBN: 978-80-8086-092-9.Detail
KOČÍ, R.; JANOUŠEK, V. System Design with Object Oriented Petri Nets Formalism. The Third International Conference on Software Engineering Advances Proceedings ICSEA 2008. Los Alamitos: IEEE Computer Society, 2008. p. 421-426. ISBN: 978-0-7695-3372-8.Detail
KOČÍ, R.; JANOUŠEK, V. Simulation Based Design of Control Systems Using DEVS and Petri Nets. Computer Aided Systems Theory - EUROCAST 2009. Lecture Notes in Computer Science, Volume 5717. Berlin: Springer Verlag, 2009. p. 849-856. ISBN: 978-3-642-04771-8.Detail
MAZAL, Z.; KOČÍ, R.; JANOUŠEK, V.; ZBOŘIL, F. Modelling intelligent agents for autonomic computing in the PNagent framework. International Journal of Autonomic Computing, 2009, vol. 1, no. 2, p. 121-139. ISSN: 1741-8569.Detail
ZBOŘIL, F.; JANOUŠEK, V.; KOČÍ, R.; MAZAL, Z.; ZBOŘIL, F. Framework for model-based design of mullti-agent systems. International Journal of Autonomic Computing, 2009, vol. 1, no. 2, p. 140-162. ISSN: 1741-8569.Detail
KOČÍ, R.; JANOUŠEK, V.; ZBOŘIL, F. Object Oriented Petri Nets - Modelling Techniques Case Study. International Journal of Simulation Systems, Science & Technology, 2010, vol. 10, no. 3, p. 32-44. ISSN: 1473-8031.Detail
KOČÍ, R.: PNtalk-08; PNtalk. Domovská stránka projektu (http://perchta.fit.vutbr.cz/pntalk2k/28). URL: https://www.fit.vut.cz/research/product/66/. (software)Detail