{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:05:11Z","timestamp":1725473111570},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540474609"},{"type":"electronic","value":"9783540474623"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11901433_12","type":"book-chapter","created":{"date-parts":[[2006,11,20]],"date-time":"2006-11-20T12:40:51Z","timestamp":1164026451000},"page":"206-225","source":"Crossref","is-referenced-by-count":1,"title":["Scenario-Based Component Behavior Derivation"],"prefix":"10.1007","author":[{"given":"Yan","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaofeng","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tian","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xuandong","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guoliang","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.jss.2003.05.007","volume":"74","author":"A. Bracciali","year":"2004","unstructured":"Bracciali, A., Brogi, A., Canal, C.: A formal approach to component adaptation. Journal of Systems and Software\u00a074, 45\u201354 (2004)","journal-title":"Journal of Systems and Software"},{"key":"12_CR2","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 component adaptors. ACM Transactions on Programming Languages and Systems\u00a019, 292\u2013333 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of IFIP Working Conference on Software Engineering Techniques (SET 2006)","author":"Y. Zhang","year":"2006","unstructured":"Zhang, Y., Yu, X., Zhang, T., Li, X., Zheng, G.: Scenario-based component behavior filtration. In: Proceedings of IFIP Working Conference on Software Engineering Techniques (SET 2006). LNCS. Springer, Heidelberg (accepted, 2006)"},{"key":"12_CR4","first-page":"109","volume-title":"Proceedings of the 9th Annual ACM Symposium on Foundations of Software Engineering (FSE 2001)","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: FSE 2001, pp. 109\u2013120. ACM Press, New York (2001)"},{"key":"12_CR5","unstructured":"ITU-TS: ITU-TS recommendation Z.120: Message Sequence Chart (MSC). ITU-TS, Geneva (1999)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-39800-4_6","volume-title":"Formal Methods for Software Architectures","author":"P. Inverardi","year":"2003","unstructured":"Inverardi, P., Tivoli, M.: Software architecture for correct components assembly. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 92\u2013121. Springer, Heidelberg (2003)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Tivoli, M., Autili, M.: SYNTHESIS: a tool for synthesizing \u201ccorrect\u201d and protocol-enhanced adaptors. L\u2019Object Journal\u00a012 (2005)","DOI":"10.3166\/objet.12.1.77-103"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P.J. Ramadge","year":"1989","unstructured":"Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE\u00a077, 81\u201398 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"von Bochmann, G.: Submodule construction for specifications with input assumptions and output guarantees. In: Proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2002). LNCS, vol.\u00a02804, pp. 17\u201333. Springer, New York (2002)","DOI":"10.1007\/3-540-36135-9_2"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"1187","DOI":"10.1109\/TC.2004.67","volume":"53","author":"V.V. Phoha","year":"2004","unstructured":"Phoha, V.V., Nadgar, A.U., Ray, A., Phoha, S.: Supervisory control of software systems. IEEE Transactions on Computers\u00a053, 1187\u20131199 (2004)","journal-title":"IEEE Transactions on Computers"},{"key":"12_CR11","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings of the 2nd International Workshop on Formal Aspects of Component Software (FACS 2005)","author":"Y. Zhang","year":"2006","unstructured":"Zhang, Y., Hu, J., Yu, X., Zhang, T., Li, X., Zheng, G.: Available behavior all out from incompatible component compositions. In: Proceedings of the 2nd International Workshop on Formal Aspects of Component Software (FACS 2005). Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (to appear, 2006)"},{"key":"12_CR12","first-page":"240","volume-title":"Proceedings of the 34th International Conference on Parallel Processing Workshops (ICPP 2005 Workshop)","author":"J. Hu","year":"2005","unstructured":"Hu, J., Yu, X., Zhang, Y., Zhang, T., Wang, L., Li, X., Zheng, G.: Scenario-based verification for component-based embedded software designs. In: Proceedings of the 34th International Conference on Parallel Processing Workshops (ICPP 2005 Workshop), pp. 240\u2013247. IEEE Computer Society, Los Alamitos (2005)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11901433_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T18:02:09Z","timestamp":1558288929000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11901433_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540474609","9783540474623"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11901433_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}