Research on the dynamic reconfiguration of Web application using two-phase compatibility verification

References

• P. Ammann and J. Offutt, Introduction to Software Testing, Cambridge University Press, Cambridge, 2008.
   Google Scholar
• A. Bachir, M. Dumas, and M.C. Fauvet, BESERIAL: Behavioural service interface analyse, in Proceedings of 6th International Conference on Business Process Management (BPM’08), LNCS, Vol. 5240, M. Dumas, M. Reichert, and M.-C. Shan, eds., Springer-Verlag, Berlin, 2008, pp. 374–377.
   Google Scholar
• D. Brand and P. Zafiropulo, On communicating finite-state machines, J. ACM 30(2) (1983), pp. 323–342. doi: 10.1145/322374.322380
   Web of Science ®Google Scholar
• J. Cao, J. Wang, S. Zhang, and M. Li, A dynamically reconfigurable system based on workflow and service agents, Eng. Appl. Artif. Intell. 17(7) (2004), pp. 771–782.
   Web of Science ®Google Scholar
• S. Chouali, H. Mountassir, and S. Mouelhi, An I/O automata-based approach to verify component compatibility: application to the CyCab car, Electron. Notes Theor. Comput. Sci. 238 (2010), pp. 3–13. doi: 10.1016/j.entcs.2010.06.002
   Google Scholar
• M. Cristina and F. De Oliviera, A statechart-based model for hypermedia applications, ACM Trans. Inform. Syst. 19(1) (2001), pp. 28–52. doi: 10.1145/366836.366869
   Web of Science ®Google Scholar
• F.M. Donini, M. Mongiello, M. Ruta, and R. Totaro, A model checking-based method for verifying web application design, Electron. Notes Theor. Comput. Sci. 151(2) (2006), pp. 19–32. doi: 10.1016/j.entcs.2005.07.034
   Google Scholar
• F. Duran, M. Ouederni, and G. Salaun, Checking protocol compatibility using maude, Electron. Notes Theor. Comput. Sci. 255 (2009), pp. 65–81 doi: 10.1016/j.entcs.2009.10.025
   Google Scholar
• F. Duran, M. Ouederni, and G. Salaun. A generic framework for N-protocol compatibility checking, Sci. Comput. Programming 77(7–8) (2011), pp. 870–886. doi: 10.1016/j.scico.2011.03.009
   Web of Science ®Google Scholar
• O. Ezenwoye, S. Busi, and S.M. Sadjadi, Dynamically Reconfigurable Data-intensive Service Composition, in Proceedings of 6th International Conference on Web Information System and Technologies (WEBIST’10), Valencia, Spain, J. Filipe and J. Cordeiro, eds., INSTICC Press, Lisbon, 2010, pp. 125–130. Available at http://www.informatik.uni-trier.de/ley/db/conf/webist/webist2010-1.html.
   Google Scholar
• H. Foster, A. Mukhija, D.S. Rosenblum, and S. Uchitel. Specification and Analysis of Dynamically-Reconfigurable Service Architectures, Lecture Notes in Computer Science, Vol. 6582, Springer-Verlag, Berlin, 2011, pp. 428–446.
   Google Scholar
• X. Fu, T. Bultan, and J. Su, Analysis of Interacting BPELWeb Services, in Proceedings of 13th International Conference on World Wide Web, New York, NY, S.I. Feldman, M. Uretsky, M. Najork, and C.E. Wills, eds., ACM, New York, 2004, pp. 621–630. Available at http://www.informatik.uni-trier.de/~ley/db/conf/www/index.html
   Google Scholar
• M. Han and C. Hofmeister. Modeling and verification of adaptive navigation in web applications, in Proceedings of the 6th International Conference on Web Engineering, ICWE 2006, Palo Alto, California, USA, July 11–14, D. Wolber, N. Calder, C.H. Brooks, and A. Ginige, eds., ACM, New York, 2006, pp. 329–336.
   Google Scholar
• K.R.P.H. Leung, L.C.K. Hui, and S.M. Yiu, Modeling Web Navigation by Statechart, Proceedings of 24th International Computer Software and Applications Conference (COMPSAC 2000), Taipei, aiwan, 2000, pp. 41–47.
   Google Scholar
• S. Liu, Y. Liu, and F. Zhang, A dynamic web services selection algorithm with QoS global optimal in web services composition, J. Softw. 18(3) (2007), pp. 646–656.
   Google Scholar
• F. Manola. Technologies for a web object model, Internet Comput. (1999), pp. 60–68.
   Google Scholar
• H. Miao and H. Zeng, Model Checking-based Verification of Web Application, in Proceedings of 12th IEEE international Conference on Engineering Complex Computer Systems, Auckland, New Zealand, G. Dobbie and M. Hinchey, eds., IEEE Computer Society, Washington, DC, 2007, pp. 47–55. Available at http://www.informatik.uni-trier.de/ley/db/conf/iceccs/
   Google Scholar
• Z.H. Wu, S.G. Deng, Y. Li, and J. Wu, Computing compatibility in dynamic service composition, Int. J. Knowledge Inform. Syst. 19(1), 2009, pp. 107–129. doi: 10.1007/s10115-008-0143-5
   Web of Science ®Google Scholar