Security and self-healability enforcement of dynamic components in a service-oriented system

作者: Yufang Dan

DOI:

关键词:

摘要: Dynamic service-oriented architectures (D-SOA) focus on loosely coupled client- server interactions where both of them can appear and disappear at runtime. Our goal is to design monitoring systems for these architectures. Since classical are statically injected into the monitored services, they cannot properly handle runtime services’ lifecycle. Moreover, when a service substituted by new one, other services may still use old reference. This reference kept in memory as stale which induces some forbidden behaviors. thesis contributes system with resilient dynamicity that monitors usage able deal references usage. achieved three steps. Firstly, considering SOA an open environment, we corresponding dynamic approach. We identify two key properties system: resilience, i.e., after unregistration service, its interface monitor current state alive transferred loaded service; comprehensiveness, implementations can’t bypass observations. Secondly, avoid usage, propose client-side safe (SSU) layer automatically them. If used disappears, then SSU either transparently substitute it or throw exception client. based transactional approach aims preserve coherence active services. Thirdly, integrate approaches (NewMS). The NewMS inherits principles systems: comprehensiveness fault tolerant. It dynamically systems. All propositions implemented OSGi-based platform. develop simple application simulates Airline Reservation system, our also various automata NewMS. results demonstrate time cost close one

参考文章(75)
Dirk Krafzig, Karl Banke, Dirk Slama, Enterprise SOA: Service-Oriented Architecture Best Practices (The Coad Series) Prentice Hall PTR. ,(2004)
M. Leino, K. Rustan, Clyde Ruby, Bart Jacobs, Erik Poll, Gary T. Leavens, JML: notations and tools supporting detailed design in Java ,(2000)
Radhika Nagpal, Catherine Chang, Attila Kondacs, Programming Methodology for Biologically-Inspired Self-Assembling Systems ,(2003)
Hao-Chung Cheng, Wei-Tsong Lee, Xin-Wen Wei, Tian-Wen Sun, None, A Novel Service Oriented Architecture Combined with Cloud Computing Based on R-OSGi Human Centric Technology and Service in Smart Space. pp. 291- 296 ,(2012) , 10.1007/978-94-007-5086-9_38
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh, Software Transactional Memory on Relaxed Memory Models computer aided verification. pp. 321- 336 ,(2009) , 10.1007/978-3-642-02658-4_26
Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller, Copilot: A Hard Real-Time Runtime Monitor Runtime Verification. pp. 345- 359 ,(2010) , 10.1007/978-3-642-16612-9_26
Richard N. Taylor, Roy Thomas Fielding, Architectural styles and the design of network-based software architectures University of California, Irvine. ,(2000)
Christian Colombo, Gordon J. Pace, Gerardo Schneider, Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties formal methods for industrial critical systems. pp. 135- 149 ,(2009) , 10.1007/978-3-642-03240-0_13
Gary T. Leavens, Albert L. Baker, Clyde Ruby, JML: A Notation for Detailed Design Behavioral Specifications of Businesses and Systems. pp. 175- 188 ,(1999) , 10.1007/978-1-4615-5229-1_12
Mike Barnett, Robert DeLine, Manuel Fähndrich, Bart Jacobs, K. Rustan M. Leino, Wolfram Schulte, Herman Venter, The Spec# Programming System: Challenges and Directions verified software: theories, tools, experiments. pp. 144- 152 ,(2005) , 10.1007/978-3-540-69149-5_16