Detail projektu

Modelování, verifikace a prototypování distribuovaných aplikací s využitím Petriho sítí

Období řešení: 01.01.2000 — 31.12.2002

Zdroje financování

Grantová agentura České republiky - Standardní projekty

- plně financující

O projektu

Projekt vychází z původního matematického modelu objektově orientovaných Petriho sítí (OOPN), který byl vytvořen na ÚIVT FEI VUT a který spojuje výhody vysokoúrovňových Petriho sítí s výhodami objektově orientovaných návrhových technologií. Projekt sleduje dva hlavní cíle. Prvním cílem je návrh a implementace systému pro modelování, simulaci a prototypování distribuovaných aplikací s využitím OOPN, včetně možnosti distribuovaného běhu vytvořených prototypů a propojení s objekty implementovanými jiným způsobem. Druhým cílem je umožnit formální analýzu a verifikaci modelů popsaných OOPN, a to zejména s využitím jejich vhodně redukovaných stavových prostorů. To si vyžádá originální řešení některých specifických teoretických problémů plynoucích z dynamické instanciace objektů. Dále bude posouzena možnost aplikace metod modulární či kompozitní analýzy a také metod statické analýzy OOPN. Navržené nástroje pro modelování, prototypování a verifikaci budou zastřešeny metodologií doporučující způsob jejich použití při návrhu distribuovaných aplikací tak, aby se dosáhlo dobré udržovatelnosti, spolehlivosti a výkonnosti.

Popis anglicky
The project builds upon the original mathematical concept of object-oriented Petri nets (OOPNs) which has been proposed at the Department of Computer Science and Engineering of the Technical University in Brno and which combines advantages of high-level Petri nets and object-oriented design technologies. The project comes with two main goals. The first goal is to design and implement a tool for modelling, simulation, and prototyping distributed applications using OOPNs, including the possibility of running prototypes of applications in a truly distributed way and interconnecting them with external objects. The second goal is to allow for formal analysis and verification of OOPN-based models using especially their suitably reduced state spaces. This requires an original solution of some specific theoretical problems stemming from the dynamic instantiation of objects. Moreover, the possibility of modular and compositional analysis, as well as static analysis will be evaluated. The proposed conceptual and computer-aided tools for modelling, prototyping, and verification will be integrated by a methodology suggesting how they should be used for designing complex distributed applications in order to achieve their high maintainability, reliability, and effectiveness.

Označení

GA102/00/1017

Originální jazyk

čeština

Řešitelé

Češka Milan, prof. RNDr., CSc. - hlavní řešitel
Janoušek Vladimír, doc. Ing., Ph.D. - spoluřešitel
Rábová Zdeňka, doc. Ing., CSc. - spoluřešitel
Vojnar Tomáš, prof. Ing., Ph.D. - spoluřešitel

Útvary

Fakulta informačních technologií
- příjemce (01.01.2001 - nezadáno)

Výsledky

KŘENA, B., VOJNAR, T. Type Analysis in Object-Oriented Petri Nets. In Proceedings of 4th International Conference on Information System Modelling -- ISM'01. Hradec nad Moravicí, Czech Republic: 2001. p. 173-180. ISBN: 80-85988-51-8.
Detail

JANOUŠEK, V., VOJNAR, T., ČEŠKA, M. Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets. Kybernetes: The International Journal of Systems Cybernetics, 2002, vol. 2002, no. 9, p. 1289-1299. ISSN: 0368-492X.
Detail

KOČÍ, R., VOJNAR, T. A PNtalk-based Model of a Cooperative Editor. In Proceedings of the 35th Spring International Conference on Modelling and Simulation of Systems -- MOSIS 2001. Hradec nad Moravicí, Czech Republic: 2001. p. 165-172. ISBN: 80-85988-57-7.
Detail

JANOUŠEK, V., SCHWARZ, I. Interoperability of Object Oriented Petri Nets. In Proc. of MOSIS'01. Ostrava, Czech Republic: 2001. p. 137-144. ISBN: 80-85988-57-7.
Detail

KOČÍ, R. The PNtalk System - a Technique for Object Oriented Modelling. In Proceedings of XXIIIrd International Autumn Colloquium. Ostrava: 2001. p. 151-158. ISBN: 80-85988-61-5.
Detail

KŘENA, B. First Approach to Model Checking in Object-Oriented Petri Nets. In Proceedings of XIIIrd International Autumn Colloquium ASIS 2001 Advanced Simulation of Systems. Ostrava: 2001. p. 105-110. ISBN: 80-85988-61-5.
Detail

HRUŠKA, T., ZENDULKA, J., ČEŠKA, M. Education in Information Technology at Brno University of Technology. In Proceedings of the International Conference - Advances in Infrastructure for e-business, e-education, e-science, and e-medicine on the Internet. L'Aquila: SSGRR Telecom Italia Learning Services, 2002. p. 1 ( p.)ISBN: 88-85280-62-5.
Detail

KOČÍ, R., RÁBOVÁ, Z. The PNtalk System and Interoperability. In Proceedings of International Conference MOSIS '02. Vol. 1. Ostrava: 2002. p. 73-80. ISBN: 80-85988-71-2.
Detail

JANOUŠEK, V., KOČÍ, R. PNtalk - An Open System for Prototyping and Simulation. In Proceedings of The 28th ASU Conference. ASU Newsletter. Brno: Faculty of Information Technology BUT, 2002. p. 133-146. ISSN: 1102-593X.
Detail

LEGÁT, P., VAVERKA, L., VAVERKA, L. Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets. In Brazilian Petri Net Meeting. Natal: 2002.
Detail

SCHWARZ, I. Architecture of Distributed Simulator of PNtalk. In Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems. Vol. I. Ostrava: 2002. p. 81-88. ISBN: 80-85988-71-2.
Detail

JANOUŠEK, V., SLAVÍČEK, P. Heterogenní simulace na bázi DEVS. In Proceedings of XXVth International Autumn Colloquium ASIS 2003. Ostrava: MARQ, 2003. s. 213-218. ISBN: 80-58988-88-7.
Detail

ČEŠKA, M., HAŠA, L., VOJNAR, T. Partial Order Reduction in Model Checking of Object-Oriented Petri Nets. In Cast and Complexity in Biological, Physical and Engineering Systems, Extended Abstracts, Eurocast 2003. Las Palmas de Gran Canaria, Canary Islands: University of Las Palmas, 2003. p. 254-256. ISBN: 84-688-0820-2.
Detail

ČEŠKA, M., JANOUŠEK, V., VOJNAR, T. Generating and Using State Spaces of Object-Oriented Petri Nets. International Journal of Computer Systems Science and Engineering, 2001, vol. 16, no. 3, p. 183-193. ISSN: 0267-6192.
Detail

ČEŠKA, M., JANOUŠEK, V., VOJNAR, T. Analysis and Verification Queries over Object-Oriented Petri Nets. Lecture Notes in Computer Science, 2001, vol. 2001, no. 2178, p. 365-384. ISSN: 0302-9743.
Detail

KŘENA, B. The Graph Isomorphism Problem. In Proceedings of 7th Conference Student FEI 2001. Brno: Brno University of Technology, 2001. p. 343-347. ISBN: 80-214-1860-5.
Detail

Odkaz

http://www.fit.vutbr.cz/~janousek/perchta/research-gacr-ceska2000

Odpovědnost: Češka Milan, prof. RNDr., CSc.