Distributed Abstract State Machine for Grid Services

Name: Distributed Abstract State Machine for Grid Services
Brand: Edizioni Accademiche Italiane
SKU: 9783330781771
Price: 158.59 RON
Availability: InStock

A formal method for studying complex systems

Autor: Luciano Manelli

Limbă:

Legare: Carte broșată

Editura: Edizioni Accademiche Italiane

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

158.59 lei

This book presents and studies a modern formal method for the description and the analysis of the re...

Informații despre carte

Autor

Luciano Manelli

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2017

Pagini

116

EAN

9783330781771

Enbook ID

16220447

Editura

Edizioni Accademiche Italiane

Greutate

191

Dimensiuni

150 x 220 x 7

Descriere completă

This book presents and studies a modern formal method for the description and the analysis of the requirements and for the design and the verification of highly dynamic and complex modern information systems. In fact, the study of modern information systems needs new models, methodologies and tools for professional and scientific research in the field of software engineering. The book analyses the development of Distributed Abstract State Machines for Grid Services using CoreASM. Grid technology makes available a lot of computational power for solving many application problems. ASM methodology is used for the analysis and the verification of a set of middleware services and can help to better understand Grid behaviour and to improve the efficiency and the reduction of development costs. The book starts from the informal description of the Job Execution Management Services in Grid systems and the specification of requirements. Then, it highlights the design of the software agents and the ASM rules and states. The model is implemented using CoreASM and dynamically validated. Finally, some properties and interoperability concepts are analysed.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Distributed Abstract State Machine for Grid Services

A formal method for studying complex systems

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și