Paper Info
Title
An Approach for Specification and Testing of Stateful Grid Services
Abstract
State Machines (ASM) are mathematically defined environment for high-level system design, verification and analysis. This paper presents a definition of the hybrid approach to the specification, analysis and testing of stateful grid services using ASM. This approach allows an easy integration of created specification of developed middle ware with existing components of grid systems. The important advantage of this approach is an automatic testing of the implementation, following the model-based testing approach. This allows a smooth transition from the specification to implementation stage, as well as investigation of features of specification and implementation, at every stage of their development. Also, a software environment has been developed which implements the defined approach.
Year
DOI
Venue
2011
10.1109/PARELEC.2011.22
Parallel Computing in Electrical Engineering
Keywords
Field
DocType
high-level system design,stateful grid service,software environment,implementation stage,hybrid approach,grid system,stateful grid services,state machines,easy integration,model-based testing approach,automatic testing,model based testing,grid computing,web services,abstract state machine,smooth transition,formal methods,formal specification,testing,web service,generators,middleware,specification,formal verification,formal method,system analysis,abstract state machines,system design,automata
Grid computing,Computer science,Abstract state machines,Reference implementation,Formal specification,Model-based testing,Formal methods,Grid,Distributed computing,Formal verification
Conference
ISBN
Citations 
PageRank 
978-0-7695-4397-0
0
0.34
References 
Authors
2
2
Name
Order
Citations
PageRank
Daniel Lamch151.25
Roman Wyrzykowski272190.65