-
1
-
-
0042850360
-
Inference of Message Sequence Charts
-
R. Alur, K. Etessami, and M. Yannakakis. Inference of Message Sequence Charts. IEEE Transactions on Software Engineering, 29(7):623-633, 2003.
-
(2003)
IEEE Transactions on Software Engineering
, vol.29
, Issue.7
, pp. 623-633
-
-
Alur, R.1
Etessami, K.2
Yannakakis, M.3
-
2
-
-
15744383238
-
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
-
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
-
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
-
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
-
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
-
8
-
-
33746223508
-
Choreography and orchestration conformance for system design
-
DOI 10.1007/11767954-5, Coordination Models and Languages - 8th International Conference, COORDINATION 2006, Proceedings
-
N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro. Choreography and Orchestration Conformance for System Design. In Proc. of Coordination'06, volume 4038 of LNCS, pages 63-81. Springer, 2006. (Pubitemid 44098379)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4038 LNCS
, pp. 63-81
-
-
Busi, N.1
Gorrieri, R.2
Guidi, C.3
Lucchi, R.4
Zavattaro, G.5
-
9
-
-
37249002489
-
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
-
10
-
-
79953169031
-
-
(Version 5.4). INRIA/VASY
-
D. Champelovier, X. Clerc, H. Garavel, Y. Guerte, V. Powazny, F. Lang, W. Serwe, and G. Smeding. Reference Manual of the LOTOS NT to LOTOS Translator (Version 5.4). INRIA/VASY, 149 pages, 2011.
-
(2011)
Reference Manual of the LOTOS NT to LOTOS Translator
, pp. 149
-
-
Champelovier, D.1
Clerc, X.2
Garavel, H.3
Guerte, Y.4
Powazny, V.5
Lang, F.6
Serwe, W.7
Smeding, G.8
-
11
-
-
79953207372
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
|