SCOPUS 정보 검색 플랫폼

Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008

Volumn , Issue , 2008, Pages 284-290

Formal semantics and verification of BPMN transaction and compensation

(1) Takemura, Tsukasa a

a IBM JAPAN LTD (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; GRAPH THEORY; INFORMATION MANAGEMENT; MINING; PETRI NETS; SPECIFICATIONS;

BUSINESS ANALYSTS; BUSINESS PROCESS; BUSINESS PROCESS MODELING; BUSINESS-IT; COVERABILITY; FORMAL SEMANTICS; OBJECT MANAGEMENT GROUPS; REACHABILITY; SPECIFIC ACTIVITY; STANDARD NOTATION;

SEMANTICS;

EID: 67049097578 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1109/APSCC.2008.208 Document Type: Conference Paper

Times cited : (34)

References (8)

1
- 0002635781
- Modelling and analyzing workflow using a Petri-net based approach
- G. Michelis, C. Ellis, and G. Memmi, editors
- W. Aalst, K. Hee, and G. Houben. Modelling and analyzing workflow using a Petri-net based approach. In G. Michelis, C. Ellis, and G. Memmi, editors, Proceedings of the second Workshop on Computer-Supported Cooperative Work, Petri nets and related formalisms, pages 31-50, 1994
- (1994) Proceedings of the Second Workshop on Computer-supported Cooperative Work, Petri nets and related formalisms , pp. 31-50
- Aalst, W.¹ Hee, K.² Houben, G.³

2
- 38349016157
- Formal semantics and automated analysis of bpmn process models
- Queensland University of Technology, Brisbane, Australia
- R. M. Dijkman, M. Dumas, and C. Ouyang. Formal semantics and automated analysis of bpmn process models. Preprint (7115), Queensland University of Technology, Brisbane, Australia, 2007
- (2007) Preprint , vol.7115
- Dijkman, R.M.¹ Dumas, M.² Ouyang, C.³

3
- 38349004523
- Semantics of standard process models with or-joins
- M. Dumas, A. Grosskopf, T. Hettel, and M. T. Wynn. Semantics of standard process models with or-joins. In OTM Conferences 1, pages 41-58, 2007
- (2007) OTM Conferences (1) , pp. 41-58
- Dumas, M.¹ Grosskopf, A.² Hettel, T.³ Wynn, M.T.⁴

4
- 27144536920
- Transforming BPEL to Petri nets
- Business Process Management: 3rd International Conference, BPM 2005. Proceedings
- S. Hinz, K. Schmidt, and C. Stahl. Transforming bpel to Petri nets. In Proceedings of the International Conference on Business Process Management (BPM2005), volume 3649 of Lecture Notes in Computer Science, pages 220-235. Springer- Verlag, 2005 (Pubitemid 41490765)
- (2005) Lecture Notes in Computer Science , vol.3649 , pp. 220-235
- Hinz, S.¹ Schmidt, K.² Stahl, C.³

5
- 57049112434
- Object Management Group, January
- Object Management Group. Business Process Modeling Notation, V1.1 OMG Available Specification, January 2008
- (2008) Business Process Modeling Notation, V1.1 OMG Available Specification

6
- 0003953265
- Humboldt-Universitat zu Berlin Institut fur Informatik Lehrstuhl fur Automaten- und Systemtheorie, Unter den Linden 6 10099 Berlin
- S. Roch and P. H. Starke. INA Integrated Net Analyzer Version 2.2 Manual. Humboldt-Universitat zu Berlin Institut fur Informatik Lehrstuhl fur Automaten- und Systemtheorie, Unter den Linden 6 10099 Berlin, 2003
- (2003) INA Integrated Net Analyzer Version 2.2 Manual
- Roch, S.¹ Starke, P.H.²

7
- 27144534564
- A petri net semantics for bpel
- University
- C. Stahl. A petri net semantics for bpel. Technical report, University, 2005
- (2005) Technical report
- Stahl, C.¹

8
- 38349032671
- A process semantics for bpmn
- LNCS, October
- P. Y. Wong and J. Gibbons. A process semantics for bpmn. In Proceedings of 10th International Conference on Formal Engineering Methods., LNCS, October ber 2008
- (2008) Proceedings of 10th International Conference on Formal Engineering Methods
- Wong, P.Y.¹ Gibbons, J.²

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