1. Activiti Team (2012): Activiti BPM Platform.
  2. T. Allweyer (2009): BPMN 2.0-Business Process Model and Notation. Bod.
  3. Apache Software Foundation (2013): Apache Ode BPEL-Engine Website. Available at
  4. AristaFlow GmbH (2012): AristaFlow Website. Available at
  5. Christoph Blank, Nathalie Steinmetz, and James Scicluna (2012): Enriched Services: A Tool for Semantic Service Annotation. Demo at the 8th Extended Semantic Web Conference (ESWC 2011).
  6. Peter Dadam, Manfred Reichert, Stefanie Rinderle-Ma, Andreas Lanz, Rüdiger Pryss, Michael Predeschly, Jens Kolb, Linh Thao Ly, Martin Jurisch, Ulrich Kreher & Kevin Göser (2010): From ADEPT to AristaFlow BPM Suite: A Research Vision Has Become Reality. In: et. al. Rinderle-Ma: Business Process Management Workshops, Lecture Notes in Business Information Processing 43. Springer Berlin Heidelberg, pp. 529–531, doi:10.1007/978-3-642-12186-9_50.
  7. Markus Doedt & Bernhard Steffen (2011): Requirement-Driven Evaluation of Remote ERP-System Solutions: A Service-oriented Perspective. In: James L. Rash & Christopher Rouff: SEW. IEEE Computer Society, pp. 57–66, doi:10.1109/SEW.2011.14. Available at
  8. Markus Doedt & Bernhard Steffen (2012): An Evaluation of Service Integration Approaches of Business Process Management Systems. In: Software Engineering Workshop (SEW), 2012 35th IEEE, doi:10.1109/SEW.2012.23.
  9. Burkhard Freitag, Tiziana Margaria & Bernhard Steffen (1994): A Pragmatic Approach to Software Synthesis. In: Workshop on Interface Definition Languages, pp. 46–58, doi:10.1145/185084.185102.
  10. Google (2013): Google APIs Discovery Service.
  11. Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer & Bernhard Steffen (2012): A Constraint-based Variability Modeling Framework. STTT 14(5), pp. 511–530, doi:10.1007/s10009-012-0254-x.
  12. M. Karusseit & T. Margaria (2007): A Web-Based Runtime-Reconfigurable Role Management Service. In: Automated Specification and Verification of Web Systems, 2006. WWV'06. 2nd International Workshop on. IEEE, pp. 53–60, doi:10.1109/WWV.2006.5.
  13. Martin Karusseit & Tiziana Margaria (2006): Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. Electr. Notes Theor. Comput. Sci. 157(2), pp. 101–118, doi:10.1016/j.entcs.2005.12.049.
  14. Christian Kubczak (2013): jETI: ein serviceorientiertes framework zur high level Ausführung von Remote-Komponenten. Dissertation. Technische Universität Dortmund. Submitted.
  15. Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Christian Winkler & Hardi Hungar (2009): An Approach to Discovery with miAamics and jABC. In: Charles Petrie, Tiziana Margaria, Holger Lausen & Michal Zaremba: Semantic Web Services Challenge, Semantic Web And Beyond 8. Springer US, pp. 217–234, doi:10.1007/978-0-387-72496-6_13.
  16. Christian Kubczak, Tiziana Margaria, Christian Winkler & Bernhard Steffen (2007): An approach to Discovery with miAamics and jABC, pp. 157–160, doi:10.1109/WI-IATW.2007.26.
  17. Christian Kubczak, Tomas Vitvar, Christian Winkler, Raluca Zaharia & Maciej Zaremba (2009): Comparison: Discovery on WSMOLX and miAamics/jABC. In: Charles Petrie, Tiziana Margaria, Holger Lausen & Michal Zaremba: Semantic Web Services Challenge, Semantic Web And Beyond 8. Springer US, pp. 249–263, doi:10.1007/978-0-387-72496-6_15.
  18. Ulrich Küster, Birgitta König-Ries & Andreas Krug (2008): OPOSSum - An Online Portal to Collect and Share Semantic Service Descriptions. In: Proceedings of the 5th European Semantic Web Converence (ESWC08), doi:10.1109/ICSC.2008.9.
  19. Ulrich Küster, Birgitta König-Ries, Tiziana Margaria & Bernhard Steffen (2009): Comparison: Handling Preferences with DIANE and miAamics. In: Charles Petrie, Tiziana Margaria, Holger Lausen & Michal Zaremba: Semantic Web Services Challenge, Semantic Web And Beyond 8. Springer US, pp. 265–271, doi:10.1007/978-0-387-72496-6_16.
  20. Ulrich Küster & Brigitta König-Ries (2007): Semantic Service Discovery with DIANE Service Descriptions. In: Web Intelligence and Intelligent Agent Technology Workshops, 2007 IEEE/WIC/ACM International Conferences on, pp. 152 –156, doi:10.1109/WI-IATW.2007.87.
  21. Anna-Lena Lamprecht (2012): User-level workflow design. A bioinformatics perspective.. Dissertation. Technische Universität Dortmund. Submitted.
  22. Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer & Bernhard Steffen (2011): Synthesis-Based Variability Control: Correctness by Construction. In: FMCO, pp. 69–88, doi:10.1007/978-3-642-35887-6_4.
  23. Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria & Bernhard Steffen (2010): Synthesis-Based Loose Programming. In: Proceedings of the 7th International Conference on the Quality of Information and Communications Technology (QUATIC 2010), doi:10.1109/QUATIC.2010.53.
  24. Anna-Lena Lamprecht, Stefan Naujokat, Bernhard Steffen & Tiziana Margaria (2009): Semantics-Based Composition of EMBOSS Services with Bio-jETI. In: M. Scott Marshall, Albert Burger, Paolo Romano, Adrian Paschke & Andrea Splendiani: Proceedings of the 2nd Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2009) 559. CEUR Workshop Proceedings. Available at
  25. Hans Langmaack (1973): On Correct Procedure Parameter Transmission in Higher Programming Languages. Acta Inf. 2, pp. 110–142, doi:10.1007/BF00264026.
  26. Frank J. van der Linden, Klaus Schmid & Eelco Rommes (2007): Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering. Springer-Verlag New York, Inc., Secaucus, NJ, USA.
  27. T. Margaria & B. Steffen (2005): Second-Order Semantic Web. In: Software Engineering Workshop, 2005. 29th Annual IEEE/NASA, pp. 219 –227, doi:10.1109/SEW.2005.40.
  28. Tiziana Margaria (2007): Service Is in the Eyes of the Beholder. IEEE Computer 40, pp. 33–37, doi:10.1109/MC.2007.398.
  29. Tiziana Margaria, Daniel Meyer, Christian Kubczak, Malte Isberner & Bernhard Steffen (2009): Synthesizing Semantic Web Service Compositions with jMosel and Golog. In: The Semantic Web - ISWC 2009, LNCS 5823. Springer Berlin / Heidelberg, pp. 392–407, doi:10.1007/978-3-642-04930-9.
  30. Tiziana Margaria & Bernhard Steffen (2004): Lightweight coarse-grained coordination: a scalable system-level approach. STTT 5(2-3), pp. 107–123, doi:10.1007/s10009-003-0119-4.
  31. Tiziana Margaria & Bernhard Steffen (2007): LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. In: Proceedings of the 31st IEEE Software Engineering Workshop. IEEE Computer Society, pp. 214226, doi:10.1109/SEW.2007.101.
  32. Tiziana Margaria & Bernhard Steffen (2009): Agile IT: Thinking in User-Centric Models. In: Leveraging Applications of Formal Methods, Verification and Validation, Proc. ISoLA 2008, Communications in Computer and Information Science 17. Springer Verlag, pp. 490–502, doi:10.1007/978-3-540-88479-8_35.
  33. Tiziana Margaria & Bernhard Steffen (2012): Service-Orientation: Conquering Complexity with XMDD. In: Mike Hinchey & Lorcan Koyle: Conquering Complexity. Springer, doi:10.1007/978-1-4471-2297-5_10.
  34. Matthias Klusch (2013): Semantic Service Selection (S3): Retrieval Performance Evaluation of Matchmakers for Semantic Web Services. Available at
  35. Markus Müller-Olm, David Schmidt & Bernhard Steffen (1999): Model-Checking - A Tutorial Introduction. In: Static Analysis, pp. 848, doi:10.1007/3-540-48294-6_22.
  36. Stefan Naujokat, Anna-Lena Lamprecht & Bernhard Steffen (2012): Loose Programming with PROPHETS. In: Juan de Lara & Andrea Zisman: Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), LNCS 7212. Springer Heidelberg, pp. 94–98, doi:10.1007/978-3-642-28872-2_7.
  37. Stefan Naujokat, Johannes Neubauer, Anna-Lena Lamprecht, Bernhard Steffen, Sven Jörges & Tiziana Margaria (2013): Plug-Ins: The Enabling Power of Simplicity. In: Diego Garbervetsky & Sunghum Kim: Special Issue on Tools as Plug-ins, Software: Practice and Experience. John Wiley & Sons, Ltd.. In submission; review pending.
  38. Johannes Neubauer, Tiziana Margaria & Bernhard Steffen (2011): Design for Verifiability: The OCS Case Study. In: Formal Methods for Industrial Critical Systems: A Survey of Applications. John Wiley & Sons, doi:10.1002/9781118459898.ch8.
  39. Johannes Neubauer & Bernhard Steffen (2013): Plug&Play Higher-Order Process Integration. to appear.
  40. Johannes Neubauer & Bernhard Steffen (2013): Second-Order Servification. In: Georg Herzwurm & Tiziana Margaria: ICSOB, Lecture Notes in Business Information Processing 150. Springer, pp. 13–25, doi:10.1007/978-3-642-39336-5_2. Available at 10.1007/978-3-642-39336-5.
  41. OMG (2011): Business Process Model and Notation (BPMN) Version 2.0. Available at
  42. Oracle Inc. (2013): Oracle BPEL Process Manager Website. Available at
  43. C. Petrie (2009): Semantic Web Services Challenge. Semantic web and beyond. Springer London, Limited, doi:10.1007/978-0-387-72496-6. Available at
  44. RedHat Software - JBoss (2012): jBPM Website.
  45. August-Wilhelm Scheer & Kristof Schneider (2006): ARIS Architecture of Integrated Information Systems. In: Peter Bernus, Kai Mertins & Günter Schmidt: Handbook on Architectures of Information Systems, International Handbooks on Information Systems. Springer Berlin Heidelberg, pp. 605–623, doi:10.1007/3-540-26661-5_25.
  46. David A. Schmidt (1994): The structure of typed programming languages. Foundations of computing series. MIT Press.
  47. David A. Schmidt (1996): Programming Language Semantics. ACM Comput. Surv. 28(1), pp. 265–267, doi:10.1145/234313.234419.
  48. David A. Schmidt (1998): Data Flow Analysis is Model Checking of Abstract Interpretations. In: David B. MacQueen & Luca Cardelli: POPL. ACM, pp. 38–48, doi:10.1145/268946.268950. Available at
  49. David A. Schmidt & Bernhard Steffen (1998): Program Analysis as Model Checking of Abstract Interpretations. In: Proceedings of the 5th International Symposium on Static Analysis. Springer-Verlag, pp. 351–380, doi:10.1007/3-540-49727-7_22.
  50. Peter Sestoft (2012): Higher-Order Functions. In: Programming Language Concepts, Undergraduate Topics in Computer Science 50. Springer London, pp. 77–91, doi:10.1007/978-1-4471-4156-3_5.
  51. Evren Sirin, Bijan Parsia, Dan Wu, James A. Hendler & Dana S. Nau (2004): HTN planning for Web Service composition using SHOP2. J. Web Semantics 1(4), pp. 377–396, doi:10.1016/j.websem.2004.06.005.
  52. B. Steffen, T. Margaria, V. Braun & N. Kalt (1997): Hierarchical Service Definition. In: Annual Review of Communication. Int. Engineering Consortium Chicago (USA), IEC, pp. 847–856.
  53. Bernhard Steffen (1991): Data Flow Analysis as Model Checking. In: Proceedings of the International Conference on Theoretical Aspects of Computer Software. Springer-Verlag, pp. 346–365, doi:10.1007/3-540-54415-1_54.
  54. Bernhard Steffen (1993): Generating data flow analysis algorithms from modal specifications. In: Selected papers of the conference on Theoretical aspects of computer software. Elsevier Science Publishers B. V., Sendai, Japan, pp. 115–139, doi:10.1016/0167-6423(93)90003-8.
  55. Bernhard Steffen & Tiziana Margaria (1999): METAFrame in Practice: Design of Intelligent Network Services. In: Correct System Design - Correct System Design, Recent Insight and Advances, Lecture Notes in Computer Science 1710. Springer, pp. 390–415, doi:10.1007/3-540-48092-7_17.
  56. Bernhard Steffen, Tiziana Margaria & Volker Braun (1997): The Electronic Tool Integration platform: concepts and design. International Journal on Software Tools for Technology Transfer (STTT) 1(1-2), pp. 9–30, doi:10.1007/s100090050003.
  57. Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges & Christian Kubczak (2006): Model-Driven Development with the jABC, pp. 92–108, LNCS 4383. Springer Berlin / Heidelberg, doi:10.1007/978-3-540-70889-6_7.
  58. B. Steffen T. Margaria (2009): Business Process Modeling in the jABC: The One-Thing Approach. In: Handbook of Research on Business Process Modeling. IGI Global, pp. 1–26, doi:10.4018/978-1-60566-288-6.ch001. Available at
  59. Website (2012): Semantic Web Service Challenge: Evaluating Semantic Web Services Mediation, Choreography and Discovery.

Comments and questions to:
For website issues: