Semantic web service challenge website. http://www.sws-challenge.org
Efeoglu A. SAP enterprise service workplace handbook
SAP enterprise service website. http://www.sdn.sap.com
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
Kaiser M (2007) Towards the realization of policy-oriented enterprise management. IEEE Comput 11:65–71
Article
Google Scholar
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
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
Chapter
Google Scholar
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
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
Special session on SerComp & SWS challenge 2007 workshop, IEEE/WIC/ACM international conference on web intelligence (WI 2007), November 2007
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
Chapter
Google Scholar
Margaria T (2007) Service is in the eyes of the beholder. IEEE Comput 40(11):33–37
Article
Google Scholar
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
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
Chapter
Google Scholar
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
Margaria T, Steffen B (2006) Service engineering: linking business and IT. IEEE Comput, 53–63
Margaria T, Steffen B (2004) Aggressive model driven development for the management of service evolution. Annu Rev Commun, 57
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
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
Steffen B, Narayan P (2007) Full lifecycle support for end-to-end processes. IEEE Comput 40(11):64–73
Article
Google Scholar
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
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
Protege’ webpage. http://protege.stanford.edu/
GEAR: game-based easy and reverse model-checking. http://jabc.cs.uni-dortmund.de/gear/
Emerson EA, Jutla CS, Prasad Sistla A (1993) On model-checking for fragments of μ-calculus. In: Proceedings CAV
Petrie C, Margaria T, Lausen H, Zaremba M (eds) (2008) Semantic web services challenge—results from the first year. Springer, Berlin
Google Scholar