YI Liang-chen, HUANG Lin-peng. Analysis and Validation of Pervasive Service Composition Based on Abstract State Machine[J]. Microelectronics & Computer, 2013, 30(3): 122-126.
Citation:
YI Liang-chen, HUANG Lin-peng. Analysis and Validation of Pervasive Service Composition Based on Abstract State Machine[J]. Microelectronics & Computer, 2013, 30(3): 122-126.
YI Liang-chen, HUANG Lin-peng. Analysis and Validation of Pervasive Service Composition Based on Abstract State Machine[J]. Microelectronics & Computer, 2013, 30(3): 122-126.
Citation:
YI Liang-chen, HUANG Lin-peng. Analysis and Validation of Pervasive Service Composition Based on Abstract State Machine[J]. Microelectronics & Computer, 2013, 30(3): 122-126.
Analysis and Validation of Pervasive Service Composition Based on Abstract State Machine
A service composition framework of pervasive environment is presented in this paper.The behavior of services are defined by Abstract state machine(ASM) in different level of refinement.To validate the correctness of the service composition,a model validation tool called CoreASM is used to simulate the execution.At last a study case is presented based on the above method.
DownLoad: