{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:17:45Z","timestamp":1725495465450},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540753339"},{"type":"electronic","value":"9783540753360"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75336-0_3","type":"book-chapter","created":{"date-parts":[[2007,11,16]],"date-time":"2007-11-16T01:38:37Z","timestamp":1195177117000},"page":"30-50","source":"Crossref","is-referenced-by-count":6,"title":["Sensoria Process Calculi for Service-Oriented Computing"],"prefix":"10.1007","author":[{"given":"Martin","family":"Wirsing","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rocco","family":"De Nicola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen","family":"Gilmore","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"H\u00f6lzl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Lucchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianlugi","family":"Zavattaro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11768869_1","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"M. Bartoletti","year":"2006","unstructured":"Bartoletti, M., Degano, P., Ferrari, G.: Security Issues in Service Composition. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 1\u201316. Springer, Heidelberg (2006)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Bettini, L., Bono, V., Likavec, S.: Safe and flexible objects with subtyping. Object Technology, Special Issue: OOPS Track at SAC 2005, 4(10), 5\u201329 (2005)","DOI":"10.5381\/jot.2005.4.10.a1"},{"key":"3_CR3","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"63","volume-title":"Proceedings of ECAI 2006, 17th European Conference on Artificial Intelligence","author":"S. Bistarelli","year":"2006","unstructured":"Bistarelli, S., Gadducci, F.: Enhancing constraints manipulation in semiring-based formalisms. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) Proceedings of ECAI 2006, 17th European Conference on Artificial Intelligence. Frontiers in Artificial Intelligence and Applications, vol.\u00a0141, pp. 63\u201367. IOS Press, Amsterdam (2006)"},{"key":"3_CR4","unstructured":"Bloch, B., Curbera, F., Goland, Y., Kartha, N., Liu, C.K., Thatte, S., Yendluri, P., Yiu, A.: Web services business process execution language version 2.0. Technical report, WS-BPEL TC OASIS (2005), http:\/\/www.oasis-open.org\/"},{"key":"3_CR5","volume-title":"Proceedings of LICS 2006, 21st Annual IEEE Symposium on Logic in Computer Science","author":"F. Bonchi","year":"2006","unstructured":"Bonchi, F., Koenig, B., Montanari, U.: Saturated semantics for reactive systems. In: Proceedings of LICS 2006, 21st Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society, Los Alamitos (to appear, 2006)"},{"key":"3_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":"3_CR7","unstructured":"Box, D., Ehnebuske, D., Kakivaya, G., Layman, A., Mendelsohn, N., Nielsen, H.F., Thatte, S., Winer, D.: Simple Object Access Protocol (SOAP) 1.2. W3C Recommendation (June 24, 2003), http:\/\/www.w3.org\/TR\/SOAP\/"},{"issue":"1","key":"3_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jlap.2006.05.002","volume":"70","author":"M. Bravetti","year":"2006","unstructured":"Bravetti, M., Zavattaro, G.: Service Oriented Computing from a Process Algebraic Perspective. Journal of Logic and Algebraic Programming\u00a070(1), 3\u201314 (2006)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/11549970_20","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"R. Bruni","year":"2005","unstructured":"Bruni, R., Ferrari, G., Melgratti, H., Montanari, U., Strollo, D., Tuosto, E.: From theory to practice in transactional composition of web services. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) Formal Techniques for Computer Systems and Business Processes. LNCS, vol.\u00a03670, pp. 272\u2013286. Springer, Heidelberg (2005)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Buscemi, M.G., Montanari, U.: Cc-pi: A constraint-based language for specifying service level agreements. In: Proc. ESOP 2007, LNCS (to appear, 2007)","DOI":"10.1007\/978-3-540-71316-6_3"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/11596141_18","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"N. Busi","year":"2005","unstructured":"Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and Orchestration: a synergic approach for system design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 228\u2013240. Springer, Heidelberg (2005)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/11767954_5","volume-title":"Coordination Models and Languages","author":"N. Busi","year":"2006","unstructured":"Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and Orchestration conformance for system design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 63\u201381. Springer, Heidelberg (2006)"},{"issue":"1","key":"3_CR13","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.scico.2005.07.013","volume":"63","author":"R. Nicola De","year":"2006","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: Confining data and processes in global computing applications. Science of Computer Programming\u00a063(1), 57\u201387 (2006)","journal-title":"Science of Computer Programming"},{"key":"3_CR14","unstructured":"De Nicola, R., Katoen, J.-P., Latella, D., Massink, M.: STOKLAIM: A Stochastic Extension of KLAIM. TR 2006-TR-01, ISTI (2006)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Degano, P., Prandi, D., Priami, C., Quaglia, P.: Beta-binders for biological quantitative experiments. In: ENTCS - Proceedings of QAPL, 4th Workshop on Quantitative Aspects of Programming Languages (2006) (to appear)","DOI":"10.1016\/j.entcs.2006.07.014"},{"key":"3_CR16","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":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/3-540-58021-2_20","volume-title":"Computer Performance Evaluation","author":"S. Gilmore","year":"1994","unstructured":"Gilmore, S., Hillston, J.: The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In: Haring, G., Kotsis, G. (eds.) Computer Performance Evaluation. LNCS, vol.\u00a0794, pp. 353\u2013368. Springer, Heidelberg (1994)"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/11768869_18","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"C. Guidi","year":"2006","unstructured":"Guidi, C., Lucchi, R.: Mobility mechanisms in service oriented computing. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 233\u2013250. Springer, Heidelberg (2006)"},{"key":"3_CR19","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., Busi, N., Gorrieri, R., 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":"3_CR20","doi-asserted-by":"crossref","unstructured":"Hansen, R.R., Probst, C.W., Nielson, F.: Sandboxing in myKlaim. In: The First Internat. Conference on Availability, Reliability and Security, ARES 2006 (2006)","DOI":"10.1109\/ARES.2006.115"},{"key":"3_CR21","first-page":"33","volume-title":"Proceedings of the Second International Conference on the Quantitative Evaluation of Systems","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, Torino, Italy, September 2005, pp. 33\u201343. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"3_CR22","doi-asserted-by":"crossref","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":"3_CR23","volume-title":"Proceedings of the 2nd International Conference on Automatic and Autonomous Systems (ICAS 2006)","author":"H. Koshutanski","year":"2006","unstructured":"Koshutanski, H., Martinelli, F., Mori, P., Vaccarelli, A.: Fine-grained and history-based access control with trust management for autonomic grid services. In: Proceedings of the 2nd International Conference on Automatic and Autonomous Systems (ICAS 2006), Silicon Valley, California, July 2006, IEEE Press, Orlando (2006)"},{"key":"3_CR24","series-title":"ENTCS","volume-title":"Proc. of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques","author":"M. Kov\u00e1cs","year":"2006","unstructured":"Kov\u00e1cs, M., G\u00f6nczy, L.: Simulation and formal analysis of workflow models. In: Bruni, R., Varro, D. (eds.) Proc. of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques. ENTCS, Elsevier, Amsterdam (2006)"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A calculus for orchestration of web services. In: Proc. of ESOP 2007, LNCS ( to appear, 2007)","DOI":"10.1007\/978-3-540-71316-6_4"},{"key":"3_CR26","series-title":"ENTCS","volume-title":"Proc. of 1st Workshop on Information and Computer Security- ICS 2006","author":"F. Martinelli","year":"2006","unstructured":"Martinelli, F., Petrocchi, M.: A uniform framework for the modeling and analysis of security and trust. In: Proc. of 1st Workshop on Information and Computer Security- ICS 2006. ENTCS, Elsevier, North-Holland (to appear, 2006)"},{"issue":"1","key":"3_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Inform. and Comput.\u00a0100(1), 1\u201340 (1992)","journal-title":"Inform. and Comput."},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Misra, J., Cook, W.R.: Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modeling (2006) (to appear)","DOI":"10.1007\/s10270-006-0012-1"},{"key":"3_CR29","unstructured":"Nielson, H.R., Nielson, F.: Data flow analysis for CCS. Festschrift dedicated to Reinhard Wilhelm\u2019s 60.\u00a0birthday (2006)"},{"key":"3_CR30","unstructured":"De Nicola, R., Katoen, J.P., Latella, D., Massink, M.: STOKLAIM: A Stochastic Extension of KLAIM. TR 2006-TR-01, ISTI (2006)"},{"key":"3_CR31","unstructured":"SCA Consortium. Service Component Architecture, version 0.9. Specification, 2005 (Last visited: June 2006), download.boulder.ibm.com\/ibmdl\/pub\/software\/dw\/specs\/ws-sca\/SCA_White_Paper1_09.pdf"},{"key":"3_CR32","unstructured":"SENSORIA. Software Engineering for Service-Oriented Overlay Computers. Web site at http:\/\/www.sensoria-ist.eu"},{"issue":"1","key":"3_CR33","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"key":"3_CR34","unstructured":"W3C. Web Services Description Language (WSDL) 1.1. http:\/\/www.w3.org\/TR\/wsdl"},{"key":"3_CR35","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)"},{"key":"3_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/11690634_28","volume-title":"Foundations of Software Science and Computation Structures","author":"R. Zunino","year":"2006","unstructured":"Zunino, R., Degano, P.: Handling exp, \u00d7 (and timestamps) in protocol analysis. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FOSSACS 2006 and ETAPS 2006. LNCS, vol.\u00a03921, pp. 413\u2013427. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75336-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T14:04:36Z","timestamp":1556978676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75336-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540753339","9783540753360"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75336-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}