SCOPUS 정보 검색 플랫폼

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

Volumn 5423 LNCS, Issue , 2009, Pages 56-71

Property specifications for workflow modelling

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

a UNIVERSITY OF OXFORD (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS; TRANSLATION (LANGUAGES);

BEHAVIOURAL SEMANTICS; BUSINESS PROCESS MODELLING NOTATIONS; LINEAR TEMPORAL LOGIC; PROPERTY SPECIFICATION; PROPERTY SPECIFICATION LANGUAGE; REFINEMENT CHECKING; REFINEMENT ORDERINGS; WORKFLOW MODELLING;

FORMAL METHODS;

EID: 67650491062 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/978-3-642-00255-7_5 Document Type: Conference Paper

Times cited : (20)

References (10)

1
- 0032667112
- Patterns in Property Specifications for Finite-State Verification
- Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in Property Specifications for Finite-State Verification. In: Proceedings of the 21st International Conference on Software Engineering (1999)
- (1999) Proceedings of the 21st International Conference on Software Engineering
- Dwyer, M.B.¹ Avrunin, G.S.² Corbett, J.C.³

2
- 0007928023
- Formal Systems (Europe) Ltd. Failures-Divergences Refinement
- Formal Systems (Europe) Ltd. Failures-Divergences Refinement, FDR2 User Manual (1998), http://www.fsel.com
- (1998) FDR2 User Manual

3
- 43449088254
- Specification of communicating processes: Temporal logic versus refusalsbased refinement
- Lowe, G.: Specification of communicating processes: temporal logic versus refusalsbased refinement. Formal Aspects of Computing 20(3) (2008)
- (2008) Formal Aspects of Computing , vol.20 , Issue.3
- Lowe, G.¹

4
- 0003799504
- Springer, Heidelberg
- Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1992)
- (1992) The Temporal Logic of Reactive and Concurrent Systems
- Manna, Z.¹ Pnueli, A.²

5
- 6344220449
- D.Phil thesis, University of Oxford
- Mukarram, A.: A Refusal Testing Model for CSP. D.Phil thesis, University of Oxford (1992)
- (1992) A Refusal Testing Model for CSP
- Mukarram, A.¹

6
- 54249096306
- February 2006
- Object Management Group. BPMN Specification (February 2006), http://www.bpmn.org
- BPMN Specification

7
- 0003988659
- Prentice-Hall, Englewood Cliffs
- Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)
- (1998) The Theory and Practice of Concurrency
- Roscoe, A.W.¹

8
- 57049184767
- Wong, P.Y.H., Gibbons, J.: A Process Semantics for BPMN. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, 5256, pp. 355-374. Springer, Heidelberg (2008), http://www.comlab.ox.ac.uk/peter.wong/pub/bpmnsem. pdf
- Wong, P.Y.H., Gibbons, J.: A Process Semantics for BPMN. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 355-374. Springer, Heidelberg (2008), http://www.comlab.ox.ac.uk/peter.wong/pub/bpmnsem. pdf

9
- 67649996419
- A Relative-Timed Semantics for BPMN
- Invited for special issue in Science of Computer Programming
- Wong, P.Y.H., Gibbons, J.: A Relative-Timed Semantics for BPMN. In: Proceedings of 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, July 2008. ENTCS (2008); Invited for special issue in Science of Computer Programming, http://www.comlab.ox.ac.uk/ peter.wong/pub/foclasa08.pdf
- (2008) Proceedings of 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, July 2008. ENTCS
- Wong, P.Y.H.¹ Gibbons, J.²

10
- 67650353026
- Property Specifications for Workflow Modelling
- Technical Report, University of Oxford
- Wong, P.Y.H., Gibbons, J.: Property Specifications for Workflow Modelling. Technical Report, University of Oxford (2008), http://web.comlab.ox. ac.uk/oucl/work/peter.wong/pub/psp.pdf
- (2008)
- Wong, P.Y.H.¹ Gibbons, J.²

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