Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity

Communications in Computer and Information Science

Volumn 17, Issue , 2009, Pages 170-190

  Wirsing, Martin ^a   Hölzl, Matthias ^a   Acciai, Lucia ^b   Banti, Federico ^b   Clark, Allan ^c   Fantechi, Alessandro ^b   Gilmore, Stephen ^c   Gnesi, Stefania ^d   Gönczy, László ^e   Koch, Nora ^a   Lapadula, Alessandro ^b   Mayer, Philip ^a   Mazzanti, Franco ^d   Pugliese, Rosario ^b   Schroeder, Andreas ^a   Tiezzi, Francesco ^b   Tribastone, Mirco ^c   Varró, Dániel ^e  

^a UNIVERSITY OF MUNICH   (Germany)

^b UNIVERSITY OF FLORENCE   (Italy)

^c UNIVERSITY OF EDINBURGH   (United Kingdom)

^d ISTI CNR   (Italy)

^e BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

DEVELOPMENT PROCESS; QUANTITATIVE AND QUALITATIVE ANALYSIS; SERVICE ORIENTED SYSTEMS; SERVICE-ORIENTED SOFTWARES; SOFTWARE DEVELOPMENT CYCLES; SOFTWARE ENGINEERING PROCESS; TECHNIQUES AND TOOLS; TOOLS AND TECHNIQUES;

INFORMATION SERVICES; LEGACY SYSTEMS; SERVICE ORIENTED ARCHITECTURE (SOA); SOFTWARE DESIGN; TOOLS;

FORMAL METHODS;

EID: 78649828899     PISSN: 18650929     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Article

References (41)

1. Acciai, L., Boreale, M.: A Type System for Client Progress in a Service-Oriented Calculus. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 642-658. Springer, Heidelberg (2008)
2. Balogh, A., Varró, D.: Advanced Model Transformation Language Constructs in the VIATRA2 Framework. In: ACM Symposium on Applied Computing-Model Transformation Track (SAC 2006), pp. 1280-1287. ACM Press, New York (2006)
3. Bartoletti, M., Degano, P., Ferrari, G., Zunino, R.: Types and effects for Resouce Usage Analysis. In: Seidl, H. (ed.) FOSSACS 2007. LNCS, vol. 4423, pp. 32-47. Springer, Heidelberg (2007)
4. ter Beek, M.H., Moiso, C., Petrocchi, M.: Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. In: Proceedings of the 3rd Advanced International Conference on Telecommunications (AICT 2007). IEEE Computer Society Press, Los Alamitos (2007)
5. Boreale, M., Bruni, R., Nicola, R.D., Loreti, M.: Sessions and Pipelines for Structured Service Programming. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol. 5051, pp. 19-38. Springer, Heidelberg (2008)
6. Boreale, M., Bruni, R., Caires, L., De Nicola, R., Lanese, I., Loreti, M., Martins, F., Montanari, U., Ravara, A., Sangiorgi, D., Vasconcelos, V., Zavattaro, G.: SCC: a Service Centered Calculus. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 38-57. Springer, Heidelberg (2006)
7. Bravetti, M., Gilmore, S., Guidi, C., Tribastone, M.: Replicating web services for scalability. In: Barthe, G., Fournet, C. (eds.) TGC 2007 and FODO 2008. LNCS, vol. 4912, pp. 204-221. Springer, Heidelberg (2008)
8. Bravetti, M., Zavattaro, G.: A Theory for Strong Service Compliance. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol. 4467, pp. 96-112. Springer, Heidelberg (2007)
9. Bravetti, M., Zavattaro, G.: Contract based Multi-party Service Composition. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 207-222. Springer, Heidelberg (2007)
10. Buscemi, M.G., 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)
11. Ciancia, V., Ferrari, G.: Co-Algebraic Models for Quantitative Spatial Logics. In: Quantitative Aspects of Programming Languages (QAPL 2007) (2007)
12. Clark, A.: The ipclib PEPA Library. In: Harchol-Balter, M., Kwiatkowska, M., Telek, M. (eds.) Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST), September 2007, pp. 55-56. IEEE Computer Society Press, Los Alamitos (2007)
13. Clark, A., Gilmore, S.: Evaluating quality of service for service level agreements. In: Brim, L., Leucker, M. (eds.) Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems, Bonn, Germany, pp. 172-185 (August 2006)
14. Correia, R., Matos, C., Heckel, R., El-Ramly, M.: Architecture migration driven by code categorization. In: Oquendo, F. (ed.) ECSA 2007. LNCS, vol. 4758, pp. 115-122. Springer, Heidelberg (2007)
15. Nicola, R.D., Katoen, J.-P., Latella, D., Loreti, M., Massink, M.: Model checking mobile stochastic logic. Theor. Comput. Sci. 382(1), 42-70 (2007)
16. Nicola, R.D., Katoen, J.-P., Latella, D., Massink, M.: STOKLAIM: A Stochastic Extension of KLAIM. Technical Report 2006-TR-01, ISTI (2006)
17. Ehrig, K., Taentzer, G., Varró, D.: Tool Integration by Model Transformations based on the Eclipse Modeling Framework. EASST Newsletter 12 (June 2006)
18. Erl, T.: Introducing soa design patterns. SOA World Magazine 8(6) (June 2008)
19. Erl, T.: SOA Design Patterns. Prentice Hall/Pearson PTR (to appear, 2008)
20. Fantechi, A., Gnesi, S., Lapadula, A., Mazzanti, F., Pugliese, R., Tiezzi, F.: Amodel checking approach for verifying COWS specifications. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 230-245. Springer, Heidelberg (2008)
21. Fiadeiro, J.L., Lopes, A., Bocchi, L.: A Formal Approach to Service Component Architecture. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 193-213. Springer, Heidelberg (2006)
22. Foster, H., Kramer, J., Magee, J., Uchitel, S.: Towards Self-Management in Service-oriented Computing with Modes. In: Proceedings of Workshop on Engineering Service-Oriented Applications (WESOA 2007), Vienna, Austria, Imperial College London (September 2007)
23. Foster, H., Mayer, P.: Leveraging integrated tools for model-based analysis of service compositions. In: Proceedings of the Third International Conference on Internet and Web Applications and Services (ICIW 2008), Athens, Greece. IEEE Computer Society Press, Los Alamitos (2008)
24. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley Longman Publishing Co., Inc., Boston (1995)
25. Gönczy, L., Varró, D.: Modeling of Reliable Messaging in Service Oriented Architectures. In: Proc. of the International Workshop on Web Services-Modeling and Testing (2006)
26. Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G.: SOCK: A Calculus for Service Oriented Computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 327-338. Springer, Heidelberg (2006)
27. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
28. 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)
29. Lapadula, A., Pugliese, R., Tiezzi, F.: Regulating data exchange in service oriented applications. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 223-239. Springer, Heidelberg (2007)
30. 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)
31. Lapadula, A., Pugliese, R., Tiezzi, F.: Regulating data exchange in service oriented applications. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 223-239. Springer, Heidelberg (2007)
32. Mayer, P., Schroeder, A., Koch, N.: A Model-Driven Approach to Service Orchestration. In: Proceedings of the IEEE International Conference on Services Computing (SCC 2008). IEEE Computer Society Press, Los Alamitos (2008)
33. Meszaros, G., Doble, J.: Metapatterns: A pattern language for pattern writing (1996)
34. Mukhija, A., Dingwall-Smith, A., Rosenblum, D.S.: QoS-Aware Service Composition in Dino. In: Proceedings of the 5th European Conference on Web Services (ECOWS 2007), Halle, Germany. IEEE Computer Society Press, Los Alamitos (2007)
35. Nielson, F., Nielson, H.R.: A flow-sensitive analysis of privacy properties. In: 20th IEEE Computer Security Foundations Symposium, CSF 2007, Venice, Italy, 6-8 July 2007, pp. 249-264. IEEE Computer Society Press, Los Alamitos (2007)
36. Web site for the pepa eclipse plugin (last accessed 2008-06-24), http://homepages.inf.ed.ac.uk/mtribast/plugin/download.html
37. Probst, C.W., Nielson, F., Hansen, R.R.: Sandboxing in myKlaim. In: The First International Conference on Availability, Reliability and Security, ARES 2006 (2006)
38. Rotem-Gal-Oz, A.: SOA Patterns. Manning (to appear, 2009)
39. Tools integrated into the SENSORIA Development Environment, http://svn.pst.ifi.lmu.de/trac/sct/wiki/SensoriaTools
40. Wirsing, M., Bocchi, L., Clark, A., Fiadeiro, J.L., Gilmore, S., Hölzl, M., Koch, N., Pugliese, R.: SENSORIA: Engineering for Service-Oriented Overlay Computers, ch. 7. MIT Press, Cambridge (submitted, 2007)
41. Wirsing, M., Clark, A., Gilmore, S., Hölzl, M., Knapp, A., Koch, N., Schroeder, A.: Semantic-Based Development of Service-Oriented Systems. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 24-45. Springer, Heidelberg (2006)