Skip to main content
SpringerLink
Log in

The Sensoria Reference Modelling Language

  • Chapter
Rigorous Software Engineering for Service-Oriented Systems

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6582))

Abstract

This chapter provides an overview of SRML — the Sensoria Reference Modelling Language. Our focus will be on the language primitives that SRML offers for modelling business services and activities, the methodological approach that SRML supports, and the mathematical semantics the underpins the modelling approach, including techniques for qualitative and quantitative analysis.

This work has been partially sponsored by the project Sensoria, IST-2005-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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Global computing initiative, http://cordis.europa.eu/ist/fet/gc.htm

  2. The open service oriented architecture collaboration, Whitepapers and specifications available from http://www.osoa.org (see also oasis-opencsa.org/sca)

  3. Sensoria consortium (2007), White paper available from http://www.sensoria-ist.eu/files/whitePaper.pdf

  4. Abreu, J.: Modelling Business Conversations in Service Component Architectures. PhD thesis, University of Leicester (2009)

    Google Scholar 

  5. Abreu, J., Bocchi, L., Fiadeiro, J.L., Lopes, A.: Specifying and composing interaction protocols for service-oriented system modelling. In: Derrick, J., Vain, J. (eds.) FORTE 2007. LNCS, vol. 4574, pp. 358–373. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  6. Abreu, J., Fiadeiro, J.L.: A coordination model for service-oriented interactions. In: Wang, A.H., Tennenholtz, M. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 1–16. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  7. Abreu, J., Mazzanti, F., Fiadeiro, J.L., Gnesi, S.: A model-checking approach for service component architectures. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS 2009. LNCS, vol. 5522, pp. 219–224. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  8. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, Heidelberg (2004)

    Book  MATH  Google Scholar 

  9. Beek, M., 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)

    Chapter  Google Scholar 

  10. Benatallah, B., Casati, F., Toumani, F.: Web services conversation modeling: A cornerstone for e-business automation. IEEE Internet Computing 8(1), 46–54 (2004)

    Article  Google Scholar 

  11. Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. Journal of the ACM 44(2), 201–236 (1997)

    Article  MATH  Google Scholar 

  12. Bocchi, L., Fiadeiro, J., Gilmore, S., Abreu, J., Solanki, M., Vankayala, V.: Analysing time-related properties of service-oriented systems (2010) (submitted), http://www.cs.le.ac.uk/people/jfiadeiro/Papers/SRML-T.pdf

  13. Bocchi, L., Gorton, S., Reiff-Marganiec, S.: Engineering service oriented applications: From stPowla processes to SRML models. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 163–178. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  14. Bocchi, L., Hong, Y., Lopes, A., Fiadeiro, J.: From BPEL to SRML: A formal transformational approach. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 92–107. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  15. Bocchi, L., Fiadeiro, J.L., Lopes, A.: Service-oriented modelling of automotive systems. In: COMPSAC, pp. 1059–1064. IEEE Computer Society, Los Alamitos (2008)

    Google Scholar 

  16. Broy, M., Kruger, I., Meisinger, M.: A formal model of services. ACM TOSEM 16(1), 1–40 (2007)

    Article  Google Scholar 

  17. 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)

    Chapter  Google Scholar 

  18. Carbone, M., Honda, K., Yoshida, N.: Structured communication-centred programming for web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 2–17. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  19. 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), pp. 55–56. IEEE, Los Alamitos (2007)

    Google Scholar 

  20. 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)

    Chapter  Google Scholar 

  21. De Nicola, R., Vaandrager, F.W.: Three logics for branching bisimulation. J. ACM 42(2), 458–487 (1995)

    Article  MATH  Google Scholar 

  22. Dijkman, R.M., Dumas, M.: Service-oriented design: a multi-viewpoint approach. International Journal of Cooperative Information Systems 13(4), 337–368 (2004)

    Article  Google Scholar 

  23. Elfatatry, A.: Dealing with change: components versus services. Communications of the ACM 50(8), 35–39 (2007)

    Article  Google Scholar 

  24. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic Verification of Finite State Concurrent Systems using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems 8(2), 244–263 (1986)

    Article  MATH  Google Scholar 

  25. Coulson, G., et al.: A generic component model for building systems software. ACM TOCS 26(1), 1–42 (2008)

    Article  Google Scholar 

  26. Bordeaux, L., et al.: When are two web services compatible? In: Shan, M.-C., Dayal, U., Hsu, M. (eds.) TES 2004. LNCS, vol. 3324, pp. 15–28. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  27. Zeng, L., et al.: Qos-aware middleware for web services composition. IEEE Transactions on Software Engineering 30(5), 311–327 (2004)

    Article  Google Scholar 

  28. Boreale, M., et al.: Scc: a service centered calculus. In: Bravetti, M., Núñez, M., Tennenholtz, M. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 38–57. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  29. Fiadeiro, J.L., Lopes, A., Abreu, J.: A formal model for service-oriented interactions (2010), http://www.cs.le.ac.uk/srml

  30. Fiadeiro, J.L., Lopes, A., Bocchi, L.: An abstract semantics of service discovery and binding. In: Formal Aspects of Computing (to appear)

    Google Scholar 

  31. Fiadeiro, J.L., Lopes, A., Bocchi, L.: A formal approach to service-oriented architecture. In: Bravetti, M., Núñez, M., Tennenholtz, M. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 193–213. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  32. Fiadeiro, J.L., Lopes, A., Bocchi, L.: Algebraic semantics of service component modules. In: Fiadeiro, J.L., Schobbens, P.-Y. (eds.) WADT 2006. LNCS, vol. 4409, pp. 37–55. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  33. Fiadeiro, J.L., Schmitt, V.: Structured co-spans: An algebra of interaction protocols. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol. 4624, pp. 194–209. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  34. Foster, I., Kesselman, C. (eds.): The Grid 2: Blueprint for a New Computing Infrastructure. Morgan Kaufmann, San Francisco (2004)

    Google Scholar 

  35. Gu, Q., Lago, P.: A stakeholder-driven service life-cycle model for soa. In: IW-SOSWE 2007, pp. 1–7 (2007)

    Google Scholar 

  36. Hillston, J.: A Compositional Approach to Performance Modelling (1996)

    Google Scholar 

  37. 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 

  38. Mayer, P., Koch, N., Schroder, A.: A model-driven approach to service orchestration. In: Proceedings of IEEE International Conference on Services Computing, SCC 2008 (2008)

    Google Scholar 

  39. Mazzanti, F.: UMC User Guide v3.3. Technical Report 2006-TR-33, Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, CNR (2006), http://fmt.isti.cnr.it/WEBPAPER/UMC-UG33.pdf

  40. Mukhi, N., Plebani, P., Silva-Lepe, I., Mikalsen, T.: Supporting policy-driven behaviours in web services: experiences and issues. In: Proceedings ICSOC 2004, pp. 322–328 (2004)

    Google Scholar 

  41. Mukhija, A., Dingwall-Smith, A., Rosenblum, D.: Qos-aware service composition in dino. In: ECOWS 2007, pp. 3–12. ACM Press, New York (2007)

    Google Scholar 

  42. Object Management Group. Unified Modeling Language, http://www.uml.org/

  43. Peltz, C.: Web services orchestration and choreography. IEEE Computer 36(10), 46–52 (2003)

    Article  Google Scholar 

  44. Rao, J., Su, X.: A survey of automated web service composition methods. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 43–54. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  45. Reisig, W.: Modeling- and analysis techniques for web services and business processes. In: Steffen, M., Tennenholtz, M. (eds.) FMOODS 2005. LNCS, vol. 3535, pp. 243–258. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  46. Reisig, W.: Towards a theory of services. In: UNISCON 2008, pp. 271–281 (2008)

    Google Scholar 

  47. Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline (1996)

    Google Scholar 

  48. Lin, K.-J., Yu, T.: A broker-based framework for qos-aware web service composition. In: Proc. of the Intl. Conf. on e-Technology, e-Commerce and e-Service, pp. 22–29. IEEE Computer Society, Los Alamitos (2005)

    Google Scholar 

  49. OASIS WSBPEL TC. Web services business process execution language, Version 2.0. Technical report, OASIS (2007)

    Google Scholar 

  50. 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)

    Chapter  Google Scholar 

  51. Tribastone, M.: The PEPA Plug-in Project. In: Quantitative Evaluation of SysTems, pp. 53–54. IEEE, Los Alamitos (2007)

    Google Scholar 

  52. van der Aalst, W., Beisiegel, M., van Hee, K., Konig, D.: An soa-based architecture framework. Journal of Business Process Integration and Management 2(2), 91–101 (2007)

    Article  Google Scholar 

  53. Vankayala, V.: Business process modelling using SRML (Advanced System Design - Project Dissertation) (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Leicester, UK

    José Fiadeiro & Laura Bocchi

  2. Department of Informatics, Faculty of Sciences, University of Lisbon, Portugal

    Antónia Lopes

  3. Altitude Software, Algés, Portugal

    João Abreu

Authors
  1. José Fiadeiro
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antónia Lopes
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Laura Bocchi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. João Abreu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Ludwig-Maximilians-Universität München, Oettingenstraße 67, 80538, München, Germany

    Martin Wirsing  & Matthias Hölzl  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Fiadeiro, J., Lopes, A., Bocchi, L., Abreu, J. (2011). The Sensoria Reference Modelling Language. In: Wirsing, M., Hölzl, M. (eds) Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science, vol 6582. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20401-2_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-20401-2_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-20400-5

  • Online ISBN: 978-3-642-20401-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation