ACTIVE OBJECTS AND THEIR MODELING WITH USING OF MULTIPROCESS PETRI MULTINETS WITH TIME STAMPS
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27510%2F18%3A10239048" target="_blank" >RIV/61989100:27510/18:10239048 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
ACTIVE OBJECTS AND THEIR MODELING WITH USING OF MULTIPROCESS PETRI MULTINETS WITH TIME STAMPS
Popis výsledku v původním jazyce
Petri nets is the well-known mathematical tool for the modeling and verification of parallel systems of all kind. Multiprocess Petri multinets with time stamps (MPTSM) are the newly introduced class of low-level Petri nets, whose definition and the properties are the main topic of this article; they generalize the properties of P/T Petri multiprocess multinets in the area of design, modeling and verification of generally parallel programming systems with the discrete time. The MPTSM with the support of the ASYNC-CALL operation can be then applied into the area of modeling and verification of multithreading programming systems based on the actor model of object-oriented programming, where all object are represented as independent computational entities with discrete time (i.e., active objects) that only respond to the received messages. This fact will be then demonstrated on the simple example of the programming system based on the client-server architecture that is operated in the distributed system environment where all the actors are synchronized in time with the unique central time source.
Název v anglickém jazyce
ACTIVE OBJECTS AND THEIR MODELING WITH USING OF MULTIPROCESS PETRI MULTINETS WITH TIME STAMPS
Popis výsledku anglicky
Petri nets is the well-known mathematical tool for the modeling and verification of parallel systems of all kind. Multiprocess Petri multinets with time stamps (MPTSM) are the newly introduced class of low-level Petri nets, whose definition and the properties are the main topic of this article; they generalize the properties of P/T Petri multiprocess multinets in the area of design, modeling and verification of generally parallel programming systems with the discrete time. The MPTSM with the support of the ASYNC-CALL operation can be then applied into the area of modeling and verification of multithreading programming systems based on the actor model of object-oriented programming, where all object are represented as independent computational entities with discrete time (i.e., active objects) that only respond to the received messages. This fact will be then demonstrated on the simple example of the programming system based on the client-server architecture that is operated in the distributed system environment where all the actors are synchronized in time with the unique central time source.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Návaznosti výsledku
Projekt
<a href="/cs/project/EE2.3.20.0296" target="_blank" >EE2.3.20.0296: Výzkumný tým pro modelování ekonomických a finančních procesů na VŠB-TU Ostrava</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2018
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
18th International Multidisciplinary Scientific GeoConference : SGEM 2018 : conference proceedings : 2 July - 8 July, 2018, Albena, Bulgaria. Volume 18, Issue 2.1
ISBN
978-619-7408-39-3
ISSN
1314-2704
e-ISSN
neuvedeno
Počet stran výsledku
12
Strana od-do
35-46
Název nakladatele
STEF92 Technology Ltd.
Místo vydání
Sofia
Místo konání akce
Albena
Datum konání akce
2. 7. 2018
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—