Automatic Generation of the SWS- Challenge Mediator with jABC/ABC

  • Tiziana Margaria
  • Marco Bakera
  • Christian Kubczak
  • Stefan Naujokat
  • Bernhard Steffen
Part of the Semantic Web And Beyond book series (ADSW, volume 8)

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.


Service Composition Automatic Generation Label Transition System Proof Tree Synthesis Tool 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    F. Bacchus and F. Kabanza. Using temporal logics to express search control knowledge for planning. Artificial Intelligence, 116(1–2):123–191, 2000MATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    M. Dwyer and J.Corbett G. Avrunin. Specification Patterns Website. http://
  3. 3.
    Kathi Fisler. Toward diagrammability and efficiency in event-sequence languages. STTT, Int. J. on Software Tools for Technology Transfer, 8(4–5):431–447, 2006Google Scholar
  4. 4.
    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, 1995Google Scholar
  5. 5.
    S. Jörges, T. Margaria, and B. Steffen. Formulabuilder: A tool for graph-based modelling and generation of formulae. In Proc. ICSE'06, May 2006Google Scholar
  6. 6.
    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, 2007Google Scholar
  7. 7.
    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, 2007Google Scholar
  8. 8.
    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, 2003Google Scholar
  9. 9.
    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,, 2008
  10. 10.
    T. Margaria and B. Steffen. Backtracking-free design planning by automatic synthesis in METAFrame. In Proc. FASE'98, Lisbon(P), LNCS, Springer Verlag, 1998Google Scholar
  11. 11.
    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 2007Google Scholar
  12. 12.
    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 2007Google Scholar
  13. 13.
    G.D. Plotkin. a structural approach to operational semantics. Journal of Logic and Algebraic Programming, 60–61:17–140, 2004MathSciNetGoogle Scholar
  14. 14.
    M. Shanahan. The event calculus explained. In LNAI (1600):409–430. Springer Verlag, 1999Google Scholar
  15. 15.
    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, 1997MATHCrossRefGoogle Scholar
  16. 16.
    B. Steffen, T. Margaria, and A. Claßen. Heterogeneous analysis and verification for distributed systems. SOFTWARE: Concepts and Tools, 17(1):13–25, 1996Google Scholar
  17. 17.
    B. Steffen, T. Margaria, and B. Freitag. Module configuration by minimal model construction. In Tech. rep. MIP 9313, Universität Passau, Passau (D), 1993Google Scholar
  18. 18.
    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., 1997Google Scholar
  19. 19.
    B. Steffen and P. Narayan. Full lifecycle support for end-to-end processes. IEEE Computer, 40(11):64–73, Nov., 2007Google Scholar
  20. 20.
    Bernhard Steffen, Tiziana Margaria, and Burkhard Freitag. Module configuration by minimal model construction. Technical Report MIP-9313, University of Passau, Germany, December 1993Google Scholar
  21. 21.
    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. PressGoogle Scholar
  22. 22.
    SWS Challenge Workshops: Website. index.php/Workshops
  23. 23.
    J. Yu, J. Han, Y. Jin, and P. Falcarin. Synthesis of service compositions process models from temporal business rulesGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC 2009

Authors and Affiliations

  • Tiziana Margaria
    • Marco Bakera
      • 1
    • Christian Kubczak
      • 1
    • Stefan Naujokat
      • 1
    • Bernhard Steffen
      • 1
    1. 1.Chair of Programming Systems, TU DortmundGermany

    Personalised recommendations