{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T10:30:36Z","timestamp":1743071436972,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540731955"},{"type":"electronic","value":"9783540731962"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-73196-2_22","type":"book-chapter","created":{"date-parts":[[2007,7,6]],"date-time":"2007-07-06T00:50:02Z","timestamp":1183683002000},"page":"341-357","source":"Crossref","is-referenced-by-count":3,"title":["Transactional Reduction of Component Compositions"],"prefix":"10.1007","author":[{"given":"Serge","family":"Haddad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Poizat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Adaptor, January 2007 distribution (LGPL licence) (2007), \n                    \n                      http:\/\/www.ibisc.univ-evry.fr\/Members\/Poizat\/Adaptor"},{"issue":"2\u20133","key":"22_CR2","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1016\/j.tcs.2004.09.022","volume":"331","author":"F. Achermann","year":"2005","unstructured":"Achermann, F., Nierstrasz, O.: A calculus for reasoning about software composition. Theoretical Computer Science\u00a0331(2\u20133), 367\u2013396 (2005)","journal-title":"Theoretical Computer Science"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/11821946_2","volume-title":"Software Composition","author":"C. Attiogb\u00e9","year":"2006","unstructured":"Attiogb\u00e9, C., Andr\u00e9, P., Ardourel, G.: Checking Component Composability. In: L\u00f6we, W., S\u00fcdholt, M. (eds.) SC 2006. LNCS, vol.\u00a04089, pp. 18\u201333. Springer, Heidelberg (2006)"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/11550679_3","volume-title":"Software Composition","author":"S. Ben Mokhtar","year":"2005","unstructured":"Ben Mokhtar, S., Georgantas, N., Issarny, V.: Ad Hoc Composition of User Tasks in Pervasive Computing Environments. In: Gschwind, T., A\u00dfmann, U., Nierstrasz, O. (eds.) SC 2005. LNCS, vol.\u00a03628, pp. 31\u201346. Springer, Heidelberg (2005)"},{"key":"22_CR5","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. North-Holland, Elsevier (2001)"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Methods for Software Architectures","year":"2003","unstructured":"Bernardo, M., Inverardi, P. (eds.): SFM 2003. LNCS, vol.\u00a02804. Springer, Heidelberg (2003)"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Betin-Can, A., Bultan, T., Fu, X.: Design for Verification for Asynchronously Communicating Web Services. In: International Conference on World Wide Web, pp. 750\u2013759 (2005)","DOI":"10.1145\/1060745.1060853"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-31984-9_2","volume-title":"Fundamental Approaches to Software Engineering","author":"D. Beyer","year":"2005","unstructured":"Beyer, D., Henzinger, T., Jhala, R., Majumdar, R.: Checking Memory Safety with Blast. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 2\u201318. Springer, Heidelberg (2005)"},{"issue":"1","key":"22_CR9","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.jss.2003.05.007","volume":"74","author":"A. Bracciali","year":"2005","unstructured":"Bracciali, A., Brogi, A., Canal, C.: A Formal Approach to Component Adaptation. Journal of Systems and Software\u00a074(1), 45\u201354 (2005)","journal-title":"Journal of Systems and Software"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/11550679_2","volume-title":"Software Composition","author":"A. Brogi","year":"2005","unstructured":"Brogi, A., Corfini, S., Popescu, R.: Composition-Oriented Service Discovery. In: Gschwind, T., A\u00dfmann, U., Nierstrasz, O. (eds.) SC 2005. LNCS, vol.\u00a03628, pp. 15\u201330. Springer, Heidelberg (2005)"},{"key":"22_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/11948148_3","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"A. Brogi","year":"2006","unstructured":"Brogi, A., Popescu, R.: Automated Generation of BPEL Adapters. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 27\u201339. Springer, Heidelberg (2006)"},{"issue":"11-12","key":"22_CR12","doi-asserted-by":"publisher","first-page":"1257","DOI":"10.1002\/spe.767","volume":"36","author":"E. Bruneton","year":"2006","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Qu\u00e9ma, V., Stefani, J.-B.: The Fractal Component Model and Its Support in Java. Software Practice and Experience\u00a036(11-12), 1257\u20131284 (2006)","journal-title":"Software Practice and Experience"},{"issue":"1","key":"22_CR13","first-page":"9","volume":"12","author":"C. Canal","year":"2006","unstructured":"Canal, C., Murillo, J.M., Poizat, P.: Software Adaptation. L\u2019Objet. Special Issue on Coordination and Adaptation Techniques for Software Entities\u00a012(1), 9\u201331 (2006)","journal-title":"L\u2019Objet. Special Issue on Coordination and Adaptation Techniques for Software Entities"},{"key":"22_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/11768869_7","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"C. Canal","year":"2006","unstructured":"Canal, C., Poizat, P., Sala\u00fcn, G.: Synchronizing Behavioural Mismatch in Software Composition. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 63\u201377. Springer, Heidelberg (2006)"},{"key":"22_CR15","volume-title":"International Workshop on Formal Aspects of Component Software","author":"I. Cern\u00e1","year":"2006","unstructured":"Cern\u00e1, I., Varekov\u00e1, P., Zimmerova, B.: Component Substitutability via Equivalencies of Component-Interaction Automata. In: International Workshop on Formal Aspects of Component Software, Elsevier, Amsterdam (2006)"},{"key":"22_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11817963_5","volume-title":"Computer Aided Verification","author":"M. Wulf De","year":"2006","unstructured":"De Wulf, M., Doyen, L., Henzinger, T., Raskin, J.-F.: Antichains: A new algorithm for checking universality of finite automata. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, pp. 17\u201330. Springer, Heidelberg (2006)"},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"771","DOI":"10.1145\/1134285.1134408","volume-title":"ICSE","author":"H. Foster","year":"2006","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: LTSA-WS: a tool for Model-Based Verification of Web Service Compositions and Choreography. In: ICSE, pp. 771\u2013774. ACM Press, New York (2006)"},{"issue":"3","key":"22_CR18","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/S0164-1212(02)00037-7","volume":"65","author":"P. Inverardi","year":"2003","unstructured":"Inverardi, P., Tivoli, M.: Deadlock Free Software Architectures for COM\/DCOM Applications. Journal of Systems and Software\u00a065(3), 173\u2013183 (2003)","journal-title":"Journal of Systems and Software"},{"issue":"10","key":"22_CR19","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/944217.944237","volume":"46","author":"M. Little","year":"2003","unstructured":"Little, M.: Transactions and Web Services. Communications of the ACM\u00a046(10), 49\u201354 (2003)","journal-title":"Communications of the ACM"},{"issue":"3","key":"22_CR20","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/S0167-6423(02)00094-1","volume":"46","author":"R. Mateescu","year":"2003","unstructured":"Mateescu, R., Sighireanu, M.: Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus. Science of Computer Programming\u00a046(3), 255\u2013281 (2003)","journal-title":"Science of Computer Programming"},{"key":"22_CR21","unstructured":"Objet Management Group. Unified Modeling Language: Superstructure. version 2.0, formal\/05-07-04 (August 2005)"},{"issue":"10","key":"22_CR22","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/944217.944233","volume":"46","author":"M.P. Papazoglou","year":"2003","unstructured":"Papazoglou, M.P., Georgakopoulos, D.: Service-Oriented Computing. Communications of the ACM\u00a046(10), 25\u201328 (2003)","journal-title":"Communications of the ACM"},{"key":"22_CR23","unstructured":"Poizat, P.: Eclipse Transition Systems. French National Network for Telecommunications Research (RNRT) STACS Deliverable (2005)"},{"key":"22_CR24","unstructured":"Poizat, P., Royer, J.-C., Sala\u00fcn, G.: Formal Methods for Component Description, Coordination and Adaptation. In: International Workshop on Coordination and Adaptation Techniques for Software Entities at ECOOP, pp. 89\u2013100 (2004)"},{"issue":"2","key":"22_CR25","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1504\/IJBPIM.2006.010025","volume":"1","author":"G. Sala\u00fcn","year":"2006","unstructured":"Sala\u00fcn, G., Bordeaux, L., Schaerf, M.: Describing and Reasoning on Web Services using Process Algebra. International Journal of Business Process Integration and Management\u00a01(2), 116\u2013128 (2006)","journal-title":"International Journal of Business Process Integration and Management"},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"Schmidt, H.W., Reussner, R.H.: Generating Adapters for Concurrent Component Protocol Synchronization. In: FMOODS, pp. 213\u2013229 (2002)","DOI":"10.1007\/978-0-387-35496-5_15"},{"key":"22_CR27","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1998","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley, Reading (1998)"},{"issue":"2","key":"22_CR28","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/244795.244801","volume":"19","author":"D.M. Yellin","year":"1997","unstructured":"Yellin, D.M., Strom, R.E.: Protocol Specifications and Components Adaptors. ACM Transactions on Programming Languages and Systems\u00a019(2), 292\u2013333 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73196-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T20:01:36Z","timestamp":1558468896000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73196-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540731955","9783540731962"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73196-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}