From Architectural to Behavioural Specification of Services

Electronic Notes in Theoretical Computer Science

Volumn 253, Issue 1, 2009, Pages 3-21

  Bocchi, Laura ^a   Fiadeiro, José Luiz ^a   Lapadula, Alessandro ^b   Pugliese, Rosario ^b   Tiezzi, Francesco ^b  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

^b UNIVERSITY OF FLORENCE   (Italy)

Author keywords

formal methods; modelling languages; process calculi; Service Component Architecture; Service Oriented Computing

Indexed keywords

ARCHITECTURAL MODELS; BUSINESS ACTIVITIES; ENGINEERING PRACTICES; INTEGRATED APPROACH; LEVELS OF ABSTRACTION; MODELLING LANGUAGES; PROCESS CALCULI; SERVICE COMPONENT ARCHITECTURE; SERVICE COMPONENTS; SERVICE-ORIENTED COMPUTING; SOFTWARE DEVELOPER; SOFTWARE ENGINEERING PROCESS;

ABSTRACTING; BIOMINERALIZATION; COMPUTER SCIENCE; COMPUTER SOFTWARE; FORMAL METHODS; LINGUISTICS; PATHOLOGY;

SERVICE ORIENTED ARCHITECTURE (SOA);

EID: 70349326319     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.09.025     Document Type: Article

References (30)

1. The Dino Project, University College London. Web site: http://www.cs.ucl.ac.uk/research/dino/
2. Software engineering for service-oriented overlay computers (Sensoria). Web site: http://sensoria.fast.de/
3. Abreu J., and Fiadeiro J.L. A coordination model for service-oriented interactions. COORDINATION. LNCS volume 5052 (2008), Springer 1-16
4. Alonso G., Casati F., Kuno H., and Machiraju V. Web Services: Concepts, Architecture and Applications (2004), Springer
5. Bauer J., Nielson F., Nielson H.R., and Pilegaard H. Relational Analysis of Correlation. SAS. LNCS volume 5079 (2008), Springer 32-46
6. Bistarelli S., Montanari U., and Rossi F. Semiring-based constraint satisfaction and optimization. J. ACM 44 2 (1997) 201-236
7. L. Bocchi, J.L. Fiadeiro, A. Lapadula, R. Pugliese, and F. Tiezzi. From Architectural to Behavioural Specification of Services. Technical report, Università di Firenze, 2008. Available at http://rap.dsi.unifi.it/cows/
8. Bocchi L., Hong Y., Lopes A., and Fiadeiro J.L. From BPEL to SRML: A Formal Transformational Approach. Web Services and Formal Methods. LNCS volume 4937 (2007), Springer Verlag 92-107
9. 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
10. M. Beisiegel, H. Blohm, D. Booz, J. Dubray, A. Colyer, M. Edwards, D. Ferguson, B. Flood, M. Greenberg, D. Kearns, J. Marino, J. Mischkinsky, M. Nally, G. Pavlik, M. Rowley, K. Tam, and C. Trieloff. Building Systems using a Service Oriented Architecture. Whitepaper, SCA Consortium, 2005. http://www.iona.com/devcenter/sca/SCA_White_Paper1_09.pdf
11. Bruni R., Lanese I., Melgratti H.C., and Tuosto E. Multiparty Sessions in SOC. COORDINATION. LNCS volume 5052 (2008), Springer 67-82
12. Carbone M., Honda K., and Yoshida N. Structured communication-centred programming for web services. ESOP. LNCS volume 4421 (2007), Springer 2-17
13. F. Chesani, P. Mello, M. Montali, S. Storari, and P. Torroni. On the Integration of Declarative Choreographies and Commitment-based Agent Societies into the SCIFF Logic Programming Framework. Journal of Multiagent and Grid Systems, Special Issue on Agents, Web Services and Ontologies: Integrated Methodologies, 2009. To appear
14. Fantechi A., Gnesi S., Lapadula A., Mazzanti F., Pugliese R., and Tiezzi F. A model checking approach for verifying COWS specifications. FASE. LNCS volume 4961 (2008), Springer 230-245
15. Fiadeiro J.L., Lopes A., and Bocchi L. A formal approach to service component architecture. Web Services and Formal Methods. LNCS volume 4184 (2006), Springer 193-213
16. J.L. Fiadeiro, A. Lopes, and L. Bocchi. Semantics of service-oriented system configuration. Technical report, University of Leicester, 2008. Available at http://www.cs.le.ac.uk/people/jfiadeiro/
17. Foster I., and Kesselman C. The Grid 2: Blueprint for a New Computing Infrastructure (2003), Morgan Kaufmann Publishers Inc., San Francisco, CA, USA
18. 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
19. Laneve C., and Zavattaro G. Foundations of web transactions. FoSSaCS. LNCS volume 3441 (2005), Springer 282-298
20. Lapadula A., Pugliese R., and Tiezzi F. Regulating data exchange in service oriented applications. FSEN. LNCS volume 4767 (2007), Springer 223-239
21. A. Lapadula, R. Pugliese, and F. Tiezzi. A calculus for orchestration of web services. Technical report, Università di Firenze, 2008. Available at http://rap.dsi.unifi.it/cows/. An extended abstract appeared in the proc. of ESOP'07
22. Lapadula A., Pugliese R., and Tiezzi F. Service discovery and negotiation with COWS. WWV. ENTCS 200 (2008) 133-154 Elsevier
23. Lohmann N. A feature-complete Petri net semantics for WS-BPEL 2.0. Web Services and Formal Methods. LNCS volume 4937 (2008), Springer 77-91
24. Mayer P., Schroeder A., and Koch N. MDD4SOA: Model-Driven Service Orchestration. EDOC (2008), IEEE Computer Society Press 203-212
25. Milner R. Communicating and Mobile Systems: The piCalculus (1999), Cambridge University Press
26. OASIS WSBPEL TC. Web Services Business Process Execution Language Version 2.0, April 2007. Web site: http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html
27. C. Ouyang, W.M.P. van der Aalst, S. Breutel, M. Dumas, A.H.M. ter Hofstede, and H.M.W. Verbeek. Formal semantics and analysis of control flow in WS-BPEL (revised version). Technical report, BPM Center Report, 2005. http://www.BPMcenter.org
28. Prandi D., and Quaglia P. Stochastic COWS. ICSOC. LNCS volume 4749 (2007), Springer 245-256
29. Prandi D., Quaglia P., and Zannone N. Formal analysis of BPMN via a translation into COWS. COORDINATION. LNCS volume 5052 (2008), Springer 249-263
30. Vieira H.T., Caires L., and Costa Seco J. The conversation calculus: A model of service-oriented computation. In: Drossopoulou S. (Ed). ESOP2008. LNCS volume 4960 (2008), Springer 269-283