Specification and Verification of Service-Oriented Enterprise Application Integration System
暂无分享,去创建一个
[1] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.
[2] Lin Chuang,et al. Research on Model-Checking Based on Petri Nets , 2004 .
[3] Yi Deng,et al. Formally analyzing software architectural specifications using SAM , 2004, J. Syst. Softw..
[4] Wang Ji,et al. Compositional Model Checking and Compositional Refinement Checking of Concurrent Reactive Systems , 2007 .
[5] Winnie W. Hua,et al. Service-Oriented Solution Framework for Internet Banking , 2006, Int. J. Web Serv. Res..
[6] James C. Spohrer,et al. A research manifesto for services science , 2006, CACM.
[7] Yi Deng,et al. An Approach for Modeling and Analysis of Security System Architectures , 2003, IEEE Trans. Knowl. Data Eng..
[8] Ma Zhi. A Service-Oriented Architecture Reference Model , 2006 .
[9] Mike P. Papazoglou,et al. Service oriented architectures: approaches, technologies and research issues , 2007, The VLDB Journal.
[10] Qian Huang,et al. Collaborative software design in an SOA environment , 2006, Science in China Series F: Information Sciences.
[11] Liu Jing,et al. A strategy for service realization in service-oriented design , 2006 .
[12] Francis G. McCabe,et al. Reference Model for Service Oriented Architecture 1.0 , 2006 .
[13] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[14] George T. Heineman,et al. Component-Based Software Engineering: Putting the Pieces Together , 2001 .
[15] Jing Liu,et al. A strategy for service realization in service-oriented design , 2006, Science in China Series F: Information Sciences.
[16] Jiacun Wang,et al. Introducing software architecture specification and analysis in SAM through an example , 1999, Inf. Softw. Technol..
[17] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[18] Zhang Guang. Specification and Verification of Service-Oriented Enterprise Application Integration System , 2007 .
[19] Kenneth L. McMillan,et al. The SMV System , 1993 .
[20] M. Diaz,et al. Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..