. . . "0"^^ . "Neuvedeno."@en . "Modelov\u00E1n\u00ED, verifikace a prototypov\u00E1n\u00ED distribuovan\u00FDch aplikac\u00ED s vyu\u017Eit\u00EDm Petriho s\u00EDt\u00ED" . "http://www.isvav.cz/projectDetail.do?rowId=GA102/00/1017"^^ . "2008-05-19+02:00"^^ . "15"^^ . . "15"^^ . . . . . . "Projekt vych\u00E1z\u00ED z p\u016Fvodn\u00EDho matematick\u00E9ho modelu objektov\u011B orientovan\u00FDch Petriho s\u00EDt\u00ED (OOPN), kter\u00FD byl vytvo\u0159en na \u00DAIVT FEI VUT a kter\u00FD spojuje v\u00FDhody vysoko\u00FArov\u0148ov\u00FDch Petriho s\u00EDt\u00ED s v\u00FDhodami objektov\u011B orientovan\u00FDch n\u00E1vrhov\u00FDch technologi\u00ED. Projekt sleduje dva hlavn\u00ED c\u00EDle. Prvn\u00EDm c\u00EDlem je n\u00E1vrh a implementace syst\u00E9mu pro modelov\u00E1n\u00ED, simulaci a prototypov\u00E1n\u00ED distribuovan\u00FDch aplikac\u00ED s vyu\u017Eit\u00EDm OOPN, v\u010Detn\u011B mo\u017Enosti distribuovan\u00FDch b\u011Bhu vytvo\u0159en\u00FDch prototyp\u016F a propojen\u00ED s objekty implementovan\u00FDch jin\u00FDm zp\u016Fsobem. Druh\u00FDm c\u00EDlem je umo\u017Enit form\u00E1ln\u00ED anal\u00FDzu a verifikaci model\u016F popsan\u00FDch OOPN, a to zejm\u00E9na s vyu\u017Eit\u00EDm jejich vhodn\u011B redukovan\u00FDch stavov\u00FDch prostor\u016F. To si vy\u017E\u00E1d\u00E1 origin\u00E1ln\u00ED \u0159e\u0161en\u00ED n\u011Bkter\u00FDch specifick\u00FDch probl\u00E9m\u016F plynouc\u00EDch z dynamick\u00E9 instanciace objekt\u016F. D\u00E1le bude posouzena mo\u017Enost aplikace metod modul\u00E1rn\u00ED \u010Di kompozitn\u00ED anal\u00FDzy a tak\u00E9 metod statick\u00E9 anal\u00FDzy OOPN. Navr\u017Een\u00E9 n\u00E1stroje pro modelov\u00E1n\u00ED, prototypov\u00E1n\u00ED a verifikaci budou zast\u0159e\u0161eny metodologi\u00ED doporu\u010Duj\u00EDc\u00ED zp\u016Fsob jejich" . . "GA102/00/1017" . "1. Odborn\u00FD p\u0159\u00EDnos projektu je v\u00FDznamn\u00FD. Spo\u010D\u00EDv\u00E1 zejm\u00E9na v n\u00E1vrhu architektury simul\u00E1toru objektov\u011B orientovan\u00FDch Pretriho s\u00EDt\u00ED (OOPN), jen\u017E je interoperabiln\u00ED s jin\u00FDmi jazyky a syst\u00E9my a reflektuje mo\u017Enost distribuovan\u00E9 simulace i mobilitu objekt\u016F, simul"@cs . . . "0"^^ . . "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. Thisrequires 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"@en . . "1"^^ . . "Modelling, verifying and prototyping distributed applications using Petri nets"@en . . . .