-
2
-
-
62849098105
-
-
Available at
-
Uml4soa. Available at http://www.poplarsoftwaredesign.com/Poplar/UML4SOA.html
-
Uml4soa
-
-
-
3
-
-
48949097794
-
Relational analysis of correlation
-
SAS, Springer
-
Bauer J., Nielson F., Nielson H.R., and Pilegaard H. Relational analysis of correlation. SAS. LNCS volume 5079 (2008), Springer 245-256
-
(2008)
LNCS
, vol.5079
, pp. 245-256
-
-
Bauer, J.1
Nielson, F.2
Nielson, H.R.3
Pilegaard, H.4
-
4
-
-
48249088825
-
Compositional specification of web services via behavioural equivalence of nets: A case study
-
Petri Nets. van Hee K.M., and Valk R. (Eds), Springer
-
Bonchi F., Brogi A., Corfini S., and Gadducci F. Compositional specification of web services via behavioural equivalence of nets: A case study. In: van Hee K.M., and Valk R. (Eds). Petri Nets. Lecture Notes in Computer Science volume 5062 (2008), Springer 52-71
-
(2008)
Lecture Notes in Computer Science
, vol.5062
, pp. 52-71
-
-
Bonchi, F.1
Brogi, A.2
Corfini, S.3
Gadducci, F.4
-
5
-
-
45749120330
-
Sessions and pipelines for structured service programming
-
FMOODS. Barthe G., and de Boer F.S. (Eds), Springer
-
Boreale M., Bruni R., De Nicola R., and Loreti M. Sessions and pipelines for structured service programming. In: Barthe G., and de Boer F.S. (Eds). FMOODS. LNCS volume 5051 (2008), Springer 19-38
-
(2008)
LNCS
, vol.5051
, pp. 19-38
-
-
Boreale, M.1
Bruni, R.2
De Nicola, R.3
Loreti, M.4
-
6
-
-
45749154866
-
Multiparty sessions in soc
-
COORDINATION2008. Lea D., and Zavattaro G. (Eds), Springer
-
Bruni R., Lanese I., Melgratti H.C., and Tuosto E. Multiparty sessions in soc. In: Lea D., and Zavattaro G. (Eds). COORDINATION2008. Lecture Notes in Computer Science volume 5052 (2008), Springer 67-82
-
(2008)
Lecture Notes in Computer Science
, vol.5052
, pp. 67-82
-
-
Bruni, R.1
Lanese, I.2
Melgratti, H.C.3
Tuosto, E.4
-
7
-
-
33746223508
-
Choreography and orchestration conformance for system design
-
COORDINATION, Springer
-
Busi N., Gorrieri R., Guidi C., Lucchi R., and Zavattaro G. Choreography and orchestration conformance for system design. COORDINATION. LNCS volume 4038 (2006), Springer 63-81
-
(2006)
LNCS
, vol.4038
, pp. 63-81
-
-
Busi, N.1
Gorrieri, R.2
Guidi, C.3
Lucchi, R.4
Zavattaro, G.5
-
8
-
-
26444563415
-
A trace semantics for long-running transactions
-
25 Years Communicating Sequential Processes, Springer
-
Butler M.J., Hoare C.A.R., and Ferreira C. A trace semantics for long-running transactions. 25 Years Communicating Sequential Processes. LNCS volume 3525 (2005), Springer 133-150
-
(2005)
LNCS
, vol.3525
, pp. 133-150
-
-
Butler, M.J.1
Hoare, C.A.R.2
Ferreira, C.3
-
9
-
-
37249002489
-
Structured communication-centred programming for web services
-
ESOP, Springer
-
Carbone M., Honda K., and Yoshida N. Structured communication-centred programming for web services. ESOP. LNCS volume 4421 (2007), Springer 2-17
-
(2007)
LNCS
, vol.4421
, pp. 2-17
-
-
Carbone, M.1
Honda, K.2
Yoshida, N.3
-
10
-
-
0029272304
-
Three logics for branching bisimulation
-
De Nicola R., and Vaandrager F. Three logics for branching bisimulation. J. ACM 42 2 (1995) 458-487
-
(1995)
J. ACM
, vol.42
, Issue.2
, pp. 458-487
-
-
De Nicola, R.1
Vaandrager, F.2
-
11
-
-
45749114538
-
A model checking approach for verifying COWS specifications
-
Springer, To appear
-
A. Fantechi, S. Gnesi, A. Lapadula, F. Mazzanti, R. Pugliese, and F. Tiezzi. A model checking approach for verifying COWS specifications. In FASE, LNCS. Springer, 2008. To appear
-
(2008)
LNCS. In FASE
-
-
Fantechi, A.1
Gnesi, S.2
Lapadula, A.3
Mazzanti, F.4
Pugliese, R.5
Tiezzi, F.6
-
12
-
-
62849120499
-
StPowla: SOA, Policies and Workflows
-
S. Gorton, C. Montangero, S. Reiff-Marganiec, and L. Semini. StPowla: SOA, Policies and Workflows. In Proc. 3rd Int. Workshop on Engineering Service-Oriented Applications: Analysis, Design, and Composition, 2007
-
(2007)
Proc. 3rd Int. Workshop on Engineering Service-Oriented Applications: Analysis, Design, and Composition
-
-
Gorton, S.1
Montangero, C.2
Reiff-Marganiec, S.3
Semini, L.4
-
13
-
-
77049098553
-
SOCK: a calculus for service oriented computing
-
ICSOC, Springer
-
Guidi C., Lucchi R., Gorrieri R., Busi N., and Zavattaro G. SOCK: a calculus for service oriented computing. ICSOC. LNCS volume 4294 (2006), Springer 327-338
-
(2006)
LNCS
, vol.4294
, pp. 327-338
-
-
Guidi, C.1
Lucchi, R.2
Gorrieri, R.3
Busi, N.4
Zavattaro, G.5
-
14
-
-
45849148094
-
Disciplining orchestration and conversation in service-oriented computing
-
IEEE Computer Society
-
I. Lanese et al. Disciplining orchestration and conversation in service-oriented computing. In SEFM'07, pages 305-314. IEEE Computer Society, 2007
-
(2007)
SEFM'07
, pp. 305-314
-
-
Lanese, I.1
-
15
-
-
24644473737
-
Foundations of web transactions
-
FoSSaCS, Springer
-
Laneve C., and Zavattaro G. Foundations of web transactions. FoSSaCS. LNCS volume 3441 (2005), Springer 282-298
-
(2005)
LNCS
, vol.3441
, pp. 282-298
-
-
Laneve, C.1
Zavattaro, G.2
-
16
-
-
37149053881
-
-
A. Lapadula, R. Pugliese, and F. Tiezzi. A calculus for orchestration of web services. Technical report, DSI, Univ. Firenze, 2007. Available at http://rap.dsi.unifi.it/cows/papers/cows-esop07-full.pdf. An extended abstract appeared in Proc. of ESOP'07, LNCS 4421, pages 33-47, Springer
-
A. Lapadula, R. Pugliese, and F. Tiezzi. A calculus for orchestration of web services. Technical report, DSI, Univ. Firenze, 2007. Available at http://rap.dsi.unifi.it/cows/papers/cows-esop07-full.pdf. An extended abstract appeared in Proc. of ESOP'07, LNCS 4421, pages 33-47, Springer
-
-
-
-
17
-
-
38149129224
-
Regulating data exchange in service oriented applications
-
FSEN, Springer
-
Lapadula A., Pugliese R., and Tiezzi F. Regulating data exchange in service oriented applications. FSEN. LNCS volume 4767 (2007), Springer 223-239
-
(2007)
LNCS
, vol.4767
, pp. 223-239
-
-
Lapadula, A.1
Pugliese, R.2
Tiezzi, F.3
-
18
-
-
45749144773
-
-
A. Lapadula, R. Pugliese, and F. Tiezzi. A formal account of WS-BPEL. Technical report, DSI, Univ. Firenze, 2008. Available at http://rap.dsi.unifi.it/cows/papers/blite_full.pdf. An extended abstract appeared in Proc. of COORDINATION'08, LNCS 5052, pages 199-215, Springer
-
A. Lapadula, R. Pugliese, and F. Tiezzi. A formal account of WS-BPEL. Technical report, DSI, Univ. Firenze, 2008. Available at http://rap.dsi.unifi.it/cows/papers/blite_full.pdf. An extended abstract appeared in Proc. of COORDINATION'08, LNCS 5052, pages 199-215, Springer
-
-
-
-
19
-
-
4243075269
-
Contracts and types
-
Meredith L.G., and Bjorg S. Contracts and types. Commun. ACM 46 10 (2003) 41-47
-
(2003)
Commun. ACM
, vol.46
, Issue.10
, pp. 41-47
-
-
Meredith, L.G.1
Bjorg, S.2
-
20
-
-
44049113210
-
A calculus of mobile processes, I and II
-
41-77
-
Milner R., Parrow J., and Walker D. A calculus of mobile processes, I and II. Inf. Comput. 100 1 (1992) 1-40 41-77
-
(1992)
Inf. Comput.
, vol.100
, Issue.1
, pp. 1-40
-
-
Milner, R.1
Parrow, J.2
Walker, D.3
-
21
-
-
62849122965
-
-
OASIS WSBPEL TC. Web Services Business Process Execution Language Version 2.0, April 2007. Available at
-
OASIS WSBPEL TC. Web Services Business Process Execution Language Version 2.0., April 2007. Available at http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html
-
-
-
-
22
-
-
38348999367
-
Stochastic COWS
-
ICSOC, Springer
-
Prandi D., and Quaglia P. Stochastic COWS. ICSOC. LNCS volume 4749 (2007), Springer 245-256
-
(2007)
LNCS
, vol.4749
, pp. 245-256
-
-
Prandi, D.1
Quaglia, P.2
-
23
-
-
84869292338
-
On observing dynamic prioritised actions in SOC
-
Technical report, Dipartimento di Sistemi e Informatica, Univ. Firenze, Available at
-
R. Pugliese, F. Tiezzi, and N. Yoshida. On observing dynamic prioritised actions in SOC. Technical report, Dipartimento di Sistemi e Informatica, Univ. Firenze, 2008. Available at http://rap.dsi.unifi.it/cows/bis4cows-full.pdf
-
(2008)
-
-
Pugliese, R.1
Tiezzi, F.2
Yoshida, N.3
-
25
-
-
34250336744
-
Models and verification of BPEL
-
Technical report, Department of Computer Science and Engineering, York University, Available at
-
F. van Breugel and M. Koshkina. Models and verification of BPEL. Technical report, Department of Computer Science and Engineering, York University, 2006. Available at: http://www.cse.yorku.ca/~franck/research/drafts/tutorial.pdf
-
(2006)
-
-
van Breugel, F.1
Koshkina, M.2
-
26
-
-
47249140462
-
The conversation calculus: A model of service-oriented computation
-
ESOP2008. Drossopoulou S. (Ed), Springer
-
Vieira H.T., Caires L., and Costa Seco J. The conversation calculus: A model of service-oriented computation. In: Drossopoulou S. (Ed). ESOP2008. Lecture Notes in Computer Science volume 4960 (2008), Springer 269-283
-
(2008)
Lecture Notes in Computer Science
, vol.4960
, pp. 269-283
-
-
Vieira, H.T.1
Caires, L.2
Costa Seco, J.3
-
27
-
-
33749378105
-
Semantics of uml 2.0 activity diagram for business modeling by means of virtual machine
-
(EDOC 2005), IEEE Computer Society
-
Vitolins V., and Kalnins A. Semantics of uml 2.0 activity diagram for business modeling by means of virtual machine. Ninth IEEE International Enterprise Distributed Object Computing Conference. (EDOC 2005) (2005), IEEE Computer Society 181-194
-
(2005)
Ninth IEEE International Enterprise Distributed Object Computing Conference
, pp. 181-194
-
-
Vitolins, V.1
Kalnins, A.2
|