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).
http://www.eswc2011.org/.
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.
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.
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.
Google (2013):
Google APIs Discovery Service.
https://developers.google.com/discovery/.
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.
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.
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.
Christian Kubczak (2013):
jETI: ein serviceorientiertes framework zur high level Ausführung von Remote-Komponenten.
Dissertation.
Technische Universität Dortmund.
Submitted.
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.
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.
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.
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.
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.
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.
Anna-Lena Lamprecht (2012):
User-level workflow design. A bioinformatics perspective..
Dissertation.
Technische Universität Dortmund.
Submitted.
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.
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.
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 http://ceur-ws.org/Vol-559.
Hans Langmaack (1973):
On Correct Procedure Parameter Transmission in Higher Programming Languages.
Acta Inf. 2,
pp. 110–142,
doi:10.1007/BF00264026.
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.
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.
Tiziana Margaria (2007):
Service Is in the Eyes of the Beholder.
IEEE Computer 40,
pp. 33–37,
doi:10.1109/MC.2007.398.
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.
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.
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.
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.
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.
Matthias Klusch (2013):
Semantic Service Selection (S3): Retrieval Performance Evaluation of Matchmakers for Semantic Web Services.
Available at http://www-ags.dfki.uni-sb.de/~klusch/s3/.
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.
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.
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.
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.
Johannes Neubauer & Bernhard Steffen (2013):
Plug&Play Higher-Order Process Integration.
to appear.
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.
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.
David A. Schmidt (1994):
The structure of typed programming languages.
Foundations of computing series.
MIT Press.
David A. Schmidt (1996):
Programming Language Semantics.
ACM Comput. Surv. 28(1),
pp. 265–267,
doi:10.1145/234313.234419.
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.
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.
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.
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.
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.
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.
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.
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.
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.