메뉴 건너뛰기




Volumn 235, Issue C, 2009, Pages 71-105

Specification and Analysis of SOC Systems Using COWS: A Finance Case Study

Author keywords

logics and model checking; process calculi; service orchestration; Service oriented computing

Indexed keywords

BIOMINERALIZATION; DISTRIBUTED COMPUTER SYSTEMS; PATHOLOGY; SPECIFICATIONS; TEMPORAL LOGIC;

EID: 62849128224     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.03.006     Document Type: Article
Times cited : (7)

References (27)
  • 2
    • 62849098105 scopus 로고    scopus 로고
    • Available at
    • Uml4soa. Available at http://www.poplarsoftwaredesign.com/Poplar/UML4SOA.html
    • Uml4soa
  • 3
    • 48949097794 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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
  • 13
    • 77049098553 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


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