Distributed Abstract State Machine for Grid Services

Luciano Manelli

ISBN 10: 3330781777 / ISBN 13: 9783330781771

Published by Edizioni Accademiche Italiane Mär 2017, 2017

About this Item

Neuware -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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 116 pp. Englisch. Seller Inventory # 9783330781771

Bibliographic Details

Title: Distributed Abstract State Machine for Grid ...

Publisher: Edizioni Accademiche Italiane Mär 2017

Publication Date: 2017

Binding: Taschenbuch

Condition: Neu

About this title

Synopsis:

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.

About the Author:

Luciano Manelli was born in 1975 in Taranto (Italy). He graduated in Electronic Engineering at the Polytechnic of Bari at 24 years of age and then he received a PhD in Computer Science from the Department of Informatics, University of Bari Aldo Moro in 2012. He is a contract Professor at University and author of several IT technical books.