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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Global computing initiative, http://cordis.europa.eu/ist/fet/gc.htm
The open service oriented architecture collaboration, Whitepapers and specifications available from http://www.osoa.org (see also oasis-opencsa.org/sca)
Sensoria consortium (2007), White paper available from http://www.sensoria-ist.eu/files/whitePaper.pdf
Abreu, J.: Modelling Business Conversations in Service Component Architectures. PhD thesis, University of Leicester (2009)
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)
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)
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)
Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, Heidelberg (2004)
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)
Benatallah, B., Casati, F., Toumani, F.: Web services conversation modeling: A cornerstone for e-business automation. IEEE Internet Computing 8(1), 46–54 (2004)
Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. Journal of the ACM 44(2), 201–236 (1997)
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
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)
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)
Bocchi, L., Fiadeiro, J.L., Lopes, A.: Service-oriented modelling of automotive systems. In: COMPSAC, pp. 1059–1064. IEEE Computer Society, Los Alamitos (2008)
Broy, M., Kruger, I., Meisinger, M.: A formal model of services. ACM TOSEM 16(1), 1–40 (2007)
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)
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)
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)
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)
De Nicola, R., Vaandrager, F.W.: Three logics for branching bisimulation. J. ACM 42(2), 458–487 (1995)
Dijkman, R.M., Dumas, M.: Service-oriented design: a multi-viewpoint approach. International Journal of Cooperative Information Systems 13(4), 337–368 (2004)
Elfatatry, A.: Dealing with change: components versus services. Communications of the ACM 50(8), 35–39 (2007)
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)
Coulson, G., et al.: A generic component model for building systems software. ACM TOCS 26(1), 1–42 (2008)
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)
Zeng, L., et al.: Qos-aware middleware for web services composition. IEEE Transactions on Software Engineering 30(5), 311–327 (2004)
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)
Fiadeiro, J.L., Lopes, A., Abreu, J.: A formal model for service-oriented interactions (2010), http://www.cs.le.ac.uk/srml
Fiadeiro, J.L., Lopes, A., Bocchi, L.: An abstract semantics of service discovery and binding. In: Formal Aspects of Computing (to appear)
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)
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)
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)
Foster, I., Kesselman, C. (eds.): The Grid 2: Blueprint for a New Computing Infrastructure. Morgan Kaufmann, San Francisco (2004)
Gu, Q., Lago, P.: A stakeholder-driven service life-cycle model for soa. In: IW-SOSWE 2007, pp. 1–7 (2007)
Hillston, J.: A Compositional Approach to Performance Modelling (1996)
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)
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)
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
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)
Mukhija, A., Dingwall-Smith, A., Rosenblum, D.: Qos-aware service composition in dino. In: ECOWS 2007, pp. 3–12. ACM Press, New York (2007)
Object Management Group. Unified Modeling Language, http://www.uml.org/
Peltz, C.: Web services orchestration and choreography. IEEE Computer 36(10), 46–52 (2003)
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)
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)
Reisig, W.: Towards a theory of services. In: UNISCON 2008, pp. 271–281 (2008)
Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline (1996)
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)
OASIS WSBPEL TC. Web services business process execution language, Version 2.0. Technical report, OASIS (2007)
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)
Tribastone, M.: The PEPA Plug-in Project. In: Quantitative Evaluation of SysTems, pp. 53–54. IEEE, Los Alamitos (2007)
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)
Vankayala, V.: Business process modelling using SRML (Advanced System Design - Project Dissertation) (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)