{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T04:40:03Z","timestamp":1744000803966,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642334269"},{"type":"electronic","value":"9783642334276"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33427-6_9","type":"book-chapter","created":{"date-parts":[[2012,8,23]],"date-time":"2012-08-23T09:38:39Z","timestamp":1345714719000},"page":"122-137","source":"Crossref","is-referenced-by-count":1,"title":["Protocol Conformance Checking of Services with Exceptions"],"prefix":"10.1007","author":[{"given":"Christian","family":"Heike","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolf","family":"Zimmermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Both","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"9_CR1","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"},{"doi-asserted-by":"crossref","unstructured":"Both, A., Zimmermann, W.: Automatic protocol conformance checking of recursive and parallel BPEL systems. In: IEEE Sixth European Conference on Web Services, pp. 81\u201391. IEEE (2008)","key":"9_CR2","DOI":"10.1109\/ECOWS.2008.11"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-540-87891-9_11","volume-title":"Component-Based Software Engineering","author":"A. Both","year":"2008","unstructured":"Both, A., Zimmermann, W.: Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems. In: Chaudron, M.R.V., Szyperski, C.A., Reussner, R. (eds.) CBSE 2008. LNCS, vol.\u00a05282, pp. 163\u2013179. Springer, Heidelberg (2008)"},{"doi-asserted-by":"crossref","unstructured":"Both, A., Zimmermann, W.: A step towards a more practical protocol conformance checking algorithm. In: 35th Euromicro Conference on Software Engineering and Advanced Applications, pp. 458\u2013465. IEEE (2009)","key":"9_CR4","DOI":"10.1109\/SEAA.2009.50"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.entcs.2010.05.005","volume":"263","author":"A. Both","year":"2010","unstructured":"Both, A., Zimmermann, W., Franke, R.: Model checking of component protocol conformance \u2013 optimizations by reducing false negatives. Electron. Notes Theor. Comput. Sci.\u00a0263, 67\u201394 (2010)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-642-01918-0_7","volume-title":"Formal Methods for Web Services","author":"M. Bravetti","year":"2009","unstructured":"Bravetti, M., Zavattaro, G.: Contract-Based Discovery and Composition of Web Services. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol.\u00a05569, pp. 261\u2013295. Springer, Heidelberg (2009)"},{"doi-asserted-by":"crossref","unstructured":"Bures, T., Hnetynka, P., Plasil, F.: Sofa 2.0: Balancing advanced features in a hierarchical component model. In: Proc. of the Fourth International Conference on Software Engineering Research, Management and Applications, pp. 40\u201348. IEEE (2006)","key":"9_CR7","DOI":"10.1109\/SERA.2006.62"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BFb0084787","volume-title":"CONCUR \u201992","author":"O. Burkart","year":"1992","unstructured":"Burkart, O., Steffen, B.: Model Checking for Context-free Processes. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol.\u00a0630, pp. 123\u2013137. Springer, Heidelberg (1992)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/BFb0015001","volume-title":"CONCUR \u201994: Concurrency Theory","author":"O. Burkart","year":"1994","unstructured":"Burkart, O., Steffen, B.: Pushdown Processes: Parallel Composition and Model Checking. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol.\u00a0836, pp. 98\u2013113. Springer, Heidelberg (1994)"},{"issue":"9","key":"9_CR10","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1145\/365813.365819","volume":"9","author":"O.-J. Dahl","year":"1966","unstructured":"Dahl, O.-J., Nygaard, K.: Simula: an algol-based simulation language. Communications of the ACM\u00a09(9), 671\u2013678 (1966)","journal-title":"Communications of the ACM"},{"unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based analysis of Web Services. In: ASE, pp. 152\u2013163. IEEE (2006)","key":"9_CR11"},{"doi-asserted-by":"crossref","unstructured":"Gorbenko, A., Romanovsky, A., Kharchenko, V., Mikhaylichenko, A.: Experimenting with exception propagation mechanisms in service-oriented architecture. In: Proc. of the 4th International Workshop on Exception Handling, pp. 1\u20137. ACM (2008)","key":"9_CR12","DOI":"10.1145\/1454268.1454269"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-540-24626-8_22","volume-title":"Radical Innovations of Software and Systems Engineering in the Future","author":"H.W. Schmidt","year":"2004","unstructured":"Schmidt, H.W., Kr\u00e4mer, B.J., Poernomo, I., Reussner, R.: Predictable Component Architectures Using Dependent Finite State Machines. In: Wirsing, M., Knapp, A., Balsamo, S. (eds.) RISSEF 2002. LNCS, vol.\u00a02941, pp. 310\u2013324. Springer, Heidelberg (2004)"},{"doi-asserted-by":"crossref","unstructured":"Hauck, E.A., Dent, B.A.: Burroughs\u2019 b6500\/b7500 stack mechanism. In: AFIPS 1968 (Spring): Proc. of the April 30-May 2, 1968, Spring Joint Computer Conference, pp. 245\u2013251. ACM (1968)","key":"9_CR14","DOI":"10.1145\/1468075.1468111"},{"doi-asserted-by":"crossref","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to automata theory, languages, and computation, 2nd edn. Addison-Wesley (2001)","key":"9_CR15","DOI":"10.1145\/568438.568455"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-642-17505-3_11","volume-title":"The Evolution of Conceptual Modeling","author":"D. Jannach","year":"2011","unstructured":"Jannach, D., Gut, A.: Exception Handling in Web Service Processes. In: Kaschek, R., Delcambre, L. (eds.) The Evolution of Conceptual Modeling. LNCS, vol.\u00a06520, pp. 225\u2013253. Springer, Heidelberg (2011)"},{"doi-asserted-by":"crossref","unstructured":"L\u00f6we, W., Neumann, R., Trapp, M., Zimmermann, W.: Robust dynamic exchange of implementation aspects. In: TOOLS 29 \u2013 Technology of Object-Oriented Languages and Systems, pp. 351\u2013360. IEEE (1999)","key":"9_CR17","DOI":"10.1109\/TOOLS.1999.779066"},{"issue":"1-2","key":"9_CR18","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1006\/inco.1999.2826","volume":"156","author":"R. Mayr","year":"2000","unstructured":"Mayr, R.: Process rewrite systems. Information and Computation\u00a0156(1-2), 264\u2013286 (2000)","journal-title":"Information and Computation"},{"unstructured":"Nierstrasz, O.: Regular types for active objects. In: Nierstrasz, O., Tsichritzis, D. (eds.) Object-Oriented Software Composition, pp. 99\u2013121. Prentice-Hall (1995)","key":"9_CR19"},{"issue":"11","key":"9_CR20","first-page":"38","volume":"40","author":"M.P. Papazoglou","year":"2007","unstructured":"Papazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F.: Service-oriented computing: State of the art and research challenges. Computer, Innovative Technology for Computer Professionals\u00a040(11), 38\u201345 (2007)","journal-title":"Computer, Innovative Technology for Computer Professionals"},{"key":"9_CR21","series-title":"LNBIP","first-page":"2","volume-title":"TOOLS EUROPE 2008","author":"P. Parizek","year":"2008","unstructured":"Parizek, P., Plasil, F.: Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. In: Paige, R.F., Meyer, B. (eds.) TOOLS EUROPE 2008. LNBIP, vol.\u00a011, pp. 2\u201321. Springer, Heidelberg (2008)"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/11925040_12","volume-title":"Leveraging Applications of Formal Methods","author":"S.K. Rajamani","year":"2006","unstructured":"Rajamani, S.K., Rehof, J.: Models for Contract Conformance. In: Margaria, T., Steffen, B. (eds.) ISoLA 2004. LNCS, vol.\u00a04313, pp. 181\u2013196. Springer, Heidelberg (2006)"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/11494881_16","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"W. Reisig","year":"2005","unstructured":"Reisig, W.: Modeling- and Analysis Techniques for Web Services and Business Processes. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol.\u00a03535, pp. 243\u2013258. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Sala\u00fcn, G., Bordeaux, L., Schaerf, M.: Describing and reasoning on web services using process algebra. In: International Conference on Web Services. IEEE (2004)","key":"9_CR24","DOI":"10.1109\/ICWS.2004.1314722"},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/3-540-36578-8_10","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Tenzer","year":"2003","unstructured":"Tenzer, J., Stevens, P.: Modelling Recursive Calls with UML State Diagrams. In: Pezz\u00e9, M. (ed.) FASE 2003. LNCS, vol.\u00a02621, pp. 135\u2013149. Springer, Heidelberg (2003)"},{"key":"9_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of Workflow Nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11821946_1","volume-title":"Software Composition","author":"W. Zimmermann","year":"2006","unstructured":"Zimmermann, W., Schaarschmidt, M.: Automatic Checking of Component Protocols in Component-Based Systems. In: L\u00f6we, W., S\u00fcdholt, M. (eds.) SC 2006. LNCS, vol.\u00a04089, pp. 1\u201317. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented and Cloud Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33427-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T04:05:32Z","timestamp":1743998732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33427-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642334269","9783642334276"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33427-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}