WSAT swMATH ID: 1022 Software Authors: Fu, Xiang; Bultan, Tevfik; Su, Jianwen Description: This paper presents Web Service Analysis Tool (WSAT), a tool for analyzing and verifying composite web service designs, with the state of the art model checking techniques. Web services are loosely coupled distributed systems communicating via XML messages. Communication among web services is asynchronous, and it is supported by messaging platforms such as JMS which provide FIFO queues to store incoming messages. Data transmission among web services is standardized via XML, and the specification of web service itself (invocation interface and behavior signature) relies on a stack of XML based standards (e.g. WSDL, BPEL4WS, WSCI and etc.). The characteristics of web services, however, raise several challenges in the application of model checking: (1) Numerous competing web service standards, most of which lack formal semantics, complicate the formal specification of web service composition. (2) Asynchronous messaging makes most interesting verification problems undecidable, even when XML message contents are abstracted away. (3) XML data and expressive XPath based manipulation are not supported by current model checkers. Homepage: http://www.cs.ucsb.edu/~su/WSAT/ Related Software: BPEL2PN; CADP; SPIN; LTSA-WS; mCRL2; Woflan; YAWL; Metagraphs; AO4BPEL; WebSphere; AutoSyn; ITACA; SHOP2; UMDES; NuSMV; YASM; MathSAT; Sat4j; JML; Walksat Cited in: 29 Publications Further Publications: http://www.cs.ucsb.edu/~su/WSAT/#publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year WSAT: A tool for formal analysis of web services. Zbl 1103.68613Fu, Xiang; Bultan, Tevfik; Su, Jianwen 2004 all top 5 Cited by 65 Authors 5 Bultan, Tevfik 4 Salaün, Gwen 3 Basu, Samik 3 Ouederni, Meriem 3 Su, Jianwen 2 Deng, Ting 2 Fiadeiro, José Luiz 2 Fu, Xiang 2 Huai, Jinpeng 2 Lopes, Antónia 2 Roohi, Nima 2 ter Hofstede, Arthur H. M. 2 van der Aalst, Wil M. P. 1 Abreu Júnior, João Carlos 1 Akroun, Lakhdar 1 Atampore, Francis 1 Ben-David, Shoham 1 Breutel, Stephan 1 Canal, Carlos 1 Chechik, Marsha 1 Chen, Zhenbang 1 Clempner, Julio B. 1 Cubo, Javier 1 Ding, Zuohua 1 Dingel, Juergen 1 Dumas, Marlon 1 Durán, Francisco 1 Fan, Wenfei 1 Gao, Yang 1 Gerede, Cagdas Evren 1 Ibarra, Oscar H. 1 Kazhamiakin, Raman 1 Kil, Hyunyoung 1 Lee, Dongwon 1 Li, Bo 1 Li, Mu 1 Libkin, Leonid O. 1 Liu, Jing 1 Liu, Xingwu 1 Mirian, Seyyed Hassan 1 Mota, Alexandre C. 1 Nam, Wonhong 1 Ouyang, Chun 1 Pimentel, Ernesto 1 Pistore, Marco 1 Polini, Andrea 1 Polzonetti, Andrea 1 Ramos, Rodrigo A. 1 Ravikumar, Bala 1 Re, Barbara 1 Rudie, Karen 1 Sampaio, Augusto C. A. 1 Sidorova, Natalia 1 Simmonds, Jocelyn 1 van Hee, Kees Max 1 Verbeek, Eric 1 Verbeek, H. M. W. 1 Voorhoeve, Marc 1 Wo, Tianyu 1 Wu, Yinghui 1 Wynn, Moe Thandar 1 Xu, Ming 1 Xu, Zhiwei 1 Zhan, Naijun 1 Zhang, Lijun all top 5 Cited in 14 Serials 4 Theoretical Computer Science 4 Science of Computer Programming 2 Informatica (Ljubljana) 2 Science China. Information Sciences 1 Information Processing Letters 1 Computing 1 Journal of Computer and System Sciences 1 Formal Aspects of Computing 1 Discrete Event Dynamic Systems 1 Formal Methods in System Design 1 International Journal of Applied Mathematics and Computer Science 1 The Journal of Logic and Algebraic Programming 1 International Journal of Parallel, Emergent and Distributed Systems 1 RAIRO. Theoretical Informatics and Applications Cited in 4 Fields 27 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 2 Systems theory; control (93-XX) 1 Probability theory and stochastic processes (60-XX) Citations by Year