{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:28:07Z","timestamp":1747805287862},"publisher-location":"Boston, MA","reference-count":23,"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_7","type":"book-chapter","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T18:54:45Z","timestamp":1227725685000},"page":"119-138","source":"Crossref","is-referenced-by-count":8,"title":["Automatic Generation of the SWS- Challenge Mediator with jABC\/ABC"],"prefix":"10.1007","author":[{"given":"Tiziana","family":"Margaria","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Bakera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Kubczak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Naujokat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1\u20132","key":"7_CR1_7","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0004-3702(99)00071-5","volume":"116","author":"F. Bacchus","year":"2000","unstructured":"F. Bacchus and F. Kabanza. Using temporal logics to express search control knowledge for planning. Artificial Intelligence, 116(1\u20132):123\u2013191, 2000","journal-title":"Artificial Intelligence"},{"key":"7_CR2_7","unstructured":"M. Dwyer and J.Corbett G. Avrunin. Specification Patterns Website. http:\/\/ patterns.projects.cis.ksu.edu\/"},{"issue":"4\u20135","key":"7_CR3_7","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1007\/s10009-005-0195-8","volume":"8","author":"Fisler Kathi","year":"2006","unstructured":"Kathi Fisler. Toward diagrammability and efficiency in event-sequence languages. STTT, Int. J. on Software Tools for Technology Transfer, 8(4\u20135):431\u2013447, 2006","journal-title":"STTT, Int. J. on Software Tools for Technology Transfer"},{"key":"7_CR4_7","unstructured":"B. Freitag, B. Steffen, T. Margaria, and U. Zukowski. An approach to intelligent software library management. In Proc. 4th Int. Conf. on Database Systems for Advanced Applications (DASFAA '95), National University of Singapore, Singapore, 1995"},{"key":"7_CR5_7","doi-asserted-by":"crossref","unstructured":"S. J\u00f6rges, T. Margaria, and B. Steffen. Formulabuilder: A tool for graph-based modelling and generation of formulae. In Proc. ICSE'06, May 2006","DOI":"10.1145\/1134285.1134422"},{"key":"7_CR6_7","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"},{"key":"7_CR7_7","doi-asserted-by":"crossref","unstructured":"C. Kubczak, T. Margaria, C. Winkler, and B. Steffen. An approach to discovery with miAamics and jABC. 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","DOI":"10.1109\/WI-IATW.2007.26"},{"key":"7_CR8_7","doi-asserted-by":"crossref","unstructured":"Daniel J. Mandell and Sheila A. McIlraith. Adapting BPEL4WS for the semantic web: The bottom-up approach to web service interoperation. In Proc. ISWC2003, Sundial Resort, Sanibel Island, FL (USA), LNCS N.2870, 2003, pp. 227 \u2013 241, Springer Verlag, 2003","DOI":"10.1007\/978-3-540-39718-2_15"},{"key":"7_CR9_7","unstructured":"T. Margaria, M. Bakera, H. Raffelt, and B. Steffen. Synthesizing the mediator with jABC\/ABC. In EON-SWSC 2008, Proc. 6th Int. Worksh. on Evaluation of Ontology-based Tools and the Semantic Web Service Challenge, Tenerife, Spain, June 2008. CEUR-WS, http:\/\/ftp.informatik.rwth-aachen.de\/Publications\/CEUR-WS\/Vol-359\/Paper-4.pdf , 2008"},{"key":"7_CR10_7","doi-asserted-by":"crossref","unstructured":"T. Margaria and B. Steffen. Backtracking-free design planning by automatic synthesis in METAFrame. In Proc. FASE'98, Lisbon(P), LNCS, Springer Verlag, 1998","DOI":"10.1007\/BFb0053591"},{"key":"7_CR11_7","doi-asserted-by":"crossref","unstructured":"T. Margaria and B. Steffen. LTL guided planning: Revisiting automatic tool composition in ETI. In SEW: 31st Annual Software Engineering WorkshopM. IEEE Computer Society Press, March 2007","DOI":"10.1109\/SEW.2007.63"},{"key":"7_CR12_7","unstructured":"T. Margaria, C. Winkler, C. Kubczak, B.Steffen, M. Brambilla, D. Cerizza S. Ceri, E. Della Valle, F. Facca, and C. Tziviskou. The SWS mediator with WebML\/WebRatio and jABC\/jETI: A comparison. In Proc. ICEIS'07, 9th Int. Conf. on Enterprise Information Systems, Funchal (P), June 2007"},{"issue":"61","key":"7_CR13_7","first-page":"17","volume":"60","author":"G.D. Plotkin","year":"2004","unstructured":"G.D. Plotkin. a structural approach to operational semantics. Journal of Logic and Algebraic Programming, 60\u201361:17\u2013140, 2004","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"7_CR14_7","doi-asserted-by":"crossref","unstructured":"M. Shanahan. The event calculus explained. In LNAI (1600):409\u2013430. Springer Verlag, 1999","DOI":"10.1007\/3-540-48317-9_17"},{"issue":"2","key":"7_CR15_7","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)"},{"issue":"1","key":"7_CR16_7","first-page":"13","volume":"17","author":"B. Steffen","year":"1996","unstructured":"B. Steffen, T. Margaria, and A. Cla\u00dfen. Heterogeneous analysis and verification for distributed systems. SOFTWARE: Concepts and Tools, 17(1):13\u201325, 1996","journal-title":"SOFTWARE: Concepts and Tools"},{"key":"7_CR17_7","unstructured":"B. Steffen, T. Margaria, and B. Freitag. Module configuration by minimal model construction. In Tech. rep. MIP 9313, Universit\u00e4t Passau, Passau (D), 1993"},{"key":"7_CR18_7","unstructured":"B. Steffen, T. Margaria, and M. von der Beeck. Automatic synthesis of linear process models from temporal constraints: An incremental approach. In Proc. AAS'97, ACM\/SIGPLAN Int. Workshop on Automated Analysis of Software, Paris (F),(affiliated to POPL'97), pp. 127\u2013141., 1997"},{"issue":"11","key":"7_CR19_7","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/MC.2007.386","volume":"40","author":"B. Steffen","year":"2007","unstructured":"B. Steffen and P. Narayan. Full lifecycle support for end-to-end processes. IEEE Computer, 40(11):64\u201373, Nov., 2007","journal-title":"IEEE Computer"},{"key":"7_CR20_7","unstructured":"Bernhard Steffen, Tiziana Margaria, and Burkhard Freitag. Module configuration by minimal model construction. Technical Report MIP-9313, University of Passau, Germany, December 1993"},{"key":"7_CR21_7","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":"7_CR22_7","unstructured":"SWS Challenge Workshops: Website. http:\/\/sws-challenge.org\/wiki\/ index.php\/Workshops"},{"key":"7_CR23_7","unstructured":"J. Yu, J. Han, Y. Jin, and P. Falcarin. Synthesis of service compositions process models from temporal business rules"}],"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_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,29]],"date-time":"2021-04-29T03:56:00Z","timestamp":1619668560000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-72496-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387724959","9780387724966"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-72496-6_7","relation":{},"ISSN":["1559-7474"],"issn-type":[{"type":"print","value":"1559-7474"}],"subject":[]}}