Skip to main content
SpringerLink
Log in

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

  • Conference paper
Book cover Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 17))

Abstract

The IST-FET Integrated Project Sensoria is developing a novel comprehensive approach to the engineering of service-oriented software systems where foundational theories, techniques and methods are fully integrated into pragmatic software engineering processes. The techniques and tools of Sensoria encompass the whole software development cycle, from business and architectural design, to quantitative and qualitative analysis of system properties, and to transformation and code generation. The Sensoria approach takes also into account reconfiguration of service-oriented architectures (SOAs) and re-engineering of legacy systems.

In this paper we give first a short overview of Sensoria and then present a pattern language for augmenting service engineering with formal analysis, transformation and dynamicity. The patterns are designed to help software developers choose appropriate tools and techniques to develop service-oriented systems with support from formal methods. They support the whole development process, from the modelling stage to deployment activities and give an overview of many of the research areas pursued in the Sensoria project.

This work has been partially sponsored by the project Sensoria, IST-2 005-016004.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  11. Ciancia, V., Ferrari, G.: Co-Algebraic Models for Quantitative Spatial Logics. In: Quantitative Aspects of Programming Languages (QAPL 2007) (2007)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  16. Nicola, R.D., Katoen, J.-P., Latella, D., Massink, M.: STOKLAIM: A Stochastic Extension of KLAIM. Technical Report 2006-TR-01, ISTI (2006)

    Google Scholar 

  17. Ehrig, K., Taentzer, G., Varró, D.: Tool Integration by Model Transformations based on the Eclipse Modeling Framework. EASST Newsletter 12 (June 2006)

    Google Scholar 

  18. Erl, T.: Introducing soa design patterns. SOA World Magazine 8(6) (June 2008)

    Google Scholar 

  19. Erl, T.: SOA Design Patterns. Prentice Hall/Pearson PTR (to appear, 2008)

    Google Scholar 

  20. Fantechi, A., Gnesi, S., Lapadula, A., Mazzanti, F., Pugliese, R., Tiezzi, F.: A model checking approach for verifying COWS specifications. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 230–245. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    MATH  Google Scholar 

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  27. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)

    Book  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  33. Meszaros, G., Doble, J.: Metapatterns: A pattern language for pattern writing (1996)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  38. Rotem-Gal-Oz, A.: SOA Patterns. Manning (to appear, 2009)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Ludwig-Maximilians-Universität München, Germany

    Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer & Andreas Schroeder

  2. Università degli Studi di Firenze, Italy

    Lucia Acciai, Federico Banti, Alessandro Fantechi, Alessandro Lapadula, Rosario Pugliese & Francesco Tiezzi

  3. University of Edinburgh, Scotland

    Allan Clark, Stephen Gilmore & Mirco Tribastone

  4. Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” of CNR, Italy

    Stefania Gnesi & Franco Mazzanti

  5. Budapest University of Technology and Economics, Hungary

    László Gönczy & Dániel Varró

Authors
  1. Martin Wirsing
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Matthias Hölzl
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Lucia Acciai
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Federico Banti
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Allan Clark
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Alessandro Fantechi
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Stephen Gilmore
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Stefania Gnesi
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. László Gönczy
    View author publications

    You can also search for this author in PubMed Google Scholar

  10. Nora Koch
    View author publications

    You can also search for this author in PubMed Google Scholar

  11. Alessandro Lapadula
    View author publications

    You can also search for this author in PubMed Google Scholar

  12. Philip Mayer
    View author publications

    You can also search for this author in PubMed Google Scholar

  13. Franco Mazzanti
    View author publications

    You can also search for this author in PubMed Google Scholar

  14. Rosario Pugliese
    View author publications

    You can also search for this author in PubMed Google Scholar

  15. Andreas Schroeder
    View author publications

    You can also search for this author in PubMed Google Scholar

  16. Francesco Tiezzi
    View author publications

    You can also search for this author in PubMed Google Scholar

  17. Mirco Tribastone
    View author publications

    You can also search for this author in PubMed Google Scholar

  18. Dániel Varró
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universität Potsdam, August-Bebel-Str. 89, 14482, Potsdam, Germany

    Tiziana Margaria

  2. Technische Universität Dortmund, Otto-Hahn-Str. 14, 44227, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wirsing, M. et al. (2008). Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2008. Communications in Computer and Information Science, vol 17. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-88479-8_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-88478-1

  • Online ISBN: 978-3-540-88479-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation