We show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic, as a declarative alternative to the mediator solution presented in Chap. 5. Here we use an LTL planning (or configuration) algorithm originally embedded in the ABC and in the ETI platforms. The algorithm works on the basis of the existing jABC library of available services (SIB library) already introduced in Chap. 5, and it uses an enhanced description of their semantics that is given in terms of a taxonomic classification of their behaviour (modules) and abstract interfaces/messages (types). The resulting approach is a forward synthesis algorithm that users can configure to provide the set of shortest, or cycle-free, or all orchestrations, that satisfy the given LTL specification.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
F. Bacchus and F. Kabanza. Using temporal logics to express search control knowledge for planning. Artificial Intelligence, 116(1–2):123–191, 2000
M. Dwyer and J.Corbett G. Avrunin. Specification Patterns Website. http:// patterns.projects.cis.ksu.edu/
Kathi Fisler. Toward diagrammability and efficiency in event-sequence languages. STTT, Int. J. on Software Tools for Technology Transfer, 8(4–5):431–447, 2006
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
S. Jörges, T. Margaria, and B. Steffen. Formulabuilder: A tool for graph-based modelling and generation of formulae. In Proc. ICSE'06, May 2006
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
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
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 – 241, Springer Verlag, 2003
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
T. Margaria and B. Steffen. Backtracking-free design planning by automatic synthesis in METAFrame. In Proc. FASE'98, Lisbon(P), LNCS, Springer Verlag, 1998
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
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
G.D. Plotkin. a structural approach to operational semantics. Journal of Logic and Algebraic Programming, 60–61:17–140, 2004
M. Shanahan. The event calculus explained. In LNAI (1600):409–430. Springer Verlag, 1999
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–30, 1997
B. Steffen, T. Margaria, and A. Claßen. Heterogeneous analysis and verification for distributed systems. SOFTWARE: Concepts and Tools, 17(1):13–25, 1996
B. Steffen, T. Margaria, and B. Freitag. Module configuration by minimal model construction. In Tech. rep. MIP 9313, Universität Passau, Passau (D), 1993
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–141., 1997
B. Steffen and P. Narayan. Full lifecycle support for end-to-end processes. IEEE Computer, 40(11):64–73, Nov., 2007
Bernhard Steffen, Tiziana Margaria, and Burkhard Freitag. Module configuration by minimal model construction. Technical Report MIP-9313, University of Passau, Germany, December 1993
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–436, Greenbelt (USA), April 2005. IEEE Computer Soc. Press
SWS Challenge Workshops: Website. http://sws-challenge.org/wiki/ index.php/Workshops
J. Yu, J. Han, Y. Jin, and P. Falcarin. Synthesis of service compositions process models from temporal business rules
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Margaria, T., Bakera, M., Kubczak, C., Naujokat, S., Steffen, B. (2009). Automatic Generation of the SWS- Challenge Mediator with jABC/ABC. In: Petrie, C., Margaria, T., Lausen, H., Zaremba, M. (eds) Semantic Web Services Challenge. Semantic Web And Beyond, vol 8. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-72496-6_7
Download citation
DOI: https://doi.org/10.1007/978-0-387-72496-6_7
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-72495-9
Online ISBN: 978-0-387-72496-6
eBook Packages: Computer ScienceComputer Science (R0)