SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3731 LNCS, Issue , 2005, Pages 473-488

Formalising web services

(1) Turner, Kenneth J a

a UNIVERSITY OF STIRLING (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER GRAPHICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA PROCESSING; FORMAL LOGIC; NUMERICAL ANALYSIS; SOCIAL NETWORKING (ONLINE); WEBSITES;

AUTOMATED VALIDATION; BUSINESS PROCESS EXECUTION LOGIC (BPEL); CHISEL REPRESENTATION EMPLOYING SYSTEMATIC SPECIFICATION (CRESS);

WORLD WIDE WEB; WEB SERVICES;

BUSINESS PROCESS EXECUTION; COMPOSITE WEB SERVICES; RIGOROUS ANALYSIS;

EID: 33646416461 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/11562436_34 Document Type: Conference Paper

Times cited : (18)

References (10)

1
- 0038315923
- T. Andrews et al., editors. BEA, IBM, Microsoft, SAP, Siebel, May
- T. Andrews et al., editors. Business Process Execution Language for Web Services. Version 1.1. BEA, IBM, Microsoft, SAP, Siebel, May 2003.
- (2003) Business Process Execution Language for Web Services. Version 1.1

2
- 33646425517
- A. Arkin et al., editors. OASIS, Billerica, Massachusetts, Feb.
- A. Arkin et al., editors. Web Services Business Process Execution Language. Version 2.0. OASIS, Billerica, Massachusetts, Feb. 2005.
- (2005) Web Services Business Process Execution Language. Version 2.0

3
- 20444488202
- Business Process Management Initiative, May
- BPMI. Business Process Modeling Notation. Version 1.0. Business Process Management Initiative, May 2004.
- (2004) Business Process Modeling Notation. Version 1.0

4
- 20444451356
- Web services: A process algebra approach
- ACM Press, New York, Nov.
- A. Ferrara. Web services: A process algebra approach. In Proc. 2nd. Intl. Conf. on Service-Oriented Computing, 242-251. ACM Press, New York, Nov. 2004.
- (2004) Proc. 2nd. Intl. Conf. on Service-oriented Computing , pp. 242-251
- Ferrara, A.¹

5
- 4744339469
- Compatibility verification for web service choreography
- San Diego, California, July
- H. Foster, S. Uchitel, J. Kramer, and J. Magee. Compatibility verification for web service choreography. In 2nd. Intl. Conf. on Web Services, San Diego, California, July 2004.
- (2004) 2nd. Intl. Conf. on Web Services
- Foster, H.¹ Uchitel, S.² Kramer, J.³ Magee, J.⁴

6
- 0006785823
- Formalising the CHISEL feature notation
- M. H. Calder and E. H. Magill, editors. IOS Press, Amsterdam, May
- K. J. Turner. Formalising the CHISEL feature notation. In M. H. Calder and E. H. Magill, editors, Proc. 6th. Feature Interactions, 241-256. IOS Press, Amsterdam, May 2000.
- (2000) Proc. 6th. Feature Interactions , pp. 241-256
- Turner, K.J.¹

7
- 23044533102
- Modelling SIP services using CRESS
- D. A. Peled and M. Y. Vardi, editors, LNCS 2529. Springer, Berlin, Nov.
- K. J. Turner. Modelling SIP services using CRESS. In D. A. Peled and M. Y. Vardi, editors, Proc. FORTE XV, LNCS 2529, 162-177. Springer, Berlin, Nov. 2002.
- (2002) Proc. FORTE XV , pp. 162-177
- Turner, K.J.¹

8
- 2942753915
- Analysing interactive voice services
- Aug.
- K. J. Turner. Analysing interactive voice services. Computer Networks, 45(5):665-685, Aug. 2004.
- (2004) Computer Networks , vol.45 , Issue.5 , pp. 665-685
- Turner, K.J.¹

9
- 33646422149
- Test generation for radiotherapy accelerators
- Oct., in press
- K. J. Turner. Test generation for radiotherapy accelerators. Software Tools for Technology Transfer, Oct. 2004, in press.
- (2004) Software Tools for Technology Transfer
- Turner, K.J.¹

10
- 33646432423
- Validating feature-based specifications
- May, in press
- K. J. Turner. Validating feature-based specifications. Software Practice and Experience, May 2005, in press.
- (2005) Software Practice and Experience
- Turner, K.J.¹

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