乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:44:42Z","timestamp":1742953482509,"version":"3.40.3"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471655"},{"type":"electronic","value":"9783319471662"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47166-2_55","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T18:07:34Z","timestamp":1475604454000},"page":"784-805","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Conditions for Compatibility of Components"],"prefix":"10.1007","author":[{"given":"Maurice H.","family":"ter Beek","sequence":"first","affiliation":[]},{"given":"Josep","family":"Carmona","sequence":"additional","affiliation":[]},{"given":"Jetty","family":"Kleijn","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"55_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/11817963_8","volume-title":"Computer Aided Verification","author":"BT Adler","year":"2006","unstructured":"Adler, B.T., de Alfaro, L., da Silva, L.D., Faella, M., Legay, A., Raman, V., Roy, P.: Ticc: a tool for interface compatibility and composition. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 59\u201362. Springer, Heidelberg (2006)"},{"issue":"9","key":"55_CR2","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/1810891.1810910","volume":"53","author":"J Armstrong","year":"2010","unstructured":"Armstrong, J.: Erlang. Commun. ACM 53(9), 68\u201375 (2010)","journal-title":"Commun. ACM"},{"key":"55_CR3","unstructured":"ter Beek, M.H.: Team automata: a formal approach to the modeling of collaboration between system components. PhD thesis, Leiden University (2003)"},{"issue":"1","key":"55_CR4","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1023\/A:1022407907596","volume":"12","author":"MH Beek ter","year":"2003","unstructured":"ter Beek, M.H., Ellis, C.A., Kleijn, J., Rozenberg, G.: Synchronizations in team automata for groupware systems. Comput. Sup. Coop. Work 12(1), 21\u201369 (2003)","journal-title":"Comput. Sup. Coop. Work"},{"key":"55_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/978-3-540-45236-2_22","volume-title":"FME 2003: Formal Methods","author":"MH Beek ter","year":"2003","unstructured":"ter Beek, M.H., Kleijn, J.: Team automata satisfying compositionality. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 381\u2013400. Springer, Heidelberg (2003)"},{"issue":"5","key":"55_CR6","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1016\/j.ipl.2005.05.012","volume":"95","author":"MH Beek ter","year":"2005","unstructured":"ter Beek, M.H., Kleijn, J.: Modularity for teams of I\/O automata. Inf. Process. Lett. 95(5), 487\u2013495 (2005)","journal-title":"Inf. Process. Lett."},{"key":"55_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"856","DOI":"10.1007\/978-3-319-47166-2 59","volume-title":"ISoLA 2016 Part I","author":"MH Beek ter","year":"2016","unstructured":"ter Beek, M.H., Reniers, M.A., de Vink, E.P.: Supervisory controller synthesis for product lines using CIF 3. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016, Part I. LNCS, vol. 9952, pp. 856\u2013873. Springer, Heidelberg (2016). doi:\n 10.1007\/978-3-319-47166-2 59"},{"key":"55_CR8","doi-asserted-by":"crossref","unstructured":"Bensalem, S., Bozga, M., Boyer, B., Legay, A.: Incremental generation of linear invariants for component-based systems. In: Proceedings of the 13th International Conference on Application of Concurrency to System Design (ACSD 2013), pp. 80\u201389. IEEE (2013)","DOI":"10.1109\/ACSD.2013.11"},{"key":"55_CR9","unstructured":"Berry, G.: The Esterel v5 Language Primer. Ecole des Mines de Paris\/INRIA (2000)"},{"issue":"2","key":"55_CR10","doi-asserted-by":"publisher","first-page":"4:1","DOI":"10.1145\/1118537.1123063","volume":"31","author":"L Brim","year":"2006","unstructured":"Brim, L., Cern\u00e1, I., Varekov\u00e1, P., Zimmerova, B.: Component-interaction automata as a verification-oriented component-based system specification. ACM Softw. Eng. Notes 31(2), 4:1\u20134:8 (2006)","journal-title":"ACM Softw. Eng. Notes"},{"key":"55_CR11","unstructured":"Carmona, J.: Structural methods for the synthesis of well-formed concurrent specifications. PhD thesis, Universitat Polit\u00e8cnica de Catalunya (2004)"},{"key":"55_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/3-540-36126-X_22","volume-title":"Formal Methods in Computer-Aided Design","author":"J Cortadella","year":"2002","unstructured":"Cortadella, J., Carmona, J.: Input\/Output compatibility of reactive systems. In: Aagaard, M.D., O\u2019Leary, J.W. (eds.) FMCAD 2002. LNCS, vol. 2517, pp. 360\u2013377. Springer, Heidelberg (2002)"},{"issue":"10","key":"55_CR13","doi-asserted-by":"publisher","first-page":"1437","DOI":"10.1109\/TCAD.2009.2030436","volume":"28","author":"J Carmona","year":"2009","unstructured":"Carmona, J., Cortadella, J., Kishinevsky, M., Taubin, A.: Elastic circuits. IEEE Trans. Comput.-Aided Design Integr. Circuits Syst. 28(10), 1437\u20131455 (2009)","journal-title":"IEEE Trans. Comput.-Aided Design Integr. Circuits Syst."},{"key":"55_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-36190-1_4","volume-title":"Concurrency and Hardware Design","author":"JA Carmona","year":"2002","unstructured":"Carmona, J.A., Cortadella, J., Pastor, E.: Synthesis of reactive systems: application to asynchronous circuit design. In: Cortadella, J., Yakovlev, A., Rozenberg, G. (eds.) Concurrency and Hardware Design. LNCS, vol. 2549, pp. 108\u2013151. Springer, Heidelberg (2002)"},{"key":"55_CR15","unstructured":"Carmona, J., Kleijn, J.: Interactive behaviour of multi-component systems. In: Cortadella, J., Yakovlev, A. (eds.) ToBaCo 2004, pp. 27\u201331 (2004)"},{"key":"55_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2013.03.006","volume":"484","author":"J Carmona","year":"2013","unstructured":"Carmona, J., Kleijn, J.: Compatibility in a multi-component environment. Theor. Comput. Sci. 484, 1\u201315 (2013)","journal-title":"Theor. Comput. Sci."},{"key":"55_CR17","first-page":"23","volume":"271","author":"D Castro","year":"2011","unstructured":"Castro, D., Gul\u00edas, V.M., Earle, C.B., Fredlund, L., Rivas, S.: A case study on verifying a supervisor component using McErlang. ENTCS 271, 23\u201340 (2011)","journal-title":"ENTCS"},{"key":"55_CR18","unstructured":"Chapiro, D.M.: Globally-asynchronous locally-synchronous systems. PhD thesis, Stanford University (1984)"},{"key":"55_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11559306_5","volume-title":"Frontiers of Combining Systems","author":"L Alfaro de","year":"2005","unstructured":"de Alfaro, L., da Silva, L.D., Faella, M., Legay, A., Roy, P., Sorea, M.: Sociable interfaces. In: Gramlich, B. (ed.) FroCos 2005. LNCS (LNAI), vol. 3717, pp. 81\u2013105. Springer, Heidelberg (2005)"},{"key":"55_CR20","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC\/FSE 2001, pp. 109\u2013120. ACM (2001)","DOI":"10.1145\/503271.503226"},{"key":"55_CR21","series-title":"NATO Science Series","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/1-4020-3532-2_3","volume-title":"Engineering Theories of Software Intensive Systems","author":"L Alfaro de","year":"2005","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface-based design. In: Broy, M., Gr\u00fcnbauer, J., Harel, D., Hoare, T. (eds.) Engineering Theories of Software Intensive Systems. NATO Science Series, vol. 195, pp. 83\u2013104. Springer, Dordrecht (2005)"},{"issue":"3","key":"55_CR22","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/BF01933419","volume":"8","author":"EW Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: A constructive approach to the problem of program correctness. BIT Numer. Math. 8(3), 174\u2013186 (1968)","journal-title":"BIT Numer. Math."},{"issue":"3","key":"55_CR23","first-page":"40","volume":"31","author":"M Dumas","year":"2008","unstructured":"Dumas, M., Benatallah, B., Nezhad, H.R.M.: Web service protocols: compatibility and adaptation. IEEE Data Eng. Bull. 31(3), 40\u201344 (2008)","journal-title":"IEEE Data Eng. Bull."},{"key":"55_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/3-540-45711-9_15","volume-title":"Formal and Natural Computing","author":"G Engels","year":"2002","unstructured":"Engels, G., Groenewegen, L.: Towards team-automata-driven object-oriented collaborative work. In: Brauer, W., Ehrig, H., Karhum\u00e4ki, J., Salomaa, A. (eds.) Formal and Natural Computing. LNCS, vol. 2300, p. 257. Springer, Heidelberg (2002)"},{"key":"55_CR25","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.scico.2004.05.014","volume":"55","author":"G G\u00f6ssler","year":"2005","unstructured":"G\u00f6ssler, G., Sifakis, J.: Composition for component-based modeling. Sci. Comput. Program. 55, 161\u2013183 (2005)","journal-title":"Sci. Comput. Program."},{"key":"55_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-15585-7_5","volume-title":"Testing \u2013 Practice and Research Techniques","author":"Q Guo","year":"2010","unstructured":"Guo, Q., Derrick, J., Benac Earle, C., Fredlund, L.\u00c5.: Model-checking Erlang \u2013 a comparison between EtomCRL2 and McErlang. In: Bottaci, L., Fraser, G. (eds.) TAIC PART 2010. LNCS, vol. 6303, pp. 23\u201338. Springer, Heidelberg (2010)"},{"key":"55_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/3-540-45614-7_13","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"A Hall","year":"2002","unstructured":"Hall, A.: Correctness by construction: integrating formality into a commercial development process. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, p. 224. Springer, Heidelberg (2002)"},{"issue":"1","key":"55_CR28","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/52.976937","volume":"19","author":"A Hall","year":"2002","unstructured":"Hall, A., Chapman, R.: Correctness by construction: developing a commercial secure system. IEEE Softw. 19(1), 18\u201325 (2002)","journal-title":"IEEE Softw."},{"key":"55_CR29","doi-asserted-by":"crossref","unstructured":"Hammal, Y.: A modular state exploration and compatibility checking of UML dynamic diagrams. In: AICCSA 2008, pp. 793\u2013800. IEEE (2008)","DOI":"10.1109\/AICCSA.2008.4493617"},{"key":"55_CR30","doi-asserted-by":"crossref","unstructured":"Hammal, Y.: Behavioral compatibility of active components. In: SEFM 2008, pp. 372\u2013376. IEEE (2008)","DOI":"10.1109\/SEFM.2008.12"},{"key":"55_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-23283-1_11","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2011","author":"R Hennicker","year":"2011","unstructured":"Hennicker, R., Knapp, A.: Modal interface theories for communication-safe component assemblies. In: Cerone, A., Pihlajasaari, P. (eds.) ICTAC 2011. LNCS, vol. 6916, pp. 135\u2013153. Springer, Heidelberg (2011)"},{"issue":"2\u20133","key":"55_CR32","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/s00236-015-0220-7","volume":"52","author":"R Hennicker","year":"2015","unstructured":"Hennicker, R., Knapp, A.: Moving from interface theories to assembly theories. Acta Inf. 52(2\u20133), 235\u2013268 (2015)","journal-title":"Acta Inf."},{"key":"55_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/978-3-642-54848-2_10","volume-title":"From Programs to Systems","author":"R Hennicker","year":"2014","unstructured":"Hennicker, R., Knapp, A., Wirsing, M.: Assembly theories for communication-safe component systems. In: Bensalem, S., Lakhneck, Y., Legay, A. (eds.) From Programs to Systems. LNCS, vol. 8415, pp. 145\u2013160. Springer, Heidelberg (2014)"},{"key":"55_CR34","series-title":"lecture notes in computer science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-540-79992-4_7","volume-title":"Cellular Automata","author":"T Isokawa","year":"2008","unstructured":"Isokawa, T., Peper, F., Mitsui, M., Liu, J.-Q., Morita, K., Umeo, H., Kamiura, N., Matsui, N.: Computing by swarm networks. In: Umeo, H., Morishita, S., Nishinari, K., Komatsuzaki, T., Bandini, S. (eds.) ACRI 2008. LNCS, vol. 5191, pp. 50\u201359. Springer, Heidelberg (2008)"},{"key":"55_CR35","doi-asserted-by":"publisher","DOI":"10.1201\/9781420065893","volume-title":"System of Systems Engineering: Innovations for the Twenty-First Century","author":"M Jamshidi","year":"2008","unstructured":"Jamshidi, M.: System of Systems Engineering: Innovations for the Twenty-First Century. Wiley, Hoboken (2008)"},{"key":"55_CR36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27919-5","volume-title":"The Correctness-by-Construction Approach to Programming","author":"DG Kourie","year":"2012","unstructured":"Kourie, D.G., Watson, B.W.: The Correctness-by-Construction Approach to Programming. Springer, Heidelberg (2012)"},{"key":"55_CR37","series-title":"lecture notes in computer science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-71316-6_6","volume-title":"Programming Languages and Systems","author":"KG Larsen","year":"2007","unstructured":"Larsen, K.G., Nyman, U., Wa\u0328sowski, A.: Modal I\/O automata for interface and product line theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 64\u201379. Springer, Heidelberg (2007)"},{"key":"55_CR38","doi-asserted-by":"crossref","unstructured":"Lynch, N.A., Tuttle, M.R.: Hierarchical correctness proofs for distributed algorithms. In: PODC 1987, pp. 137\u2013151. ACM (1987)","DOI":"10.1145\/41840.41852"},{"issue":"3","key":"55_CR39","first-page":"219","volume":"2","author":"NA Lynch","year":"1989","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. CWI Q. 2(3), 219\u2013246 (1989)","journal-title":"CWI Q."},{"key":"55_CR40","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Upper Saddle River (1989)"},{"key":"55_CR41","volume-title":"Programming from Specifications","author":"CC Morgan","year":"1994","unstructured":"Morgan, C.C.: Programming from Specifications, 2nd edn. Prentice Hall, Upper Saddle River (1994)","edition":"2"},{"issue":"1","key":"55_CR42","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM J. Control Optim. 25(1), 206\u2013230 (1987)","journal-title":"SIAM J. Control Optim."},{"key":"55_CR43","series-title":"LNCS","first-page":"374","volume-title":"Advances in Petri Nets","author":"M Silva","year":"1990","unstructured":"Silva, M., Valette, R.: Petri nets and flexible manufacturing. In: Rozenberg, G. (ed.) Advances in Petri Nets. LNCS, vol. 424, pp. 374\u2013417. Springer, Heidelberg (1990)"},{"issue":"2","key":"55_CR44","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/244795.244801","volume":"19","author":"DM Yellin","year":"1997","unstructured":"Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Trans. Program. Lang. Syst. 19(2), 292\u2013333 (1997)","journal-title":"ACM Trans. Program. Lang. Syst."}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47166-2_55","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T01:31:16Z","timestamp":1558315876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47166-2_55"}},"subtitle":["The Case of Masters and Slaves"],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471655","9783319471662"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47166-2_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"5 October 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Imperial, Corfu","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}