Timed colored Petri net based estimation of efficiency of the grid applications phd dissertation /

Tyt. z ekranu tytułowego.Praca doktorska, Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków), 2011.Zawiera bibliogr.Dostępna także w wersji drukowanej.Tryb dostępu: Internet.Analysis of the Grid Applications, Distributed Computing Infrastructures in Europe, User Requirements, Pass Over the Grid Management Systems, Convenient Modeling, Reliable Results, Wide Spectrum of Analyzed Applications, Scientific Problems, High-level Model, Reliable Analysis, Contradictions Between Requirements, Research Roadmap, Performance Prediction in the Grid, Performance Related Support for the Grid Application Developers, Simulation of non-Grid Distributed Applications, in Developer Oriented Performance Prediction, DIMEMAS, Performance Prophet, POEMS, Estimation of TCP Transmission Efficiency, TCP Modeling, Analysis, Models, Petri Nets, Modeling Language for Distributed Applications, Low Level Nets, Definition, Representation, Other Naming Conventions, Net Classes, Modeling Basics, Behavioral Properties, Analysis Methods, Behavior, Expressiveness, Relation to Low-Level Nets, Hierarchical Colored Petri Nets, Properties, Formal Analysis, Time in Petri Nets, Formalism, Application in Distributed Applications Modeling, Developer-oriented Modeling, Analysis of Distributed Applications, Environment, Describing Dynamic Parameters of the Model, Resources, Distributed Application, Mapping, Enabling Model-based Analysis, Requirements for Reliable, Enabling Simulation, Formalization, Architecture of the Simulation Method, Main Part, non-TCPN parts of the Model, Network Schedulers, Transport, Model of the Connection Establishment Phase, Interfaces, Available modules, State of the TCPN, an External Module, Automatic Transformation from High-level Model, Mapping, Simulation Tool, Basis for Evaluation of the Method, Overview of the Tool’s Architecture, High-level, Executable Model, Automatic Transformation, Model Parser, Expression Interpreter, Simulator Output, Validation of the Model, Tool, Kinds, Goals of the Experiments, Partial Experiments, Configuration, Environment, Network Bandwidth, Capacity, CPU Load, Comprehensive Experiment, Configuration, High-level, Executable Model, Output Management Solution, External Network Modules, Production-ready Implementation, APIs for External Network Transport Modules, Higher-level, Lower-level Interface, Static Methods, Controlling Simulation, Instance Methods, Controlling Connections, Document Type Definitions for High-level Model, Simulation Tool Usage, GUI Based Simulation, Command Line Simulation, Communication Topology, Computations, Command Line Parameter