메뉴 건너뛰기




Volumn , Issue , 2012, Pages 1927-1934

Checking the realizability of BPMN 2.0 choreographies

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT SPECIFICATIONS; BUSINESS PROCESS MODELING; BUSINESS WORKFLOWS; DEVELOPMENT PROCESS; EQUIVALENCE CHECKING; GLOBAL PERSPECTIVE; INTERACTING SOFTWARES; INTERACTION MODEL; INTERFACE MODEL; MODEL TRANSFORMATION; PROCESS ALGEBRAS; REALIZABILITY; TOPDOWN;

EID: 84863591279     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2245276.2232095     Document Type: Conference Paper
Times cited : (71)

References (28)
  • 2
    • 15744383238 scopus 로고    scopus 로고
    • Realizability and verification of MSC graphs
    • DOI 10.1016/j.tcs.2004.09.034, PII S030439750400670X, Automata, Languages and Programming
    • R. Alur, K. Etessami, and M. Yannakakis. Realizability and Verification of MSC Graphs. Theoretical Computer Science, 331(1):97-114, 2005. (Pubitemid 40415264)
    • (2005) Theoretical Computer Science , vol.331 , Issue.1 , pp. 97-114
    • Alur, R.1    Etessami, K.2    Yannakakis, M.3
  • 3
    • 84873440327 scopus 로고    scopus 로고
    • Choreography Conformance via Synchronizability
    • ACM Press
    • S. Basu and T. Bultan. Choreography Conformance via Synchronizability. In Proc. of WWW'11, pages 795-804. ACM Press, 2011.
    • (2011) Proc. of WWW'11 , pp. 795-804
    • Basu, S.1    Bultan, T.2
  • 5
    • 0020735797 scopus 로고
    • On Communicating Finite-State Machines
    • D. Brand and P. Zafiropulo. On Communicating Finite-State Machines. J. ACM, 30(2):323-342, 1983.
    • (1983) J. ACM , vol.30 , Issue.2 , pp. 323-342
    • Brand, D.1    Zafiropulo, P.2
  • 6
    • 67649938979 scopus 로고    scopus 로고
    • Contract Compliance and Choreography Conformance in the Presence of Message Queues
    • Proc. of WS-FM'08, Springer
    • M. Bravetti and G. Zavattaro. Contract Compliance and Choreography Conformance in the Presence of Message Queues. In Proc. of WS-FM'08, volume 5387 of LNCS, pages 37-54. Springer, 2009.
    • (2009) LNCS , vol.5387 , pp. 37-54
    • Bravetti, M.1    Zavattaro, G.2
  • 7
    • 42649089824 scopus 로고    scopus 로고
    • Specification of Realizable Service Conversations using Collaboration Diagrams
    • T. Bultan and X. Fu. Specification of Realizable Service Conversations using Collaboration Diagrams. Service Oriented Computing and Applications, 2(1):27-39, 2008.
    • (2008) Service Oriented Computing and Applications , vol.2 , Issue.1 , pp. 27-39
    • Bultan, T.1    Fu, X.2
  • 9
    • 37249002489 scopus 로고    scopus 로고
    • Structured Communication-Centred Programming for Web Services
    • Proc. of ESOP'07, Springer
    • M. Carbone, K. Honda, and N. Yoshida. Structured Communication-Centred Programming for Web Services. In Proc. of ESOP'07, volume 4421 of LNCS, pages 2-17. Springer, 2007.
    • (2007) LNCS , vol.4421 , pp. 2-17
    • Carbone, M.1    Honda, K.2    Yoshida, N.3
  • 11
    • 79953207372 scopus 로고    scopus 로고
    • Smart Reduction
    • Proc. of FASE'11, Springer
    • P. Crouzen and F. Lang. Smart Reduction. In Proc. of FASE'11, volume 6603 of LNCS, pages 111-126. Springer, 2011.
    • (2011) LNCS , vol.6603 , pp. 111-126
    • Crouzen, P.1    Lang, F.2
  • 12
    • 85117595422 scopus 로고    scopus 로고
    • An Introduction to Service Choreographies
    • G. Decker, O. Kopp, and A. Barros. An Introduction to Service Choreographies. Information Technology, 50(2):122-127, 2008.
    • (2008) Information Technology , vol.50 , Issue.2 , pp. 122-127
    • Decker, G.1    Kopp, O.2    Barros, A.3
  • 13
    • 38049100958 scopus 로고    scopus 로고
    • Local Enforceability in Interaction Petri Nets
    • Proc. of BPM'07, Springer
    • G. Decker and M. Weske. Local Enforceability in Interaction Petri Nets. In Proc. of BPM'07, volume 4714 of LNCS, pages 305-319. Springer, 2007.
    • (2007) LNCS , vol.4714 , pp. 305-319
    • Decker, G.1    Weske, M.2
  • 14
    • 78649469728 scopus 로고    scopus 로고
    • Interaction-centric Modeling of Process Choreographies
    • G. Decker and M. Weske. Interaction-centric Modeling of Process Choreographies. Information Systems, 36(2):292-312, 2011.
    • (2011) Information Systems , vol.36 , Issue.2 , pp. 292-312
    • Decker, G.1    Weske, M.2
  • 15
    • 9544247758 scopus 로고    scopus 로고
    • Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services
    • X. Fu, T. Bultan, and J. Su. Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. Theoretical Computer Science, 328(1-2):19-37, 2004.
    • (2004) Theoretical Computer Science , vol.328 , Issue.1-2 , pp. 19-37
    • Fu, X.1    Bultan, T.2    Su, J.3
  • 16
    • 79953177538 scopus 로고    scopus 로고
    • CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
    • Proc. of TACAS'11, Springer
    • H. Garavel, F. Lang, R. Mateescu, and W. Serwe. CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. In Proc. of TACAS'11, volume 6605 of LNCS, pages 372-387. Springer, 2011.
    • (2011) LNCS , vol.6605 , pp. 372-387
    • Garavel, H.1    Lang, F.2    Mateescu, R.3    Serwe, W.4
  • 18
    • 33750567497 scopus 로고    scopus 로고
    • Analysis of Realizability Conditions for Web Service Choreographies
    • Proc. of FORTE'06, Springer
    • R. Kazhamiakin and M. Pistore. Analysis of Realizability Conditions for Web Service Choreographies. In Proc. of FORTE'06, volume 4229 of LNCS, pages 61-76. Springer, 2006.
    • (2006) LNCS , vol.4229 , pp. 61-76
    • Kazhamiakin, R.1    Pistore, M.2
  • 19
    • 34548846363 scopus 로고    scopus 로고
    • Conformance Validation between Choreography and Orchestration
    • IEEE Computer Society
    • J. Li, H. Zhu, and G. Pu. Conformance Validation between Choreography and Orchestration. In Proc. of TASE'07, pages 473-482. IEEE Computer Society, 2007.
    • (2007) Proc. of TASE'07 , pp. 473-482
    • Li, J.1    Zhu, H.2    Pu, G.3
  • 20
    • 77958451567 scopus 로고    scopus 로고
    • Realizability Is Controllability
    • Proc. of WS-FM'09, Springer
    • N. Lohmann and K. Wolf. Realizability Is Controllability. In Proc. of WS-FM'09, volume 6194 of LNCS, pages 110-127. Springer, 2010.
    • (2010) LNCS , vol.6194 , pp. 110-127
    • Lohmann, N.1    Wolf, K.2
  • 21
    • 77952267271 scopus 로고    scopus 로고
    • Synthesis and Composition of Web Services
    • Proc. of SFM'09, Springer
    • A. Marconi and M. Pistore. Synthesis and Composition of Web Services. In Proc. of SFM'09, volume 5569 of LNCS, pages 89-157. Springer, 2009.
    • (2009) LNCS , vol.5569 , pp. 89-157
    • Marconi, A.1    Pistore, M.2
  • 22
    • 58049104785 scopus 로고    scopus 로고
    • Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques
    • Proc. of ICSOC'08, Springer
    • R. Mateescu, P. Poizat, and G. Salaün. Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques. In Proc. of ICSOC'08, volume 5364 of LNCS, pages 84-99. Springer, 2008.
    • (2008) LNCS , vol.5364 , pp. 84-99
    • Mateescu, R.1    Poizat, P.2    Salaün, G.3
  • 23
    • 0037332768 scopus 로고    scopus 로고
    • Efficient on-the-fly model-checking for regular alternation-free mu-calculus
    • DOI 10.1016/S0167-6423(02)00094-1, PII S0167642302000941
    • R. Mateescu and M. Sighireanu. Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus. Sci. Comput. Programming, 46(3):255-281, 2003. (Pubitemid 35349766)
    • (2003) Science of Computer Programming , vol.46 , Issue.3 , pp. 255-281
    • Mateescu, R.1    Sighireanu, M.2
  • 26
    • 35348902593 scopus 로고    scopus 로고
    • Towards the Theoretical Foundation of Choreography
    • ACM Press
    • Z. Qiu, X. Zhao, C. Cai, and H. Yang. Towards the Theoretical Foundation of Choreography. In Proc. of WWW'07, pages 973-982. ACM Press, 2007.
    • (2007) Proc. of WWW'07 , pp. 973-982
    • Qiu, Z.1    Zhao, X.2    Cai, C.3    Yang, H.4
  • 27
    • 67650468505 scopus 로고    scopus 로고
    • Realizability of Choreographies using Process Algebra Encodings
    • Proc. of IFM'09, Springer
    • G. Salaün and T. Bultan. Realizability of Choreographies using Process Algebra Encodings. In Proc. of IFM'09, volume 5423 of LNCS, pages 167-182. Springer, 2009.
    • (2009) LNCS , vol.5423 , pp. 167-182
    • Salaün, G.1    Bultan, T.2
  • 28
    • 3042823719 scopus 로고    scopus 로고
    • Incremental Elaboration of Scenario-based Specifications and Behavior Models using Implied Scenarios
    • S. Uchitel, J. Kramer, and J. Magee. Incremental Elaboration of Scenario-based Specifications and Behavior Models using Implied Scenarios. ACM Transactions on Software Engineering and Methodology, 13(1):37-85, 2004.
    • (2004) ACM Transactions on Software Engineering and Methodology , vol.13 , Issue.1 , pp. 37-85
    • Uchitel, S.1    Kramer, J.2    Magee, J.3


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