Evolution support in heterogeneous service-oriented landscapes

1. 1.

   Semantic web service challenge website. http://www.sws-challenge.org

2. 2.

   Efeoglu A. SAP enterprise service workplace handbook

3. 3.

   SAP enterprise service website. http://www.sdn.sap.com

4. 4.

   Jörges S, Kubczak C, Nagel R, Margaria T, Steffen B (2006) Model-driven development with the jABC. In: HVC—IBM Haifa verification conference, Haifa, Israel, 23–26 October 2006. LNCS. Springer, Berlin

   • Google Scholar
5. 5.

   Kaiser M (2007) Towards the realization of policy-oriented enterprise management. IEEE Comput 11:65–71

   • Article
   • Google Scholar
6. 6.

   Kubczak C, Margaria T, Kaiser M, Lemcke J, Knuth B (2008) On-the-fly synthesis of the mediator scenario with jABC and POEM. In: Proceedings of the 6th international workshop on evaluation of ontology-based tools and the semantic web service challenge, with ESWC 2008, Tenerifa, Spain, June 2008

7. 7.

   Kubczak C, Margaria T, Steffen B, Nagel R (2009) Service-oriented mediation with jABC/jETI. In: Petrie C, Margaria T, Zaremba M, Lausen H (eds) Semantic web services challenge—results from the first year. Springer, Berlin, pp 71–99

   • Google Scholar
8. 8.

   Kubczak C, Margaria T, Steffen B, Naujokat S (2007) Service-oriented mediation with jeti/jabc: verification and export. In: Workshop on service composition & SWS challenge, part of WI-IAT’07, the IEEE/WIC/ACM international conference on web intelligence, Stanford (CA), November 2007. IEEE, New York

   • Google Scholar
9. 9.

   Lamprecht A-L, Margaria T, Steffen B (2008) Seven variations of an alignment workflow—an illustration of agile process design/management in bio-jeti. In: ISBRA 2008, 4th international symposium on bioinformatics research and applications, Atlanta, GA, May 2008. LNBioinformatics, LNCS, vol 4983. Springer, Berlin, pp 445–456

   • Google Scholar
10. 10.

    Special session on SerComp & SWS challenge 2007 workshop, IEEE/WIC/ACM international conference on web intelligence (WI 2007), November 2007

11. 11.

    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, Zaremba M, Lausen H (eds) Semantic web services challenge—results from the first year. Springer, Berlin, pp 119–138

    • Google Scholar
12. 12.

    Margaria T (2007) Service is in the eyes of the beholder. IEEE Comput 40(11):33–37

    • Article
    • Google Scholar
13. 13.

    Margaria T, Kubczak C, Steffen B (2007) Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. In: BioMed central (BMC) bioinformatics supplement dedicated to network tools and applications in biology 2007 workshop (NETTAB 2007), V.9/4 2007. http://www.biomedcentral.com/1471-2105/9?issue=S4

14. 14.

    Margaria T, Meyer D, Kubczak C, Isberner M, Steffen B (2009) Synthesizing semantic web service compositions with jMosel and Golog. In: Proceedings ISWS 2009, international semantic web conference, October 2009. LNCS, vol 5823. Springer, Berlin, pp 392–407

    • Google Scholar
15. 15.

    Margaria T, Steffen B (2005) From the how to the what. In: VSTTE: verified software—theories, tools, and experiments, proceedings of the IFIP working conference, Zurich, October 2005

16. 16.

    Margaria T, Steffen B (2006) Service engineering: linking business and IT. IEEE Comput, 53–63

17. 17.

    Margaria T, Steffen B (2004) Aggressive model driven development for the management of service evolution. Annu Rev Commun, 57

18. 18.

    Margaria T, Steffen B (2009) Continuous model-driven engineering. IEEE Comput 42(10):106–109. doi.ieeecomputersociety.org/10.1109/MC.2009.315

    • Article
    • Google Scholar
19. 19.

    Margaria T, Steffen B (2009) Business process modeling in the jABC: the one-thing-approach. In: Cardoso J, van der Aalst W (eds) Handbook of research on business process modeling. IGI Global, pp 1–26

20. 20.

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

    • Article
    • Google Scholar
21. 21.

    Margaria T, Steffen B (2007) LTL guided planning: revisiting automatic tool composition. In: ETI proceedings SEW2007, 31st IEEE annual software engineering workshop, Loyola College, Baltimore, MD, USA, March 2007. IEEE, New York

    • Google Scholar
22. 22.

    Margaria T (2008) The semantic web services challenge: tackling complexity at the orchestration level. In: Proceedings ICECCS’08, 13th IEEE international conference on engineering of complex computer systems, Belfast, UK, April 2008

23. 23.

    Protege’ webpage. http://protege.stanford.edu/

24. 24.

    GEAR: game-based easy and reverse model-checking. http://jabc.cs.uni-dortmund.de/gear/

25. 25.

    Emerson EA, Jutla CS, Prasad Sistla A (1993) On model-checking for fragments of μ-calculus. In: Proceedings CAV

26. 26.

    Petrie C, Margaria T, Lausen H, Zaremba M (eds) (2008) Semantic web services challenge—results from the first year. Springer, Berlin

    • Google Scholar

Download references