{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,3]],"date-time":"2024-04-03T02:07:09Z","timestamp":1712110029553},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,11,30]],"date-time":"2013-11-30T00:00:00Z","timestamp":1385769600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1007\/s11761-013-0146-2","type":"journal-article","created":{"date-parts":[[2013,11,29]],"date-time":"2013-11-29T04:56:02Z","timestamp":1385700962000},"page":"299-322","source":"Crossref","is-referenced-by-count":7,"title":["On expanding protocol conformance checking to exception handling"],"prefix":"10.1007","volume":"8","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","published-online":{"date-parts":[[2013,11,30]]},"reference":[{"key":"146_CR1","doi-asserted-by":"crossref","unstructured":"Afrati FN, Borkar V, Carey M, Polyzotis N, Ullman JD (2011) Map-reduce extensions and recursive queries. In: Proceedings of the 14th international conference on extending database technology. ACM, pp 1\u20138","DOI":"10.1145\/1951365.1951367"},{"key":"146_CR2","doi-asserted-by":"crossref","unstructured":"Allen R, Garlan D (1997) A formal basis for architectural connection. ACM Trans Softw Eng Methodol (TOSEM) 6(3): 213\u2013249","DOI":"10.1145\/258077.258078"},{"key":"146_CR3","doi-asserted-by":"crossref","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 (2010) Model checking of component protocol conformance\u2014optimizations by reducing false negatives. Electron. Notes Theor. Comput. Sci. 263:67\u201394","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"146_CR4","doi-asserted-by":"crossref","unstructured":"Both A, Zimmermann W (2008) Automatic protocol conformance checking of recursive and parallel BPEL systems. In: IEEE sixth European conference on web services (ECOWS \u201908), pp 81\u201391. IEEE Computer Society","DOI":"10.1109\/ECOWS.2008.11"},{"key":"146_CR5","doi-asserted-by":"crossref","unstructured":"Both A, Zimmermann W (2008) Automatic protocol conformance checking of recursive and parallel component-based systems. In: Component-based software engineering, 11th international symposium (CBSE 2008), pp 163\u2013179","DOI":"10.1007\/978-3-540-87891-9_11"},{"key":"146_CR6","doi-asserted-by":"crossref","unstructured":"Both A, Zimmermann W (2009) A step towards a more practical protocol conformance checking algorithm. In: 35th Euromicro conference on software engineering and advanced applications (SEAA 2009), pp 458\u2013465. IEEE Computer Society","DOI":"10.1109\/SEAA.2009.50"},{"key":"146_CR7","doi-asserted-by":"crossref","unstructured":"Bouajjani A, Emmi M (2012) Analysis of recursively parallel programs. In: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages POPL\u201912, pp 203\u2013214","DOI":"10.1145\/2103656.2103681"},{"key":"146_CR8","doi-asserted-by":"crossref","unstructured":"Bravetti M, Zavattaro G (2009) Contract-based discovery and composition of web services. Formal Methods Web Serv, pp 261\u2013 295","DOI":"10.1007\/978-3-642-01918-0_7"},{"key":"146_CR9","doi-asserted-by":"crossref","unstructured":"Bures T, Hnetynka P, Plasil F (2006) Sofa 2.0: Balancing advanced features in a hierarchical component model. In: SERA \u201906: Proceedings of the fourth international conference on software engineering research, management and applications, pp 40\u201348. IEEE Computer Society","DOI":"10.1109\/SERA.2006.62"},{"key":"146_CR10","doi-asserted-by":"crossref","unstructured":"Burkart O, Steffen B (1992) Model checking for context-free processes. In: CONCUR\u201992: Proceedings of the 3rd international conference on concurrency theory, lecture notes in computer science, vol. 630. Springer, pp 123\u2013137","DOI":"10.1007\/BFb0084787"},{"key":"146_CR11","doi-asserted-by":"crossref","unstructured":"Burkart O, Steffen B (1994) Pushdown processes: parallel composition and model checking. In: CONCUR\u201994: Proceedings of the 5th international conference on concurrency theory, lecture notes in computer science, vol. 836. Springer, pp 98\u2013113","DOI":"10.1007\/978-3-540-48654-1_9"},{"issue":"1","key":"146_CR12","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1109\/TSE.2010.98","volume":"38","author":"G Caso de","year":"2012","unstructured":"de Caso G, Braberman V, Garbervetsky D, Uchitel S (2012) Automated abstractions for contract validation. IEEE Trans Softw Eng 38(1):141\u2013162","journal-title":"IEEE Trans Softw Eng"},{"key":"146_CR13","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1145\/365813.365819","volume":"9","author":"OJ Dahl","year":"1966","unstructured":"Dahl OJ, Nygaard K (1966) Simula: an algol-based simulation language. Commun ACM 9:671\u2013678","journal-title":"Commun ACM"},{"key":"146_CR14","doi-asserted-by":"crossref","unstructured":"Dumez C, Bakhouya M, Gaber J, Wack M, Lorenz P (2013) Model-driven approach supporting formal verification for web service composition protocols. J Netw Comput Appl 36(4):1102\u20131115","DOI":"10.1016\/j.jnca.2013.01.009"},{"key":"146_CR15","doi-asserted-by":"crossref","unstructured":"Dur\u00e1n F, Ouederni M, Sala\u00fcn G (2012) A generic framework for n-protocol compatibility checking, Sci. Comput. Program. vol. 77, pp 870\u2013886. Elsevier North-Holland, Inc.","DOI":"10.1016\/j.scico.2011.03.009"},{"key":"146_CR16","doi-asserted-by":"crossref","unstructured":"Foster H, Uchitel S, Magee J, Kramer J (2003) Model-based verification of web service compositions. In: ASE, pp 152\u2013163","DOI":"10.1109\/ASE.2003.1240303"},{"key":"146_CR17","doi-asserted-by":"crossref","unstructured":"Ghezzi C, Mocci A, Sangiorgio M (2012) Runtime monitoring of functional component changes with behavior models. In: Models in software engineering. Springer, pp 152\u2013166","DOI":"10.1007\/978-3-642-29645-1_17"},{"key":"146_CR18","doi-asserted-by":"crossref","unstructured":"Gorbenko A, Romanovsky A, Kharchenko V, Mikhaylichenko A (2008) Experimenting with exception propagation mechanisms in service-oriented architecture. In: Proceedings of the 4th international workshop on exception handling, WEH \u201908, pp 1\u20137. ACM","DOI":"10.1145\/1454268.1454269"},{"key":"146_CR19","volume-title":"The java language specification","author":"J Gosling","year":"2012","unstructured":"Gosling J, Joy B, Steele G (2012) The java language specification. Addison-Wesley, Reading"},{"issue":"7\u20138","key":"146_CR20","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/s00236-007-0055-y","volume":"44","author":"S Haddad","year":"2007","unstructured":"Haddad S, Poitrenaud D (2007) Recursive petri nets. Acta Informatica 44(7\u20138):463\u2013508","journal-title":"Acta Informatica"},{"key":"146_CR21","unstructured":"Hauck EA, Dent BA (1968) Burroughs\u2019 b6500\/b7500 stack mechanism. In: AFIPS \u201968 (Spring): proceedings of the April 30-May 2, 1968, spring joint computer conference. ACM, pp 245\u2013 251"},{"key":"146_CR22","volume-title":"Introduction to automata theory, languages, and computation","author":"JE Hopcroft","year":"2001","unstructured":"Hopcroft JE, Motwani R, Ullman JD (2001) Introduction to automata theory, languages, and computation, 2nd edn. Addison-Wesley, Reading","edition":"2"},{"key":"146_CR23","doi-asserted-by":"crossref","unstructured":"Jannach D, Gut A (2011) Exception handling in web service processes. The evolution of conceptual modeling, pp 225\u2013 253","DOI":"10.1007\/978-3-642-17505-3_11"},{"key":"146_CR24","doi-asserted-by":"crossref","unstructured":"Lin HH, Aoki T, Katayama T (2010) Non-regular adaptation of services using model checking. In: 13th IEEE international symposium on object\/component\/service-oriented real-time distributed computing (ISORC). IEEE, pp 170\u2013174","DOI":"10.1109\/ISORC.2010.30"},{"key":"146_CR25","doi-asserted-by":"crossref","unstructured":"L\u00f6we W, Neumann R, Trapp M, Zimmermann W (1999) Robust dynamic exchange of implementation aspects. In: TOOLS 29\u2014technology of object-oriented languages and systems. IEEE, pp 351\u2013360","DOI":"10.1109\/TOOLS.1999.779066"},{"issue":"1\u20132","key":"146_CR26","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1006\/inco.1999.2826","volume":"156","author":"R Mayr","year":"2000","unstructured":"Mayr R (2000) Process rewrite systems. Inf Comput 156(1\u20132):264\u2013286","journal-title":"Inf Comput"},{"key":"146_CR27","doi-asserted-by":"crossref","unstructured":"M\u00fcller M, Balz M, Goedicke M (2011) Enriching java enterprise interfaces with formal sequential contracts. In: Proceedings of the third workshop on behavioural modelling (BM-FA \u201911). ACM, pp 5\u201311","DOI":"10.1145\/1993956.1993957"},{"key":"146_CR28","unstructured":"Nierstrasz O (1995) Regular types for active objects. In: Nierstrasz O, Tsichritzis D (eds) Object-oriented software composition. Prentice-Hall, Englewood Cliffs, pp 99\u2013121"},{"issue":"11","key":"146_CR29","first-page":"38","volume":"40","author":"MP Papazoglou","year":"2007","unstructured":"Papazoglou MP, Traverso P, Dustdar S, Leymann F (2007) Service-oriented computing: state of the art and research challenges. Comput Innov Technol Comput Prof 40(11):38\u201345","journal-title":"Comput Innov Technol Comput Prof"},{"key":"146_CR30","doi-asserted-by":"crossref","unstructured":"Parizek P, Plasil F (2008) Modeling of component environment in presence of callbacks and autonomous activities. In: TOOLS (46), pp 2\u201321","DOI":"10.1007\/978-3-540-69824-1_2"},{"key":"146_CR31","doi-asserted-by":"crossref","unstructured":"Plasil F, Visnovsky S (2002) Behavior protocols for software components. In: IEEE Trans Softw Eng (28), pp 1056\u20131076","DOI":"10.1109\/TSE.2002.1049404"},{"key":"146_CR32","doi-asserted-by":"crossref","unstructured":"Pradel M, Jaspan C, Aldrich J, Gross TR (2012) Statically checking API protocol conformance with mined multi-object specifications. In: Proceedings of the 2012 international conference on software engineering (ICSE 2012), pp 925\u2013935. IEEE","DOI":"10.1109\/ICSE.2012.6227127"},{"key":"146_CR33","doi-asserted-by":"crossref","unstructured":"Rajamani S, Rehof J (2006) Models for contract conformance. Leverag Appl Formal Methods pp 181\u2013196","DOI":"10.1007\/11925040_12"},{"key":"146_CR34","unstructured":"Reisig W (2005) Modeling- and analysis techniques for web services and business processes. In: Steffen M, Zavattaro G (eds) Formal methods for open object-based distributed systems: 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15\u201317, 2005. Proceedings, LNCS, vol. 3535, pp 243\u2013258. Springer"},{"issue":"4","key":"146_CR35","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/s11334-012-0190-7","volume":"8","author":"H Ren","year":"2012","unstructured":"Ren H, Liu J (2012) Service substitutability analysis based on behavior automata. Innov Syst Softw Eng 8(4):301\u2013308","journal-title":"Innov Syst Softw Eng"},{"key":"146_CR36","doi-asserted-by":"crossref","unstructured":"Sala\u00fcn G, Bordeaux L, Schaerf M (2004) Describing and reasoning on web services using process algebra. In: International conference on web services, p 43. IEEE Computer Society","DOI":"10.1109\/ICWS.2004.1314722"},{"key":"146_CR37","unstructured":"Schmidt HW, Kr\u00e4mer BJ, Poernemo I, Reussner R (2002) Predictable component architectures using dependent finite state machines. In: Proceedings of the NATO workshop radical innovations of software and systems engineering in the future, lecture notes in computer science, vol. 2941. Springer, pp 310\u2013 324"},{"key":"146_CR38","doi-asserted-by":"crossref","unstructured":"Tenzer J, Stevens P (2003) Modelling recursive calls with uml state diagrams. In: 6th international conference on fundamental approaches to software engineering (FASE\u201903), lecture notes in computer science, vol. 2621. Springer, pp 135\u2013 149","DOI":"10.1007\/3-540-36578-8_10"},{"key":"146_CR39","unstructured":"van der Aalst WMP (1997) Verification of workflow nets. LNCS 1248:407\u2013426"},{"key":"146_CR40","doi-asserted-by":"crossref","unstructured":"Zimmermann W, Schaarschmidt M (2006) Automatic checking of component protocols in component-based systems. In: L\u00f6we W, S\u00fcdholt M (eds) Software composition, LNCS, vol. 4089. Springer, pp 1\u201317","DOI":"10.1007\/11821946_1"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-013-0146-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-013-0146-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-013-0146-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,4]],"date-time":"2019-08-04T03:16:21Z","timestamp":1564888581000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-013-0146-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,30]]},"references-count":40,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["146"],"URL":"https:\/\/doi.org\/10.1007\/s11761-013-0146-2","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"value":"1863-2386","type":"print"},{"value":"1863-2394","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,30]]}}}