{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T17:46:54Z","timestamp":1761155214364,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540884781"},{"type":"electronic","value":"9783540884798"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88479-8_13","type":"book-chapter","created":{"date-parts":[[2008,11,4]],"date-time":"2008-11-04T09:18:43Z","timestamp":1225790323000},"page":"170-190","source":"Crossref","is-referenced-by-count":19,"title":["Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity"],"prefix":"10.1007","author":[{"given":"Martin","family":"Wirsing","sequence":"first","affiliation":[]},{"given":"Matthias","family":"H\u00f6lzl","sequence":"additional","affiliation":[]},{"given":"Lucia","family":"Acciai","sequence":"additional","affiliation":[]},{"given":"Federico","family":"Banti","sequence":"additional","affiliation":[]},{"given":"Allan","family":"Clark","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[]},{"given":"Stephen","family":"Gilmore","sequence":"additional","affiliation":[]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[]},{"given":"L\u00e1szl\u00f3","family":"G\u00f6nczy","sequence":"additional","affiliation":[]},{"given":"Nora","family":"Koch","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Lapadula","sequence":"additional","affiliation":[]},{"given":"Philip","family":"Mayer","sequence":"additional","affiliation":[]},{"given":"Franco","family":"Mazzanti","sequence":"additional","affiliation":[]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Schroeder","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","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":"13_CR2","first-page":"1280","volume-title":"ACM Symposium on Applied Computing \u2014 Model Transformation Track (SAC 2006)","author":"A. Balogh","year":"2006","unstructured":"Balogh, A., Varr\u00f3, D.: Advanced Model Transformation Language Constructs in the VIATRA2 Framework. In: ACM Symposium on Applied Computing \u2014 Model Transformation Track (SAC 2006), pp. 1280\u20131287. ACM Press, New York (2006)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-540-71389-0_4","volume-title":"Foundations of Software Science and Computational Structures","author":"M. Bartoletti","year":"2007","unstructured":"Bartoletti, M., Degano, P., Ferrari, G., Zunino, R.: Types and effects for Resouce Usage Analysis. In: Seidl, H. (ed.) FOSSACS 2007. LNCS, vol.\u00a04423, pp. 32\u201347. Springer, Heidelberg (2007)"},{"key":"13_CR4","volume-title":"Proceedings of the 3rd Advanced International Conference on Telecommunications (AICT 2007)","author":"M.H. Beek ter","year":"2007","unstructured":"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)"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-68863-1_3","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"M. Boreale","year":"2008","unstructured":"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.\u00a05051, pp. 19\u201338. Springer, Heidelberg (2008)"},{"key":"13_CR6","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., 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\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 38\u201357. Springer, Heidelberg (2006)"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-540-78663-4_15","volume-title":"Trustworthy Global Computing","author":"M. Bravetti","year":"2008","unstructured":"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.\u00a04912, pp. 204\u2013221. Springer, Heidelberg (2008)"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-540-72794-1_6","volume-title":"Coordination Models and Languages","author":"M. Bravetti","year":"2007","unstructured":"Bravetti, M., Zavattaro, G.: A Theory for Strong Service Compliance. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol.\u00a04467, pp. 96\u2013112. Springer, Heidelberg (2007)"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-540-75698-9_14","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"M. Bravetti","year":"2007","unstructured":"Bravetti, M., Zavattaro, G.: Contract based Multi-party Service Composition. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 207\u2013222. Springer, Heidelberg (2007)"},{"key":"13_CR10","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.G. Buscemi","year":"2007","unstructured":"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.\u00a04421, pp. 18\u201332. Springer, Heidelberg (2007)"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Ciancia, V., Ferrari, G.: Co-Algebraic Models for Quantitative Spatial Logics. In: Quantitative Aspects of Programming Languages (QAPL 2007) (2007)","DOI":"10.1016\/j.entcs.2007.07.004"},{"key":"13_CR12","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), September 2007, pp. 55\u201356. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"13_CR13","unstructured":"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\u2013185 (August 2006)"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-540-75132-8_10","volume-title":"Software Architecture","author":"R. Correia","year":"2007","unstructured":"Correia, R., Matos, C., Heckel, R., El-Ramly, M.: Architecture migration driven by code categorization. In: Oquendo, F. (ed.) ECSA 2007. LNCS, vol.\u00a04758, pp. 115\u2013122. Springer, Heidelberg (2007)"},{"issue":"1","key":"13_CR15","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.tcs.2007.05.008","volume":"382","author":"R.D. Nicola","year":"2007","unstructured":"Nicola, R.D., Katoen, J.-P., Latella, D., Loreti, M., Massink, M.: Model checking mobile stochastic logic. Theor. Comput. Sci.\u00a0382(1), 42\u201370 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR16","unstructured":"Nicola, R.D., Katoen, J.-P., Latella, D., Massink, M.: STOKLAIM: A Stochastic Extension of KLAIM. Technical Report 2006-TR-01, ISTI (2006)"},{"key":"13_CR17","unstructured":"Ehrig, K., Taentzer, G., Varr\u00f3, D.: Tool Integration by Model Transformations based on the Eclipse Modeling Framework. EASST Newsletter\u00a012 (June 2006)"},{"key":"13_CR18","unstructured":"Erl, T.: Introducing soa design patterns. SOA World Magazine\u00a08(6) (June 2008)"},{"key":"13_CR19","unstructured":"Erl, T.: SOA Design Patterns. Prentice Hall\/Pearson PTR (to appear, 2008)"},{"key":"13_CR20","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":"13_CR21","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 Component Architecture. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 193\u2013213. Springer, Heidelberg (2006)"},{"key":"13_CR22","unstructured":"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)"},{"key":"13_CR23","volume-title":"Proceedings of the Third International Conference on Internet and Web Applications and Services (ICIW 2008)","author":"H. Foster","year":"2008","unstructured":"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)"},{"key":"13_CR24","volume-title":"Design patterns: elements of reusable object-oriented software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley Longman Publishing Co., Inc., Boston (1995)"},{"key":"13_CR25","unstructured":"G\u00f6nczy, L., Varr\u00f3, D.: Modeling of Reliable Messaging in Service Oriented Architectures. In: Proc. of the International Workshop on Web Services - Modeling and Testing (2006)"},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/11948148_27","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"C. Guidi","year":"2006","unstructured":"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.\u00a04294, pp. 327\u2013338. Springer, Heidelberg (2006)"},{"key":"13_CR27","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"key":"13_CR28","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":"13_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-540-75698-9_15","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: Regulating data exchange in service oriented applications. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 223\u2013239. Springer, Heidelberg (2007)"},{"key":"13_CR30","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":"13_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-540-75698-9_15","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: Regulating data exchange in service oriented applications. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 223\u2013239. Springer, Heidelberg (2007)"},{"key":"13_CR32","volume-title":"Proceedings of the IEEE International Conference on Services Computing (SCC 2008)","author":"P. Mayer","year":"2008","unstructured":"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)"},{"key":"13_CR33","unstructured":"Meszaros, G., Doble, J.: Metapatterns: A pattern language for pattern writing (1996)"},{"key":"13_CR34","volume-title":"Proceedings of the 5th European Conference on Web Services (ECOWS 2007)","author":"A. Mukhija","year":"2007","unstructured":"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)"},{"key":"13_CR35","first-page":"249","volume-title":"20th IEEE Computer Security Foundations Symposium, CSF 2007","author":"F. Nielson","year":"2007","unstructured":"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\u2013264. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"13_CR36","unstructured":"Web site for the pepa eclipse plugin (last accessed 2008-06-24), \n                    \n                      http:\/\/homepages.inf.ed.ac.uk\/mtribast\/plugin\/download.html"},{"key":"13_CR37","unstructured":"Probst, C.W., Nielson, F., Hansen, R.R.: Sandboxing in myKlaim. In: The First International Conference on Availability, Reliability and Security, ARES 2006 (2006)"},{"key":"13_CR38","unstructured":"Rotem-Gal-Oz, A.: SOA Patterns. Manning (to appear, 2009)"},{"key":"13_CR39","unstructured":"Tools integrated into the SENSORIA Development Environment, \n                    \n                      http:\/\/svn.pst.ifi.lmu.de\/trac\/sct\/wiki\/SensoriaTools"},{"key":"13_CR40","volume-title":"SENSORIA: Engineering for Service-Oriented Overlay Computers","author":"M. Wirsing","year":"2007","unstructured":"Wirsing, M., Bocchi, L., Clark, A., Fiadeiro, J.L., Gilmore, S., H\u00f6lzl, M., Koch, N., Pugliese, R.: SENSORIA: Engineering for Service-Oriented Overlay Computers, ch.\u00a07. MIT Press, Cambridge (submitted, 2007)"},{"key":"13_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/11888116_3","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"M. Wirsing","year":"2006","unstructured":"Wirsing, M., Clark, A., Gilmore, S., H\u00f6lzl, 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.\u00a04229, pp. 24\u201345. Springer, Heidelberg (2006)"}],"container-title":["Communications in Computer and Information Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88479-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T18:09:16Z","timestamp":1551636556000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88479-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540884781","9783540884798"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88479-8_13","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2008]]}}}