Component mobility introduces additional complexity for software engineers along with the convenience it brings to the end-users. The provision of detailed formal analysis can help to reduce the potential risks for the application design. In the paper, we propose a novel approach to facilitate fine-grained verification for component mobility based on Bogor, in which the domain specific knowledge can be embedded and provided as the first class entity. The customization helps to reduce the generated state space compared with others based on generalpurpose model checkers. The experiment demonstrates the efficiency and feasibility of our approach.
CITATION STYLE
Zhou, Y., Huang, Y., Ge, J., & Hu, J. (2014). Towards fine-grained verification of application mobility. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8182, pp. 75–83). Springer Verlag. https://doi.org/10.1007/978-3-642-54370-8_7
Mendeley helps you to discover research relevant for your work.