{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T00:42:43Z","timestamp":1761957763967,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642049293"},{"type":"electronic","value":"9783642049309"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04930-9_25","type":"book-chapter","created":{"date-parts":[[2009,11,5]],"date-time":"2009-11-05T21:39:07Z","timestamp":1257457147000},"page":"392-407","source":"Crossref","is-referenced-by-count":15,"title":["Synthesizing Semantic Web Service Compositions with jMosel and Golog"],"prefix":"10.1007","author":[{"given":"Tiziana","family":"Margaria","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Kubczak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Malte","family":"Isberner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Semantic Web Service Challenge (2009), http:\/\/www.sws-challenge.org"},{"key":"25_CR2","unstructured":"RosettaNet standard (2009), http:\/\/www.rosettanet.org\/"},{"volume-title":"Service-oriented Mediation with jABC\/jETI","year":"2008","key":"25_CR3","unstructured":"Petrie, C., Margaria, T., Lausen, H., Zaremba, M. (eds.): Service-oriented Mediation with jABC\/jETI. Springer, Heidelberg (2008)"},{"key":"25_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"HVC - IBM Haifa Verification Conference","author":"S. J\u00f6rges","year":"2006","unstructured":"J\u00f6rges, S., Kubczak, C., Nagel, R., Margaria, T., Steffen, B.: Model-driven development with the jABC. In: HVC - IBM Haifa Verification Conference, Haifa, Israel, IBM, October 23-26, 2006. LNCS. Springer, Heidelberg (2006)"},{"issue":"2","key":"25_CR5","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s100090050003","volume":"1","author":"B. Steffen","year":"1997","unstructured":"Steffen, B., Margaria, T., Braun, V.: The electronic tool integration platform: Concepts and design. Int. Journal on Software Tools for Technology Transfer (STTT)\u00a01(2), 9\u201330 (1997)","journal-title":"Int. Journal on Software Tools for Technology Transfer (STTT)"},{"issue":"2","key":"25_CR6","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/s10270-004-0072-z","volume":"4","author":"T. Margaria","year":"2005","unstructured":"Margaria, T.: Web services-based tool-integration in the ETI platform. SoSyM, Int. Journal on Software and System Modelling\u00a04(2), 141\u2013156 (2005)","journal-title":"SoSyM, Int. Journal on Software and System Modelling"},{"key":"25_CR7","first-page":"431","volume-title":"Proc. of ECBS 2005, 12th IEEE Int. Conf. on the Engineering of Computer Based Systems","author":"B. Steffen","year":"2005","unstructured":"Steffen, B., Margaria, T., Nagel, R.: Remote Integration and Coordination of Verification Tools in jETI. In: Proc. of ECBS 2005, 12th IEEE Int. Conf. on the Engineering of Computer Based Systems, Greenbelt (USA), April 2005, pp. 431\u2013436. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"25_CR8","volume-title":"Proc. 4th Int. Conf. on Database Systems for Advanced Applications (DASFAA 1995)","author":"B. Freitag","year":"1995","unstructured":"Freitag, B., Steffen, B., Margaria, T., Zukowski, U.: An approach to intelligent software library management. In: Proc. 4th Int. Conf. on Database Systems for Advanced Applications (DASFAA 1995), National University of Singapore, Singapore (1995)"},{"key":"25_CR9","volume-title":"Automatic Generation of the SWS-Challenge Mediator with jABC\/ABC","author":"T. Margaria","year":"2008","unstructured":"Margaria, T., Bakera, M., Kubczak, C., Naujokat, S., Steffen, B.: Automatic Generation of the SWS-Challenge Mediator with jABC\/ABC. Springer, Heidelberg (2008)"},{"key":"25_CR10","unstructured":"Church, A.: Logic, arithmetic and automata. In: Proc. Int. Congr. Math.,Uppsala, Almqvist and Wiksells, vol.\u00a01963, pp. 23\u201335 (1963)"},{"key":"25_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/11691617_18","volume-title":"Model Checking Software","author":"C. Topnik","year":"2006","unstructured":"Topnik, C., Wilhelm, E., Margaria, T., Steffen, B.: jMosel: A Stand-Alone Tool and jABC Plugin for M2L(str). In: Valmari, A. (ed.) SPIN 2006. LNCS, vol.\u00a03925, pp. 293\u2013298. Springer, Heidelberg (2006)"},{"key":"25_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)"},{"issue":"2","key":"25_CR13","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0167-6423(93)90003-8","volume":"21","author":"B. Steffen","year":"1993","unstructured":"Steffen, B.: Generating data flow analysis algorithms from modal specifications. Sci. Comput. Program.\u00a021(2), 115\u2013139 (1993)","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"25_CR14","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s100090050003","volume":"1","author":"B. Steffen","year":"1997","unstructured":"Steffen, B., Margaria, T., Braun, V.: The electronic tool integration platform: Concepts and design. Int. Journal on Software Tools for Technology Transfer (STTT)\u00a01(2), 9\u201330 (1997)","journal-title":"Int. Journal on Software Tools for Technology Transfer (STTT)"},{"key":"25_CR15","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1109\/SEW.2007.63","volume-title":"SEW 2007: Proceedings of the 31st IEEE Software Engineering Workshop","author":"T. Margaria","year":"2007","unstructured":"Margaria, T., Steffen, B.: LTL guided planning: Revisiting automatic tool composition in ETI. In: SEW 2007: Proceedings of the 31st IEEE Software Engineering Workshop, Washington, DC, USA, pp. 214\u2013226. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"25_CR16","series-title":"Lecture Notes in Computer Science","first-page":"293","volume-title":"Model Checking Software","author":"C.T.E. Wilhelm","year":"2006","unstructured":"Wilhelm, C.T.E., Steffen, T.M.B.: jMosel: A stand-alone tool and jABC plugin for M2L(Str). In: Valmari, A. (ed.) SPIN 2006. LNCS, vol.\u00a03925, pp. 293\u2013298. Springer, Heidelberg (2006)"},{"key":"25_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/3-540-61042-1_49","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Margaria","year":"1996","unstructured":"Margaria, T.: Fully automatic verification and error detection for parameterized iterative sequential circuits. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, pp. 258\u2013277. Springer, Heidelberg (1996)"},{"key":"25_CR18","unstructured":"McIlraith, S., Son, T.: Adapting golog for composition of semantic web services. In: Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR2002), Toulouse, France, April 22-25, 2002, pp. 482\u2013493 (2002)"},{"key":"25_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/BFb0035388","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"P. Kelb","year":"1997","unstructured":"Kelb, P., Margaria, T., Mendler, M., Gsottberger, C.: MOSEL: A flexible toolset for monadic second-order logic. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol.\u00a01217, pp. 183\u2013202. Springer, Heidelberg (1997)"},{"key":"25_CR20","unstructured":"Kubczak, C., Margaria, T., Kaiser, M., Lemcke, J., Knuth, B.: Abductive synthesis of the mediator scenario with jABC and GEM. Technical Report LG-2009-01, Stanford University (2009), http:\/\/logic.stanford.edu\/reports\/LG-2009-01.pdf"},{"key":"25_CR21","unstructured":"Lemcke, J., Kaiser, M., Kubczak, C., Margaria, T., Knuth, B.: Advances in solving the mediator scenario with jABC and jABC\/GEM. Technical Report LG-2009-01, Stanford University (2009), http:\/\/logic.stanford.edu\/reports\/LG-2009-01.pdf"},{"key":"25_CR22","volume-title":"Proc. ICAPS 2006","author":"J. Baier","year":"2006","unstructured":"Baier, J., McIlraith, S.: Planning with temporally extended goals using heuristic search. In: Proc. ICAPS 2006, Cumbria, UK. AAAI, Menlo Park (2006)"},{"key":"25_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/3-540-48294-6_22","volume-title":"Static Analysis","author":"M. M\u00fcller-Olm","year":"1999","unstructured":"M\u00fcller-Olm, M., Schmidt, D.A., Steffen, B.: Model-checking: A tutorial introduction. In: Cortesi, A., Fil\u00e9, G. (eds.) SAS 1999. LNCS, vol.\u00a01694, pp. 330\u2013354. Springer, Heidelberg (1999)"},{"key":"25_CR24","first-page":"62","volume-title":"Proc. of ACM SIGSOFT FMICS 2005","author":"H. Raffelt","year":"2005","unstructured":"Raffelt, H., Steffen, B., Berg, T.: Learnlib: a library for automata learning and experimentation. In: Proc. of ACM SIGSOFT FMICS 2005, pp. 62\u201371. ACM Press, New York (2005)"},{"key":"25_CR25","volume-title":"Proc. of ICECCS 2007, 12th IEEE Int. Conf. on Engineering of Complex Computer Systems","author":"T. Margaria","year":"2007","unstructured":"Margaria, T., Raelt, H., Steen, B., Leucker, M.: The learnlib in FMICS-jETI. In: Proc. of ICECCS 2007, 12th IEEE Int. Conf. on Engineering of Complex Computer Systems, July 2007. IEEE Computer Soc. Press, Los Alamitos (2007)"},{"key":"25_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-44585-4_6","volume-title":"Computer Aided Verification","author":"P. Gastin","year":"2001","unstructured":"Gastin, P., Oddoux, D.: Fast ltl to B\u00fcchi automata translation. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, p. 53. Springer, Heidelberg (2001)"},{"key":"25_CR27","doi-asserted-by":"crossref","unstructured":"Sirin, E., Parsia, B., Wu, D., Hendler, J.A., Nau, D.S.: HTN planning for web service composition using shop2. In: ISWC 2003, vol.\u00a01(4), pp. 377\u2013396 (2003)","DOI":"10.1016\/j.websem.2004.06.005"},{"key":"25_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-36189-8_17","volume-title":"Web Services, E-Business, and the Semantic Web","author":"M. Matskin","year":"2002","unstructured":"Matskin, M., Rao, J.: Value-added web services composition using automatic program synthesis. In: Bussler, C.J., McIlraith, S.A., Orlowska, M.E., Pernici, B., Yang, J. (eds.) CAiSE 2002 and WES 2002. LNCS, vol.\u00a02512, pp. 213\u2013224. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web - ISWC 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04930-9_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:45:34Z","timestamp":1606185934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04930-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642049293","9783642049309"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04930-9_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}