{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:33:39Z","timestamp":1725489219653},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540735502"},{"type":"electronic","value":"9783540735519"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73551-9_13","type":"book-chapter","created":{"date-parts":[[2007,8,13]],"date-time":"2007-08-13T14:28:02Z","timestamp":1187015282000},"page":"189-202","source":"Crossref","is-referenced-by-count":2,"title":["Slicing of Component Behavior Specification with Respect to Their Composition"],"prefix":"10.1007","author":[{"given":"Ond\u0159ej","family":"\u0160er\u00fd","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franti\u0161ek","family":"Pl\u00e1\u0161il","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"13_CR1","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1002\/smr.321","volume":"17","author":"J. Adamek","year":"2005","unstructured":"Adamek, J., Plasil, F.: Component Composition Errors and Update Atomicity: Static Analysis. Journal of Software Maintenance and Evolution: Research and Practice\u00a017(5), 363\u2013377 (2005)","journal-title":"Journal of Software Maintenance and Evolution: Research and Practice"},{"issue":"3","key":"13_CR2","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"13_CR3","volume-title":"Handbook of Process Algebra","author":"J.A. Bergstra","year":"2001","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A.: Handbook of Process Algebra. Elsevier, Amsterdam (2001)"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Bobeff, G., Noye, J.: Molding Components using Program Specialization Techniques. Eighth International Workshop on Component-Oriented Programming (2003)","DOI":"10.1145\/1014007.1014012"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1145\/222124.222149","volume-title":"Proceedings of the 3rd ACM SIGSOFT Symposium on Foundations of Software Engineering","author":"S.C. Chueng","year":"1995","unstructured":"Chueng, S.C., Kramer, J.: Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints. In: Proceedings of the 3rd ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 140\u2013150. ACM Press, New York (1995)"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1145\/256428.167071","volume-title":"Proceedings of ACM SIGSOFT 1993 Symposium on Foundations of Software Engineering","author":"S.C. Cheung","year":"1993","unstructured":"Cheung, S.C., Kramer, J.: Enhancing Compositional Reachability Analysis with Context Constraints. In: Proceedings of ACM SIGSOFT 1993 Symposium on Foundations of Software Engineering, pp. 115\u2013125. ACM Press, New York (1993)"},{"key":"13_CR7","unstructured":"The CRE project (Component Reliability Extensions for Fractal Component Model), http:\/\/kraken.cs.cas.cz\/ft\/public\/public_index.phtml"},{"key":"13_CR8","unstructured":"dChecker & BPSlicer, http:\/\/dsrg.mff.cuni.cz\/projects\/dchecker"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/978-3-540-31856-9_33","volume-title":"STACS 2005","author":"G. Gramlich","year":"2005","unstructured":"Gramlich, G., Schnitger, G.: Minimizing NFA\u2019s and Regular Expressions. In: Diekert, V., Durand, B. (eds.) STACS 2005. LNCS, vol.\u00a03404, pp. 399\u2013411. Springer, Heidelberg (2005)"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/978-3-540-31810-1_10","volume-title":"System Analysis and Modeling","author":"J. Hassine","year":"2005","unstructured":"Hassine, J., Dssouli, R., Rilling, J.: Applying Reduction Techniques to Software Functional Requirement Specifications. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol.\u00a03319, pp. 138\u2013153. Springer, Heidelberg (2005)"},{"key":"13_CR11","unstructured":"JavaCC (Java Compiler Compiler), https:\/\/javacc.dev.java.net"},{"issue":"1","key":"13_CR12","doi-asserted-by":"publisher","first-page":"1117","DOI":"10.1137\/0222067","volume":"22","author":"T. Jiang","year":"1993","unstructured":"Jiang, T., Ravikumar, B.: Minimal NFA problems are hard. SIAM Journal on Computing\u00a022(1), 1117\u20131141 (1993)","journal-title":"SIAM Journal on Computing"},{"issue":"4","key":"13_CR13","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"D.C. Luckham","year":"1995","unstructured":"Luckham, D.C., Kenney, J.J., Augustin, L.M., Vera, J., Bryan, D., Mann, W.: Specification and Analysis of System Architecture Using Rapide. IEEE Transactions on Software Engineering\u00a021(4), 336\u2013355 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Meyer, A.R., Stockmeyer, L.J.: The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space. In: Proceedings of the 13th Annual Symposium on Switching and Automata Theory, FOCS, pp. 125\u2013129 (1972)","DOI":"10.1109\/SWAT.1972.29"},{"issue":"3","key":"13_CR15","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1109\/2.825699","volume":"33","author":"R. Ommering van","year":"2000","unstructured":"van Ommering, R., van der Linden, F., Kramer, J., Magee, J.: The Koala Component Model for Consumer Electronics Software. IEEE Computer\u00a033(3), 78\u201385 (2000)","journal-title":"IEEE Computer"},{"key":"13_CR16","unstructured":"Parizek, P., Plasil, F.: Modeling Environment for Component Model Checking from Hierarchical Architecture. In: FACS 2006. Proceedings of Formal Aspects of Component Software, Prague, Czech Republic. ENTCS (2006)"},{"issue":"11","key":"13_CR17","doi-asserted-by":"publisher","first-page":"1056","DOI":"10.1109\/TSE.2002.1049404","volume":"28","author":"F. Plasil","year":"2002","unstructured":"Plasil, F., Visnovsky, S.: Behavior Protocols for Software Components. IEEE Transactions on Software Engineering\u00a028(11), 1056\u20131076 (2002)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR18","first-page":"627","volume-title":"Automatic component protocol adaptation with the CoConut\/J tool suite, Tools for program development and analysis","author":"R.H. Reussner","year":"2003","unstructured":"Reussner, R.H.: Automatic component protocol adaptation with the CoConut\/J tool suite, Tools for program development and analysis, vol.\u00a019(5), pp. 627\u2013639. Elsevier Science Publishers, Amsterdam (2003)"},{"key":"13_CR19","unstructured":"Sery, O.: Model Checking and Reduction of Behavior Protocols, Master thesis at Charles University in Prague (2006), available at: http:\/\/dsrg.mff.cuni.cz"},{"key":"13_CR20","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1145\/229000.226315","volume-title":"ISSTA 1996","author":"A.M. Sloane","year":"1996","unstructured":"Sloane, A.M., Holdsworth, J.: Beyond Traditional Program Slicing. In: ISSTA 1996. Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 180\u2013186. ACM Press, New York (1996)"},{"issue":"4","key":"13_CR21","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1142\/S021819400100061X","volume":"11","author":"J.A. Stafford","year":"2001","unstructured":"Stafford, J.A., Richardson, D.J., Wolf, A.L.: Architecture-level Dependence Analysis for Software Systems. International Journal of Software Engineering and Knowledge Engineering\u00a011(4), 431\u2013451 (2001)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"13_CR22","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1109\/CSMR.2000.827330","volume-title":"Proceedings of the Conference on Software Maintenance and Reengineering","author":"J. Zhao","year":"2000","unstructured":"Zhao, J.: A Slicing-Based Approach to Extracting Reusable Software Architectures. In: Proceedings of the Conference on Software Maintenance and Reengineering, pp. 215\u2013223. IEEE Computer Society Press, Los Alamitos (2000)"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73551-9_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:51:22Z","timestamp":1619517082000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73551-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540735502","9783540735519"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73551-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}