SCOPUS 정보 검색 플랫폼

ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings

Volumn , Issue , 2008, Pages 415-418

The consistency of web conversations

(3) Fischer, Jeffrey a Majumdar, Rupak a Sorrentino, Francesco b

a UNIVERSITY OF CALIFORNIA (United States)

b UNIVERSITY OF SALERNO (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; FLOW INTERACTIONS; ROBOTS; SOFTWARE ENGINEERING; TRANSLATION (LANGUAGES);

BOOLEAN STATE VARIABLES; COMPOSITE WEB SERVICES; DEVELOPMENT ENVIRONMENTS; ENTERPRISE SERVICES; EXCEPTION HANDLINGS; MESSAGE EXCHANGES; NETBEANS; OVERALL EXECUTIONS; PARALLEL COMPOSITIONS; PRODUCT STATES;

SEQUENTIAL MACHINES;

EID: 56249132530 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1109/ASE.2008.62 Document Type: Conference Paper

Times cited : (2)

References (10)

1
- 0005253473
- Web services conversation language (WSCL) 1.0
- Technical report, March
- A. Banerji, C. Bartolini, D. Beringer, V. Chopella, and et al. Web services conversation language (WSCL) 1.0. Technical report, World Wide Web Consortium, March 2002. http://www.w3.org/TR/wscl10/.
- (2002)
- Banerji, A.¹ Bartolini, C.² Beringer, D.³ Chopella, V.⁴ and et, al.⁵

2
- 84944319371
- Symbolic model checking without BDDs
- TACAS 99: Tools and Algorithms for the Construction and Analysis of Systems, Springer
- A. Biere, A. Cimatti, E.M. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In TACAS 99: Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1579, pages 193-207. Springer, 1999.
- (1999) LNCS , vol.1579 , pp. 193-207
- Biere, A.¹ Cimatti, A.² Clarke, E.M.³ Zhu, Y.⁴

3
- 84880478628
- Conversation specification: A new approach to design and analysis of e-service composition
- ACM
- T. Bultan, X. Fu, R. Hull, and J. Su. Conversation specification: a new approach to design and analysis of e-service composition. In WWW '03, pages 403-410. ACM, 2003.
- (2003) WWW '03 , pp. 403-410
- Bultan, T.¹ Fu, X.² Hull, R.³ Su, J.⁴

4
- 35148825835
- at, August 2006
- B. Dutertre and L. de Moura. The yices smt solver. Tool paper at http://yices.csl.sri.com/tool-paper.pdf, August 2006.
- The yices smt solver. Tool paper
- Dutertre, B.¹ de Moura, L.²

5
- 0038315923
- May 2003
- T. Andrews et al. Business process execution language for web services, May 2003. http://dev2dev.bea.com/webservices/BPEL4WS.html.
- Business process execution language for web services
- Andrews, T.¹

6
- 56249107605
- Conversational Consistency
- Technical Report TR-080018, UCLA Computer Science Department, July
- J. Fischer, R. Majumdar, and F. Sorrentino. Conversational Consistency. Technical Report TR-080018, UCLA Computer Science Department, July 2008.
- (2008)
- Fischer, J.¹ Majumdar, R.² Sorrentino, F.³

7
- 19944405131
- Analysis of interacting bpel web services
- ACM
- X. Fu, T. Bultan, and J. Su. Analysis of interacting bpel web services. In WWW '04, pages 621-630. ACM, 2004.
- (2004) WWW '04 , pp. 621-630
- Fu, X.¹ Bultan, T.² Su, J.³

8
- 33845223365
- Synchronizability of conversations among web services
- December
- X. Fu, T. Bultan, and J. Su. Synchronizability of conversations among web services. IEEE Trans. on Softw. Eng., 31(12):1042-1055, December 2005.
- (2005) IEEE Trans. on Softw. Eng , vol.31 , Issue.12 , pp. 1042-1055
- Fu, X.¹ Bultan, T.² Su, J.³

9
- 84976721251
- Sagas
- ACM
- H. Garcia-Molina and K. Salem. Sagas. In SIGMOD '87, pages 249-259. ACM, 1987.
- (1987) SIGMOD '87 , pp. 249-259
- Garcia-Molina, H.¹ Salem, K.²

10
- 0034292030
- Exception handling in workflow management systems
- C. Hagen and G. Alonso. Exception handling in workflow management systems. IEEE Trans. Softw. Eng., 26(10):943-958, 2000.
- (2000) IEEE Trans. Softw. Eng , vol.26 , Issue.10 , pp. 943-958
- Hagen, C.¹ Alonso, G.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.