{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:49:46Z","timestamp":1742914186801,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":53,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642204005"},{"type":"electronic","value":"9783642204012"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20401-2_5","type":"book-chapter","created":{"date-parts":[[2011,9,7]],"date-time":"2011-09-07T14:53:38Z","timestamp":1315407218000},"page":"61-114","source":"Crossref","is-referenced-by-count":11,"title":["The Sensoria Reference Modelling Language"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"Fiadeiro","sequence":"first","affiliation":[]},{"given":"Ant\u00f3nia","family":"Lopes","sequence":"additional","affiliation":[]},{"given":"Laura","family":"Bocchi","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Abreu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Global computing initiative, http:\/\/cordis.europa.eu\/ist\/fet\/gc.htm"},{"key":"5_CR2","unstructured":"The open service oriented architecture collaboration, Whitepapers and specifications available from http:\/\/www.osoa.org (see also oasis-opencsa.org\/sca)"},{"key":"5_CR3","unstructured":"Sensoria consortium (2007), White paper available from http:\/\/www.sensoria-ist.eu\/files\/whitePaper.pdf"},{"key":"5_CR4","unstructured":"Abreu, J.: Modelling Business Conversations in Service Component Architectures. PhD thesis, University of Leicester (2009)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/978-3-540-73196-2_23","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2007","author":"J. Abreu","year":"2007","unstructured":"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.\u00a04574, pp. 358\u2013373. Springer, Heidelberg (2007)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-68265-3_1","volume-title":"Coordination Models and Languages","author":"J. Abreu","year":"2008","unstructured":"Abreu, J., Fiadeiro, J.L.: A coordination model for service-oriented interactions. In: Wang, A.H., Tennenholtz, M. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 1\u201316. Springer, Heidelberg (2008)"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-642-02138-1_15","volume-title":"Formal Techniques for Distributed Systems","author":"J. Abreu","year":"2009","unstructured":"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.\u00a05522, pp. 219\u2013224. Springer, Heidelberg (2009)"},{"key":"5_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-10876-5","volume-title":"Web Services","author":"G. Alonso","year":"2004","unstructured":"Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, Heidelberg (2004)"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-79707-4_11","volume-title":"Formal Methods for Industrial Critical Systems","author":"M. Beek","year":"2008","unstructured":"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.\u00a04916, pp. 133\u2013148. Springer, Heidelberg (2008)"},{"issue":"1","key":"5_CR10","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MIC.2004.1260703","volume":"8","author":"B. Benatallah","year":"2004","unstructured":"Benatallah, B., Casati, F., Toumani, F.: Web services conversation modeling: A cornerstone for e-business automation. IEEE Internet Computing\u00a08(1), 46\u201354 (2004)","journal-title":"IEEE Internet Computing"},{"issue":"2","key":"5_CR11","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/256303.256306","volume":"44","author":"S. Bistarelli","year":"1997","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. Journal of the ACM\u00a044(2), 201\u2013236 (1997)","journal-title":"Journal of the ACM"},{"key":"5_CR12","unstructured":"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"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-540-78743-3_13","volume-title":"Fundamental Approaches to Software Engineering","author":"L. Bocchi","year":"2008","unstructured":"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.\u00a04961, pp. 163\u2013178. Springer, Heidelberg (2008)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-79230-7_7","volume-title":"Web Services and Formal Methods","author":"L. Bocchi","year":"2008","unstructured":"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.\u00a04937, pp. 92\u2013107. Springer, Heidelberg (2008)"},{"key":"5_CR15","first-page":"1059","volume-title":"COMPSAC","author":"L. Bocchi","year":"2008","unstructured":"Bocchi, L., Fiadeiro, J.L., Lopes, A.: Service-oriented modelling of automotive systems. In: COMPSAC, pp. 1059\u20131064. IEEE Computer Society, Los Alamitos (2008)"},{"issue":"1","key":"5_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1189748.1189753","volume":"16","author":"M. Broy","year":"2007","unstructured":"Broy, M., Kruger, I., Meisinger, M.: A formal model of services. ACM TOSEM\u00a016(1), 1\u201340 (2007)","journal-title":"ACM TOSEM"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-540-71316-6_3","volume-title":"Programming Languages and Systems","author":"M. Buscemi","year":"2007","unstructured":"Buscemi, M., Montanari, U.: CC-pi: A constraint-based language for specifying service level agreements. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 18\u201332. Springer, Heidelberg (2007)"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-71316-6_2","volume-title":"Programming Languages and Systems","author":"M. Carbone","year":"2007","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured communication-centred programming for web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 2\u201317. Springer, Heidelberg (2007)"},{"key":"5_CR19","first-page":"55","volume-title":"Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST)","author":"A. Clark","year":"2007","unstructured":"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\u201356. IEEE, Los Alamitos (2007)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-53479-2_17","volume-title":"Semantics of Systems of Concurrent Processes","author":"R. De Nicola","year":"1990","unstructured":"De Nicola, R., Vaandrager, F.W.: Action versus state based logics for transition systems. In: Guessarian, I. (ed.) LITP 1990. LNCS, vol.\u00a0469, pp. 407\u2013419. Springer, Heidelberg (1990)"},{"issue":"2","key":"5_CR21","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1145\/201019.201032","volume":"42","author":"R. Nicola De","year":"1995","unstructured":"De Nicola, R., Vaandrager, F.W.: Three logics for branching bisimulation. J. ACM\u00a042(2), 458\u2013487 (1995)","journal-title":"J. ACM"},{"issue":"4","key":"5_CR22","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1142\/S0218843004001012","volume":"13","author":"R.M. Dijkman","year":"2004","unstructured":"Dijkman, R.M., Dumas, M.: Service-oriented design: a multi-viewpoint approach. International Journal of Cooperative Information Systems\u00a013(4), 337\u2013368 (2004)","journal-title":"International Journal of Cooperative Information Systems"},{"issue":"8","key":"5_CR23","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/1278201.1278203","volume":"50","author":"A. Elfatatry","year":"2007","unstructured":"Elfatatry, A.: Dealing with change: components versus services. Communications of the ACM\u00a050(8), 35\u201339 (2007)","journal-title":"Communications of the ACM"},{"issue":"2","key":"5_CR24","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"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\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"5_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1328671.1328672","volume":"26","author":"G. Coulson","year":"2008","unstructured":"Coulson, G., et al.: A generic component model for building systems software. ACM TOCS\u00a026(1), 1\u201342 (2008)","journal-title":"ACM TOCS"},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-540-31811-8_2","volume-title":"Technologies for E-Services","author":"L. Bordeaux","year":"2005","unstructured":"Bordeaux, L., et al.: When are two web services compatible? In: Shan, M.-C., Dayal, U., Hsu, M. (eds.) TES 2004. LNCS, vol.\u00a03324, pp. 15\u201328. Springer, Heidelberg (2005)"},{"issue":"5","key":"5_CR27","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1109\/TSE.2004.11","volume":"30","author":"L. Zeng","year":"2004","unstructured":"Zeng, L., et al.: Qos-aware middleware for web services composition. IEEE Transactions on Software Engineering\u00a030(5), 311\u2013327 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/11841197_3","volume-title":"Web Services and Formal Methods","author":"M. Boreale","year":"2006","unstructured":"Boreale, M., et al.: Scc: a service centered calculus. In: Bravetti, M., N\u00fa\u00f1ez, M., Tennenholtz, M. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 38\u201357. Springer, Heidelberg (2006)"},{"key":"5_CR29","unstructured":"Fiadeiro, J.L., Lopes, A., Abreu, J.: A formal model for service-oriented interactions (2010), http:\/\/www.cs.le.ac.uk\/srml"},{"key":"5_CR30","unstructured":"Fiadeiro, J.L., Lopes, A., Bocchi, L.: An abstract semantics of service discovery and binding. In: Formal Aspects of Computing (to appear)"},{"key":"5_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/11841197_13","volume-title":"Web Services and Formal Methods","author":"J.L. Fiadeiro","year":"2006","unstructured":"Fiadeiro, J.L., Lopes, A., Bocchi, L.: A formal approach to service-oriented architecture. In: Bravetti, M., N\u00fa\u00f1ez, M., Tennenholtz, M. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 193\u2013213. Springer, Heidelberg (2006)"},{"key":"5_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-71998-4_3","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J.L. Fiadeiro","year":"2007","unstructured":"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.\u00a04409, pp. 37\u201355. Springer, Heidelberg (2007)"},{"key":"5_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-540-73859-6_14","volume-title":"Algebra and Coalgebra in Computer Science","author":"J.L. Fiadeiro","year":"2007","unstructured":"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.\u00a04624, pp. 194\u2013209. Springer, Heidelberg (2007)"},{"volume-title":"The Grid 2: Blueprint for a New Computing Infrastructure","year":"2004","key":"5_CR34","unstructured":"Foster, I., Kesselman, C. (eds.): The Grid 2: Blueprint for a New Computing Infrastructure. Morgan Kaufmann, San Francisco (2004)"},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Gu, Q., Lago, P.: A stakeholder-driven service life-cycle model for soa. In: IW-SOSWE 2007, pp. 1\u20137 (2007)","DOI":"10.1145\/1294928.1294930"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling (1996)","DOI":"10.1017\/CBO9780511569951"},{"key":"5_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-71316-6_4","volume-title":"Programming Languages and Systems","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A calculus for orchestration of web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 33\u201347. Springer, Heidelberg (2007)"},{"key":"5_CR38","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/SCC.2008.91"},{"key":"5_CR39","unstructured":"Mazzanti, F.: UMC User Guide v3.3. Technical Report 2006-TR-33, Istituto di Scienza e Tecnologie dell\u2019Informazione \u201cA.\u00a0Faedo\u201d, CNR (2006), http:\/\/fmt.isti.cnr.it\/WEBPAPER\/UMC-UG33.pdf"},{"key":"5_CR40","doi-asserted-by":"crossref","unstructured":"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\u2013328 (2004)","DOI":"10.1145\/1035167.1035214"},{"key":"5_CR41","first-page":"3","volume-title":"ECOWS 2007","author":"A. Mukhija","year":"2007","unstructured":"Mukhija, A., Dingwall-Smith, A., Rosenblum, D.: Qos-aware service composition in dino. In: ECOWS 2007, pp. 3\u201312. ACM Press, New York (2007)"},{"key":"5_CR42","unstructured":"Object Management Group. Unified Modeling Language, http:\/\/www.uml.org\/"},{"issue":"10","key":"5_CR43","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MC.2003.1236471","volume":"36","author":"C. Peltz","year":"2003","unstructured":"Peltz, C.: Web services orchestration and choreography. IEEE Computer\u00a036(10), 46\u201352 (2003)","journal-title":"IEEE Computer"},{"key":"5_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-30581-1_5","volume-title":"Semantic Web Services and Web Process Composition","author":"J. Rao","year":"2005","unstructured":"Rao, J., Su, X.: A survey of automated web service composition methods. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol.\u00a03387, pp. 43\u201354. Springer, Heidelberg (2005)"},{"key":"5_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/11494881_16","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"W. Reisig","year":"2005","unstructured":"Reisig, W.: Modeling- and analysis techniques for web services and business processes. In: Steffen, M., Tennenholtz, M. (eds.) FMOODS 2005. LNCS, vol.\u00a03535, pp. 243\u2013258. Springer, Heidelberg (2005)"},{"key":"5_CR46","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Towards a theory of services. In: UNISCON 2008, pp. 271\u2013281 (2008)","DOI":"10.1007\/978-3-540-78942-0_27"},{"key":"5_CR47","doi-asserted-by":"crossref","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline (1996)","DOI":"10.1145\/222124.222134"},{"key":"5_CR48","first-page":"22","volume-title":"Proc. of the Intl. Conf. on e-Technology, e-Commerce and e-Service","author":"K.-J. Lin","year":"2005","unstructured":"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\u201329. IEEE Computer Society, Los Alamitos (2005)"},{"key":"5_CR49","unstructured":"OASIS\u00a0WSBPEL TC. Web services business process execution language, Version 2.0. Technical report, OASIS (2007)"},{"key":"5_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-79707-4_11","volume-title":"Formal Methods for Industrial Critical Systems","author":"M.H. Beek ter","year":"2008","unstructured":"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.\u00a04916, pp. 133\u2013148. Springer, Heidelberg (2008)"},{"key":"5_CR51","first-page":"53","volume-title":"Quantitative Evaluation of SysTems","author":"M. Tribastone","year":"2007","unstructured":"Tribastone, M.: The PEPA Plug-in Project. In: Quantitative Evaluation of SysTems, pp. 53\u201354. IEEE, Los Alamitos (2007)"},{"issue":"2","key":"5_CR52","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1504\/IJBPIM.2007.015132","volume":"2","author":"W. Aalst van der","year":"2007","unstructured":"van der Aalst, W., Beisiegel, M., van Hee, K., Konig, D.: An soa-based architecture framework. Journal of Business Process Integration and Management\u00a02(2), 91\u2013101 (2007)","journal-title":"Journal of Business Process Integration and Management"},{"key":"5_CR53","unstructured":"Vankayala, V.: Business process modelling using SRML (Advanced System Design - Project Dissertation) (2008)"}],"container-title":["Lecture Notes in Computer Science","Rigorous Software Engineering for Service-Oriented Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20401-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,3]],"date-time":"2021-12-03T19:08:25Z","timestamp":1638558505000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20401-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642204005","9783642204012"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20401-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}