Skip to main content

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

  • Chapter
Semantic Web Services Challenge

Part of the book series: Semantic Web And Beyond ((ADSW,volume 8))

  • 521 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. F. Bacchus and F. Kabanza. Using temporal logics to express search control knowledge for planning. Artificial Intelligence, 116(1–2):123–191, 2000

    Article  MATH  MathSciNet  Google Scholar 

  2. M. Dwyer and J.Corbett G. Avrunin. Specification Patterns Website. http:// patterns.projects.cis.ksu.edu/

  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, 2006

    Google Scholar 

  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, 1995

    Google Scholar 

  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 2006

    Google Scholar 

  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, 2007

    Google Scholar 

  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, 2007

    Google Scholar 

  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, 2003

    Google Scholar 

  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, http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-359/Paper-4.pdf, 2008

  10. T. Margaria and B. Steffen. Backtracking-free design planning by automatic synthesis in METAFrame. In Proc. FASE'98, Lisbon(P), LNCS, Springer Verlag, 1998

    Google Scholar 

  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 2007

    Google Scholar 

  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 2007

    Google Scholar 

  13. G.D. Plotkin. a structural approach to operational semantics. Journal of Logic and Algebraic Programming, 60–61:17–140, 2004

    MathSciNet  Google Scholar 

  14. M. Shanahan. The event calculus explained. In LNAI (1600):409–430. Springer Verlag, 1999

    Google Scholar 

  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, 1997

    Article  MATH  Google Scholar 

  16. B. Steffen, T. Margaria, and A. Claßen. Heterogeneous analysis and verification for distributed systems. SOFTWARE: Concepts and Tools, 17(1):13–25, 1996

    Google Scholar 

  17. B. Steffen, T. Margaria, and B. Freitag. Module configuration by minimal model construction. In Tech. rep. MIP 9313, Universität Passau, Passau (D), 1993

    Google Scholar 

  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., 1997

    Google Scholar 

  19. B. Steffen and P. Narayan. Full lifecycle support for end-to-end processes. IEEE Computer, 40(11):64–73, Nov., 2007

    Google Scholar 

  20. Bernhard Steffen, Tiziana Margaria, and Burkhard Freitag. Module configuration by minimal model construction. Technical Report MIP-9313, University of Passau, Germany, December 1993

    Google Scholar 

  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. Press

    Google Scholar 

  22. SWS Challenge Workshops: Website. http://sws-challenge.org/wiki/ index.php/Workshops

  23. J. Yu, J. Han, Y. Jin, and P. Falcarin. Synthesis of service compositions process models from temporal business rules

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Tiziana Margaria .

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics