SCOPUS 정보 검색 플랫폼

Proceedings - International Conference on Quality Software

Volumn , Issue , 2008, Pages 126-131

Verifying business process compatibility

(2) Wong, Peter Y H a Gibbons, Jeremy a

a UNIVERSITY OF OXFORD (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

ALGEBRAIC APPROACHES; BUSINESS COLLABORATIONS; BUSINESS PROCESSING; COMMUNICATING SEQUENTIAL PROCESSES; INTERNATIONAL CONFERENCES; PROCESS INTERACTIONS; PROCESS SEMANTICS; QUALITY SOFTWARE; SEMANTIC MODELING;

INFORMATION THEORY;

EID: 52449103174 PISSN: 15506002 EISSN: None Source Type: Conference Proceeding
DOI: 10.1109/QSIC.2008.6 Document Type: Conference Paper

Times cited : (36)

References (11)

1
- 84894547429
- Activity Graphs and Processes
- IFM '00, of
- C. Bolton and J. Davies. Activity Graphs and Processes. In IFM '00, volume 1945 of LNCS, pages 77-96, 2000.
- (2000) LNCS , vol.1945 , pp. 77-96
- Bolton, C.¹ Davies, J.²

2
- 20644436388
- Feb. 2006
- Business Process Modeling Notation (BPMN) Specification, Feb. 2006. www.bpmn.org.
- Business Process Modeling Notation (BPMN) Specification

3
- 10444244298
- Formalizing Web Services Choreographies
- A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo. Formalizing Web Services Choreographies. In Electronic Notes in Theoretical Computer Science 105, pages 73-94, 2004.
- (2004) Electronic Notes in Theoretical Computer Science , vol.105 , pp. 73-94
- Brogi, A.¹ Canal, C.² Pimentel, E.³ Vallecillo, A.⁴

4
- 47949119001
- BETA Working Paper WP-181, Eindhoven University of Technology
- R. M. Dijkman. Choreography-Based Design of Business Collaborations. BETA Working Paper WP-181, Eindhoven University of Technology, 2006.
- (2006) Choreography-Based Design of Business Collaborations
- Dijkman, R.M.¹

5
- 0003487865
- Formal Systems (Europe) Ltd, f sel. com
- Formal Systems (Europe) Ltd. Failures-Divergences Refinement, FDR2 User Manual, 1998. www. f sel. com.
- (1998) Failures-Divergences Refinement, FDR2 User Manual

6
- 33749077288
- Model-Based Analysis of Obligations in Web Service Choreography
- H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-Based Analysis of Obligations in Web Service Choreography. In AICT-ICIW'06, 2006.
- (2006) AICT-ICIW'06
- Foster, H.¹ Uchitel, S.² Magee, J.³ Kramer, J.⁴

7
- 52449127098
- Object Management Group, http://www.omg.org.

8
- 10644285676
- Responsiveness of interoperating components
- J. N. Reed, J. E. Sinclair, and A. W. Roscoe. Responsiveness of interoperating components. Form. Asp. Comput., 16(4):394-411,2004.
- (2004) Form. Asp. Comput , vol.16 , Issue.4 , pp. 394-411
- Reed, J.N.¹ Sinclair, J.E.² Roscoe, A.W.³

9
- 0003988659
- Prentice Hall
- A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998.
- (1998) The Theory and Practice of Concurrency
- Roscoe, A.W.¹

10
- 52449107725
- P. Y. H. Wong and J. Gibbons. A Process Semantics for BPMN, 2007. Submitted for publication. Extended version available at http://www.comlab.ox. ac.uk/peter.wong/pub/bpmnsem.pdf.
- P. Y. H. Wong and J. Gibbons. A Process Semantics for BPMN, 2007. Submitted for publication. Extended version available at http://www.comlab.ox. ac.uk/peter.wong/pub/bpmnsem.pdf.

11
- 46049093869
- Using Z: Specification, Proof and Refinement
- J. C. P. Woodcock and J. Davies. Using Z: Specification, Proof and Refinement. Prentice Hall International Series in Computer Science, 1996.
- (1996) Prentice Hall International Series in Computer Science
- Woodcock, J.C.P.¹ Davies, J.²

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