{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:36:07Z","timestamp":1725521767349},"publisher-location":"Boston, MA","reference-count":30,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387724959"},{"type":"electronic","value":"9780387724966"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-72496-6_5","type":"book-chapter","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T13:54:45Z","timestamp":1227707685000},"page":"71-99","source":"Crossref","is-referenced-by-count":8,"title":["Service-oriented Mediation with jABC\/jETI"],"prefix":"10.1007","author":[{"given":"Christian","family":"Kubczak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralf","family":"Nagel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1_5","unstructured":"A. Arenas, J. Bicarregui, and T. Margaria. The FMICS view on the verified software repository, proc. integrated design and process technology. In IDPT 2006. Society for Design and Process Science, June 2006"},{"key":"5_CR2_5","unstructured":"Apache Axis Web Service Framework, 2007. http:\/\/ws.apache.org\/axis \/"},{"key":"5_CR3_5","doi-asserted-by":"crossref","unstructured":"V. Braun, T. Margaria, B. Steffen, H. Yoo, and T. Rychly. Safe service customization. In Proc. IN'97, IEEE Communication Soc. Workshop on Intelligent Network. IEEE Comm. Soc. Press., May 1997","DOI":"10.1109\/INW.1997.601576"},{"key":"5_CR4_5","doi-asserted-by":"crossref","unstructured":"E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995\u20131072. MIT Press\/Elsevier, 1990","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"5_CR5_5","unstructured":"J. Gaeb. Entwicklung eines BPEL-Plugins f\u00fcr das jABC-Framework. Master's thesis, Universit\u00e4t Dortmund, 2007"},{"key":"5_CR6_5","unstructured":"GEAR Model Checker, 2007. http:\/\/jabc.cs.uni-dortmund.de\/opencms\/ opencms\/jabc\/plugins\/gear.html"},{"key":"5_CR7_5","unstructured":"GeneSys Code Generation, 2007. http:\/\/jabc.cs.uni-dortmund.de\/ opencms\/opencms\/jabc\/plugins\/genesys\/index.html"},{"key":"5_CR8_5","unstructured":"jABC Website, 2007. http:\/\/www.jabc.de"},{"key":"5_CR9_5","unstructured":"JAX-WS Developers' Website:, 2007. https:\/\/jax-ws.dev.java.net \/"},{"key":"5_CR10_5","unstructured":"Sven J\u00f6rges, Christian Kubczak, Ralf Nagel, Tiziana Margaria, and Bernhard Steffen. Model-driven development with the jABC. In HVC - IBM Haifa Verification Conference, LNCS 4383, Haifa, Israel, October 23-26 2006. IBM, Springer Verlag"},{"key":"5_CR11_5","doi-asserted-by":"crossref","unstructured":"D. Kozen. Results on the propositional mu-calculus. In Proc. ALP'82, 9th Colloquium on Automata, Languages and Programming, LNCS 140, pages 348\u2013359, Aarhus, DK, July 1982. Springer Verlag","DOI":"10.1007\/BFb0012782"},{"key":"5_CR12_5","doi-asserted-by":"crossref","unstructured":"D. Kozen. Results on the propositional mu-calculus. TCS N.27, pages 333\u2013354, 1983","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"5_CR13_5","unstructured":"C. Kubczak, T. Margaria, B. Steffen, and S. Naujokat. Service-oriented mediation with jETI\/jABC: Verification and export. In Worksh. on Service Composition & SWS Challenge, part of WI-IAT'07, the IEEE\/ WIC\/ ACM Int. Conf. on Web Intelligence, November 2007, Stanford (CA), volume ISBN-10: 0-7695-3028-1. IEEE CS, 2007"},{"issue":"2","key":"5_CR14_5","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/s10270-004-0072-z","volume":"4","author":"T. Margaria","year":"2005","unstructured":"T. Margaria. Web services-based tool-integration in the ETI platform. SoSyM, Int. Journal on Software and System Modelling, 4(2):141\u2013156, May 2005","journal-title":"SoSyM, Int. Journal on Software and System Modelling"},{"key":"5_CR15_5","doi-asserted-by":"crossref","unstructured":"T. Margaria, C. Kubczak, M. Njoku, and B. Steffen. Model-based design of distributed collaborative bioinformatics processes in the jABC. In Proc. ICECCS 2006, 11th IEEE International Conference on Engineering of Complex Computer Systems, Stanford (CA), pages 169\u2013176. IEEE CS, August 2006","DOI":"10.1109\/ICECCS.2006.1690366"},{"issue":"4","key":"5_CR16_5","first-page":"S12","volume":"9","author":"T. Margaria","year":"2008","unstructured":"T. Margaria, C. Kubzcak, and B. Steffen. Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. BioMed Central (BMC) Bioinformatics 2008; Supplement dedicated to Network Tools and Applications in Biology 2007 Workshop (NETTAB 2007) ISSN 1471-2105. Published online 2008 April 25. doi: 10.1186\/1471-2105-9-S4-S12., 9 (Suppl 4): S12, 2008","journal-title":"BioMed Central (BMC) Bioinformatics 2008; Supplement dedicated to Network Tools and Applications in Biology 2007 Workshop (NETTAB 2007) Steffen"},{"key":"5_CR17_5","doi-asserted-by":"crossref","unstructured":"T. Margaria, H. Raffelt, B. Steffen, and M. Leucker. The LearnLib in FMICS-jETI. In Proc. ICECCS 2007, 12th IEEE Int. Conf. on Engineering of Complex Computer Systems, pages 340\u2013349. IEEE CSoc. Press., July 2007","DOI":"10.1109\/ICECCS.2007.43"},{"key":"5_CR18_5","unstructured":"T. Margaria and B. Steffen. From the how to the what. In VSTTE: Verified Software\u2014 Theories, Tools, and Experiments, Proc. IFIP Working Conference, Zurich, Oct 2005, volume LNCS 4171. Springer, 2005"},{"key":"5_CR19_5","unstructured":"T. Margaria and B. Steffen. Service engineering: Linking business and it. IEEE Computer, issue 60th anniv. of the Computer Society, pages 53\u201363, October 2006"},{"key":"5_CR20_5","first-page":"450","volume-title":"ICSOC 2005: 3rd ACMSIGSOFT\/SIGWEB Int. Conf. on Service-Oriented Computing, LNCS N.3826","author":"T. Margaria","year":"2005","unstructured":"T. Margaria, B. Steffen, and M. Reitenspie\u00df. Service-oriented design: The roots. In ICSOC 2005: 3rd ACMSIGSOFT\/SIGWEB Int. Conf. on Service-Oriented Computing, LNCS N.3826, pages 450\u2013464, Amsterdam, December 2005. Springer Verlag"},{"issue":"2\u20133","key":"5_CR21_5","first-page":"107","volume":"5","author":"Tiziana Margaria and Bernhard Steffen","year":"2004","unstructured":"Tiziana Margaria and Bernhard Steffen. Lightweight coarse-grained coordination: a scalable system-level approach. STTT, 5(2\u20133):107\u2013123, 2004","journal-title":"STTT"},{"key":"5_CR22_5","doi-asserted-by":"crossref","unstructured":"D. Martin, M. Burstein, D. McDermott, S. McIlraith, M. Paolucci, and K. Sycara et al. Bringing semantics to web services with OWL-S. In World Wide Web, volume 10, page 243277. Springer, 2007","DOI":"10.1007\/s11280-007-0033-x"},{"key":"5_CR23_5","doi-asserted-by":"crossref","unstructured":"M. M\u00fcller-Olm, D. Schmidt, and B. Steffen. Model-checking: A tutorial introduction. In Proc. SAS'99, pages 330\u2013354. LNCS 1503, Springer Verlag, September 1999","DOI":"10.1007\/3-540-48294-6_22"},{"issue":"17","key":"5_CR24_5","doi-asserted-by":"publisher","first-page":"3045","DOI":"10.1093\/bioinformatics\/bth361","volume":"20","author":"T. Oinn","year":"2004","unstructured":"T. Oinn, M. Addis, J. Ferris, D. Marvin, and M. Senger et al. Taverna: a tool for the composition and enactment of bioinformatics workflows. Bioinformatics, 20(17):3045\u2013 3054, 2004","journal-title":"Bioinformatics"},{"key":"5_CR25_5","doi-asserted-by":"crossref","unstructured":"B. Steffen and T. Margaria. Metaframe in practice: Intelligent network service design. In Correct System Design - Issues, Methods and Per-spectives, E.-R. Olderog and B. Steffen (eds.), LNCS 1710, pages 390\u2013415. Springer Verlag, 1999","DOI":"10.1007\/3-540-48092-7_17"},{"issue":"2","key":"5_CR26_5","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s100090050003","volume":"1","author":"B. Steffen","year":"1997","unstructured":"B. Steffen, T. Margaria, and V. Braun. The electronic tool integration platform: Concepts and design. Int. Journal on Software Tools for Technology Transfer (STTT), 1(2):9\u201330, 1997","journal-title":"Int. Journal on Software Tools for Technology Transfer (STTT)"},{"key":"5_CR27_5","unstructured":"B. Steffen, T. Margaria, V. Braun, and N. Kalt. Hierarchical service definition. In Annual Review of Communication, pages 847\u2013856. Int. Engineering Consortium Chicago (USA), IEC, 1997"},{"key":"5_CR28_5","unstructured":"B. Steffen, T. Margaria, A. Cla\u00dfen, V. Braun, and M. Reitenspie\u00df. An environment for the creation of intelligent network services. In (invited contribution) Annual Review of Communication, pages 919\u2013935. Int. Engineering Consortium Chicago (USA), IEC, November 1996"},{"key":"5_CR29_5","unstructured":"Bernhard Steffen, Tiziana Margaria, and Ralf Nagel. Remote Integration and Coordination of Verification Tools in jETI. In Proc. ECBS 2005, 12th IEEE Int. Conf. on the Engineering of Computer Based Systems, pages 431\u2013436, Greenbelt (USA), April 2005. IEEE Computer Soc. Press"},{"key":"5_CR30_5","doi-asserted-by":"crossref","unstructured":"A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5, 1955","DOI":"10.2140\/pjm.1955.5.285"}],"container-title":["Semantic Web And Beyond","Semantic Web Services Challenge"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-72496-6_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T23:56:00Z","timestamp":1619654160000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-72496-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387724959","9780387724966"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-72496-6_5","relation":{},"ISSN":["1559-7474"],"issn-type":[{"type":"print","value":"1559-7474"}],"subject":[]}}