Specifying and analysing SOC applications with COWS

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5065 LNCS, Issue , 2008, Pages 701-720

  Lapadula, Alessandro ^a   Pugliese, Rosario ^a   Tiezzi, Francesco ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

(PL) PROPERTIES; AUTOMOTIVE SYSTEMS; CASE STUDIES; DYNAMIC BEHAVIOURS; FUNCTIONAL PROPERTIES; HEIDELBERG (CO); MODEL CHECKERS; PROCESS CALCULUS; SERVICE-ORIENTED (SO) APPLICATIONS; SOC APPLICATIONS; SPRINGER (CO); TYPE SYSTEMS;

GRAPH THEORY; LIFE CYCLE; MODAL ANALYSIS; SERVICE LIFE; SPECIFICATIONS;

MODEL CHECKING;

EID: 45849121775     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68679-8_43     Document Type: Conference Paper

References (25)

1. CMS: an on-the-fly model checker and interpreter for COWS, http://fmt.isti. cnr.it/cmc/
2. Software Engineering for Service-Oriented Overlay Computers (SENSORIA) (2005), http://sensoria.fast.de/
3. ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: An action/state-based model-checking approach for the analysis of communication protocols for Service-Oriented Applications. In: Leue, S., Merino, P. (eds.) FMICS 2007. LNCS, vol. 4916, pp. 133-148. Springer, Heidelberg (2008)
4. Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. Journal of the ACM 44(2), 201-236 (1997)
5. Buscemi, M., Montanari, U.: CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 18-32. Springer, Heidelberg (2007)
6. De Nicola, R., Gorla, D., Pugliese. R.: Confining data and processes in global computing applications. Science of Computer Programming 63, 57-87 (2006)
7. De Nicola, R., Vaandrager, F.: Three logics for branching bisimulation. J. ACM 42(2), 458-487 (1995)
8. De Nicola, R., Vaandrager, F.W.: Action versus state based logics for transition systems. In: Guessarian, I. (ed.) LITP 1990. LNCS, vol. 469, pp. 407-419. Springer, Heidelberg (1990)
9. Fantechi, A., Gnesi, S., Lapadula, A., Mazzanti, F., Pugliese, R., Tiezzi, F.: A model checking approach for verifying COWS specifications. In: Fiadeiro, J., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 230-245. Springer, Heidelberg (2008)
10. Fiadeiro, J., Lopes, A., Bocchi, L.: A formal approach to service component architecture. In: Bravetti, M., Nunez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 193-213. Springer, Heidelberg (2006)
11. Garcia-Molina, H., Salem, K.: Sagas. In: SIGMOD, pp. 249-259. ACM Press, New York (1987)
12. Kirli, Z.D.: Confined mobile functions. In: 14th IEEE Computer Security Foundations Workshop (CSFW 2001 ), pp. 283-294. IEEE Computer Society, Los Alamitos (2001)
13. Koch, N.: Automotive case study: UML specification of on road assistance scenario. Technical Report I, FAST (2007), http://rap.dsi.unifi.it/sensoria/ files/FAST_report_1_2007_ACS_UML.pdf
14. Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services (full version). Technical report, Dipartimento di Sistemi e Informatica, Univ. Firenze (2006), http://rap.dsi.unifi.it/cows
15. Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 33-47. Springer, Heidelberg (2007)
16. Lapadula, A., Pugliese, R., Tiezzi, F.: COWS specification of the on road assistance scenario. Technical report, Dipartimento di Sistemi e Informatica, Univ. Firenze (2007), http://rap.dsi.unifi.it/cows
17. Lapadula, A., Pugliese, R., Tiezzi, F.: COWS: A timed service-oriented calculus. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) ICTAC 2007. LNCS, vol. 4711, pp. 275-290. Springer, Heidelberg (2007)
18. Lapadula, A., Pugliese, R., Tiezzi, F.: Regulating data exchange in service oriented applications. In: Arbab, F., Sitjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 223-239. Springer, Heidelberg (2007)
19. Lapadula, A., Pugliese, R., Tiezzi, F.: Service discovery and negotiation with COWS. In: WWV. ENTCS, Elsevier, Amsterdam (to appear, 2007)
20. Meredith, L.G., Bjorg, S.: Contracts and types. Commun. ACM 46(10), 41-47 (2003)
21. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, I and II. Inf. Comput. 100(1), 1-40, 41-77 (1992)
22. OASIS WSBPEL TC. Web Services Business Process Execution Language Version 2.0. Technical report, OASIS, April (2007), http://docs.oasis-open.org/wsbpel/ 2.0/~0S/wsbpel-v2.0-0S.html
23. Prandi, D., Quaglia, P.: Stochastic COWS. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 245-256. Springer, Heidelberg (2007)
24. van Breugel, F., Koshkina, M.: Models and verification of bpel. Technical report (2006), http://www.cse.yorku.ca/~franck/research/drafts/tutorial.pdf
25. van Glabbeek, R.J.: On specifying timeouts. ENTCS 162, 173-175 (2006)