Rövidített megjelenítés

dc.contributorLeskó Dánielen_EN
dc.creatorTejfel Mátéen_EN
dc.date2014-04-30en_EN
dc.date.accessioned2019-08-08T10:11:04Z
dc.date.available2019-08-08T10:11:04Z
dc.identifier.urihttp://dtk.tankonyvtar.hu/xmlui/handle/123456789/3751
dc.descriptionThe goal of the course is to give an overview about how distributed applications can be modeled and analyzed using algebraic methods and Petri-nets. The basic concepts of the course are processes, computational processes, parallelism, operations of processes, compositions of processes and properties of processes (liveness, deadlock-free, etc.). The theory of Petri-nets is explored more partially with many modeling examples. The behavioral and structural properties, methods of analysis, famed subclasses and relationships between these subclasses are investigated. We define theorems about liveness, safetyness and reachability and present transformation, which preserve these properties. The course introduces Petri-boxes, a special class of Petri-nets, which help to model the program structures (sequences, branches and loops). Some tools for simulation and analysis of Petri-nets are also investigated. The second part of the course introduces the theory of algebraic models. The properties of the models, the methods of descriptions of processes and the possible compositions are examined. The denotational, operational and axiomatic semantics of the model and the relationships of these different descriptions are investigated. A specific model (Communicating Sequential Processes) is partially examined.en_EN
dc.formatapplication/epub+zipen_EN
dc.formatapplication/pdfen_EN
dc.languageenen_EN
dc.publisherEötvös Loránd University Faculty of Informaticsen_EN
dc.relation5.Service Design and Engineering program Analysis of Distributed Systems (ELTE)en_EN
dc.rightsEötvös Loránd University Faculty of Informaticsen_EN
dc.rightsTejfel Mátéen_EN
dc.rightsLeskó Dánielen_EN
dc.sourceeredeti információforrásen_EN
dc.subjectprocessesen_EN
dc.subjectPetri-netsen_EN
dc.subjectbehaviour and structural propertiesen_EN
dc.subjectprogram compositionsen_EN
dc.subjectsimulation of Petri-neten_EN
dc.subjectanalysis of different propertiesen_EN
dc.subjectPetri-boxesen_EN
dc.subjecttheory of algebraic modelsen_EN
dc.subjectdenotationalen_EN
dc.subjectoperational and axiomatic semanticsen_EN
dc.subjectSoftware system modelsen_EN
dc.subjectState systemsen_EN
dc.subjectAlgebraic language theoryen_EN
dc.subjectAlgebraic semanticsen_EN
dc.subjectDenotational semanticsen_EN
dc.subjectOperational semanticsen_EN
dc.subjectAxiomatic semanticsen_EN
dc.titleAnalysis of Distributes Systemsen_EN
dc.typeTankönyven_EN
dtk.firComputer Science and Information Technologyen_EN
dtk.oecd01. Natural sciences::01.02. Computer and information sciencesen_EN
dtk.playerepubreaderen_EN
dtk.purchaseTÁMOP-4.1.2.A/1-11/1-2011-0050 Eötvös Loránd Tudományegyetemen_EN
dtk.size216 p.en_EN
dtk.typebooken_EN
dtk.udc---- MAIN TABLES::0 SCIENCE AND KNOWLEDGE. ORGANIZATION. COMPUTER SCIENCE. INFORMATION. DOCUMENTATION. LIBRARIANSHIP. INSTITUTIONS. PUBLICATIONS::004 Computer science and technology. Computing. Data processing::004.9 Application-oriented computer-based techniquesen_EN


A dokumentumhoz tartozó fájlok

Thumbnail
Thumbnail
Thumbnail
Thumbnail

A dokumentum a következő gyűjtemény(ek)ben található meg

Rövidített megjelenítés