About: Modelling, verifying and prototyping distributed applications using Petri nets

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Modelling, verifying and prototyping distributed applications using Petri nets Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GA102/00/1017
Description	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) 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ých běhu vytvořených prototypů a propojení s objekty implementovaných 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 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
Title	Modelling, verifying and prototyping distributed applications using Petri nets (en) Modelování, verifikace a prototypování distribuovaných aplikací s využitím Petriho sítí
skos:notation	GA102/00/1017
http://linked.open...avai/cep/aktivita	Standard projects
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GA102%2F00%2F1017/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GA102%2F00%2F1017/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2008-05-19 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	963540
http://linked.open...ai/cep/hlavniObor	JC - Počítačový hardware a software
http://linked.open...hodnoceniProjektu	V - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory.
http://linked.open.../cep/klicovaSlova	Neuvedeno. (en)
http://linked.open...ep/partnetrHlavni	Fakulta informačních technologií
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	15 (xsd:int)
http://linked.open...enychVysledkuVRIV	15 (xsd:int)
http://linked.open...iciPoslednihoRoku	2003
http://linked.open...atUdajeProjZameru	2003
http://linked.open.../vavai/cep/soutez	SGA02002GA-ST
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open.../cep/vedlejsiObor	BC - Teorie a systémy řízení JD - Využití počítačů, robotika a její aplikace
http://linked.open...jektu+dodavatelem	1. Odborný přínos projektu je významný. Spočívá zejména v návrhu architektury simulátoru objektově orientovaných Pretriho sítí (OOPN), jenž je interoperabilní s jinými jazyky a systémy a reflektuje možnost distribuované simulace i mobilitu objektů, simul (cs)
http://linked.open...tniCyklusProjektu	ZBKU
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F00%2F1017/2000/orjk%3A26220 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F00%2F1017/2001/orjk%3A26220 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F00%2F1017/2002/ico%3A00216305 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F00%2F1017/2003/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F00%2F1017/2007/ico%3A00216305 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F00%2F1017/2007/orjk%3A26220 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F00%2F1017/2007/orjk%3A26230

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 47 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software