{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:02:13Z","timestamp":1725559333797},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540258124"},{"type":"electronic","value":"9783540320395"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11423331_4","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T13:45:17Z","timestamp":1279028717000},"page":"34-44","source":"Crossref","is-referenced-by-count":0,"title":["Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification"],"prefix":"10.1007","author":[{"given":"Shanshan","family":"Jiang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cyril","family":"Carrez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Finn Arve","family":"Aagesen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Aagesen, F.A., Helvik, B.E., Anutariya, C., Shiaa, M.M.: On adaptable networking. In: ICT 2003, Proceedings, Assumption University, Thailand (2003)"},{"key":"4_CR2","unstructured":"Carrez, C.: Contrats Comportementaux pour Composants. PhD thesis, ENST, Paris, France (December 2003)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39979-7_8","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2003","author":"C. Carrez","year":"2003","unstructured":"Carrez, C., Fantechi, A., Najm, E.: Behavioural contracts for a sound composition of components. In: K\u00f6nig, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol.\u00a02767. Springer, Heidelberg (2003)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Carrez, C., Fantechi, A., Najm, E.: Assembling components with behavioural contracts. Annals of Telecomms (2005), To appear. Ext. of [CFN03]","DOI":"10.1007\/BF03219957"},{"key":"4_CR5","series-title":"Software Engineering Notes","volume-title":"ESEC\/FSE-2001","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC\/FSE 2001. Software Engineering Notes, vol.\u00a026(5). ACM Press, New York (2001)"},{"key":"4_CR6","unstructured":"Floch, J.: Towards Plug-and-Play Services: Design and Validation using Roles. PhD thesis, NTNU, Trondheim, Norway (February 2003)"},{"key":"4_CR7","unstructured":"Gay, S., Vasconcelos, V.T., Ravara, A.: Session types for inter-process communication. Preprint, Dept. of Computer Science, Univ. of Lisbon (2002)"},{"key":"4_CR8","volume-title":"Design and Validation of Computer Protocols","author":"G.J. Holzmann","year":"1990","unstructured":"Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs (1990)"},{"key":"4_CR9","unstructured":"Jiang, S., Aagesen, F.A.: XML-based dynamic service behaviour representation. In: NIK 2003, Proceedings, Oslo, Norway (November 2003)"},{"key":"4_CR10","unstructured":"Johansen, U., Aagesen, F.A., Helvik., B.E., Br\u00e6k, R.: Design specification of the PaP support functionality. Technical Report 1999-12-10, Department of Telematics, NTNU (1999)"},{"issue":"4","key":"4_CR11","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1109\/TSE.1984.5010246","volume":"10","author":"S.S. Lam","year":"1984","unstructured":"Lam, S.S., Shankar, A.U.: Protocol verification via projections. IEEE Transactions on Software Engineering\u00a010(4), 325\u2013342 (1984)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"4_CR12","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/s00165-004-0043-8","volume":"16","author":"E.A. Lee","year":"2004","unstructured":"Lee, E.A., Xiong, Y.: A behavioral type system and its application in ptolemy ii. Formal Aspects of Computing\u00a016(3), 210\u2013237 (2004)","journal-title":"Formal Aspects of Computing"},{"key":"4_CR13","first-page":"99","volume-title":"Object-Oriented Software Composition","author":"O. Nierstrasz","year":"1995","unstructured":"Nierstrasz, O.: Regular types for active objects. In: Object-Oriented Software Composition, pp. 99\u2013121. Prentice-Hall, Englewood Cliffs (1995)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Najm, E., Nimour, A., Stefani, J.-B.: Infinite types for distributed objects interfaces. In: FMOODS 1999, Proceedings, Firenze, Italy (February 1999)","DOI":"10.1007\/978-0-387-35562-7_28"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/3-540-44618-4_34","volume-title":"CONCUR 2000 - Concurrency Theory","author":"A. Ravara","year":"2000","unstructured":"Ravara, A., Vasconcelos, V.T.: Typing non-uniform concurrent objects. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 474\u2013488. Springer, Heidelberg (2000)"},{"key":"4_CR16","unstructured":"Sanders, R., Br\u00e6k, R.: Discovering service opportunities by evaluating service goals. In: EUNICE 2004, Proceedings, Tampere, Finland (June 2004)"}],"container-title":["Lecture Notes in Computer Science","Rapid Integration of Software Engineering Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11423331_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,31]],"date-time":"2021-10-31T09:47:52Z","timestamp":1635673672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11423331_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540258124","9783540320395"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11423331_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}