{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T19:22:05Z","timestamp":1725477725606},"publisher-location":"Boston, MA","reference-count":9,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387393872"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-39388-9_3","type":"book-chapter","created":{"date-parts":[[2007,1,16]],"date-time":"2007-01-16T17:55:34Z","timestamp":1168970134000},"page":"25-36","source":"Crossref","is-referenced-by-count":2,"title":["Scenario-based Component Behavior Filtration"],"prefix":"10.1007","author":[{"given":"Yan","family":"Zhang","sequence":"first","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":[{"issue":"1","key":"3_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 74(1) (2004) 45\u201354","journal-title":"Journal of Systems and Software"},{"issue":"2","key":"3_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 19(2) (1997) 292\u2013333","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the 9th Annual ACM Symposium on Foundations of Software Engineering (FSE 2001), ACM Press (2001) 109\u2013120","DOI":"10.1145\/503209.503226"},{"key":"3_CR4","volume-title":"ITU-TS recommendation Z.120: Message Sequence Chart (MSC)","author":"ITU-TS","year":"1999","unstructured":"ITU-TS: ITU-TS recommendation Z.120: Message Sequence Chart (MSC). ITU-TS, Geneva (1999)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Zhang, Y., Hu, J., Yu, X., Zhang, T., Li, X., Zheng, G.: Deriving available behavior all out from incompatible component compositions. In: Proceedings of the 2nd International Workshop on Formal Aspects of Component Software (FAGS\u201905), Electronic Notes in Theoretical Computer Science (2006) (To appear).","DOI":"10.1016\/j.entcs.2006.05.033"},{"key":"3_CR6","unstructured":"Hu, J., Yu, X., Zhang, Y., Zhang, X, 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), IEEE Computer Society (2005) 240\u2013247"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Schmidt, H.W., Reussner, R.: Generating adapters for concurrent component protocol synchronisation. In: IFIP TC6\/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems, Kluwer (2002) 213\u2013229","DOI":"10.1007\/978-0-387-35496-5_15"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Tivoli, M.: Software architecture for correct components assembly. In Bernardo, M., Inverardi, P., eds.: Formal Methods for Software Architectures. Volume 2804 of Lecture Notes in Computer Science. Springer-Verlag (2003) 92\u2013121","DOI":"10.1007\/978-3-540-39800-4_6"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Tivoli, M., Autili, M.: SYNTHESIS: a tool for synthesizing \u201ccorrect\u201d and protocol-enhanced adaptors. L\u2019Object Journal 12(1) (2005)","DOI":"10.3166\/objet.12.1.77-103"}],"container-title":["IFIP International Federation for Information Processing","Software Engineering Techniques: Design for Quality"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-39388-9_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T02:05:27Z","timestamp":1619575527000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-39388-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387393872"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-39388-9_3","relation":{},"subject":[]}}