{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:45:57Z","timestamp":1743122757130,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":68,"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_32","type":"book-chapter","created":{"date-parts":[[2011,9,7]],"date-time":"2011-09-07T14:53:38Z","timestamp":1315407218000},"page":"655-677","source":"Crossref","is-referenced-by-count":2,"title":["Sensoria Results Applied to the Case Studies"],"prefix":"10.1007","author":[{"given":"Maurice H.","family":"ter Beek","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"32_CR1","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":"32_CR2","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, Los Alamitos (2008)"},{"key":"32_CR3","series-title":"CCIS","first-page":"155","volume-title":"ISoLA 2008","author":"L. Bocchi","year":"2008","unstructured":"Bocchi, L., Fiadeiro, J.L., Lopes, A.: A use-case driven approach to formal service-oriented modelling. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol.\u00a017, pp. 155\u2013169. Springer, Heidelberg (2008)"},{"key":"32_CR4","unstructured":"Bocchi, L., Fiadeiro, J.L., Gilmore, S., Abreu, J., Solanki, M., Vankayala, V.: A formal approach to modelling time properties of service-oriented systems (submitted)"},{"key":"32_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-540-93851-4_35","volume-title":"Service-Oriented Computing - ICSOC 2007 Workshops","author":"S. Gorton","year":"2009","unstructured":"Gorton, S., Montangero, C., Reiff-Marganiec, S., Semini, L.: StPowla: SOA, policies and workflows. In: Di Nitto, E., Ripeanu, M. (eds.) ICSOC 2007. LNCS, vol.\u00a04907, pp. 351\u2013362. Springer, Heidelberg (2009)"},{"key":"32_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-75698-9_17","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"C. Montangero","year":"2007","unstructured":"Montangero, C., Reiff-Marganiec, S., Semini, L.: Logic-based detection of conflicts in Appel policies. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 257\u2013271. Springer, Heidelberg (2007)"},{"key":"32_CR7","unstructured":"ter Beek, M.H., Gnesi, S., Montangero, C., Semini, L.: Detecting policy conflicts by model checking UML state machines. In: ICFI 2009, pp. 59\u201374. IOS (2009)"},{"key":"32_CR8","unstructured":"Fantini, P., Montangero, C., Palasciano, C., Reiff-Marganiec, S., Semini, L.: Supporting user-friendly design of flexible business processes in StPowla. Technical Report PISATR0825, Dipartimento di Informatica, Universit\u00e0 di Pisa (2008)"},{"key":"32_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-540-78743-3_17","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Fantechi","year":"2008","unstructured":"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.\u00a04961, pp. 230\u2013245. Springer, Heidelberg (2008)"},{"key":"32_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/978-3-540-68679-8_43","volume-title":"Concurrency, Graphs and Models","author":"A. Lapadula","year":"2008","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: Specifying and analysing SOC applications with COWS. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 701\u2013720. Springer, Heidelberg (2008)"},{"key":"32_CR11","doi-asserted-by":"crossref","unstructured":"Gnesi, S., Pugliese, R., Tiezzi, F.: The Sensoria pattern-based approach applied to the finance case study. Sensoria Deliverable Th05 (2010)","DOI":"10.1007\/978-3-642-20401-2_34"},{"key":"32_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-540-74974-5_20","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"D. Prandi","year":"2007","unstructured":"Prandi, D., Quaglia, P.: Stochastic COWS. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 245\u2013256. Springer, Heidelberg (2007)"},{"key":"32_CR13","first-page":"13","volume-title":"ECOWS 2007","author":"F. Montesi","year":"2007","unstructured":"Montesi, F., Guidi, C., Zavattaro, G.: Composing services with JOLIE. In: ECOWS 2007, pp. 13\u201322. IEEE, Los Alamitos (2007)"},{"key":"32_CR14","first-page":"190","volume-title":"ACSD 2008","author":"C. Guidi","year":"2008","unstructured":"Guidi, C., Lanese, I., Montesi, F., Zavattaro, G.: On the interplay between fault handling and request-response service invocations. In: ACSD 2008, pp. 190\u2013199. IEEE, Los Alamitos (2008)"},{"key":"32_CR15","first-page":"225","volume-title":"ECOWS 2008","author":"F. Montesi","year":"2008","unstructured":"Montesi, F., Guidi, C., Lanese, I., Zavattaro, G.: Dynamic fault handling mechanisms for service-oriented applications. In: ECOWS 2008, pp. 225\u2013234. IEEE, Los Alamitos (2008)"},{"key":"32_CR16","unstructured":"Guidi, C., Montesi, F.: Implementation of the finance case study in Jolie (2009), http:\/\/www.jolie-lang.org\/"},{"key":"32_CR17","doi-asserted-by":"crossref","unstructured":"Guidi, C., Montesi, F.: Reasoning about a service-oriented programming paradigm. In: ter Beek, M.H. (ed.) YR-SOC 2009. EPTCS, vol.\u00a02, pp. 67\u201381 (2009)","DOI":"10.4204\/EPTCS.2.6"},{"key":"32_CR18","unstructured":"Vieira, H.T.: A Calculus for Modeling and Analyzing Conversations in Service-Oriented Computing. PhD thesis, Universidade Nova de Lisboa (2010)"},{"key":"32_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-540-74810-6_2","volume-title":"Foundations of Security Analysis and Design IV","author":"M. Bartoletti","year":"2007","unstructured":"Bartoletti, M., Degano, P., Ferrari, G., Zunino, R.: Secure service orchestration. In: Aldini, A., Gorrieri, R. (eds.) FOSAD 2007. LNCS, vol.\u00a04677, pp. 24\u201374. Springer, Heidelberg (2007)"},{"key":"32_CR20","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/TSE.2007.70740","volume":"34","author":"M. Bartoletti","year":"2008","unstructured":"Bartoletti, M., Degano, P., Ferrari, G., Zunino, R.: Semantics-based design for secure web services. IEEE Transactions on Software Engineering\u00a034, 33\u201349 (2008)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"32_CR21","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Degano, P., Ferrari, G., Zunino, R.: Local policies for resource usage analysis. ACM Transactions on Programming Languages and Systems\u00a031 (2009)","DOI":"10.1145\/1552309.1552313"},{"key":"32_CR22","unstructured":"Gao, H., Nielson, F., Nielson, H.R.: Protocol stacks for services. In: FCS (2009)"},{"key":"32_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-642-03429-9_3","volume-title":"Recent Trends in Algebraic Development Techniques","author":"A. Clark","year":"2009","unstructured":"Clark, A., Gilmore, S., Tribastone, M.: Service-level agreements for service-oriented computing. In: Corradini, A., Montanari, U. (eds.) WADT 2008. LNCS, vol.\u00a05486, pp. 21\u201336. Springer, Heidelberg (2009)"},{"key":"32_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-00593-0_1","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Clark","year":"2009","unstructured":"Clark, A., Gilmore, S., Tribastone, M.: Scalable analysis of scalable systems. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 1\u201317. Springer, Heidelberg (2009)"},{"key":"32_CR25","first-page":"463","volume-title":"TASE 2007","author":"M.G. Buscemi","year":"2007","unstructured":"Buscemi, M.G., Ferrari, L., Moiso, C., Montanari, U.: Constraint-based policy negotiation and enforcement for telco services. In: TASE 2007, pp. 463\u2013472. IEEE, Los Alamitos (2007)"},{"key":"32_CR26","first-page":"161","volume":"94","author":"R. Bruni","year":"2008","unstructured":"Bruni, R., Lluch Lafuente, A., Montanari, U., Tuosto, E.: Style-based architectural reconfigurations. Bulletin of the EATCS\u00a094, 161\u2013180 (2008)","journal-title":"Bulletin of the EATCS"},{"key":"32_CR27","volume-title":"SOAP track at SAC 2010","author":"A. Knapp","year":"2010","unstructured":"Knapp, A., Marczy\u0144ski, G., Wirsing, M., Zaw\u0142ocki, A.: A heterogeneous approach to service-oriented systems specification. In: SOAP track at SAC 2010. ACM, New York (2010)"},{"key":"32_CR28","first-page":"287","volume-title":"ECOWS 2006","author":"M.H. Beek ter","year":"2006","unstructured":"ter Beek, M.H., Gnesi, S., Mazzanti, F., Moiso, C.: Formal modelling and verification of an asynchronous extension of SOAP. In: ECOWS 2006, pp. 287\u2013296. IEEE, Los Alamitos (2006)"},{"key":"32_CR29","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":"32_CR30","first-page":"613","volume-title":"ICSE 2008","author":"M.H. Beek ter","year":"2008","unstructured":"ter Beek, M.H., Gnesi, S., Koch, N., Mazzanti, F.: Formal verification of an automotive scenario in service-oriented computing. In: ICSE 2008, pp. 613\u2013622. ACM, New York (2008)"},{"key":"32_CR31","first-page":"105","volume-title":"SEAA 2009","author":"M.H. Beek ter","year":"2009","unstructured":"ter Beek, M.H., Bucchiarone, A., Gnesi, S.: Dynamic software architecture development: Towards an automated process. In: SEAA 2009, pp. 105\u2013108. IEEE, Los Alamitos (2009)"},{"key":"32_CR32","unstructured":"ter Beek, M.H., Mazzanti, F.: Modelling and analysing the finance case study in UMC. Technical Report 2010-TR-007, ISTI-CNR (2010)"},{"key":"32_CR33","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":"32_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1007\/978-3-540-68679-8_40","volume-title":"Concurrency, Graphs and Models","author":"L. Acciai","year":"2008","unstructured":"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.\u00a05065, pp. 642\u2013658. Springer, Heidelberg (2008)"},{"key":"32_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-642-03459-6_5","volume-title":"Foundations and Applications of Security Analysis","author":"C. Bodei","year":"2009","unstructured":"Bodei, C., Brodo, L., Bruni, R.: Static detection of logic flaws in service-oriented applications. In: Degano, P., Vigan\u00f2, L. (eds.) ARSPA-WITS 2009. LNCS, vol.\u00a05511, pp. 70\u201387. Springer, Heidelberg (2009)"},{"key":"32_CR36","unstructured":"Vieira, H.T., Caires, L., Viegas, R.: The Spatial Logic Model Checker v2.01 (November 2009), http:\/\/www-ctp.di.fct.unl.pt\/SLMC\/"},{"key":"32_CR37","unstructured":"Buchholtz, M., Nielson, H.R.: LySa tool v2.02 (October 2006), http:\/\/www.imm.dtu.dk\/English\/Research\/Language-Based_Technology\/Software\/LySaTool.aspx"},{"key":"32_CR38","first-page":"249","volume-title":"CSF 2007","author":"H.R. Nielson","year":"2007","unstructured":"Nielson, H.R., Nielson, F.: A flow-sensitive analysis of privacy properties. In: CSF 2007, pp. 249\u2013264. IEEE, Los Alamitos (2007)"},{"key":"32_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-78663-4_7","volume-title":"Trustworthy Global Computing","author":"F. Nielson","year":"2008","unstructured":"Nielson, F., Nielson, H.R., Bauer, J., Nielsen, C.R., Pilegaard, H.: Relational analysis for delivery of services. In: Barthe, G., Fournet, C. (eds.) TGC 2007. LNCS, vol.\u00a04912, pp. 73\u201389. Springer, Heidelberg (2008)"},{"key":"32_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-540-69166-2_3","volume-title":"Static Analysis","author":"J. Bauer","year":"2008","unstructured":"Bauer, J., Nielson, F., Nielson, H.R., Pilegaard, H.: Relational analysis of correlation. In: Alpuente, M., Vidal, G. (eds.) SAS 2008. LNCS, vol.\u00a05079, pp. 32\u201346. Springer, Heidelberg (2008)"},{"key":"32_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-68855-6_9","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2008","author":"V. Ciancia","year":"2008","unstructured":"Ciancia, V., Ferrari, G., Guanciale, R., Strollo, D.: Checking correctness of transactional behaviors. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol.\u00a05048, pp. 134\u2013148. Springer, Heidelberg (2008)"},{"key":"32_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/978-3-540-68679-8_20","volume-title":"Concurrency, Graphs and Models","author":"G. Ferrari","year":"2008","unstructured":"Ferrari, G., Guanciale, R., Strollo, D., Tuosto, E.: Event-based service coordination. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 312\u2013329. Springer, Heidelberg (2008)"},{"key":"32_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-642-01364-5_8","volume-title":"Web Services and Formal Methods","author":"G. Ferrari","year":"2009","unstructured":"Ferrari, G., Guanciale, R., Strollo, D., Tuosto, E.: Refactoring long running transactions. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol.\u00a05387, pp. 127\u2013142. Springer, Heidelberg (2009)"},{"key":"32_CR44","unstructured":"Strollo, D.: Designing and Experimenting Coordination Primitives for Service Or-iented Computing. PhD thesis, IMT Institute for Advanced Studies, Lucca (2009)"},{"key":"32_CR45","unstructured":"Guanciale, R.: The Signal Calculus: Beyond Message-based Coordination for Services. PhD thesis, IMT Institute for Advanced Studies, Lucca (2009)"},{"key":"32_CR46","first-page":"479","volume":"89","author":"F. Bonchi","year":"2008","unstructured":"Bonchi, F., Brogi, A., Corfini, S., Gadducci, F.: On the use of behavioural equivalences for web services\u2019 development. Fundamenta Informaticae\u00a089, 479\u2013510 (2008)","journal-title":"Fundamenta Informaticae"},{"key":"32_CR47","doi-asserted-by":"crossref","first-page":"305","DOI":"10.3233\/FI-2009-133","volume":"94","author":"F. Bonchi","year":"2009","unstructured":"Bonchi, F., Brogi, A., Corfini, S., Gadducci, F.: A net-based approach to web services publication and replaceability. Fundamental Informaticae\u00a094, 305\u2013330 (2009)","journal-title":"Fundamental Informaticae"},{"key":"32_CR48","first-page":"95","volume-title":"ICWS 2005","author":"H. Foster","year":"2005","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Tool support for model-based engineering of web service compositions. In: ICWS 2005, pp. 95\u2013102. IEEE, Los Alamitos (2005)"},{"key":"32_CR49","unstructured":"Mayer, P., Junker, M., Foster, H., Tribastone, M.: The SDE closeup: Analyzing service-oriented software with the help of formal tools. Technical report, Lehrstuhl PST, Institut f\u00fcr Informatik, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen (2008)"},{"key":"32_CR50","first-page":"1","volume-title":"PESOS 2009","author":"H. Foster","year":"2009","unstructured":"Foster, H.: Architecture and behaviour analysis for engineering Service Modes. In: PESOS 2009, pp. 1\u20138. IEEE, Los Alamitos (2009)"},{"key":"32_CR51","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.tcs.2007.05.008","volume":"382","author":"R. De Nicola","year":"2007","unstructured":"De Nicola, R., Katoen, J.P., Latella, D., Loreti, M., Massink, M.: Model checking mobile stochastic logic. Theoretical Computer Science\u00a0382, 42\u201370 (2007)","journal-title":"Theoretical Computer Science"},{"key":"32_CR52","unstructured":"De Nicola, R., Katoen, J.P., Latella, D., Loreti, M., Massink, M.: Stochastic logics. Sensoria Deliverable 4.2a (February 2007)"},{"key":"32_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-540-70952-7_12","volume-title":"Formal Methods: Applications and Technology","author":"A. Clark","year":"2007","unstructured":"Clark, A., Gilmore, S.: Evaluating quality of service for service level agreements. In: Brim, L., Haverkort, B.R., Leucker, M., van de Pol, J. (eds.) FMICS 2006 and PDMC 2006. LNCS, vol.\u00a04346, pp. 181\u2013194. Springer, Heidelberg (2007)"},{"key":"32_CR54","series-title":"CCIS","first-page":"191","volume-title":"ISoLA 2008","author":"A. Argent-Katwala","year":"2008","unstructured":"Argent-Katwala, A., Clark, A., Foster, H., Gilmore, S., Mayer, P., Tribastone, M.: Safety and response-time analysis of an automotive accident assistance service. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol.\u00a017, pp. 191\u2013205. Springer, Heidelberg (2008)"},{"key":"32_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-642-02924-0_9","volume-title":"Computer Performance Engineering","author":"A. Clark","year":"2009","unstructured":"Clark, A., Duguid, A., Gilmore, S.: Passage-end analysis. In: Bradley, J.T. (ed.) EPEW 2009. LNCS, vol.\u00a05652, pp. 110\u2013115. Springer, Heidelberg (2009)"},{"key":"32_CR56","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-642-01918-0_8","volume-title":"Formal Methods for Web Services","author":"A. Clark","year":"2009","unstructured":"Clark, A., Gilmore, S., Tribastone, M.: Quantitative analysis of web services using SRMC. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol.\u00a05569, pp. 296\u2013339. Springer, Heidelberg (2009)"},{"key":"32_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/11966104_9","volume-title":"Software Architecture","author":"D. Hirsch","year":"2006","unstructured":"Hirsch, D., Kramer, J., Magee, J., Uchitel, S.: Modes for software architectures. In: Gruhn, V., Oquendo, F. (eds.) EWSA 2006. LNCS, vol.\u00a04344, pp. 113\u2013126. Springer, Heidelberg (2006)"},{"key":"32_CR58","first-page":"3","volume-title":"ECOWS 2007","author":"A. Mukhija","year":"2007","unstructured":"Mukhija, A., Dingwall-Smith, A., Rosenblum, D.S.: QoS-aware service composition in Dino. In: ECOWS 2007, pp. 3\u201312. IEEE, Los Alamitos (2007)"},{"key":"32_CR59","unstructured":"Alessandrini, M.: Intelligent Service System. PhD thesis, Westf\u00e4lische Wilhelms-Universit\u00e4t M\u00fcnster (2009)"},{"key":"32_CR60","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-68265-3_2","volume-title":"Coordination Models and Languages","author":"L. Bettini","year":"2008","unstructured":"Bettini, L., De Nicola, R., Loreti, M.: Implementing session centered calculi. In: Wang, A.H., Tennenholtz, M. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 17\u201332. Springer, Heidelberg (2008)"},{"key":"32_CR61","first-page":"72","volume-title":"ICIW 2008","author":"H. Foster","year":"2008","unstructured":"Foster, H., Mayer, P.: Leveraging integrated tools for model-based analysis of service compositions. In: ICIW 2008, pp. 72\u201377. IEEE, Los Alamitos (2008)"},{"key":"32_CR62","first-page":"203","volume-title":"EDOC 2008","author":"P. Mayer","year":"2008","unstructured":"Mayer, P., Schroeder, A., Koch, N.: MDD4SOA: Model-driven service orchestration. In: EDOC 2008, pp. 203\u2013212. IEEE, Los Alamitos (2008)"},{"key":"32_CR63","unstructured":"Xie, R., Koch, N.: Automotive case study: Demonstrator. Report. Cirquent (2009)"},{"key":"32_CR64","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-540-76440-3_7","volume-title":"Software Evolution","author":"R. Heckel","year":"2008","unstructured":"Heckel, R., Correia, R., Matos, C.M.P., El-Ramly, M., Koutsoukos, G., Andrade, L.F.: Architectural transformations: From legacy to three-tier and services. In: Software Evolution, pp. 139\u2013170. Springer, Heidelberg (2008)"},{"key":"32_CR65","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/11880240_29","volume-title":"Model Driven Engineering Languages and Systems","author":"D. Varr\u00f3","year":"2006","unstructured":"Varr\u00f3, D.: Model transformation by example. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 410\u2013424. Springer, Heidelberg (2006)"},{"key":"32_CR66","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/s10270-008-0092-1","volume":"8","author":"Z. Balogh","year":"2009","unstructured":"Balogh, Z., Varr\u00f3, D.: Model transformation by example using inductive logic programming. Software and System Modeling\u00a08, 347\u2013364 (2009)","journal-title":"Software and System Modeling"},{"key":"32_CR67","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/3-540-44518-8_16","volume-title":"Abstract State Machines - Theory and Applications","author":"N. Shankar","year":"2000","unstructured":"Shankar, N.: Symbolic analysis of transition systems. In: Gurevich, Y., Kutter, P.W., Vetta, A., Thiele, L. (eds.) ASM 2000. LNCS, vol.\u00a01912, pp. 287\u2013302. Springer, Heidelberg (2000)"},{"key":"32_CR68","series-title":"CCIS","first-page":"170","volume-title":"ISoLA 2008","author":"M. Wirsing","year":"2008","unstructured":"Wirsing, M., H\u00f6lzl, M.M., Acciai, L., Banti, F., Clark, A., Fantechi, A., Gilmore, S., Gnesi, S., G\u00f6nczy, L., Koch, N., Lapadula, A., Mayer, P., Mazzanti, F., Pugliese, R., Schroeder, A., Tiezzi, F., Tribastone, M., Varr\u00f3, D.: Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol.\u00a017, pp. 170\u2013190. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Rigorous Software Engineering for Service-Oriented Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20401-2_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,23]],"date-time":"2020-06-23T08:53:06Z","timestamp":1592902386000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20401-2_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642204005","9783642204012"],"references-count":68,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20401-2_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}