Towards a framework for the verification of UML models of services

Preliminary Proceedings - Automated Specification and Verification of Web Systems, WWV 2009: 5th International Workshop

Volumn , Issue , 2009, Pages 21-36

  Banti, Federico ^a   Pugliese, Rosario ^a   Tiezzi, Francesco ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS TECHNIQUES; DIFFERENT LAYERS; ENGINEERING PROCESS; PROCESS CALCULI; REASONING MECHANISM; SERVICE ORIENTED SYSTEMS; UML MODEL; UML PROFILES;

ENCODING (SYMBOLS); INFORMATION SERVICES; SEMANTICS; SERVICE ORIENTED ARCHITECTURE (SOA); WEBSITES;

UNIFIED MODELING LANGUAGE;

EID: 84888330884     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. F. Banti, A. Lapadula, R. Pugliese, and F. Tiezzi. Specification and analysis of SOC systems using COWS: A finance case study. In WWV, ENTCS 235, pp. 71-105. Elsevier, 2009
2. F. Banti, R. Pugliese, and F. Tiezzi. Automated Verification of UML Models of Services. Tech. rep., DSI, Univ. Florence, 2009. http://rap. dsi. unifi. it/cows/papers/uml4soa2cows. pdf
3. J. Bauer, F. Nielson, H. R. Nielson, and H. Pilegaard. Relational Analysis of Correlation. In SAS, LNCS 5079, pp. 32-46. Springer, 2008
4. L. Bocchi, J. L. Fiadeiro, A. Lapadula, R. Pugliese, and F. Tiezzi. From Architectural to Behavioural Specification of Services. In FESCA, ENTCS. Elsevier, 2009. To appear
5. M. Boreale, R. Bruni, R. De Nicola, and M. Loreti. Sessions and Pipelines for Structured Service Programming. In FMOODS, LNCS 5051, pp. 19-38. Springer, 2008
6. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro. Choreography and orchestration conformance for system design. In COORDINATION, LNCS 4038, pp. 63-81. Springer, 2006
7. M. L. Crane and J. Dingel. Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities. In CASCON, pp. 96-110. ACM, 2008
8. C. Eichner, H. Fleischhack, R. Meyer, U. Schrimpf, and C. Stehno. Compositional Semantics for UML 2. 0 Sequence Diagrams Using Petri Nets. In SDL, LNCS 3530, pp. 133-148. Springer, 2005
9. A. Fantechi, S. Gnesi, A. Lapadula, F. Mazzanti, R. Pugliese, and F. Tiezzi. A model checking approach for verifying COWS specifications. In FASE, LNCS 4961, pp. 230-245. Springer, 2008
10. J. Fiadeiro, A. Lopes, and L. Bocchi. A Formal Approach to Service Component Architecture. In WS-FM, LNCS 4184, pp. 193-213. Springer, 2006
11. C. Guidi, R. Lucchi, R. Gorrieri, N. Busi, and G. Zavattaro. SOCK: A Calculus for Service Oriented Computing. In ICSOC, LNCS 4294, pp. 327-338. Springer, 2006
12. I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos. Disciplining Orchestration and Conversation in Service-Oriented Computing. In SEFM, pp. 305-314. IEEE, 2007
13. A. Lapadula, R. Pugliese, and F. Tiezzi. Regulating data exchange in service oriented applications. In FSEN, LNCS 4767, pp. 223-239. Springer, 2007
14. A. Lapadula, R. Pugliese, and F. Tiezzi. A formal account of WS-BPEL. In COORDINATION, LNCS 5052, pp. 199-215. Springer, 2008
15. A. Lapadula, R. Pugliese, and F. Tiezzi. A calculus for orchestration of web services. Tech. rep., DSI, Univ. Florence, 2008. http://rap. dsi. unifi. it/cows/papers/cows-esop07-full. pdf. An extended abstract appeared in ESOP, LNCS 4421, pp. 33-47, Springer
16. P. Mayer, A. Schroeder, and N. Koch. Mdd4soa: Model-driven service orchestration. In EDOC, pp. 203-212. IEEE, 2008
17. P. Mayer, A. Schroeder, and N. Koch. A model-driven approach to service orchestration. In SCC, pp. 533-536, 2008
18. R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes, I and II. Information and Computation, 100(1):1-40, 41-77, 1992
19. OASIS. Web Services Business Process Execution Language Version 2. 0. Tech. rep., 2007
20. OMG. Unified Modeling Language (UML), version 2. 1. 2
21. OMG. Sevice oriented architecture Modeling Language (SoaML). Tech. rep., 2008
22. D. Prandi and P. Quaglia. Stochastic COWS. In ICSOC, LNCS 4749, pp. 245-256. Springer, 2007
23. H. Störrle and J. H. Hausmann. Towards a Formal Semantics of UML 2. 0 Activities. In Software Engineering, LNI 64, pp. 117-128. GI, 2005
24. N. Tabuchi, N. Sato, and H. Nakamura. Model-driven performance analysis of UML design models based on stochastic process algebra. In ECMDA-FA, LNCS 3748, pp. 41-58. Springer, 2005
25. Maurice H. ter Beek, Stefania Gnesi, Nora Koch, and Franco Mazzanti. Formal verification of an automotive scenario in service-oriented computing. In ICSE, pp. 613-622. ACM, 2008
26. M. H. ter Beek, S. Gnesi, and F. Mazzanti. CMC-UMC: A framework for the verification of abstract service-oriented properties. In SAC, 2009. To appear
27. H. T. Vieira, L. Caires, and J. Costa Seco. The Conversation Calculus: A Model of Service-Oriented Computation. In ESOP, LNCS 4960, pp. 269-283. Springer, 2008
28. M. Wirsing, L. Bocchi, A. Clark, J. L. Fiadeiro, S. Gilmore, M. Hölzl, N. Koch, and R. Pugliese. At your service: Service Engineering in the Information Society Technologies Program, SENSORIA: Engineering for Service-Oriented Overlay Computers, pp. 159-182. MIT Press, 2009.