@inproceedings {INPROC-2018-41,
   author = {Michael Wurster and Uwe Breitenb{\"u}cher and Oliver Kopp and Frank Leymann},
   title = {{Modeling and Automated Execution of Application Deployment Tests}},
   booktitle = {Proceedings of the IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC)},
   publisher = {IEEE Computer Society},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {171--180},
   type = {Konferenz-Beitrag},
   month = {Oktober},
   year = {2018},
   doi = {10.1109/EDOC.2018.00030},
   keywords = {Testing; Declarative Application Deployment; Test Automation; Model-based Testing; TOSCA},
   language = {Englisch},
   cr-category = {D.2.5 Software Engineering Testing and Debugging,     D.2.9 Software Engineering Management},
   contact = {Michael Wurster michael.wurster@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {In recent years, many deployment systems have been developed that process deployment models to automatically provision applications. The main objective of these systems is to shorten delivery times and to ensure a proper execution of the deployment process. However, these systems mainly focus on the correct technical execution of the deployment, but do not check whether the deployed application is working properly. Especially in DevOps scenarios where applications are modified frequently, this can quickly lead to broken deployments, for example, if a wrong component version was specified in the deployment model that has not been adapted to a new database schema. Ironically, even hardly noticeable errors in deployment models quickly result in technically successful deployments, which do not work at all. In this paper, we tackle these issues. We present a modeling concept that enables developers to define deployment tests directly along with the deployment model. These tests are then automatically run by a runtime after deployment to verify that the application is working properly. To validate the technical feasibility of the approach, we applied the concept to TOSCA and extended an existing open source TOSCA runtime.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2018-41&engl=0}
}
@inproceedings {INPROC-2018-38,
   author = {Andreas Liebing and Lutz Ashauer and Uwe Breitenb{\"u}cher and Thomas G{\"u}nther and Michael Hahn and K{\'a}lm{\'a}n K{\'e}pes and Oliver Kopp and Frank Leymann and Bernhard Mitschang and Ana C. Franco da Silva and Ronald Steinke},
   title = {{The SmartOrchestra Platform: A Configurable Smart Service Platform for IoT Systems}},
   booktitle = {Papers from the 12th Advanced Summer School on Service-Oriented Computing (SummerSoC 2018)},
   publisher = {IBM Research Division},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {14--21},
   type = {Konferenz-Beitrag},
   month = {Oktober},
   year = {2018},
   keywords = {SmartOrchestra Platform; Smart Services; Cyber-Physical Systems; Internet of Things},
   language = {Englisch},
   cr-category = {K.6 Management of Computing and Information Systems,     D.2.7 Software Engineering Distribution, Maintenance, and Enhancement,     D.2.12 Software Engineering Interoperability},
   ee = {https://www.2018.summersoc.eu/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The Internet of Things is growing rapidly while still missing a universal operat-ing and management platform for multiple diverse use cases. Such a platform should provide all necessary functionalities and the underlying infrastructure for the setup, execution and composition of Smart Services. The concept of Smart Services enables the connection and integration of cyber-physical systems (CPS) and technologies (i.e., sensors and actuators) with business-related applications and services. Therefore, the SmartOrchestra Platform provides an open and standards-based service platform for the utilization of public administrative and business-related Smart Services. It combines the features of an operating plat-form, a marketplace, a broker, and a notary for a cloud-based operation of Smart Services. Thus, users of cyber-physical systems are free to choose their control applications, no matter what device they are using (e.g., smartphone, tablet or personal computer) and they also become independent of the manufacturers’ software. This will enable new business opportunities for different stakeholders in the market and allows flexibly composing Smart Services.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2018-38&engl=0}
}
@inproceedings {INPROC-2018-36,
   author = {Vladimir Yussupov and Michael Falkenthal and Oliver Kopp and Frank Leymann and Michael Zimmermann},
   title = {{Secure Collaborative Development of Cloud Application Deployment Models}},
   booktitle = {Proceedings of The Twelfth International Conference on Emerging Security Information, Systems and Technologies (SECURWARE 2018)},
   editor = {Georg Yee and Stefan Rass and Stefan Schauer and Martin Latzenhofer},
   publisher = {Xpert Publishing Services},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {48--57},
   type = {Konferenz-Beitrag},
   month = {September},
   year = {2018},
   isbn = {9781612086613},
   language = {Englisch},
   cr-category = {D.2.11 Software Engineering Software Architectures,     D.4.6 Operating Systems Security and Protection},
   contact = {Vladimir Yussupov yussupov@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2018-36&engl=0}
}
@inproceedings {INPROC-2018-33,
   author = {Karoline Saatkamp and Uwe Breitenb{\"u}cher and Oliver Kopp and Frank Leymann},
   title = {{Application Scenarios for Automated Problem Detection in TOSCA Topologies by Formalized Patterns}},
   booktitle = {Papers From the 12th Advanced Summer School of Service-Oriented Computing (SummerSOC 2018)},
   publisher = {IBM Research Division},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {43--53},
   type = {Konferenz-Beitrag},
   month = {Oktober},
   year = {2018},
   keywords = {Cloud Computing Patterns; Formalization; Prolog; TOSCA},
   language = {Englisch},
   cr-category = {C.2.4 Distributed Systems,     D.2.7 Software Engineering Distribution, Maintenance, and Enhancement,     K.6 Management of Computing and Information Systems},
   ee = {https://www.2018.summersoc.eu/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2018-33&engl=0}
}
@inproceedings {INPROC-2018-18,
   author = {Ana Cristina Franco da Silva and Pascal Hirmer and Uwe Breitenb{\"u}cher and Oliver Kopp and Bernhard Mitschang},
   title = {{TDLIoT: A Topic Description Language for the Internet of Things}},
   booktitle = {ICWE 2018: Web Engineering},
   editor = {Tommi Mikkonen and Ralf Klamma and Juan Hern{\'a}ndez},
   publisher = {Springer Berlin Heidelberg},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Computer Science (LNCS)},
   volume = {10845},
   pages = {333--348},
   type = {Konferenz-Beitrag},
   month = {Mai},
   year = {2018},
   doi = {10.1007/978-3-319-91662-0_27},
   keywords = {Internet of Things; Publish-subscribe; Description Language},
   language = {Englisch},
   cr-category = {K.6 Management of Computing and Information Systems,     D.2.12 Software Engineering Interoperability},
   ee = {https://link.springer.com/chapter/10.1007/978-3-319-91662-0_27},
   contact = {franco-da-silva@informatik.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2018-18&engl=0}
}
@inproceedings {INPROC-2018-12,
   author = {Oliver Kopp and Uwe Breitenb{\"u}cher and Tamara M{\"u}ller},
   title = {{CloudRef - Towards Collaborative Reference Management in the Cloud}},
   booktitle = {Proceedings of the 10th Central European Workshop on Services and their Composition (ZEUS 2018)},
   editor = {Nico Herzberg and Christoph Hochreiner and Oliver Kopp and J{\"o}rg Lenhard},
   publisher = {CEUR-WS.org},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {CEUR Workshop Proceedings},
   volume = {2072},
   pages = {63--68},
   type = {Workshop-Beitrag},
   month = {April},
   year = {2018},
   issn = {1613-0073},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://ceur-ws.org/Vol-2072/,     http://ceur-ws.org/Vol-2072/paper10.pdf},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2018-12&engl=0}
}
@inproceedings {INPROC-2018-11,
   author = {Oliver Kopp and Anita Armbruster and Olaf Zimmermann},
   title = {{Markdown Architectural Decision Records: Format and Tool Support}},
   booktitle = {Proceedings of the 10th Central European Workshop on Services and their Composition (ZEUS 2018)},
   editor = {Nico Herzberg and Christoph Hochreiner and Oliver Kopp and J{\"o}rg Lenhard},
   publisher = {CEUR-WS.org},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {CEUR Workshop Proceedings},
   volume = {2072},
   pages = {55--62},
   type = {Konferenz-Beitrag},
   month = {April},
   year = {2018},
   issn = {1613-0073},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://ceur-ws.org/Vol-2072/,     http://ceur-ws.org/Vol-2072/paper9.pdf},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2018-11&engl=0}
}
@inproceedings {INPROC-2017-66,
   author = {Andreas Bader and Oliver Kopp},
   title = {{Towards DBCloudBench - A Scenario-Based Database Benchmarking Framework}},
   booktitle = {Proceedings of the 11th Advanced Summer School on Service Oriented Computing},
   editor = {Johanna Barzen and Rania Khalaf and Frank Leymann and Bernhard Mitschang},
   publisher = {IBM Research Report},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {IBM Research Report},
   volume = {RC25670 (WAT1710-015)},
   pages = {53--5456},
   type = {Konferenz-Beitrag},
   month = {Oktober},
   year = {2017},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2017-66/INPROC-2017-66.pdf,     http://domino.watson.ibm.com/library/CyberDig.nsf/1e4115aea78b6e7c85256b360066f0d4/b7ed36faf73949a4852581e7006b2a55!OpenDocument},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware},
   abstract = {Many benchmarks can be used for measuring performance of different types of databases. To automate the process of benchmark- ing databases, this paper outlines DBCloudBench. It can be used to automatically setup a scenario and perform a benchmark run using a standards-based approach. The databases and benchmarks are stored in {\^a}€ścloud services archives{\^a}€ť allowing them to be reused and combined as necessary. Each benchmark is accompanied with an adapter for running the benchmark on certain database systems while using DBCloudBench.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2017-66&engl=0}
}
@inproceedings {INPROC-2017-53,
   author = {Sebastian Wagner and Uwe Breitenb{\"u}cher and Oliver Kopp and Andreas Wei{\ss} and Frank Leymann},
   title = {{Fostering the Reuse of TOSCA-based Applications by Merging BPEL Management Plans}},
   booktitle = {Cloud Computing and Services Science: 6th International Conference (CLOSER 2016) - Revised Selected Papers},
   publisher = {Springer International Publishing},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Communications in Computer and Information Science},
   volume = {740},
   pages = {232--254},
   type = {Konferenz-Beitrag},
   month = {Juli},
   year = {2017},
   isbn = {978-3-319-62594-2},
   doi = {10.1007/978-3-319-62594-2_12},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2017-53&engl=0}
}
@inproceedings {INPROC-2017-39,
   author = {Felix W. Baumann and Oliver Kopp and Dieter Roller},
   title = {{Abstract API for 3D printing hardware and software resources}},
   booktitle = {Int J Adv Manuf Technol},
   publisher = {Springer Nature},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   type = {Konferenz-Beitrag},
   month = {M{\"a}rz},
   year = {2017},
   issn = {0268-3768},
   doi = {10.1007/s00170-017-0260-y},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen;     Universit{\"a}t Stuttgart, Institut f{\"u}r Rechnergest{\"u}tzte Ingenieurssysteme, Rechnergest{\"u}tzte Ingenieursysteme},
   abstract = {},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2017-39&engl=0}
}
@inproceedings {INPROC-2017-28,
   author = {Ana Cristina Franco da Silva and Uwe Breitenb{\"u}cher and Pascal Hirmer and K{\'a}lm{\'a}n K{\'e}pes and Oliver Kopp and Frank Leymann and Bernhard Mitschang and Ronald Steinke},
   title = {{Internet of Things Out of the Box: Using TOSCA for Automating the Deployment of IoT Environments}},
   booktitle = {Proceedings of the 7th International Conference on Cloud Computing and Services Science (CLOSER)},
   editor = {Donald Ferguson and V{\'\i}ctor M{\'e}ndez Mu{\~n}oz and Jorge Cardoso and Markus Helfert and Claus Pahl},
   publisher = {SciTePress Digital Library},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {ScitePress},
   volume = {1},
   pages = {358--367},
   type = {Konferenz-Beitrag},
   month = {Juni},
   year = {2017},
   isbn = {978-989-758-243-1},
   doi = {10.5220/0006243303580367},
   keywords = {Internet of Things; TOSCA; Application Deployment; Device Software},
   language = {Englisch},
   cr-category = {K.6 Management of Computing and Information Systems,     D.2.12 Software Engineering Interoperability},
   ee = {http://scitepress.org/DigitalLibrary/PublicationsDetail.aspx?ID=AuNrRtS4cNc=&t=1},
   contact = {franco-da-silva@ipvs.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2017-28&engl=0}
}
@inproceedings {INPROC-2017-27,
   author = {C. Timurhan Sungur and Uwe Breitenb{\"u}cher and Oliver Kopp and Frank Leymann and Andreas Wei{\ss}},
   title = {{Identifying Relevant Resources and Relevant Capabilities of Informal Processes}},
   booktitle = {Proceedings of the 19th International Conference on Enterprise Information Systems (ICEIS 2017)},
   publisher = {SciTePress},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {295--307},
   type = {Konferenz-Beitrag},
   month = {April},
   year = {2017},
   keywords = {Informal Processes; Unstructured Processes; Resource Discovery; Capability Discovery; Relevant Resources; Relevant Capabilities},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation,     H.3.3 Information Search and Retrieval,     H.3.4 Information Storage and Retrieval Systems and Software,     H.5.3 Group and Organization Interfaces},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2017-27&engl=0}
}
@inproceedings {INPROC-2017-25,
   author = {Karoline Saatkamp and Uwe Breitenb{\"u}cher and Oliver Kopp and Frank Leymann},
   title = {{Topology Splitting and Matching for Multi-Cloud Deployments}},
   booktitle = {Proceedings of the 7th International Conference on Cloud Computing and Services Science (CLOSER 2017)},
   publisher = {SciTePress},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {247--258},
   type = {Konferenz-Beitrag},
   month = {April},
   year = {2017},
   isbn = {978-989-758-243-1},
   keywords = {Application Deployment; Distribution; Splitting; Cloud Computing; TOSCA},
   language = {Englisch},
   cr-category = {G.0 Mathematics of Computing General,     H.0 Information Systems General},
   ee = {http://closer.scitevents.org},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {For automating the deployment of applications in cloud environments, a variety of deployment automation technologies have been developed in recent years. These technologies enable specifying the desired deployment in the form of deployment models, which can be automatically executed. However, changing internal or external conditions often lead to strategical decisions that must be reflected in all deployment models of a company’s IT. Unfortunately, while creating such deployment models is difficult, adapting them is even harder as typically a variety of technologies must be replaced. In this paper, we present the Split and Match Method that enables splitting a deployment model following a manually specified distribution on the business layer. The method also enables automatically deploying the resulting model without the need for a manual intervention and, thus, significantly eases reflecting strategical decisions on the technical deployment layer. We present a formalization and algorithms to automate the steps of the method. Moreover, we validate the practical feasibility of the presented concepts by a prototype based on the TOSCA standard and the OpenTOSCA ecosystem.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2017-25&engl=0}
}
@inproceedings {INPROC-2017-24,
   author = {Oliver Kopp and Uwe Breitenb{\"u}cher},
   title = {{Choreographies are Key for Distributed Cloud Application Provisioning}},
   booktitle = {ZEUS},
   editor = {Oliver Kopp and J{\"o}rg Lenhard and Cesare Pautasso},
   publisher = {CEUR-WS.org},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {CEUR Workshop Proceedings},
   volume = {1826},
   pages = {67--70},
   type = {Workshop-Beitrag},
   month = {April},
   year = {2017},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://zeus-workshop.eu/2017/,     http://ceur-ws.org/Vol-1826/paper11.pdf},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2017-24&engl=0}
}
@inproceedings {INPROC-2017-12,
   author = {Christian Endres and Uwe Breitenb{\"u}cher and Michael Falkenthal and Oliver Kopp and Frank Leymann and Johannes Wettinger},
   title = {{Declarative vs. Imperative: Two Modeling Patterns for the Automated Deployment of Applications}},
   booktitle = {Proceedings of the 9th International Conference on Pervasive Patterns and Applications (PATTERNS)},
   publisher = {Xpert Publishing Services},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {22--27},
   type = {Konferenz-Beitrag},
   month = {Februar},
   year = {2017},
   isbn = {978-1-61208-534-0},
   keywords = {Modeling Patterns; Application Deployment and Management; Automation; Cloud Computing},
   language = {Englisch},
   cr-category = {C.0 Computer Systems Organization, General,     D.2.9 Software Engineering Management,     D.2.13 Software Engineering Reusable Software},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {In the field of cloud computing, the automated deployment of applications is of vital importance and supported by diverse management technologies. However, currently there is no systematic knowledge collection that points out commonalities, capabilities, and differences of these approaches. This paper aims at identifying common modeling principles employed by technologies to create automatically executable models that describe the deployment of applications. We discuss two fundamental approaches for modeling the automated deployment of applications: imperative procedural models and declarative models. For these two approaches, we identified (i) basic pattern primitives and (ii) documented these approaches as patterns that point out frequently occurring problems in certain contexts including proven modeling solutions. The introduced patterns foster the understanding of common application deployment concepts, are validated regarding their occurrence in established state-of-the-art technologies, and enable the transfer of that knowledge.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2017-12&engl=0}
}
@inproceedings {INPROC-2017-06,
   author = {Andreas Bader and Oliver Kopp and Michael Falkenthal},
   title = {{Survey and Comparison of Open Source Time Series Databases}},
   booktitle = {Datenbanksysteme f{\"u}r Business, Technologie und Web (BTW2017) -- Workshopband},
   editor = {Bernhard Mitschang and Norbert Ritter and Holger Schwarz and Meike Klettke and Andreas Thor and Oliver Kopp and Matthieas Wieland},
   publisher = {K{\"o}llen Druck+Verlag GmbH},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Informatics (LNI)},
   volume = {P-266},
   pages = {249--268},
   type = {Workshop-Beitrag},
   month = {M{\"a}rz},
   year = {2017},
   isbn = {978-3-88579-660-2},
   issn = {1617-5468},
   language = {Englisch},
   cr-category = {H.2.4 Database Management Systems,     H.3.4 Information Storage and Retrieval Systems and Software,     C.2.4 Distributed Systems},
   ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2017-06/INPROC-2017-06.pdf,     http://btw2017.informatik.uni-stuttgart.de/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware},
   abstract = {},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2017-06&engl=0}
}
@inproceedings {INPROC-2016-55,
   author = {Felix Baumann and Oliver Kopp and Dieter Roller},
   title = {{Universal API for 3D Printers}},
   booktitle = {INFORMATIK},
   editor = {Heinrich C. Mayr and Martin Pinzger},
   publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Germany},
   series = {Lecture Notes in Informatics (LNI)},
   volume = {P-259},
   pages = {1611--1622},
   type = {Konferenz-Beitrag},
   month = {September},
   year = {2016},
   isbn = {978-3-88579-653-4},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://subs.emis.de/LNI/Proceedings/Proceedings259/1611.pdf,     http://www.informatik2016.de/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Informatik, Architektur von Anwendungssystemen;     Universit{\"a}t Stuttgart, Institut f{\"u}r Informatik, Rechnergest{\"u}tzte Ingenieursysteme},
   abstract = {With this research we propose the implementation of a overlay restful API for 3D printers to expose these machines to the Internet for utilization within cloud services. This is to abstract the underlying communication structure and means for accessing and controlling a 3D printer resource which is performed in one of three ways. The ®rst method of accessing and controlling a 3D printer is via a proprietary protocol or a printer driver in Microsoft Windows. The second method is the control via a USB-serial connection between a controlling computer and the printer resource. This protocol can either be proprietary or based on open standards like GCODE (ISO 6983-1:2009). The third method of control is based on physical storage devices attached to the printer with machining instructions stored on them. This research excludes the communication and control means involving proprietary protocols or drivers due complexity restrictions within the implementation. The approach is designed with extensibility in mind so that future access to proprietary protocols can be added to the control API. Printer resources with only the third control method available are also excluded from this research as they are currently lacking the capability to be remotely controlled. This work describes the design and implementation of an abstraction API layer between varying soft- and hardware components with an extensible architecture for future hard- and software components for within the domain of Additive Manufacturing (AM).},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2016-55&engl=0}
}
@inproceedings {INPROC-2016-39,
   author = {Ana Cristina Franco da Silva and Uwe Breitenb{\"u}cher and K{\'a}lm{\'a}n K{\'e}pes and Oliver Kopp and Frank Leymann},
   title = {{OpenTOSCA for IoT: Automating the Deployment of IoT Applications based on the Mosquitto Message Broker}},
   booktitle = {Proceedings of the 6th International Conference on the Internet of Things (IoT)},
   address = {Stuttgart},
   publisher = {ACM},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {181--182},
   type = {Demonstration},
   month = {November},
   year = {2016},
   isbn = {978-1-4503-4814-0/16/11},
   doi = {10.1145/2991561.2998464},
   keywords = {Internet of Things; Cyber-Physical Systems; Sensor Integration; Message Broker; Mosquitto; MQTT; TOSCA},
   language = {Englisch},
   cr-category = {K.6 Management of Computing and Information Systems,     D.2.12 Software Engineering Interoperability},
   contact = {For questions, feel free to contact me franco-da-silva@ipvs.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Automating the deployment of IoT applications is a complex challenge, especially if multiple heterogeneous sensors, actuators, and business components have to be integrated. This demonstration paper presents a generic, standards-based system that is able to fully automatically deploy IoT applications based on the TOSCA standard, the standardized MQTT messaging protocol, the Mosquitto message broker, and the runtime environment OpenTOSCA. We describe a demonstration scenario and explain in detail how this scenario can be deployed fully automatically using the mentioned technologies.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2016-39&engl=0}
}
@inproceedings {INPROC-2016-37,
   author = {Marigianna Skouradaki and Vasilios Andrikopoulos and Oliver Kopp and Frank Leymann},
   title = {{RoSE: Reoccurring Structures Detection in BPMN 2.0 Process Model Collections}},
   booktitle = {OTM Confederated International Conferences ''On the Move to Meaningful Internet Systems``},
   publisher = {Springer International Publishing},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {263--281},
   type = {Konferenz-Beitrag},
   month = {Oktober},
   year = {2016},
   isbn = {10.1007/978-3-319-48472-3_15},
   keywords = {BPMN 2.0; Process similarity; Graph matching; Structural similarity; Business process management},
   language = {Englisch},
   cr-category = {D.2.9 Software Engineering Management,     I.2.8 Problem Solving, Control Methods, and Search,     F.2.2 Nonnumerical Algorithms and Problems},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The detection of structural similarities of process models is frequently discussed in the literature. The state-of-the-art approaches for structural similarities of process models presume a known subgraph that is searched in a larger graph, and utilize behavioral and textual semantics to achieve their goal. In this paper we propose an approach to detect reoccurring structures in a collection of BPMN2.0 process models, without the knowledge of a subgraph to be searched, and by focusing solely on the structural characteristics of the process models. The proposed approach deals with the problems of subgraph isomorphism, frequent pattern discovery and maximum common subgraph isomorphism, which are mentioned as NP-hard in the literature. In this work we present a formal model and a novel algorithm for the detection of reoccurring structures in a collection of BPMN 2.0 process models. We then apply the algorithm to a collection of 1,806 real-world process models and provide a quantitative and qualitative analysis of the results.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2016-37&engl=0}
}
@inproceedings {INPROC-2016-36,
   author = {Marigianna Skouradaki and Tayyaba Azad and Uwe Breitenb{\"u}cher and Oliver Kopp and Frank Leymann},
   title = {{A Decision Support System for the Performance Benchmarking of Workflow Management Systems}},
   booktitle = {Proceedings of the 10th Symposium and Summer School On Service-Oriented Computing, SummerSOC 2016},
   publisher = {IBM},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {41--57},
   type = {Konferenz-Beitrag},
   month = {September},
   year = {2016},
   keywords = {Decision Support System; Benchmarking; Workflow Managament Systems},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation,     H.4.2 Information Systems Applications Types of Systems,     D.2 Software Engineering,     H.4.2 Information Systems Applications Types of Systems},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Along with the growing popularity of the Workflow Manage- ment Systems, the performance and e ciency of their underlying technol- ogy becomes crucial for the business. The development of a representative benchmark for Workflow Management Systems is very challenging, as one needs to realistically stress the di erent underlying components. However, structured information on how to do so is generally missing. Thus, the users need to arbitrarily make crucial design decisions or to study complex standard benchmarks before designing a benchmark. In this work, we propose a Decision Support System to ease the decision making of the desigh of benchmarks for Workflow Management Systems. We present the conceptual models of the Decision Support System and provide a prototypical implementation of it. Finally, we validate the functionality of our implementation with representative use cases.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2016-36&engl=0}
}
@inproceedings {INPROC-2016-28,
   author = {C. Timurhan Sungur and Uwe Breitenb{\"u}cher and Oliver Kopp and Frank Leymann and Mozi Song and Andreas Wei{\ss} and Christoph Mayr-Dorn and Schahram Dustdar},
   title = {{Identifying Relevant Resources and Relevant Capabilities of Collaborations - A Case Study}},
   booktitle = {Proceedings of the 2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW)},
   publisher = {IEEE Computer Society},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {352--355},
   type = {Demonstration},
   month = {September},
   year = {2016},
   keywords = {Organizational performance; resource discovery; capability discovery; relevant resources; relevant capabilities; informal processes; unstructured processes},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation,     H.3.3 Information Search and Retrieval,     H.3.4 Information Storage and Retrieval Systems and Software,     H.5.3 Group and Organization Interfaces},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Organizational processes involving collaborating resources, such as development processes, innovation processes, and decision-making processes, typically affect the performance of many organizations. Moreover, including required but missing, resources and capabilities of collaborations can improve the performance of corresponding processes drastically. In this work, we demonstrate the extended Informal Process Execution (InProXec) method for identifying resources and capabilities of collaborations using a case study on the Apache jclouds project.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2016-28&engl=0}
}
@inproceedings {INPROC-2016-24,
   author = {Alexander Bergmayr and Uwe Breitenb{\"u}cher and Oliver Kopp and Manuel Wimmer and Gerti Kappel and Frank Leymann},
   title = {{From Architecture Modeling to Application Provisioning for the Cloud by Combining UML and TOSCA}},
   booktitle = {Proceedings of the 6th International Conference on Cloud Computing and Services Science (CLOSER 2016)},
   publisher = {SCITEPRESS},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {97--108},
   type = {Konferenz-Beitrag},
   month = {April},
   year = {2016},
   doi = {10.5220/0005806900970108},
   isbn = {978-989-758-182-3},
   keywords = {TOSCA; UML; Model-Driven Software Engineering; Cloud Computing; Cloud Modeling},
   language = {Englisch},
   cr-category = {K.6 Management of Computing and Information Systems},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Recent efforts to standardize a deployment modeling language for cloud applications resulted in TOSCA. At the same time, the software modeling standard UML supports architecture modeling from different viewpoints. Combining these standards from cloud computing and software engineering would allow engineers to refine UML architectural models into TOSCA deployment models that enable automatic provisioning of cloud applications. However, this refinement task is currently carried out manually by recreating TOSCA models from UML models because a conceptual mapping between the two languages as basis for an automated translation is missing. In this paper, we exploit cloud modeling extensions to UML called CAML as the basis for our approach CAML2TOSCA, which aims at bridging UML and TOSCA. The validation of our approach shows that UML models can directly be injected into a TOSCA-based provisioning process. As current UML modeling tools lack cloud-based refinement support for deployment models, the added value of CAML2TOSCA is emphasized because it provides the glue between architecture modeling and application provisioning.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2016-24&engl=0}
}
@inproceedings {INPROC-2015-57,
   author = {Uwe Breitenb{\"u}cher and Pascal Hirmer and K{\'a}lm{\'a}n K{\'e}pes and Oliver Kopp and Frank Leymann and Matthias Wieland},
   title = {{A Situation-Aware Workflow Modelling Extension}},
   booktitle = {Proceedings of the 17th International Conference on Information Integration and Web-based Applications \& Services (iiWAS 2015)},
   publisher = {ACM},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {478--484},
   type = {Konferenz-Beitrag},
   month = {Dezember},
   year = {2015},
   keywords = {Situation-Aware Workflows; Workflow Modelling; Workflow Management; Situation-Awareness; Workflow Execution},
   language = {Englisch},
   cr-category = {D.3.3 Programming Language Constructs and Features,     H.4.1 Office Automation},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The automation of business processes is of vital importance for organizations to speed up their business and to lower costs. Due to emerging technologies in the field of Internet of Things, changing situations can be recognized automatically, which provides the basis for an automated adaptation of process executions in order to react to changing circumstances. Although approaches exist that enable creating self-adapting workflows, a systematic modelling approach that supports the specification of situational dependencies directly in workflow models is missing. In this paper, we tackle this issue by presenting a modelling extension called SitME that defines (i) an extensible Situation Event type, (ii) the concept of Situational Scopes, and (iii) a visual notation. As the introduced extension is language-independent, we apply the approach to BPEL to validate its practical feasibility.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2015-57&engl=0}
}
@inproceedings {INPROC-2015-55,
   author = {Uwe Breitenb{\"u}cher and Tobias Binz and Oliver Kopp and Frank Leymann and Johannes Wettinger},
   title = {{A Modelling Concept to Integrate Declarative and Imperative Cloud Application Provisioning Technologies}},
   booktitle = {Proceedings of the 5th International Conference on Cloud Computing and Services Science (CLOSER 2015)},
   publisher = {SciTePress},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {487--496},
   type = {Konferenz-Beitrag},
   month = {Mai},
   year = {2015},
   keywords = {Cloud Application Provisioning; Automation; Declarative Modelling; Imperative Modelling},
   language = {Englisch},
   cr-category = {K.6 Management of Computing and Information Systems},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Efficient application provisioning is one of the most important issues in Cloud Computing today. For that purpose, various provisioning automation technologies have been developed that can be generally categorized into two different flavors: (i) declarative approaches are based on describing the desired goals whereas (ii) imperative approaches are used to describe explicit sequences of low-level tasks. Since modern Cloud-based business applications become more and more complex, employ a plethora of heterogeneous components and services that must be wired, and require complex configurations, the two kinds of technologies have to be integrated to model the provisioning of such applications. In this paper, we present a process modelling concept that enables the seamless integration of imperative and declarative provisioning models and their technologies while preserving the strengths of both flavors. We validate the technical feasibility of the approach by applying the concept to the workflow language BPEL and evaluate its features by several criteria.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2015-55&engl=0}
}
@inproceedings {INPROC-2015-47,
   author = {Oliver Kopp and Michael Falkenthal and Niklas Hartmann and Frank Leymann and Holger Schwarz and Jessica Thomsen},
   title = {{Towards a Cloud-based Platform Architecture for a Decentralized Market Agent}},
   booktitle = {INFORMATIK 2015},
   editor = {Douglas Cunningham and Petra Hofstedt and Klaus Meer and Ingo Schmitt},
   publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Informatics (LNI)},
   volume = {P-246},
   pages = {69--80},
   type = {Workshop-Beitrag},
   month = {September},
   year = {2015},
   isbn = {978-3-88579-640-4},
   issn = {1617-5468},
   language = {Englisch},
   cr-category = {J.m Computer Applications Miscellaneous},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Reorganization of power generation, thereby replacing conventional energy sources by innovative renewable energy sources, demands a change in distribution grid structure and operation. The foreseen Decentralized Marked Agent is a new role in the energy market sector accomplishing not only trading on energy and operating reserve markets but also regulating flexibilities at the distribution grid level, such as energy storage and decentralized energy generators, and thereby considering system services and securing system stability. This paper presents requirements on an IT system to support this new role.We design an architecture matching these requirements and show how Cloud computing technology can be used to implement the architecture. This enables data concerning the distribution grid being automatically gathered and processed by dedicated algorithms, aiming to optimize cost efficient operation and the development of the distribution grid.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2015-47&engl=0}
}
@inproceedings {INPROC-2015-46,
   author = {Jessica Thomsen and Niklas Hartmann and Florian Klumpp and Thomas Erge and Michael Falkenthal and Oliver Kopp and Frank Leymann and Sven Stando and Nino Turek and Christoph Schlenzig and Holger Schwarz},
   title = {{Darstellung des Konzeptes -- DMA Decentralised Market Agent -- zur Bew{\"a}ltigung zuk{\"u}nftiger Herausforderungen in Verteilnetzen}},
   booktitle = {INFORMATIK 2015},
   editor = {Douglas Cunningham and Petra Hofstedt and Klaus Meer and Ingo Schmitt},
   publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Informatics (LNI)},
   volume = {P-246},
   pages = {53--67},
   type = {Workshop-Beitrag},
   month = {September},
   year = {2015},
   isbn = {978-3-88579-640-4},
   issn = {1617-5468},
   language = {Deutsch},
   cr-category = {J.m Computer Applications Miscellaneous},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {In der vorliegenden Ver{\"o}ffentlichung wird ein Konzept f{\"u}r einen neuen Marktakteur im Strommarkt vorgestellt, der im zuk{\"u}nftigen Smart Grid als Aggregator und Planer fungieren kann. Dieser Decentralised Market Agent – DMA – soll die Informationen aller vorhandenen Erzeugungs- und Speicheranlagen, Lasten und Netzinformationen auf Verteilnetzebene aggregieren sowie mit lokalen Akteuren und an den zentralen M{\"a}rkten agieren um einen kostenoptimalen Betrieb und Ausbau des Systems Verteilnetzes zu realisieren. Zur Handlungsf{\"a}higkeit dieser neuen Marktrolle bedarf es hochaufl{\"o}sender Messungen im Verteilnetz und einer „real-time“ Aufbereitung der Messdaten. Im vorliegenden Paper sollen das Konzept sowie die notwendigen Bausteine zur Erreichung der Handlungsf{\"a}higkeit des DMA vorgestellt sowie die zuk{\"u}nftig geplanten Untersuchungen erl{\"a}utert werden. Die detaillierte Entwicklung des Konzepts sowie weiterf{\"u}hrende Analysen sind Teil des Projektes NEMAR – Netzbewirtschaftung als neue Marktrolle, gef{\"o}rdert durch BMWi im Rahmen der Forschungsinitiative Zukunftsf{\"a}hige Stromnetze.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2015-46&engl=0}
}
@inproceedings {INPROC-2015-21,
   author = {Oliver Kopp and Tobias Binz and Uwe Breitenb{\"u}cher and Frank Leymann and Thomas Michelbach},
   title = {{A Domain-Specific Modeling Tool to Model Management Plans for Composite Applications}},
   booktitle = {Proceedings of the 7th Central European Workshop on Services and their Composition, ZEUS 2015},
   editor = {Thomas S. Heinze and Thomas M. Prinz},
   publisher = {CEUR Workshop Proceedings},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {CEUR Workshop Proceedings},
   volume = {1360},
   pages = {51--54},
   type = {Demonstration},
   month = {Mai},
   year = {2015},
   issn = {1613-0073},
   keywords = {TOSCA; BPMN Extension},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2015-21/INPROC-2015-21.pdf,     http://ceur-ws.org/Vol-1360/,     www.zeus-workshop.eu/2015/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {TOSCA is a standard to describe composite Cloud-applications and their management in a portable fashion. Thereby, BPMN4TOSCA is a proposed extension for BPMN to ease modeling of management plans. This demonstration presents a web-based modeling tool that supports an updated version of BPMN4TOSCA. The updated version supports direct wiring of data of tasks and events without the need of separate data objects.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2015-21&engl=0}
}
@inproceedings {INPROC-2015-20,
   author = {Sebastian Wagner and Oliver Kopp and Frank Leymann},
   title = {{Choreography-based Consolidation of Interacting Processes Having Activity-based Loops}},
   booktitle = {Proceedings of the 5th International Conference on Cloud Computing and Service Science (CLOSER 2015)},
   address = {Stuttgart},
   publisher = {SciTePress},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {284--296},
   type = {Konferenz-Beitrag},
   month = {Mai},
   year = {2015},
   keywords = {BPEL; Choreography; Process Consolidation; Loops},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   contact = {sebastian.wagner@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Choreographies describe the interaction between two or more parties. The interaction behavior description might contain loops. In case two parties want to merge their behavior to gain competitive advantage, the contained loop constructs also have to be merged. This paper presents a language-independent discussion on loop-structure pairing in choreographies and possible merging strategies. Thereby, the focus is turned on loops grouping child activities to be iterated. We show the feasibility of the merging strategies by applying them to BPEL-based choreographies.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2015-20&engl=0}
}
@inproceedings {INPROC-2014-53,
   author = {C. Timurhan Sungur and Oliver Kopp and Frank Leymann},
   title = {{Supporting Informal Processes}},
   booktitle = {The 6th Central European Workshop on Services and their Composition (ZEUS 2014)},
   address = {Potsdam},
   publisher = {CEUR-WS.org},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {56--63},
   type = {Workshop-Beitrag},
   month = {Februar},
   year = {2014},
   keywords = {ad-hoc processes, informal processes, informal processes support model, informal process essentials, informal process recommendations},
   language = {Englisch},
   cr-category = {H.1 Models and Principles,     K.1 The Computer Industry},
   contact = {timurhan.sungur@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {People play an indispensable role in many tasks in various domains and they collaborate to accomplish those tasks. During these collaborations software tools are used, data is created/consumed and best practices might be applied. These a priori unknown informal processes are conducted with the help of experience of their actual performers. In this work, a new concept of supporting these informal processes will be introduced, i.e., Informal Process Support Model, consisting of Informal Process Essentials and Informal Process Recommendations, which support informal processes based on the previous executions without limiting their flexibility. Furthermore, we will introduce how these concepts can be realized with the use of Topology Orchestration Specification for Cloud Applications (TOSCA).},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2014-53&engl=0}
}
@inproceedings {INPROC-2014-36,
   author = {Uwe Breitenb{\"u}cher and Tobias Binz and Oliver Kopp and Frank Leymann and Matthias Wieland},
   title = {{Context-aware Cloud Application Management}},
   booktitle = {Proceedings of the 4th International Conference on Cloud Computing and Services Science (CLOSER 2014)},
   publisher = {SciTePress},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {499--509},
   type = {Konferenz-Beitrag},
   month = {April},
   year = {2014},
   keywords = {Application Management; Context; Automation; Cloud Computing},
   language = {Englisch},
   cr-category = {K.6 Management of Computing and Information Systems},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The automation of application management is one of the most important issues in Cloud Computing. However, the steadily increasing number of different services and software components employed in composite Cloud applications leads to a higher risk of unexpected side effects when different technologies work together that bring their own proprietary management APIs. Due to unknown dependencies and the increasing diversity and heterogeneity of employed technologies, even small management tasks on single components may compromise the whole application functionality for reasons that are neither expected nor obvious to non-experts. In this paper, we tackle these issues by introducing a method that enables detecting and correcting unintended effects of management tasks in advance by analyzing the context in which tasks are executed. We validate the method practically and show how context-aware expert management knowledge can be applied fully automatically to running Cloud applications.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2014-36&engl=0}
}
@inproceedings {INPROC-2014-35,
   author = {Uwe Breitenb{\"u}cher and Tobias Binz and Oliver Kopp and Frank Leymann},
   title = {{Automating Cloud Application Management Using Management Idioms}},
   booktitle = {Proceedings of the Sixth International Conferences on Pervasive Patterns and Applications (PATTERNS 2014)},
   publisher = {Xpert Publishing Services},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {60--69},
   type = {Konferenz-Beitrag},
   month = {Mai},
   year = {2014},
   isbn = {978-1-61208-343-8},
   keywords = {Application Management; Automation; Patterns; Idioms; Cloud Computing},
   language = {Englisch},
   cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement,     D.2.9 Software Engineering Management,     K.6 Management of Computing and Information Systems,     K.6.3 Software Management},
   ee = {http://thinkmind.org/index.php?view=article&articleid=patterns_2014_2_40_70038},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Patterns are a well-established concept to document generic solutions for recurring problems in an abstract manner. Especially in Information Technology (IT), many pattern languages exist that ease creating application architectures, designs, and management processes. Their generic nature provides a powerful means to describe knowledge in an abstract fashion that can be reused and refined for concrete use cases. However, the required manual refinement currently prevents applying the concept of patterns efficiently in the domain of Cloud Application Management as automation is one of the most important requirements in Cloud Computing. This paper presents an approach that enables automating both (i) the refinement of management patterns for individual use cases and (ii) the execution of the refined solutions: we introduce Automated Management Idioms to refine patterns automatically and extend an existing management framework to generate executable management workflows based on these refinements. We validate the presented approach by a prototypical implementation to prove its technical feasibility and evaluate its extensibility, standards compliance, and complexity.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2014-35&engl=0}
}
@inproceedings {INPROC-2014-25,
   author = {Uwe Breitenb{\"u}cher and Tobias Binz and Oliver Kopp and Frank Leymann},
   title = {{Vinothek - A Self-Service Portal for TOSCA}},
   booktitle = {Proceedings of the 6th Central-European Workshop on Services and their Composition (ZEUS 2014)},
   editor = {Nico Herzberg and Matthias Kunze},
   publisher = {CEUR-WS.org},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {CEUR Workshop Proceedings},
   volume = {1140},
   pages = {69--72},
   type = {Demonstration},
   month = {M{\"a}rz},
   year = {2014},
   issn = {1613-0073},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://ceur-ws.org/Vol-1140/,     http://www.zeus-workshop.eu/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The TOSCA standard provides a means to describe Cloud applications and their management in a portable way. TOSCA-based applications can be deployed on various standard-compliant TOSCA Runtimes. Vinothek is a Web-based Self-Service Portal that hides the technical details of TOSCA Runtimes and provides end users a simple graphical interface to provision Cloud applications on demand. This demonstration shows how Vinothek supports automated provisioning of applications and how it facilitates integrating TOSCA Runtimes.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2014-25&engl=0}
}
@inproceedings {INPROC-2014-22,
   author = {Johannes Wettinger and Tobias Binz and Uwe Breitenb{\"u}cher and Oliver Kopp and Frank Leymann and Michael Zimmermann},
   title = {{Unified Invocation of Scripts and Services for Provisioning, Deployment, and Management of Cloud Applications Based on TOSCA}},
   booktitle = {Proceedings of the 4th International Conference on Cloud Computing and Services Science (CLOSER 2014)},
   publisher = {SciTePress},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {559--568},
   type = {Konferenz-Beitrag},
   month = {April},
   year = {2014},
   language = {Englisch},
   cr-category = {K.6 Management of Computing and Information Systems,     C.2.4 Distributed Systems},
   contact = {E-mail: johannes.wettinger@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {There are several script-centric approaches, APIs, and tools available to implement automated provisioning, deployment, and management of applications in the Cloud. The automation of all these aspects is key for reducing costs. However, most of these approaches are script-centric and provide proprietary solutions employing different invocation mechanisms, interfaces, and state models. Moreover, most Cloud providers offer proprietary Web services or APIs to be used for provisioning and management purposes. Consequently, it is hard to create deployment and management plans integrating several of these approaches. The goal of our work is to come up with an approach for unified invocation of scripts and services without handling each proprietary interface separately. A prototype realizes the presented approach in a standards-based manner using the Topology and Orchestration Specification for Cloud Applications (TOSCA).},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2014-22&engl=0}
}
@inproceedings {INPROC-2014-21,
   author = {Uwe Breitenb{\"u}cher and Tobias Binz and K{\'a}lm{\'a}n K{\'e}pes and Oliver Kopp and Frank Leymann and Johannes Wettinger},
   title = {{Combining Declarative and Imperative Cloud Application Provisioning based on TOSCA}},
   booktitle = {Proceedings of the IEEE International Conference on Cloud Engineering (IC2E)},
   publisher = {IEEE Computer Society},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {87--96},
   type = {Konferenz-Beitrag},
   month = {M{\"a}rz},
   year = {2014},
   doi = {10.1109/IC2E.2014.56},
   language = {Englisch},
   cr-category = {K.6 Management of Computing and Information Systems},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The automation of application provisioning is one of the most important issues in Cloud Computing. The Topology and Orchestration Specification for Cloud Applications (TOSCA) supports automating provisioning by two different flavors: (i) declarative processing is based on interpreting application topology models by a runtime that infers provisioning logic whereas (ii) imperative processing employs provisioning plans that explicitly describe the provisioning tasks to be executed. Both flavors come with benefits and drawbacks. This paper presents a means to combine both flavors to resolve drawbacks and to profit from benefits of both worlds: we propose a standards-based approach to generate provisioning plans based on TOSCA topology models. These provisioning plans are workflows that can be executed fully automatically and may be customized by application developers after generation. We prove the technical feasibility of the approach by an end-to-end open source toolchain and evaluate its extensibility, performance, and complexity.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2014-21&engl=0}
}
@inproceedings {INPROC-2014-17,
   author = {Sebastian Wagner and Oliver Kopp and Frank Leymann},
   title = {{Choreography-based Consolidation of Multi-Instance BPEL Processes}},
   booktitle = {Proceedings of the 4th International Conference on Cloud Computing and Services Science (CLOSER 2014);Barcelona, Spain, April 3-5, 2014.},
   editor = {SciTePress},
   address = {Barcelona},
   publisher = {SciTePress},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {1--12},
   type = {Konferenz-Beitrag},
   month = {April},
   year = {2014},
   keywords = {BPEL; Choreography; Process Consolidation; Multi-Instance Interactions},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   contact = {sebastian.wagner@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Interaction behavior between processes of different organizational units such as an enterprise and its suppliers can be modeled by choreographies. When organizations decide, for instance, to gain more control about their suppliers to minimize transaction costs, they may decide to insource these companies. This especially includes the integration of the partner processes into the organization’s processes. Existing works are able to merge single-instance BPEL process interactions where each process model is only instantiated once during choreography execution. However, there exist different interaction scenarios where one process interacts with several instances of another process and where the number of instances involved is not known at design time but determined during runtime of the choreography. In this work we investigate these interaction scenarios and extend the process consolidation approach in a way that we can emulate the multi-instance interaction scenarios in the merged process model.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2014-17&engl=0}
}
@inproceedings {INPROC-2013-50,
   author = {Tobias Binz and Uwe Breitenb{\"u}cher and Oliver Kopp and Frank Leymann},
   title = {{Automated Discovery and Maintenance of Enterprise Topology Graphs}},
   booktitle = {Proceedings of the 6th IEEE International Conference on Service Oriented Computing \& Applications (SOCA 2013)},
   publisher = {IEEE Computer Society Conference Publishing Services},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {126--134},
   type = {Konferenz-Beitrag},
   month = {Dezember},
   year = {2013},
   doi = {10.1109/SOCA.2013.29},
   keywords = {Discovery; Maintenance; Enterprise Topology Graph; Enterprise IT; Crawling},
   language = {Englisch},
   cr-category = {K.6 Management of Computing and Information Systems,     D.2.12 Software Engineering Interoperability},
   contact = {a href=``http://www.iaas.uni-stuttgart.de/institut/mitarbeiter/binz''Tobias Binz/ a},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Enterprise Topology Graphs (ETGs) represent a snapshot of the complete enterprise IT, including all its applications, processes, services, components, and their dependencies. In the past, ETGs have been applied in analysis, optimization, and adaptation of enterprise IT. But how to discover and maintain a complete, accurate, fresh, and fine-grained Enterprise Topology Graph? Existing approaches either do not provide enough technical details or do not cover the complete scope of Enterprise Topology Graphs. Although existing tools are able to discover valuable information, there is no means for seamless integration. This paper proposes a plugin-based approach and extensible framework for automated discovery and maintenance of Enterprise Topology Graphs. The approach is able to integrate various kinds of tools and techniques into a unified model. We implemented the proposed approach in a prototype and applied it to different scenarios. Due to the vital role of discovery plugins in our approach, we support plugin development with a systematic testing method and discuss the lessons we learned. The results presented in this paper enable new ways of enterprise IT optimization, analysis, and adaptation. Furthermore, they unlock the full potential of past research, which previously required manual modeling of ETGs.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2013-50&engl=0}
}
@inproceedings {INPROC-2013-49,
   author = {Uwe Breitenb{\"u}cher and Tobias Binz and Oliver Kopp and Frank Leymann and Johannes Wettinger},
   title = {{Integrated Cloud Application Provisioning: Interconnecting Service-Centric and Script-Centric Management Technologies}},
   booktitle = {Proceedings of the 21st International Conference on Cooperative Information Systems (CoopIS 2013)},
   address = {Stuttgart},
   publisher = {Springer Berlin Heidelberg},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Computer Science},
   volume = {8185},
   pages = {130--148},
   type = {Konferenz-Beitrag},
   month = {September},
   year = {2013},
   isbn = {978-3-642-41029-1},
   doi = {10.1007/978-3-642-41030-7_9},
   keywords = {Cloud Application Provisioning; Integration; Management Scripts; Management Services},
   language = {Englisch},
   cr-category = {K.6 Management of Computing and Information Systems},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Modern Cloud applications employ a plethora of components and XaaS offerings that need to be configured during provisioning. Due to increased heterogeneity, complexity is growing and existing approaches reach their limits if multiple different provisioning and configuration technologies are involved. They are not able to integrate them in an automated, flexible, and customizable way. Especially combining proprietary management services with script-centric configuration management technologies is currently a major challenge. To enable automated provisioning of such applications, we introduce Generic Lifecycle Management Planlets that provide a means to combine custom provisioning logic with common provisioning tasks. We implemented planlets for provisioning and customization of components and XaaS offerings based on both SOAP and RESTful Web services as well as configuration management technologies such as Chef to show the feasibility of the approach. By using our approach, multiple technologies can be combined seamlessly.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2013-49&engl=0}
}
@inproceedings {INPROC-2013-48,
   author = {Uwe Breitenb{\"u}cher and Tobias Binz and Oliver Kopp and Frank Leymann and Matthias Wieland},
   title = {{Policy-Aware Provisioning of Cloud Applications}},
   booktitle = {SECURWARE 2013, The Seventh International Conference on Emerging Security Information, Systems and Technologies},
   publisher = {Xpert Publishing Services},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {86--95},
   type = {Konferenz-Beitrag},
   month = {August},
   year = {2013},
   isbn = {978-1-61208-298-1},
   keywords = {Cloud Applications; Provisioning; Security; Policies},
   language = {Englisch},
   cr-category = {K.6 Management of Computing and Information Systems},
   ee = {http://www.thinkmind.org/index.php?view=article&articleid=securware_2013_4_40_30149},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The automated provisioning of complex composite Cloud applications is a major issue and of vital importance in Cloud computing. It is key to enable Cloud properties such as pay-as-you-go pricing, on-demand self-service, and elasticity. The functional aspects of provisioning such as instantiating virtual machines or installing software components are covered by several technologies on different technical levels: some are targeted to a pretty high level such as Amazon’s Cloud Formation, some deal with deep technical issues based on scripts such as Chef or Puppet. However, the currently available solutions are tightly coupled to individual technologies without being able to consider non-functional security requirements in a non-proprietary and interoperable way. In this paper, we present a concept and framework extension enabling the integration of heterogeneous provisioning technologies under compliance with non-functional aspects defined by policies.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2013-48&engl=0}
}
@inproceedings {INPROC-2013-46,
   author = {Oliver Kopp and Tobias Binz and Uwe Breitenb{\"u}cher and Frank Leymann},
   title = {{Winery - A Modeling Tool for TOSCA-based Cloud Applications}},
   booktitle = {Proceedings of 11th International Conference on Service-Oriented Computing (ICSOC'13)},
   publisher = {Springer Berlin Heidelberg},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {LNCS},
   volume = {8274},
   pages = {700--704},
   type = {Demonstration},
   month = {Dezember},
   year = {2013},
   doi = {10.1007/978-3-642-45005-1_64},
   keywords = {Cloud Applications; Modeling; TOSCA; Management; Portability},
   language = {Englisch},
   cr-category = {K.1 The Computer Industry,     K.6.4 System Management,     D.2.12 Software Engineering Interoperability},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {TOSCA is a new OASIS standard to describe composite applications and their management. The structure of an application is described by a topology, whereas management plans describe the application's management functionalities, e.g., provisioning or migration. Winery is a tool offering an HTML5-based environment for graph-based modeling of application topologies and defining reusable component and relationship types. Thereby, it uses TOSCA as internal storage, import, and export format. This demonstration shows how Winery supports modeling of TOSCA-based applications. We use the school management software Moodle as running example throughout the paper.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2013-46&engl=0}
}
@inproceedings {INPROC-2013-45,
   author = {Tobias Binz and Uwe Breitenb{\"u}cher and Florian Haupt and Oliver Kopp and Frank Leymann and Alexander Nowak and Sebastian Wagner},
   title = {{OpenTOSCA - A Runtime for TOSCA-based Cloud Applications}},
   booktitle = {Proceedings of 11th International Conference on Service-Oriented Computing (ICSOC'13)},
   publisher = {Springer Berlin Heidelberg},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {LNCS},
   volume = {8274},
   pages = {692--695},
   type = {Demonstration},
   month = {Dezember},
   year = {2013},
   doi = {10.1007/978-3-642-45005-1_62},
   keywords = {TOSCA; Cloud Applications; Automation; Management; Portability},
   language = {Englisch},
   cr-category = {K.1 The Computer Industry,     K.6.4 System Management,     D.2.12 Software Engineering Interoperability},
   contact = {a href=``http://www.iaas.uni-stuttgart.de/institut/mitarbeiter/binz''Tobias Binz/ a},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {TOSCA is a new standard facilitating platform independent description of Cloud applications. OpenTOSCA is a runtime for TOSCA-based Cloud applications. The runtime enables fully automated plan-based deployment and management of applications defined in the OASIS TOSCA packaging format CSAR. This paper outlines the core concepts of TOSCA and provides a system overview on OpenTOSCA by describing its modular and extensible architecture, as well as presenting our prototypical implementation. We demonstrate the use of OpenTOSCA by deploying and instantiating the school management and learning application Moodle.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2013-45&engl=0}
}
@inproceedings {INPROC-2013-43,
   author = {Tim Waizenegger and Matthias Wieland and Tobias Binz and Uwe Breitenb{\"u}cher and Florian Haupt and Oliver Kopp and Frank Leymann and Bernhard Mitschang and Alexander Nowak and Sebastian Wagner},
   title = {{Policy4TOSCA: A Policy-Aware Cloud Service Provisioning Approach to Enable Secure Cloud Computing}},
   booktitle = {On the Move to Meaningful Internet Systems: OTM 2013 Conferences},
   editor = {Robert Meersman and Herve Panetto and Tharam Dillon and Johann Eder and Zohra Bellahsene and Norbert Ritter and Pieter De Leenheer and Dou Deijing},
   address = {Heidelberg},
   publisher = {Springer Berlin Heidelberg},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Computer Science (LNCS)},
   volume = {8185},
   pages = {360--376},
   type = {Konferenz-Beitrag},
   month = {September},
   year = {2013},
   isbn = {978-3-642-41029-1},
   doi = {10.1007/978-3-642-41030-7_26},
   keywords = {Cloud Computing, TOSCA, Cloud Service, Cloud Management, Policy-Framework, Security, Green-IT, Sustainable Cloud Service},
   language = {Englisch},
   cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement,     D.2.9 Software Engineering Management,     D.2.13 Software Engineering Reusable Software},
   contact = {tim.waizenegger@informatik.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {With the growing adoption of Cloud Computing, automated deployment and provisioning systems for Cloud applications are becoming more prevalent. They help to reduce the onboarding costs for new customers as well as the financial impact of managing Cloud Services by automating these previously manual tasks. With the widespread use of such systems, the adoption of a common standard for describing Cloud applications will provide a crucial advantage by enabling reusable and portable applications. TOSCA, a newly published standard by OASIS with broad industry participation provides this opportunity. Besides the technical requirements of running and managing applications in the cloud, non-functional requirements, like cost, security, and environmental issues, are of special importance when moving towards the automated provisioning and management of Cloud applications. In this paper we demonstrate how non-functional requirements are defined in TOSCA using policies. We propose a mechanism for automatic processing of these formal policy definitions in a TOSCA runtime environment that we have developed based on the proposed architecture of the TOSCA primer. In order to evaluate our approach, we present prototypical implementations of security policies for encrypting databases and for limiting the geographical location of the Cloud servers. We demonstrate how our runtime environment is ensuring these policies and show how they affect the deployment of the application.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2013-43&engl=0}
}
@inproceedings {INPROC-2013-39,
   author = {Christoph Demont and Uwe Breitenb{\"u}cher and Oliver Kopp and Frank Leymann and Johannes Wettinger},
   title = {{Towards Integrating TOSCA and ITIL}},
   booktitle = {Proceedings of the 5th Central-European Workshop on Services and their Composition (ZEUS 2013)},
   editor = {Oliver Kopp and Niels Lohmann},
   publisher = {CEUR-WS.org},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {CEUR Workshop Proceedings},
   volume = {1029},
   pages = {28--31},
   type = {Workshop-Beitrag},
   month = {September},
   year = {2013},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The integration of low level management functionalities provided by TOSCA and high level processes as defined by ITIL may provide significant improvement opportunities to the application provider as on both levels workflow technology can be employed. In this paper, we present Key Performance Indicator Analysis Plans as first idea how both approaches can be integrated.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2013-39&engl=0}
}
@inproceedings {INPROC-2013-37,
   author = {C. Timurhan Sungur and Patrik Spiess and Nina Oertel and Oliver Kopp},
   title = {{Extending BPMN for Wireless Sensor Networks}},
   booktitle = {2013 IEEE International Conference on Business Informatics},
   publisher = {IEEE},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {109--116},
   type = {Konferenz-Beitrag},
   month = {Juli},
   year = {2013},
   doi = {10.1109/CBI.2013.24},
   keywords = {WSN; BPMN; Extension; makeSense; MDD},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://www.project-makesense.eu/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Wireless sensor/actuator networks (WSNs) are hard to program, in particular so for business domain experts that have a good understanding of how WSNs can best be used to improve business operations. This contributes to hampering WSN adoption by enterprises. As business process modeling languages such as the Business Process Model and Notation (BPMN) are well accessible to domain experts, they can be used as a tool to facilitate WSN programming. In this paper, we explore the properties of WSNs that set them apart from traditional IT systems and use these properties to derive requirements for BPMN extensions that are tailored to the specifics of WSNs. We furthermore propose a set of BPMN extensions that fulfill these requirements and demonstrate that they are better suited for modeling WSN processes than standard BPMN.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2013-37&engl=0}
}
@inproceedings {INPROC-2013-20,
   author = {Uwe Breitenb{\"u}cher and Tobias Binz and Oliver Kopp and Frank Leymann},
   title = {{Pattern-based Runtime Management of Composite Cloud Applications}},
   booktitle = {Proceedings of the 3rd International Conference on Cloud Computing and Service Science, CLOSER 2013},
   publisher = {SciTePress Digital Library},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   type = {Konferenz-Beitrag},
   month = {Mai},
   year = {2013},
   keywords = {Application Management; Composite Cloud Services; Deployment; Patterns; Planlets},
   language = {Englisch},
   cr-category = {K.6 Management of Computing and Information Systems},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The management of composite Cloud applications is a challenging problem as current available technologies provide management solutions that are tightly coupled to individual applications. Reusing and transferring management knowledge from one application to another in an automated way is a major issue. In this paper, we present a pattern-based approach which enables the decoupling of high level and low level management knowledge and show how both can be applied together fully automated to various kinds of applications.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2013-20&engl=0}
}
@inproceedings {INPROC-2013-19,
   author = {Jorge Cardoso and Tobias Binz and Uwe Breitenb{\"u}cher and Oliver Kopp and Frank Leymann},
   title = {{Cloud Computing Automation: Integrating USDL and TOSCA}},
   booktitle = {CAiSE 2013},
   publisher = {Springer},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {LNCS},
   volume = {7908},
   pages = {1--16},
   type = {Konferenz-Beitrag},
   month = {Juni},
   year = {2013},
   doi = {10.1007/978-3-642-38709-8_1},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Standardization efforts to simplify the management of cloud applications are being conducted in isolation. The objective of this paper is to investigate to which extend two promising specifications, USDL and TOSCA, can be integrated to automate the lifecycle of cloud applications. In our approach, we selected a commercial SaaS CRM platform, modeled it using the service description language USDL, modeled its cloud deployment using TOSCA, and constructed a prototypical platform to integrate service selection with deployment. Our evaluation indicates that a high level of integration is possible. We were able to fully automatize the remote deployment of a cloud service after it was selected by a customer in a marketplace. Architectural decisions emerged during the construction of the platform and were related to global service identification and access, multi-layer routing, and dynamic binding.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2013-19&engl=0}
}
@inproceedings {INPROC-2013-17,
   author = {Steve Strauch and Vasilios Andrikopoulos and Uwe Breitenb{\"u}cher and Santiago G{\'o}mez S{\'a}ez and Oliver Kopp and Frank Leymann},
   title = {{Using Patterns to Move the Application Data Layer to the Cloud}},
   booktitle = {Proceedings of the 5th International Conference on Pervasive Patterns and Applications (PATTERNS'13)},
   publisher = {Xpert Publishing Services},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {26--33},
   type = {Konferenz-Beitrag},
   month = {Mai},
   year = {2013},
   keywords = {Data layer; Cloud applications; Data migration; Cloud Data Patterns; Cloud data stores},
   language = {Englisch},
   cr-category = {C.2.4 Distributed Systems,     D.2.11 Software Engineering Software Architectures,     H.3.4 Information Storage and Retrieval Systems and Software},
   contact = {a href=``http://www.iaas.uni-stuttgart.de/institut/mitarbeiter/strauch''Steve Strauch/ a},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Cloud services allow for hosting applications partially or completely in the Cloud by migrating their components and data. Especially with respect to data migration, a series of functional and non-functional challenges like data confidentiality arise when considering private and public Cloud data stores. In this paper we identify some of these challenges and propose a set of reusable solutions for them, organized together as a set of Cloud Data Patterns. Furthermore, we show how these patterns may impact the application architecture and demonstrate how they can be used in practice by means of a use case.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2013-17&engl=0}
}
@inproceedings {INPROC-2013-09,
   author = {Johannes Wettinger and Oliver Kopp and Frank Leymann},
   title = {{Improving Portability of Cloud Service Topology Models Relying on Script-Based Deployment}},
   booktitle = {Proceedings of the 5th Central European Workshop on Services and their Composition (ZEUS 2013)},
   publisher = {CEUR Workshop Proceedings},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   type = {Workshop-Beitrag},
   month = {Februar},
   year = {2013},
   issn = {1613-0073},
   keywords = {Portability; Service Topology; Topology Model; Service Deployment; Cloud Computing},
   language = {Englisch},
   cr-category = {D.2.13 Software Engineering Reusable Software,     D.2.11 Software Engineering Software Architectures},
   contact = {E-Mail: johannes.wettinger@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Portability is key for services running in the Cloud to prevent vendor lock-in. Today, many Cloud services are portable and can thus be moved from one Cloud provider to another. However, the management of these services is often bound to provider-specific management tooling. Thus, the way of management of a particular Cloud service may completely change when moving it to another Cloud provider. This paper presents concepts to improve the portability of Cloud service topology models that are deployed and managed using scripts. We highlight the challenges of a semi-automatic procedure to generate portable TOSCA-compliant topology model components based on Juju topology model components.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2013-09&engl=0}
}
@inproceedings {INPROC-2013-08,
   author = {Sebastian Wagner and Oliver Kopp and Frank Leymann},
   title = {{Consolidation of Interacting BPEL Process Models with Fault Handlers}},
   booktitle = {Proceedings of the 5th Central-European Workshop on Services and their Composition (ZEUS 2013)},
   address = {Rostock},
   publisher = {CEUR Workshop Proceedings},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   type = {Workshop-Beitrag},
   month = {Februar},
   year = {2013},
   keywords = {BPEL; Choreography; Process Consolidation},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://zeus-workshop.eu/2013/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The interaction behavior between processes of organizations and their suppliers can be modeled by using choreographies. When an organization decides to gain more control about their suppliers and to minimize transaction costs they may decide to insource these companies. This also requires the integration of the partner processes into the organization. In previous work we proposed an approach to merge (consolidate) interacting BPEL process models of different partners into a single process model by deriving control flow links between the process models from their interaction specification. In this work we are detailing this consolidation approach. Thereby, special attention is turned on extending the consolidation operations in a way that process models with fault handlers can be merged.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2013-08&engl=0}
}
@inproceedings {INPROC-2013-07,
   author = {Tobias Binz and Uwe Breitenb{\"u}cher and Oliver Kopp and Frank Leymann and Andreas Wei{\ss}},
   title = {{Improve Resource-Sharing through Functionality-Preserving Merge of Cloud Application Topologies}},
   booktitle = {Proceedings of the 3rd International Conference on Cloud Computing and Service Science, CLOSER 2013, 8-10 May 2013, Aachen, Germany},
   publisher = {SciTePress},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   type = {Konferenz-Beitrag},
   month = {Mai},
   year = {2013},
   keywords = {Application Topology; Merge; Resource Sharing; Multi-tenancy; Cloud Computing; TOSCA},
   language = {Englisch},
   cr-category = {K.6 Management of Computing and Information Systems},
   contact = {a href=``http://www.iaas.uni-stuttgart.de/institut/mitarbeiter/binz''Tobias Binz/ a},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Resource sharing is an important aspect how cost savings in cloud computing are realized. This is especially important in multi-tenancy settings, where different tenants share the same resource. This paper presents an approach to merge two application topologies into one, while on the one hand preserving the functionality of both applications and on the other hand enabling sharing of similar components. Previous work has not addressed this due to the lack of ways to describe topologies of composite applications in a decomposed, formal, and machine-readable way. New standardization initiatives, such as TOSCA, provide a way to describe application topologies, which are also portable and manageable. We propose an approach, realization, and architecture enabling a functionality-preserving merge of application topologies. To validate our approach we prototypically implemented and applied it to merge a set of test cases. All in all, the functional-preserving merge is a method to support the optimization and migration of existing applications to the cloud, because it increases resource sharing in the processed application topologies.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2013-07&engl=0}
}
@inproceedings {INPROC-2013-03,
   author = {Sebastian Wagner and Dieter Roller and Oliver Kopp and Tobias Unger and Frank Leymann},
   title = {{Performance Optimizations for Interacting Business Processes}},
   booktitle = {Proceedings of the first IEEE International Conference on Cloud Engineering (IC2E 2013)},
   publisher = {IEEE Computer Society},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {1--7},
   type = {Konferenz-Beitrag},
   month = {M{\"a}rz},
   year = {2013},
   doi = {10.1109/IC2E.2013.34},
   keywords = {Workflow Engine; BPEL; Choreography; Performance Optimization; Process Merge; Green Computing},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Choreographies describe the interaction behavior of processes at design time: a choreography defines when messages have to be exchanged between the involved processes during their runtime. In the context of Web services and the de-facto workflow language BPEL, SOAP is used to encode the messages. When complex messages are exchanged between the processes, this can become costly and time consuming with respect to the overall execution time of a choreography. In this work, we suggest three different performance optimization techniques for workflow engines to reduce the number of message exchanges between the interacting processes and hence, to decrease the execution times and costs of the choreographies: intra-engine transport, service request caching, and inline execution. We describe how these techniques are implemented in a workflow engine. Performance measurements are carried out to determine the performance improvements that are achieved with each optimization technique. We further show that the optimizations also affect the energy consumption of the workflow engine.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2013-03&engl=0}
}
@inproceedings {INPROC-2012-47,
   author = {Steve Strauch and Vasilios Andrikopoulos and Uwe Breitenb{\"u}cher and Oliver Kopp and Leymann Frank},
   title = {{Non-Functional Data Layer Patterns for Cloud Applications}},
   booktitle = {Proceedings of the 4th IEEE International Conference on Cloud Computing Technology and Science (CloudCom'12)},
   publisher = {IEEE Computer Society Press},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {601--605},
   type = {Konferenz-Beitrag},
   month = {Dezember},
   year = {2012},
   keywords = {data layer; cloud applications; data migration; cloud data patterns; cloud data stores},
   language = {Englisch},
   cr-category = {C.2.4 Distributed Systems,     D.2.11 Software Engineering Software Architectures,     H.3.4 Information Storage and Retrieval Systems and Software},
   contact = {a href=``http://www.iaas.uni-stuttgart.de/institut/mitarbeiter/strauch''Steve Strauch/ a},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Cloud services allow for hosting applications partially or completely in the Cloud by migrating their components and data. Especially with respect to data migration, a series of functional and non-functional challenges like data confidentiality arise when considering private and public Cloud data stores. In this paper we identify some of these challenges and propose a set of reusable solutions focusing on the non-functional aspects, organized together as a set of Cloud Data Patterns.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2012-47&engl=0}
}
@inproceedings {INPROC-2012-42,
   author = {Michael Reiter and Uwe Breitenb{\"u}cher and Oliver Kopp and Dimka Karastoyanova},
   title = {{Quality of Data Driven Simulation Workflows}},
   booktitle = {2012 8th IEEE International Conference on eScience},
   editor = {IEEE},
   publisher = {IEEE Computer Society},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   type = {Konferenz-Beitrag},
   month = {Oktober},
   year = {2012},
   doi = {10.1109/eScience.2012.6404417},
   keywords = {controlling by quality of data; simulation workflows; workflow management system; e-science},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation,     I.6.7 Simulation Support Systems},
   contact = {michael.reiter@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Simulations are characterized by long running calculations and complex data handling tasks accompanied by non-trivial data dependencies. The workflow technology helps to automate and steer such simulations. Quality of Data frameworks are used to determine the goodness of simulation data, e.g., they analyze the accuracy of input data with regards to the usability within numerical solvers. In this paper, we present generic approaches using evaluated Quality of Data to steer simulation workflows. This allows for ensuring that the predefined requirements such as a precise final result or a short execution time will be met even after the execution of simulation workflow has been started. We discuss mechanisms for steering a simulation on all relevant levels – workflow, service, algorithms, and define a unifying approach to control such workflows. To realize Quality of Data-driven workflows, we present an architecture realizing the presented approach and a WS-Policy-based language to describe Quality of Data requirements and capabilities.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2012-42&engl=0}
}
@inproceedings {INPROC-2012-33,
   author = {Uwe Breitenb{\"u}cher and Tobias Binz and Oliver Kopp and Frank Leymann and David Schumm},
   title = {{Vino4TOSCA: A Visual Notation for Application Topologies based on TOSCA}},
   booktitle = {Proceedings of the 20th International Conference on Cooperative Information Systems (CoopIS 2012)},
   publisher = {Springer-Verlag},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Computer Science},
   type = {Konferenz-Beitrag},
   month = {September},
   year = {2012},
   doi = {10.1007/978-3-642-33606-5_25},
   keywords = {TOSCA; Modeling; Visual Notation; Application Topologies},
   language = {Englisch},
   cr-category = {H.1.2 User/Machine Systems},
   contact = {uwe.breitenbuecher@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {A major difficulty in enterprise computing is the modeling of complex application topologies consisting of numerous individual components and their relationships. Especially in the context of cloud computing, the Topology and Orchestration Specification for Cloud Applications (TOSCA) has been proposed recently for standardization to tackle this issue. However, TOSCA currently lacks a well-defined visual notation enabling effective and efficient communication in order to transport the semantics of the encoded information to human beings. In this paper, we propose a visual notation for TOSCA based on established usability research which provides additional concepts for visual modularization and abstraction of large application topologies.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2012-33&engl=0}
}
@inproceedings {INPROC-2012-27,
   author = {Uwe Breitenb{\"u}cher and Oliver Kopp and Frank Leymann and Michael Reiter and Dieter Roller and Tobias Unger},
   title = {{Six Strategies for Building High Performance SOA Applications}},
   booktitle = {Proceedings of the 4th Central-European Workshop on Services and their Composition, ZEUS-2012},
   editor = {Andreas Sch{\"o}nberger and Oliver Kopp and Niels Lohmann},
   publisher = {CEUR-WS.org},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {CEUR Workshop Proceedings},
   volume = {847},
   pages = {120--127},
   type = {Workshop-Beitrag},
   month = {Mai},
   year = {2012},
   keywords = {Service-oriented Architecture; High Performance; Strategies},
   language = {Englisch},
   cr-category = {C.4 Performance of Systems},
   ee = {http://zeus-workshop.eu/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The service-oriented architecture (SOA) concepts such as loose coupling may have negative impact on the overall execution performance of a single request. There are ways to facilitate high performance applications which benefit from this kind of architectural style compensating the caused overhead significantly. This paper gives an overview on six high level strategies to improve the performance of SOAs with a central service bus and presents how to apply them to build high performance service-oriented applications without corrupting the SOA paradigm and concepts on the technical level.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2012-27&engl=0}
}
@inproceedings {INPROC-2012-23,
   author = {Oliver Kopp and Tobias Binz and Uwe Breitenb{\"u}cher and Frank Leymann},
   title = {{BPMN4TOSCA: A Domain-Specific Language to Model Management Plans for Composite Applications}},
   booktitle = {4th International Workshop on the Business Process Model and Notation},
   editor = {Jan Mendling and Matthias Weidlich},
   publisher = {Springer},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Business Information Processing},
   volume = {125},
   pages = {38--52},
   type = {Workshop-Beitrag},
   month = {September},
   year = {2012},
   doi = {10.1007/978-3-642-33155-8_4},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://emisa2012.univie.ac.at/index.php?t=bpmn},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {TOSCA is an upcoming standard to capture application topologies and their management in a portable way. Management aspects include provisioning, operation and deprovisioning of an application. Management plans capture these aspects in workflows. BPMN 2.0 as general-purpose language can be used to model these workflows. There is, however, no tailored support for management plans in BPMN. This paper analyzes TOSCA with the focus on requirements on workflow modeling languages to come up with a strong link to the application topology with the goal to improve modeling support. To simplify the modeling of management plans, we introduce BPMN4TOSCA, which extends BPMN with four TOSCA-specific elements: TOSCA Topology Management Task, TOSCA Node Management Task, TOSCA Script Task, and TOSCA Data Object. Portability is ensured by a transformation of BPMN4TOSCA to plain BPMN. A prototypical modeling tool supports the strong link between the management plan and the TOSCA topology.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2012-23&engl=0}
}
@inproceedings {INPROC-2012-10,
   author = {Sebastian Wagner and Oliver Kopp and Frank Leymann},
   title = {{Towards Verification of Process Merge Patterns with Allen’s Interval Algebra}},
   booktitle = {Proceedings of the 4th Central-European Workshop on Services and their Composition (ZEUS 2012)},
   address = {Bamberg},
   publisher = {CEUR Workshop Proceedings},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {1--8},
   type = {Workshop-Beitrag},
   month = {M{\"a}rz},
   year = {2012},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2012-10/INPROC-2012-10.pdf,     http://zeus2012.pi.uni-bamberg.de/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Choreographies present how parties collaborate to achieve an agreed business objective. When companies are bought, their processes have to be in-sourced. Thereby, their part in a choreography has to be merged with the part of their acquiring business partner. Merging patterns may be applied to merge reoccurring activity combinations, such as send/receive. It has to be proven that each merge patterns keeps the relations of the original activities of the choreography. As a first step, we show by an example how the relations between activities may be expressed using the Allen calculus. We show for merging a synchronous message exchange, which relations have to be considered for validating an implementation of that merge.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2012-10&engl=0}
}
@inproceedings {INPROC-2012-08,
   author = {Steve Strauch and Uwe Breitenb{\"u}cher and Oliver Kopp and Frank Leymann and Tobias Unger},
   title = {{Cloud Data Patterns for Confidentiality}},
   booktitle = {Proceedings of the 2nd International Conference on Cloud Computing and Service Science (CLOSER'12)},
   publisher = {SciTePress},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {387--394},
   type = {Konferenz-Beitrag},
   month = {April},
   year = {2012},
   keywords = {patterns; confidentiality; database layer; migration; distributed application architecture; cloud data store},
   language = {Englisch},
   cr-category = {C.2.4 Distributed Systems,     D.2.11 Software Engineering Software Architectures,     H.3.4 Information Storage and Retrieval Systems and Software},
   contact = {a href=``http://www.iaas.uni-stuttgart.de/institut/mitarbeiter/strauch''Steve Strauch/ a},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Cloud computing enables cost-effective, self-service, and elastic hosting of applications in the Cloud. Applications may be partially or completely moved to the Cloud. When hosting or moving the database layer to the Cloud, challenges such as avoidance of disclosure of critical data have to be faced. The main challenges are handling different levels of confidentiality and satisfying security and privacy requirements. We provide reusable solutions in the form of patterns.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2012-08&engl=0}
}
@inproceedings {INPROC-2011-71,
   author = {Steve Strauch and Oliver Kopp and Frank Leymann and Tobias Unger},
   title = {{A Taxonomy for Cloud Data Hosting Solutions}},
   booktitle = {Proceedings of the International Conference on Cloud and Green Computing (CGC '11)},
   publisher = {IEEE Computer Society},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {577--584},
   type = {Konferenz-Beitrag},
   month = {Dezember},
   year = {2011},
   doi = {10.1109/DASC.2011.106},
   keywords = {cloud data hosting solution; taxonomy; distributed application architecture; database layer; cloud computing},
   language = {Englisch},
   cr-category = {C.2.4 Distributed Systems,     D.2.11 Software Engineering Software Architectures,     H.3.4 Information Storage and Retrieval Systems and Software},
   contact = {steve.strauch@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Cloud computing allows reducing capital expenditure by using resources on demand. We investigate how to build a database layer in the Cloud and present pure and hybrid Cloud data hosting solutions. The solutions are organized in a taxonomy. The properties used for organization are: application layer, deployment model, location, service model, data store type, and compatibility. Using the taxonomy, existing Cloud data hosting solutions are categorized.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-71&engl=0}
}
@inproceedings {INPROC-2011-60,
   author = {Oliver Kopp and Frank Leymann and Sebastian Wagner},
   title = {{Modeling Choreographies: BPMN 2.0 versus BPEL-based Approaches}},
   booktitle = {Enterprise Modelling and Information Systems Architectures - EMISA 2011},
   publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Informatics},
   type = {Workshop-Beitrag},
   month = {September},
   year = {2011},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://www.wiso.uni-hamburg.de/conferences/emisa2011/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Choreographies capture the collaboration aspects between two or more processes. Explicit choreography notations have been included in the upcoming version 2.0 of the Business Process Model and Notation language (BPMN 2.0). This paper presents a first evaluation of the choreography modeling capabilities of BPMN 2.0 and presents a summary of the evaluation of BPEL-based approaches. The result is that BPMN 2.0 does not support reference passing and is tightly tied to technical configurations.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-60&engl=0}
}
@inproceedings {INPROC-2011-58,
   author = {Sebastian Wagner and Oliver Kopp and Frank Leymann},
   title = {{Towards Choreography-based Process Distribution In The Cloud}},
   booktitle = {Proceedings of the 2011 IEEE International Conference on Cloud Computing and Intelligence Systems},
   address = {Bejing, China},
   publisher = {IEEE Xplore},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {490--494},
   type = {Konferenz-Beitrag},
   month = {September},
   year = {2011},
   doi = {10.1109/CCIS.2011.6045116},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation,     H.5.3 Group and Organization Interfaces},
   contact = {sebastian.wagner@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Choreographies provide means to describe collaborations. Each partner runs its own processes. To reduce the amount of data exchanged and to save resources, part of the choreography can be run on a community cloud. We show how private parts of a choreography can still be run on-premise and how non-private parts can be merged to make use of the cloud infrastructure.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-58&engl=0}
}
@inproceedings {INPROC-2011-15,
   author = {Oliver Kopp and Frank Leymann and David Schumm and Tobias Unger},
   title = {{On BPMN Process Fragment Auto-Completion}},
   booktitle = {Proceedings of the 3rd Central-European Workshop on Services and their Composition (ZEUS 2011)},
   editor = {Daniel Eichhorn and Agnes Koschmider and Huayu Zhang},
   publisher = {CEUR-WS.org},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {CEUR Workshop Proceedings},
   volume = {705},
   pages = {58--64},
   type = {Workshop-Beitrag},
   month = {M{\"a}rz},
   year = {2011},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://zeus2011.aifb.kit.edu/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Process fragments provide reusable granules of business processes to enable process modeling based on existing knowledge. Current verification tools cannot deal with BPMN process fragments and support complete BPMN processes only. To enable verification for BPMN process fragments, we sketch how a single BPMN fragment can be completed to a BPMN process, where additional gateways and start events are added.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-15&engl=0}
}
@inproceedings {INPROC-2011-14,
   author = {Oliver Kopp and Frank Leymann and Tobias Unger and Sebastian Wagner},
   title = {{Towards The Essential Flow Model}},
   booktitle = {Proceedings of the 3rd Central-European Workshop on Services and their Composition (ZEUS 2011)},
   editor = {Daniel Eichhorn and Agnes Koschmider and Huayu Zhang},
   publisher = {CEUR-WS.org},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {CEUR Workshop Proceedings},
   volume = {705},
   pages = {26--33},
   type = {Workshop-Beitrag},
   month = {M{\"a}rz},
   year = {2011},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://zeus2011.aifb.kit.edu/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Many of today's manufacturing projects are so complex that they cannot be conducted only by one company anymore. Current approaches for modeling inter-enterprise processes require an early decision on the way activities are connected. The modeler has to decide between control flow and message flow. This implies an early decision on the used IT-technology. We present a modeling approach where this decision is postponed to a later modeling phase. This enables modelers to concentrate on the essentials of the model.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-14&engl=0}
}
@inproceedings {INPROC-2011-04,
   author = {Oliver Kopp and Lasse Engler and Tammo van Lessen and Frank Leymann and J{\"o}rg Nitzsche},
   title = {{Interaction Choreography Models in BPEL: Choreographies on the Enterprise Service Bus}},
   booktitle = {Subject-Orientation as Enabler for the Next Generation of BPM Tools and Methods - Second International Conference S-BPM ONE 2010},
   editor = {A. Fleischmann and W. Schmidt and D. Seese and R. Singer},
   publisher = {Springer},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Communications in Computer and Information Science},
   volume = {138},
   pages = {36--53},
   type = {Konferenz-Beitrag},
   month = {Januar},
   year = {2011},
   doi = {10.1007/978-3-642-23135-3_3},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://www.aifb.kit.edu/web/S-bpm-one/2010/en},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Interactions between services may be globally captured by choreographies. We introduce BPELgold supporting modeling interaction choreography models using BPEL. We show the usage of BPELgold in an enterprise service bus to ensure an executed message exchange complies with a pre-defined choreography.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-04&engl=0}
}
@inproceedings {INPROC-2010-74,
   author = {Oliver Kopp and Frank Leymann and Daniel Wutke},
   title = {{Fault Handling in the Web Service Stack}},
   booktitle = {Service-Oriented Computing - ICSOC 2010},
   publisher = {Springer Berlin Heidelberg},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Computer Science},
   volume = {6470},
   pages = {303--317},
   type = {Konferenz-Beitrag},
   month = {Dezember},
   year = {2010},
   doi = {10.1007/978-3-642-17358-5_21},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://icsoc10.disi.unitn.it/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The Web services platform architecture consists of different layers for exchanging messages. There can be faults happening at each layer during the message exchange. This paper first presents the fault handling strategies of current standards and provides insight on the concepts behind them. Second, current service middleware is reviewed whether and how it follows the fault handling strategies.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2010-74&engl=0}
}
@inproceedings {INPROC-2010-73,
   author = {Oliver Kopp and Hanna Eberle and Frank Leymann and Tobias Unger},
   title = {{The Subprocess Spectrum}},
   booktitle = {Proceedings of the Business Process and Services Computing Conference: BPSC 2010},
   publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Informatics},
   volume = {P-177},
   pages = {267--279},
   type = {Konferenz-Beitrag},
   month = {September},
   year = {2010},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://www.bpsc-conf.org/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Using hierarchical structurings in process design is a frequent process modeling technique. Subprocesses are a common way to enable hierarchical structuring. Current approaches have a tight view on the syntactical restrictions of subprocesses and do not investigate different autonomy properties in detail. This paper fills this gap and broadens the current subprocess definition to a spectrum of possibilities of subprocess notations. Thereby, three classifications are introduced: subprocess autonomy, interaction between parent process and subprocess, and execution of subprocesses.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2010-73&engl=0}
}
@inproceedings {INPROC-2010-11,
   author = {Oliver Kopp and Frank Leymann and Fei Wu},
   title = {{Mapping interconnection choreography models to interaction choreography models}},
   booktitle = {Proceedings of the 2nd Central-European Workshop on Services and their Composition, ZEUS 2010},
   address = {online},
   publisher = {CEUR-WS.org},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {CEUR Workshop Proceedings},
   volume = {563},
   pages = {81--88},
   type = {Workshop-Beitrag},
   month = {M{\"a}rz},
   year = {2010},
   isbn = {1613-0073},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2010-11/INPROC-2010-11.pdf,     http://www2.informatik.hu-berlin.de/top/zeus/,     http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-563/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Choreographies offer a global view on interacting processes. There are two ways to capture this global view: interaction models and interconnection models. Although there is a mapping from interaction models to interconnection models, there is no mapping vice versa. This paper fills this gap and provides a first approach mapping interconnection models to interaction models: The presented approach transforms BPMN models into iBPMN models by using Petri nets as intermediate format.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2010-11&engl=0}
}
@inproceedings {INPROC-2010-104,
   author = {Oliver Kopp and Katharina G{\"o}rlach and Frank Leymann},
   title = {{Extending Choreography Spheres to Improve Simulations}},
   booktitle = {International Organization for Information Integration and Web-based Application and Services 2010 (iiWAS 2010)},
   publisher = {ACM},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {694--697},
   type = {Konferenz-Beitrag},
   month = {November},
   year = {2010},
   doi = {10.1145/1967486.1967598},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://www.iiwas.org/conferences/iiwas2010/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {In simulations scientific workflows are used to coordinate complex implementations incorporating different kinds of simulations. Typically, the amount of data to be analyzed is huge and it is impossible to store all intermediate or alternative results. Thus, the access to data services has to be coordinated such that applications read the right data and do not overwrite one another. In this paper, we present a possibility to coordinate different scientific simulations accessing and updating the same data using existing Web service technologies: We extend the concept of choreography spheres by allowing control-links between them and the property ``permeability'' stating whether a cross-boundary link may be traversed before the start or completion of a choreography sphere. This paper is the first presenting a state model for choreography spheres.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2010-104&engl=0}
}
@inproceedings {INPROC-2010-01,
   author = {Branimir Wetzstein and Dimka Karastoyanova and Oliver Kopp and Frank Leymann and Daniel Zwink},
   title = {{Cross-Organizational Process Monitoring based on Service Choreographies}},
   booktitle = {Proceedings of the 25th Annual ACM Symposium on Applied Computing (SAC 2010); Sierre, Switzerland, 21-26 March, 2010},
   publisher = {ACM},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {2485--2490},
   type = {Konferenz-Beitrag},
   month = {M{\"a}rz},
   year = {2010},
   doi = {10.1145/1774088.1774601},
   keywords = {Business Activity Monitoring, Cross-Organizational Monitoring, Service Choreography},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   contact = {branimir.wetzstein@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Business process monitoring in the area of service oriented computing is typically performed using business activity monitoring technology in an intra-organizational setting. Due to outsourcing and the increasing need for companies to work together to meet their joint customer demands, there is a need for monitoring of business processes across organizational boundaries. Thereby, partners in a choreography have to exchange monitoring data, in order to enable process tracking and evaluation of process metrics. In this paper, we describe an event-based monitoring approach based on BPEL4Chor service choreography descriptions. We show how to define monitoring agreements specifying events each partner in the choreography has to provide. We distinguish between resource events and complex events for calculation of process metrics using complex event processing technology. We present our implementation and evaluate the concepts based on a scenario.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2010-01&engl=0}
}
@inproceedings {INPROC-2009-90,
   author = {Hanna Eberle and Oliver Kopp and Tobias Unger and Frank Leymann},
   title = {{Retry Scopes to Enable Robust Workflow Execution in Pervasive Environments}},
   booktitle = {Proceedings of the 2nd Workshop on Monitoring, Adaptation and Beyond (MONA+)},
   address = {Stockholm},
   publisher = {Springer},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Computer Science},
   volume = {6275},
   pages = {358--369},
   type = {Workshop-Beitrag},
   month = {November},
   year = {2009},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://www.s-cube-network.eu/MONA2/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Recent workflow languages are designed to serve the needs of business processes running in a unambiguous world based on unambiguous data. In contrast to business processes, processes running in a real world environment have to deal with data uncertainty and instability of the execution environment. Building a workflow language for real world flows based on a workflow language for business processes therefore may need additional modeling elements to be able to deal with this uncertainty and instability. Based on a real world process scenario we analyse and derive requirements for workflow language extensions for real world processes. The contributions provided by this paper are at first to investigate, how a workflow language can be extended properly followed up by the definition of workflow language extensions for real world processes, whereas the extensions are motivated by the real world process scenario. In this paper we use the Business Process Execution Language (BPEL) as extension foundation.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-90&engl=0}
}
@inproceedings {INPROC-2009-72,
   author = {Oliver Kopp and Ralph Mietzner and Frank Leymann},
   title = {{The Influence of an External Transaction on a BPEL Scope}},
   booktitle = {CoopIS 2009 (OTM 2009)},
   editor = {R. Meersman and T. Dillon and P. Herrero},
   address = {Berlin, Heidelberg},
   publisher = {Springer-Verlag},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Computer Science},
   volume = {5870},
   pages = {381--388},
   type = {Konferenz-Beitrag},
   month = {November},
   year = {2009},
   doi = {10.1007/978-3-642-05148-7_27},
   language = {Englisch},
   cr-category = {K.4.4 Electronic Commerce,     H.4.1 Office Automation},
   ee = {http://www.onthemove-conferences.org/index.php/coopis,     http://www.onthemove-conferences.org},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Business processes constitute an integral part of today's IT applications. They contain transactions as essential building blocks to ensure integrity and all-or-nothing behavior. The Business Process Execution Language is the dominant standard for modeling and execution of business processes in a Web service environment. BPEL itself contains a transaction model based on compensation, that describes the (local) transactions in a business process. The WS-Coordination framework deals with (external) transactions between Web services and is used to define the transaction behavior between a BPEL process and its partners. In this paper, we investigate how external transactions between Web services interrelate with local transactions of BPEL.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-72&engl=0}
}
@inproceedings {INPROC-2009-67,
   author = {Oliver Kopp and Matthias Wieland and Frank Leymann},
   title = {{External and Internal Events in EPCs: e2EPCs}},
   booktitle = {2nd International Workshop on Event-Driven Business Process Management (edBPM09)},
   publisher = {Springer Verlag},
   institution = {Universit{\"a}t Stuttgart : Sonderforschungsbereich SFB 627 (Nexus: Umgebungsmodelle f{\"u}r mobile kontextbezogene Systeme), Germany},
   series = {Lecture Notes in Business Information Processing},
   volume = {43},
   pages = {381--392},
   type = {Workshop-Beitrag},
   month = {September},
   year = {2009},
   doi = {10.1007/978-3-642-12186-9_36},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://icep-edbpm09.fzi.de/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The notion of event-driven process chains (EPC) is widely used to model processes. It is an ongoing discussion of how to reach executable workflows from EPCs. While the transformation of the general structure and the functions is well-understood, the transformation of events is an open issue. This paper discusses different possible event types and their semantics. Furthermore, it presents a transformation of the introduced event types to workflow constructs respecting the semantics of each event.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-67&engl=0}
}
@inproceedings {INPROC-2009-49,
   author = {Marc Bischof and Oliver Kopp and Tammo van Lessen and Frank Leymann},
   title = {{BPELscript: A Simplified Script Syntax for WS-BPEL 2.0}},
   booktitle = {2009 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2009)},
   publisher = {IEEE Computer Society Press},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {39--46},
   type = {Konferenz-Beitrag},
   month = {August},
   year = {2009},
   doi = {10.1109/SEAA.2009.21},
   keywords = {service orchestration; service scripting; BPEL; BPM lifecycle},
   language = {Englisch},
   cr-category = {D.1.1 (Applicative Functional) Programming,     D.3.4 Programming Languages Processors,     H.4.1 Office Automation,     K.1 The Computer Industry},
   ee = {http://seaa2009.vtt.fi/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Business processes are usually modeled using graphical notations such as BPMN. As a first step towards execution as workflow, a business process is transformed to an abstract WS-BPEL process. Technical details required for execution are added by an IT expert. While IT experts expect Java-like syntax for programs, WS-BPEL requires processes to be expressed in XML. This paper introduces BPELscript as a new syntax for WS-BPEL aiming to reduce the barrier for IT experts to use WS-BPEL by providing a JavaScript-inspired syntax.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-49&engl=0}
}
@inproceedings {INPROC-2009-34,
   author = {Ganna Monakova and Oliver Kopp and Frank Leymann},
   title = {{Improving Control Flow Verification in a Business Process using an Extended Petri Net}},
   booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition (ZEUS 2009)},
   editor = {Oliver Kopp and Niels Lohmann},
   address = {Stuttgart},
   publisher = {CEUR-WS.org},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {95--101},
   type = {Workshop-Beitrag},
   month = {M{\"a}rz},
   year = {2009},
   keywords = {petri net extension; data dependency},
   language = {Englisch},
   cr-category = {I.6 Simulation and Modeling,     H.4.1 Office Automation},
   ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2009-34/INPROC-2009-34.pdf,     http://www.iaas.uni-stuttgart.de/zeus,     http://ceur-ws.org/Vol-438/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {In a business process, control flow decisions are based on the evaluation of conditions. Thus, conditions must be considered for control flow veri cation. This paper shows how the Petri nets based control fl ow veri cation can be improved by analysing conditions and logical relations between them. We outline a Petri net extension with predicate transitions, which are responsible for conditions evaluation based on the collected knowledge, and effect places, which contain fact tokens representing the effects of certain operations and decisions made.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-34&engl=0}
}
@inproceedings {INPROC-2009-33,
   author = {Ganna Monakova and Oliver Kopp and Frank Leymann and Simon Moser and Klaus Sch{\"a}fers},
   title = {{Verifying Business Rules Using an SMT Solver for BPEL Processes}},
   booktitle = {Proceedings of the Business Process and Services Computing Conference: BPSC'09},
   publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Informatics},
   type = {Konferenz-Beitrag},
   month = {M{\"a}rz},
   year = {2009},
   isbn = {978-3-88579-241-3},
   keywords = {constraint verification},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {https://sabreconference.wifa.uni-leipzig.de/frontend/index.php?page_id=450,     http://subs.emis.de/LNI/Proceedings/Proceedings147/article2475.html},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {WS-BPEL is the standard for modelling executable business processes. Recently, verification of BPEL processes has been an important topic in the research community. While most of the existing approaches for BPEL process verification merely consider control-flow based analysis, some actually consider data-flows, but only in a very restrictive manner. In this paper, we present a novel approach that combines control-flow analysis and data-flow analysis, producing a logical representation of a process model. This logical representation captures the relations between process variables and execution paths that allow properties to be verified using Satisfiability Modulo Theory (SMT) solvers under constraints represented by the modelled assertions.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-33&engl=0}
}
@inproceedings {INPROC-2009-31,
   author = {Oliver Kopp and Frank Leymann},
   title = {{Do We Need Internal Behavior in Choreography Models?}},
   booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009},
   editor = {Oliver Kopp and Niels Lohmann},
   address = {Stuttgart},
   publisher = {CEUR-WS.org},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {CEUR Workshop Proceedings},
   volume = {438},
   pages = {68--73},
   type = {Workshop-Beitrag},
   month = {M{\"a}rz},
   year = {2009},
   issn = {1613-0073},
   keywords = {Choreography; WS-CDL; BPEL4Chor},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2009-31/INPROC-2009-31.pdf,     http://www.iaas.uni-stuttgart.de/zeus,     http://ceur-ws.org/Vol-438/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Choreographies capture the message exchanges between multiple processes. Certain choreography languages ignore the internal behavior completely, other languages offer the possibility to model internal behavior. This paper presents an example modeled in both types of languages and discusses the need to integrate internal behavior in choreographies.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-31&engl=0}
}
@inproceedings {INPROC-2009-28,
   author = {Oliver Kopp and Matthias Wieland and Frank Leymann},
   title = {{Towards Choreography Transactions}},
   booktitle = {Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009},
   editor = {Oliver Kopp and Niels Lohmann},
   address = {Stuttgart},
   publisher = {CEUR-WS.org},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {CEUR Workshop Proceedings},
   volume = {438},
   pages = {49--54},
   type = {Workshop-Beitrag},
   month = {M{\"a}rz},
   year = {2009},
   issn = {1613-0073},
   keywords = {WS-BPEL; BPEL; BPEL4Chor; Transactions; Choreography; 2PC; Sphere},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2009-28/INPROC-2009-28.pdf,     http://www.iaas.uni-stuttgart.de/zeus,     http://ceur-ws.org/Vol-438/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The focus of choreography modeling is to capture the message exchange between processes. Common choreography modeling languages do not provide capabilities to group activities of different participants together into an all-or-nothing group. This paper presents choreography spheres as a modeling technique for cross-process transactions based on BPEL4Chor and sketches a mapping to BPEL.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-28&engl=0}
}
@inproceedings {INPROC-2009-09,
   author = {Matthias Wieland and Daniel Martin and Oliver Kopp and Frank Leymann},
   title = {{SOEDA: A Methodology for Specification and Implementation of Applications on a Service-Oriented Event-Driven Architecture}},
   booktitle = {Proceedings of the 12th International Conference on Business Information Systems (BIS 2009). Poznan, Poland April 27-29, 2009.},
   editor = {Witold Abramowicz},
   address = {Poznan, Poland},
   publisher = {Springer Verlag},
   institution = {Universit{\"a}t Stuttgart : Sonderforschungsbereich SFB 627 (Nexus: Umgebungsmodelle f{\"u}r mobile kontextbezogene Systeme), Germany},
   series = {Lecture Notes in Business Information Processing},
   volume = {21},
   pages = {193--204},
   type = {Konferenz-Beitrag},
   month = {April},
   year = {2009},
   doi = {10.1007/978-3-642-01190-0_17},
   keywords = {epk; epc; transformation; bpel; soa; eda; event driven architecture; cep; complex event processing},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Both Event-Driven Architecture (EDA) and Service-Oriented Architecture (SOA) are unique architectural styles widely used in today's industries. Mostly however, they exist as isolated systems that could greatly benefit from each other when being combined. This paper introduces SOEDA, an approach that unifies EDA and SOA by introducing a step-based development method taking advantage of the unique properties of each architecture. Individual steps reach from abstract process specification over event and process implementation to the the final execution phase -- described in a abstract manner and by means of an example. Resulting applications are based on state-of-the-art workflow technology using events to trigger execution of individual business activities.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-09&engl=0}
}
@inproceedings {INPROC-2008-92,
   author = {Oliver Kopp and Daniel Martin and Daniel Wutke and Frank Leymann},
   title = {{On the Choice Between Graph-Based and Block-Structured Business Process Modeling Languages}},
   booktitle = {Modellierung betrieblicher Informationssysteme (MobIS 2008). Saarbr{\"u}cken, Germany, November 27 - 28, 2008.},
   publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Informatics},
   volume = {P-141},
   pages = {59--72},
   type = {Konferenz-Beitrag},
   month = {November},
   year = {2008},
   issn = {1617-5468},
   isbn = {978-3-88579-235-2},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://www.gi-ev.de/service/publikationen/lni/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The most prominent business process notations in use today are BPMN, EPC and BPEL. While all those languages show similarities on the conceptual level and share similar constructs, the semantics of these constructs and even the intended use of the language itself are often quite different. As a result, users are uncertain when to use which language or construct in a particular language, especially when they have used another business process notation before. Specifically problematic are the semantics of join and loop constructs that have also been heavily discussed in literature. In this paper, we discuss the core characteristics of graph-based and block-structured modeling languages and compare them with respect to their join and loop semantics.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-92&engl=0}
}
@inproceedings {INPROC-2008-72,
   author = {Oliver Kopp and Branimir Wetzstein and Ralph Mietzner and Stefan Pottinger and Dimka Karastoyanova and Frank Leymann},
   title = {{A Model-Driven Approach to Implementing Coordination Protocols in BPEL}},
   booktitle = {1st International Workshop on Model-Driven Engineering for Business Process Management (MDE4BPM 2008)},
   publisher = {Springer-Verlag},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Business Information Processing},
   volume = {17},
   pages = {188--199},
   type = {Workshop-Beitrag},
   month = {September},
   year = {2008},
   doi = {10.1007/978-3-642-00328-8_19},
   keywords = {MDA; BPEL; WS-Coordination; WS-Business Activity},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation,     K.4.4 Electronic Commerce},
   ee = {http://www.inf.unisi.ch/mde4bpm08/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {WS-Coordination defines a framework for establishing pro- tocols for coordinating the outcome agreement within distributed ap- plications. The framework is extensible and allows support for multiple coordination protocols. To facilitate the realization of new coordination protocols we present a model-driven approach for the generation of BPEL processes used as implementation of coordination protocols. We show how coordination protocols can be modeled in domain-specific graph-based diagrams and how to transform such graphs into abstract BPEL process models representing the behavior of the coordinator and the participants in the protocol.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-72&engl=0}
}
@inproceedings {INPROC-2008-71,
   author = {Niels Lohmann and Oliver Kopp},
   title = {{Tools4BPEL4Chor}},
   booktitle = {YR-SOC 2008},
   publisher = {online},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {74--75},
   type = {Workshop-Beitrag},
   month = {Juni},
   year = {2008},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2008-71/INPROC-2008-71.pdf,     http://www.yrsoc.org},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen, Architektur von Anwendungssystemen},
   abstract = {In this paper, we present several tools support the modeling, analysis, synthesis, and correction of BPEL4Chor choreographies},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-71&engl=0}
}
@inproceedings {INPROC-2008-38,
   author = {Oliver Kopp and Tammo van Lessen and J{\"o}rg Nitzsche},
   title = {{The Need for a Choreography-aware Service Bus}},
   booktitle = {YR-SOC 2008},
   publisher = {Online},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {28--34},
   type = {Workshop-Beitrag},
   month = {Juni},
   year = {2008},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2008-38/INPROC-2008-38.pdf,     http://www.yrsoc.org},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Choreographies offer means to describe the long-running collaboration of business partners. Such descriptions can be used to create new participant processes which comply to the overall choreography or to check whether participating processes conform to the protocol. In addition, choreography descriptions allow for asserting whether a completed cross-organizational conversation has been compliant to the planned choreography. However, choreography descriptions have so far not been used during execution but only during design time. Therefore, it is not yet possible to immediately detect protocol violations and to instantly handle such violations. In this paper we motivate the need of a Choreography-aware Service Bus which is capable of tracking the soundness of cross-organizational conversations while they are running. This fosters a novel notion of exception handling in the context of choreographies.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-38&engl=0}
}
@inproceedings {INPROC-2008-27,
   author = {Oliver Kopp and Rania Khalaf and Frank Leymann},
   title = {{Deriving Explicit Data Links in WS-BPEL Processes}},
   booktitle = {Proceedings of the International Conference on Services Computing, SCC 2008},
   address = {Honolulu, Hawaii, USA},
   publisher = {IEEE Computer Society Press},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {367--376},
   type = {Konferenz-Beitrag},
   month = {Juli},
   year = {2008},
   doi = {10.1109/SCC.2008.122},
   isbn = {978-0-7695-3283-7},
   keywords = {Data-flow Analysis; Reaching Definitions Analysis; def-use edges; data link; BPEL},
   language = {Englisch},
   cr-category = {D.3 Programming Languages,     F.3.2 Semantics of Programming Languages},
   ee = {http://conferences.computer.org/scc/2008/},
   contact = {kopp@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {WS-BPEL is a standard language to model business processes. Control flow is modeled explicitly using links. Data is passed via shared variables and there is no notion of explicit data links. However, explicit data links are an important means to reason about business process models. We present an algorithm to derive explicit data links in WS-BPEL processes. By considering dead path elimination as defined in WS-BPEL, we reduce the number of derived data links when compared to existing approaches that ignore dead path elimination.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-27&engl=0}
}
@inproceedings {INPROC-2008-12,
   author = {Gero Decker and Oliver Kopp and Frank Leymann and Kerstin Pfitzner and Mathias Weske},
   title = {{Modeling Service Choreographies using BPMN and BPEL4Chor}},
   booktitle = {Proceedings of the 20th International Conference on Advanced Information Systems Engineering (CAiSE '08)},
   publisher = {Springer-Verlag},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Computer Science},
   volume = {5074},
   pages = {79--93},
   type = {Konferenz-Beitrag},
   month = {Juni},
   year = {2008},
   doi = {10.1007/978-3-540-69534-9_6},
   keywords = {BPEL4Chor; BPMN; Choreography},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation,     K.1 The Computer Industry},
   ee = {http://www.lirmm.fr/caise08/},
   contact = {kopp@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Interconnecting information systems of independent business partners requires careful specification of the interaction behavior the different partners have to adhere to. Choreographies define such interaction constraints and obligations and can be used as starting point for process implementation at the partners' sites. This paper presents how the Business Process Modeling Notation (BPMN) and the Business Process Execution Language (BPEL) can be used during choreography design. Step-wise refinement of choreographies to the level of system configuration is supported through different language extensions as well as a mapping from BPMN to BPEL4Chor. A corresponding modeling environment incorporating the language mapping is presented.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-12&engl=0}
}
@inproceedings {INPROC-2007-98,
   author = {Kerstin Pfitzner and Gero Decker and Oliver Kopp and Frank Leymann},
   title = {{Web Service Choreography Configurations for BPMN}},
   booktitle = {Proceedings of the 3rd International Workshop on Engineering Service-Oriented Application (WESOA'2007)},
   editor = {E. di Notto and M. Ripeanu},
   address = {Berlin, Heidelberg},
   publisher = {Springer},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Computer Science},
   volume = {4907},
   pages = {401--412},
   type = {Workshop-Beitrag},
   month = {September},
   year = {2007},
   doi = {10.1007/978-3-540-93851-4_39},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://wesoa07.googlepages.com/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The Business Process Modeling Notation (BPMN) and the Business Process Execution Language (BPEL) are the de-facto standards for process modeling and implementation. While BPMN allows to define choreographies, i.e. the interaction behavior of interconnected services, BPEL only allows an endpoint-centric view on services. To achieve applicability of BPEL in the choreography space, we defined BPEL4Chor as choreography extensions for BPEL in previous work. This paper extends on this work and makes a contribution for the model-driven development of service-based systems in inter-organizational settings: It extends BPMN for enabling the generation of fully defined BPEL4Chor choreographies and presents how to carry out this transformation.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-98&engl=0}
}
@inproceedings {INPROC-2007-81,
   author = {Niels Lohmann and Oliver Kopp and Frank Leymann and Wolfgang Reisig},
   title = {{Analyzing BPEL4Chor: Verification and Participant Synthesis}},
   booktitle = {Web Services and Formal Methods, Forth International Workshop, WS-FM 2007 Brisbane, Australia},
   editor = {Marlon Dumas and Reiko Heckel},
   publisher = {Springer-Verlag},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {46--60},
   type = {Workshop-Beitrag},
   month = {September},
   year = {2007},
   doi = {10.1007/978-3-540-79230-7_4},
   language = {Englisch},
   cr-category = {D.2.4 Software Engineering Software/Program Verification,     F.3.1 Specifying and Verifying and Reasoning about Programs,     F.3.2 Semantics of Programming Languages,     K.1 The Computer Industry},
   ee = {http://bpm07.fit.qut.edu.au/ws-fm07/,     http://www2.informatik.hu-berlin.de/top/tools4bpel/},
   contact = {kopp@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Choreographies offer means to capture global interactions between business processes of different partners. BPEL4Chor has been introduced to describe these interactions using BPEL. Currently, there are no formal methods available to verify BPEL4Chor choreographies. In this paper, we present how BPEL4Chor choreographies can be verified using Petri nets. A case study undermines that our verification techniques scale. Additionally, we show how the verification techniques can be used to generate a stub process for a partner taking part in a choreography. This is especially useful when the behavior of one participant is intended to follow the corresponding requirements of the other participants. Thus, the missing participant behavior can be generated and the error-prone design of that participant can be skipped.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-81&engl=0}
}
@inproceedings {INPROC-2007-69,
   author = {Oliver Kopp and Hanna Eberle and Frank Leymann and Tobias Unger},
   title = {{From Process Models to Business Landscapes}},
   booktitle = {EPK 2007: Gesch{\"a}ftsprozessmanagement mit Ereignisgesteuerten Prozessketten},
   editor = {Markus N{\"u}ttgens and Frank J. Rump Rump and Andreas Gadatsch},
   publisher = {Online},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {CEUR Workshop Proceedings},
   volume = {303},
   pages = {7--22},
   type = {Workshop-Beitrag},
   month = {Dezember},
   year = {2007},
   keywords = {FMC, EPK, EPC, architecture},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-303/},
   contact = {kopp@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen, Architektur von Anwendungssystemen},
   abstract = {Today, architecture and business processes are modeled separately. The only integration in architectural diagrams is done with Petri nets in the Fundamental Modeling Concept. Since business users prefer EPCs over Petri nets, we show how information of extended EPCs can be transformed into business landscapes. This facilitates development of IT landscapes satisfying the requirements of the business process and adoption of existing IT infrastructures to new requirements.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-69&engl=0}
}
@inproceedings {INPROC-2007-40,
   author = {Rania Khalaf and Oliver Kopp and Frank Leymann},
   title = {{Maintaining Data Dependencies Across BPEL Process Fragments}},
   booktitle = {Service-Oriented Computing - ICSOC 2007},
   editor = {Bernd J. Kr{\"a}mer and Kwei-Jay Lin and Priya Narasimhan},
   publisher = {Springer},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Computer Science},
   volume = {4749},
   pages = {207--219},
   type = {Konferenz-Beitrag},
   month = {September},
   year = {2007},
   doi = {10.1007/978-3-540-74974-5_17},
   keywords = {Web services, fragments, business process, BPEL},
   language = {Englisch},
   cr-category = {C.2.4 Distributed Systems,     H.3.5 Online Information Services,     H.4.1 Office Automation},
   ee = {http://www.ece.cmu.edu/icsoc2007/index.html},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen, Architektur von Anwendungssystemen},
   abstract = {Continuous process improvement (CPI) may require a BPEL process to be split amongst different participants. In this paper, we enable splitting standard BPEL - without any extensions or new middleware. We present a solution that uses a BPEL process, partition information, and results of data analysis to produce a BPEL process for each participant. The collective behavior of these participant processes recreates the control and data flow of the non-split process. Previous work presented process splitting using a variant of BPEL where data flow is modeled explicitly using ‘data links’. We reuse the control flow aspect from that work, focusing in this paper on maintaining the data dependencies in standard BPEL.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-40&engl=0}
}
@inproceedings {INPROC-2007-21,
   author = {Gero Decker and Oliver Kopp and Frank Puhlmann},
   title = {{Service Referrals in BPEL-based Choreographies}},
   booktitle = {Proceedings of the 2nd European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2007)},
   editor = {Stephen Gorton and Monika Solanki and Stephen Reiff-Marganiec},
   address = {Leicester},
   publisher = {University of Leicester},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {25--30},
   type = {Workshop-Beitrag},
   month = {Juni},
   year = {2007},
   keywords = {Choreography; BPEL; BPEL4Chor; Application of Pi-calculus; interaction models; interconnection models; link passing mobility},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation,     K.1 The Computer Industry},
   ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2007-21/INPROC-2007-21.pdf,     http://www.cs.le.ac.uk/events/yrsoc2007/},
   contact = {oliver.kopp@iaas.uni-stuttgart.de oder gero.decker@hpi.uni-potsdam.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen, Architektur von Anwendungssystemen},
   abstract = {Choreographies describe the interactions between two or more services from a global perspective and specify allowed service conversations. Choreographies typically do not rely on static binding, i.e. the participating services are not selected at design-time of the choreography. Some services might only be selected at runtime and this selection has to be propagated in the case of multi-lateral conversations. Hence, the notion of service referrals (also called link passing mobility) is recurrent in choreographies. In past work, we have proposed BPEL extensions for describing service choreographies, namely BPEL4Chor. This paper closely investigates the link passing mobility capabilities of BPEL4Chor and illustrates their semantics using Pi-calculus.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-21&engl=0}
}
@inproceedings {INPROC-2007-18,
   author = {Matthias Wieland and Oliver Kopp and Daniela Nicklas and Frank Leymann},
   title = {{Towards Context-Aware Workflows}},
   booktitle = {CAiSE´07 Proceedings of the Workshops and Doctoral Consortium Vol.2, Trondheim, Norway, June 11-15th, 2007},
   editor = {Barbara Pernici and Jon Atle Gulla},
   publisher = {Tapir Acasemic Press},
   institution = {Universit{\"a}t Stuttgart : Sonderforschungsbereich SFB 627 (Nexus: Umgebungsmodelle f{\"u}r mobile kontextbezogene Systeme), Germany},
   pages = {577--591},
   type = {Workshop-Beitrag},
   month = {Juni},
   year = {2007},
   isbn = {978-82-519-2246-3},
   keywords = {workflow systems; context-aware systems; ubiquitous systems; workflow modeling; development of context-aware applications; BPEL; Nexus},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   contact = {Matthias Wieland wielanms@informatik.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen;     Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware},
   abstract = {Context-aware applications adapt their behavior based on changes of the physical world, which is often obtained with a huge amount of sensors. Thus, the development of such applications is cumbersome, in particular the implementation of their often complex control flow. To ease the development of context-aware applications we present the concept of context-aware workflows. Thereafter we present an implementation of these concepts based on a standard workflow language. Context-aware workflows are not only interesting for the development of context-aware applications, but also enable workflow technology to be applied in new domains that are process oriented and yet not supported by workflow systems like production processes in the manufacturing industry. The concept of context-aware workflows is a first approach that enables modeling and execution of technical production processes with workflow systems normally used for business processes.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-18&engl=0}
}
@inproceedings {INPROC-2007-16,
   author = {Gero Decker and Oliver Kopp and Frank Leymann and Mathias Weske},
   title = {{BPEL4Chor: Extending BPEL for Modeling Choreographies}},
   booktitle = {Proceedings of the IEEE 2007 International Conference on Web Services (ICWS 2007), Salt Lake City, Utah, USA, July 2007},
   editor = {IEEE Computer Society},
   address = {Salt Lake City},
   publisher = {IEEE Computer Society},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {296--303},
   type = {Konferenz-Beitrag},
   month = {Juli},
   year = {2007},
   doi = {10.1109/ICWS.2007.59},
   keywords = {BPEL4Chor; WS-BPEL; Choreography; WS-CDL; WSCI; Orchestration},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation,     K.1 The Computer Industry},
   ee = {http://conferences.computer.org/icws/2007/},
   contact = {oliver.kopp@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The Business Process Execution Language (BPEL) is a language to orchestrate web services into a single business process. In a choreography view, several processes are interconnected and their interaction behavior is described from a global perspective. This paper shows how BPEL can be extended for defining choreographies. The proposed extensions (BPEL4Chor) distinguish between three aspects: (i) participant behavior descriptions, i.e. control flow dependencies in each participant, (ii) the participant topology, i.e. the existing participants and their interconnection using message links and (iii) participant groundings, i.e. concrete configurations for data formats and port types. As BPEL itself is used unchanged, the extensions facilitate a seamless integration between service choreographies and orchestrations. The suitability of the extensions is validated by assessing their support for the Service Interaction Patterns.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-16&engl=0}
}
@inproceedings {INPROC-2006-67,
   author = {Oliver Kopp and Carsten Frenkler and Niels Lohmann},
   title = {{Korrektheit und Zuverl{\"a}ssigkeit zusammengesetzter Web Services am Beispiel der Gesch{\"a}ftsprozess-Modellierungssprache BPEL}},
   booktitle = {Forschungsoffensive ``Software Engineering 2006'' Statuskonferenz 26.-28. Juni 2006},
   editor = {DLR e.V.},
   publisher = {n/a},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {1--11},
   type = {Workshop-Beitrag},
   month = {Juli},
   year = {2006},
   keywords = {Tools4BPEL; BPEL; EPK; oWFN; BPEL2OWFN},
   language = {Deutsch},
   cr-category = {D.2.2 Software Engineering Design Tools and Techniques,     D.2.4 Software Engineering Software/Program Verification,     F.2.2 Nonnumerical Algorithms and Problems,     F.3.1 Specifying and Verifying and Reasoning about Programs,     F.3.2 Semantics of Programming Languages,     K.1 The Computer Industry},
   ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2006-67/INPROC-2006-67.pdf,     http://www2.informatik.hu-berlin.de/top/tools4bpel/,     http://www.softwarefoerderung.de/},
   contact = {oliver.kopp@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen, Architektur von Anwendungssystemen},
   abstract = {Unternehmens{\"u}bergreifende Gesch{\"a}ftsprozesse werden zunehmend nach dem Paradigma der Services organisiert. Dabei stellen sich Fragen nach der Komponierbarkeit, Bedienbarkeit, Austauschbarkeit sowie der R{\"u}cksetzbarkeit (Kompensation) im Fehlerfall. In diesem Vorhaben werden Methoden und Werkzeuge zum Umgang mit solchen Fragen entwickelt, am Beispiel der Gesch{\"a}ftsprozess-Modellierungssprache BPEL erprobt und in ein Entwurfswerkzeug der Firma Gedilan Technologies integriert.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-67&engl=0}
}
@inproceedings {INPROC-2006-66,
   author = {Oliver Kopp and Tobias Unger and Frank Leymann},
   title = {{Nautilus Event-driven Process Chains: Syntax, Semantics, and their mapping to BPEL}},
   booktitle = {Proceedings of the 5th GI Workshop on Event-Driven Process Chains (EPK 2006)},
   editor = {M. N{\"u}ttgens and F.J. Rump and J. Mendling},
   address = {Vienna, Austria},
   publisher = {CEUR-WS.org},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {85--104},
   type = {Workshop-Beitrag},
   month = {Dezember},
   year = {2006},
   keywords = {Nautilus; EPC; BPEL; mapping},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation,     K.1 The Computer Industry},
   ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2006-66/INPROC-2006-66.pdf,     http://www.epk-community.de/},
   contact = {Oliver.Kopp@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen, Architektur von Anwendungssystemen},
   abstract = {Nautilus Event-driven Process Chains (N-EPCs) are a variant of Eventdriven process chains allowing multiple events between functions. This allows events to be used as transition conditions in a mapping to the Business Process Execution Language for Web Services (BPEL). We will give a formal definition of N-EPCs and show how they can be mapped to BPEL. A close look will be taken how connectors can be eliminated while preserving their semantics.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-66&engl=0}
}
@article {ART-2019-09,
   author = {Karoline Saatkamp and Uwe Breitenb{\"u}cher and Oliver Kopp and Frank Leymann},
   title = {{Method, formalization, and algorithms to split topology models for distributed cloud application deployments}},
   journal = {Computing},
   publisher = {Springer Wien},
   pages = {1--21},
   type = {Artikel in Zeitschrift},
   month = {April},
   year = {2019},
   isbn = {10.1007/s00607-019-00721-8},
   keywords = {Application deployment; Distribution; Splitting; Multi-cloud; TOSCA},
   language = {Englisch},
   cr-category = {D.2.2 Software Engineering Design Tools and Techniques},
   ee = {https://link.springer.com/article/10.1007/s00607-019-00721-8},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {For automating the deployment of applications in cloud environments, a variety of technologies have been developed in recent years. These technologies enable to specify the desired deployment in the form of deployment models that can be automatically processed by a provisioning engine. However, the deployment across several clouds increases the complexity of the provisioning. Using one deployment model with a single provisioning engine, which orchestrates the deployment across the clouds, forces the providers to expose low-level APIs to ensure the accessibility from outside. In this paper, we present an extended version of the split and match method to facilitate the division of deployment models to multiple models which can be deployed by each provider separately. The goal of this approach is to reduce the information and APIs which have to be exposed to the outside. We present a formalization and algorithms to automate the method. Moreover, we validate the practical feasibility by a prototype based on the TOSCA standard and the OpenTOSCA ecosystem.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2019-09&engl=0}
}
@article {ART-2019-03,
   author = {Karoline Saatkamp and Uwe Breitenb{\"u}cher and Oliver Kopp and Frank Leymann},
   title = {{An approach to automatically detect problems in restructured deployment models based on formalizing architecture and design patterns}},
   journal = {SICS Software-Intensive Cyber-Physical Systems},
   publisher = {Springer Berlin Heidelberg},
   pages = {1--13},
   type = {Artikel in Zeitschrift},
   month = {Februar},
   year = {2019},
   doi = {10.1007/s00450-019-00397-7},
   keywords = {Topology-based deployment model; Patterns; Problem detection; TOSCA; Logic programming, Prolog},
   language = {Englisch},
   cr-category = {C.2.4 Distributed Systems,     D.2.2 Software Engineering Design Tools and Techniques,     D.2.12 Software Engineering Interoperability,     K.6 Management of Computing and Information Systems},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {For the automated deployment of applications, technologies exist which can process topology-based deployment models that describes the application's structure with its components and their relations. The topology-based deployment model of an application can be adapted for the deployment in different environments. However, the structural changes can lead to problems, which had not existed before and prevent a functional deployment. This includes security issues, communication restrictions, or incompatibilities. For example, a formerly over the internal network established insecure connection leads to security problems when using the public network after the adaptation. In order to solve problems in adapted deployment models, first the problems have to be detected. Unfortunately, detecting such problems is a highly non-trivial challenge that requires deep expertise about the involved technologies and the environment. In this paper, we present (i) an approach for detecting problems in deployment models using architecture and design patterns and (ii) the automation of the detection process by formalizing the problem a pattern solves in a certain context. We validate the practical feasibility of our approach by a prototypical implementation for the automated problem detection in TOSCA topologies.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2019-03&engl=0}
}
@article {ART-2017-14,
   author = {Pnina Soffer and Annika Hinze and Agnes Koschmider and Holger Ziekow and Claudio Di Ciccio and Boris Koldehofe and Oliver Kopp and Arno Jacobsen and Jan S{\"u}rmeli and Wei Song},
   title = {{From event streams to process models and back: Challenges and opportunities}},
   journal = {Information Systems},
   publisher = {Elsevier BV},
   type = {Artikel in Zeitschrift},
   month = {November},
   year = {2017},
   doi = {10.1016/j.is.2017.11.002},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The domains of complex event processing (CEP) and business process management (BPM) have different origins but for many aspects draw on similar concepts. While specific combinations of BPM and CEP have attracted research attention, resulting in solutions to specific problems, we attempt to take a broad view at the opportunities and challenges involved. We first illustrate these by a detailed example from the logistics domain. We then propose a mapping of this area into four quadrants {\^a}€“ two quadrants drawing from CEP to create or extend process models and two quadrants starting from a process model to address how it can guide CEP. Existing literature is reviewed and specific challenges and opportunities are indicated for each of these quadrants. Based on this mapping, we identify challenges and opportunities that recur across quadrants and can be considered as the core issues of this combination. We suggest that addressing these issues in a generic manner would form a sound basis for future applications and advance this area significantly.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2017-14&engl=0}
}
@article {ART-2017-10,
   author = {Ana Cristina Franco da Silva and Pascal Hirmer and Uwe Breitenb{\"u}cher and Oliver Kopp and Bernhard Mitschang},
   title = {{Customization and provisioning of complex event processing using TOSCA}},
   journal = {Computer Science - Research and Development},
   publisher = {Springer Berlin Heidelberg},
   pages = {1--11},
   type = {Artikel in Zeitschrift},
   month = {September},
   year = {2017},
   issn = {1865-2042},
   issn = {1865-2034},
   doi = {10.1007/s00450-017-0386-z},
   keywords = {Internet of Things; Complex event processing; Customization; TOSCA},
   language = {Englisch},
   cr-category = {K.6 Management of Computing and Information Systems,     D.2.12 Software Engineering Interoperability},
   ee = {https://link.springer.com/article/10.1007/s00450-017-0386-z},
   contact = {Ana-Cristina.Franco-da-Silva@ipvs.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2017-10&engl=0}
}
@article {ART-2017-08,
   author = {Michael Hahn and Uwe Breitenb{\"u}cher and Oliver Kopp and Frank Leymann},
   title = {{Modeling and execution of data-aware choreographies: an overview}},
   journal = {Computer Science - Research and Development},
   publisher = {Springer Berlin Heidelberg},
   pages = {1--12},
   type = {Artikel in Zeitschrift},
   month = {September},
   year = {2017},
   issn = {1865-2042},
   doi = {10.1007/s00450-017-0387-y},
   keywords = {Service Choreographies; Data-awareness; Cross-Partner Data Flow; Transparent Data Exchange},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation,     C.2.4 Distributed Systems},
   contact = {Michael Hahn: michael.hahn@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Due to recent advances in data science and Big Data the importance of data is increasing. Although service choreographies provide means to specify complex conversations between multiple interacting parties from a global perspective and in a technology-agnostic manner, they do not fully reflect the paradigm shift towards data-awareness at the moment. In this paper, we discuss current shortcomings such as missing support for data flow across services and a choreography data contract all interacting parties agree on. This results in more complex and rigid choreography models, making them also less flexible regarding their data perspective during run time. The main contribution is our approach for modeling and execution of data-aware service choreographies towards increasing the level of data awareness in choreographies.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2017-08&engl=0}
}
@article {ART-2016-26,
   author = {Uwe Breitenb{\"u}cher and Christian Endres and K{\'a}lm{\'a}n K{\'e}pes and Oliver Kopp and Frank Leymann and Sebastian Wagner and Johannes Wettinger and Michael Zimmermann},
   title = {{The OpenTOSCA Ecosystem - Concepts \& Tools}},
   journal = {European Space project on Smart Systems, Big Data, Future Internet - Towards Serving the Grand Societal Challenges - Volume 1: EPS Rome 2016},
   publisher = {SciTePress},
   pages = {112--130},
   type = {Artikel in Zeitschrift},
   month = {Dezember},
   year = {2016},
   isbn = {978-989-758-207-3},
   doi = {10.5220/0007903201120130},
   keywords = {TOSCA; OpenTOSCA; Orchestration; Management; Cloud},
   language = {Englisch},
   cr-category = {D.2.2 Software Engineering Design Tools and Techniques,     D.2.9 Software Engineering Management},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Automating the provisioning and management of Cloud applications is one of the most important issues in Cloud Computing. The Topology and Orchestration Specification for Cloud Applications (TOSCA) is an OASIS standard for describing Cloud applications and their management in a portable and interoperable manner. TOSCA enables modeling the application's structure in the form of topology models and employs the concept of executable management plans to describe all required management functionality regarding the application. In this paper, we give an overview of TOSCA and the OpenTOSCA Ecosystem, which is an implementation of the TOSCA standard. The ecosystem consists of standard-compliant tools that enable modeling application topology models and automating the provisioning and management of the modeled applications.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2016-26&engl=0}
}
@article {ART-2016-10,
   author = {Christoph Hochreiner and Stefan Schulte and Oliver Kopp},
   title = {{Bericht zum 8. ZEUS Workshop}},
   journal = {Softwaretechnik-Trends},
   publisher = {Online},
   volume = {36},
   number = {2},
   pages = {61--62},
   type = {Artikel in Zeitschrift},
   month = {August},
   year = {2016},
   issn = {0720-8928},
   language = {Deutsch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://pi.informatik.uni-siegen.de/gi/stt/36_2/03_Technische_Beitraege/ZEUS2016/bericht_zeus.pdf,     http://pi.informatik.uni-siegen.de/gi/stt/36_2/index.html},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware},
   abstract = {Es wird {\"u}ber den 8. ZEUS Workshop in Wien im Speziellen und dem ZEUS Workshop als Konzept im Allgemeinen berichtet.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2016-10&engl=0}
}
@article {ART-2015-11,
   author = {Johannes Wettinger and Uwe Breitenb{\"u}cher and Oliver Kopp and Frank Leymann},
   title = {{Streamlining DevOps Automation for Cloud Applications using TOSCA as Standardized Metamodel}},
   journal = {Future Generation Computer Systems},
   publisher = {Elsevier},
   pages = {317--332},
   type = {Artikel in Zeitschrift},
   month = {August},
   year = {2015},
   language = {Englisch},
   cr-category = {D.2.11 Software Engineering Software Architectures,     C.2.4 Distributed Systems},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {DevOps as an emerging paradigm aims to tightly integrate developers with operations personnel. This enables fast and frequent releases in the sense of continuously delivering new iterations of a particular application. Users and customers of today's Web applications and mobile apps running in the Cloud expect fast feedback to problems and feature requests. Thus, it is a critical competitive advantage to be able to respond quickly. Besides cultural and organizational changes that are necessary to apply DevOps in practice, tooling is required to implement end-to-end automation of deployment processes. Automation is the key to efficient collaboration and tight integration between development and operations. The DevOps community is constantly pushing new approaches, tools, and open-source artifacts to implement such automated processes. However, as all these proprietary and heterogeneous DevOps automation approaches differ from each other, it is hard to integrate and combine them to deploy applications in the Cloud using an automated deployment process. In this paper we present a systematic classification of DevOps artifacts and show how different kinds of artifacts can be discovered and transformed toward TOSCA, which is an emerging standard. We present an integrated modeling and runtime framework to enable the seamless and interoperable integration of different approaches to model and deploy application topologies. The framework is implemented by an open-source, end-to-end toolchain. Moreover, we validate and evaluate the presented approach to show its practical feasibility based on a detailed case study, in particular considering the performance of the transformation toward TOSCA.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2015-11&engl=0}
}
@article {ART-2015-04,
   author = {Rik Eshuis and Alex Norta and Oliver Kopp and Esa Pitkanen},
   title = {{Service Outsourcing with Process Views}},
   journal = {IEEE Transactions on Services Computing},
   publisher = {IEEE},
   volume = {8},
   number = {1},
   pages = {136--154},
   type = {Artikel in Zeitschrift},
   month = {Januar},
   year = {2015},
   doi = {10.1109/TSC.2013.51},
   keywords = {Outsourcing; Organizations; Educational institutions; GSM; Web services; Collaboration; process visibility; Inter-organizational processes; process trees; matching; B2B},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://www.computer.org/csdl/trans/sc/2015/01/06654134-abs.html},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Service outsourcing is a business paradigm in which an organization has a part of its business process performed by a service provider. Process views are pivotal to support this way of working. A process view shields secret or irrelevant details from a private business process, thus allowing an organization to reveal only public, relevant parts of its private business process to partner organizations. This paper introduces a specification framework to support service outsourcing using process views. To enable the construction of process views at various levels of detail, the framework defines several projection relations between process views and the underlying internal processes. To allow consumers and providers of process views to establish an outsourcing relation, the framework defines several matching relations between the respective views that are comprehensive and flexible for service outsourcing. A proof-of-concept prototype tool implements the framework, which is applied in a case study.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2015-04&engl=0}
}
@article {ART-2014-09,
   author = {Johannes Wettinger and Tobias Binz and Uwe Breitenb{\"u}cher and Oliver Kopp and Frank Leymann},
   title = {{Streamlining Cloud Management Automation by Unifying the Invocation of Scripts and Services Based on TOSCA}},
   journal = {International Journal of Organizational and Collective Intelligence (IJOCI), Volume 4, Issue 2},
   publisher = {IGI Global},
   pages = {45--63},
   type = {Artikel in Zeitschrift},
   month = {April},
   year = {2014},
   keywords = {DevOps; Management Operation; Management Plan; Topology and Orchestration Specification for Cloud Applications (TOSCA); Unified Invocation},
   language = {Englisch},
   cr-category = {D.2.11 Software Engineering Software Architectures,     C.2.4 Distributed Systems},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Today, there is a huge variety of script-centric approaches, APIs, and tools available to implement automated provisioning, deployment, and management of applications in the Cloud. The automation of all these aspects is key for reducing costs. However, most of these approaches are script-centric and provide proprietary solutions employing different invocation mechanisms, interfaces, and state models. Moreover, most Cloud providers offer proprietary APIs to be used for provisioning and management purposes. Consequently, it is hard to create deployment and management plans that integrate multiple of these approaches. The goal of the authors work is to come up with an approach for unifying the invocation of scripts and services without handling each proprietary interface separately. A prototype realizes the presented approach in a standards-based manner using the Topology and Orchestration Specification for Cloud Applications (TOSCA).},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2014-09&engl=0}
}
@article {ART-2014-08,
   author = {Uwe Breitenb{\"u}cher and Tobias Binz and Christoph Fehling and Oliver Kopp and Frank Leymann and Matthias Wieland},
   title = {{Policy-Aware Provisioning and Management of Cloud Applications}},
   journal = {International Journal On Advances in Security},
   publisher = {Xpert Publishing Services},
   volume = {7},
   number = {1\&2},
   pages = {15--36},
   type = {Artikel in Zeitschrift},
   month = {Juni},
   year = {2014},
   issn = {1942-2636},
   keywords = {Cloud Computing; Application Management; Provisioning; Security; Policies},
   language = {Englisch},
   cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement,     D.2.9 Software Engineering Management,     K.6 Management of Computing and Information Systems,     K.6.3 Software Management,     K.6.5 Security and Protection},
   ee = {http://thinkmind.org/index.php?view=article&articleid=sec_v7_n12_2014_2},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The automated provisioning and management of composite Cloud applications is a major issue and of vital importance in Cloud Computing. It is key to enable properties such as elasticity and pay-per-use. The functional aspects of provisioning and management such as instantiating virtual machines or updating software components are covered by various technologies on different technical levels. However, currently available solutions are tightly coupled to individual technologies without being able to consider non-functional security requirements in a non-proprietary and interoperable way. In addition, due to their heterogeneity, the integration of these technologies in order to benefit from their individual strengths is a major problem - especially if non-functional aspects have to be considered and integrated, too. In this article, we present a concept that enables executing management tasks using different heterogeneous management technologies in compliance with non-functional security requirements specified by policies. We extend the Management Planlet Framework by a prototypical implementation of the concept and evaluate the approach by several case studies.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2014-08&engl=0}
}
@article {ART-2014-06,
   author = {Tobias Binz and Uwe Breitenb{\"u}cher and Oliver Kopp and Frank Leymann},
   title = {{Migration of enterprise applications to the cloud}},
   journal = {it - Information Technology, Special Issue: Architecture of Web Application},
   publisher = {De Gruyter},
   volume = {56},
   number = {3},
   pages = {106--111},
   type = {Artikel in Zeitschrift},
   month = {Mai},
   year = {2014},
   doi = {10.1515/itit-2013-1032},
   issn = {1611-2776},
   keywords = {Migration; Cloud},
   language = {Englisch},
   cr-category = {K.6 Management of Computing and Information Systems,     D.2.7 Software Engineering Distribution, Maintenance, and Enhancement},
   contact = {a href=``http://www.iaas.uni-stuttgart.de/institut/mitarbeiter/binz''Tobias Binz/ a},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The migration of existing applications to the cloud enables enterprises to preserve their previous investments and - at the same time - to benefit from the properties of the cloud. This article presents a semi-automated approach for migrating existing enterprise applications to the cloud. Thereby, information about the application is gathered in the source environment, the application is extracted, transformed, and cloud-enabled. This makes the application ready for provisioning in the target cloud. Cloud-enabling an application preserves its business functionality and does not},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2014-06&engl=0}
}
@article {ART-2014-02,
   author = {Michael Reiter and Uwe Breitenb{\"u}cher and Oliver Kopp and Dimka Karastoyanova},
   title = {{Quality of Data Driven Simulation Workflows}},
   journal = {Journal of Systems Integration},
   publisher = {Online},
   volume = {5},
   number = {1},
   pages = {3--9},
   type = {Artikel in Zeitschrift},
   month = {Januar},
   year = {2014},
   issn = {1804-2724},
   language = {Englisch},
   cr-category = {H.3.4 Information Storage and Retrieval Systems and Software,     H.4.1 Office Automation},
   ee = {http://www.si-journal.org/index.php/JSI/article/view/189,     http://creativecommons.org/licenses/by-nc/3.0/cz/deed.en},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Simulations are long-running computations driven by non-trivial data dependencies. Workflow technology helps to automate these simulations and enable using Quality of Data (QoD) frameworks to determine the goodness of simulation data. However, existing frameworks are specific to scientific domains, individual applications, or proprietary workflow engine extensions. In this paper, we propose a generic approach to use QoD as a uniform means to steer complex interdisciplinary simulations implemented as workflows. The approach enables scientists to specify abstract QoD requirements that are considered to steer the workflow for ensuring a precise final result. To realize these Quality of Data-driven workflows, we present a middleware architecture and a WS-Policy-based language to describe QoD requirements and capabilities. To prove technical feasibility, we present a prototype for controlling and steering simulation workflows and a real world simulation scenario.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2014-02&engl=0}
}
@article {ART-2012-03,
   author = {Alexander Nowak and Tobias Binz and Christoph Fehling and Oliver Kopp and Frank Leymann and Sebastian Wagner},
   title = {{Pattern-driven Green Adaptation of Process-based Applications and their Runtime Infrastructure}},
   journal = {Computing},
   publisher = {Springer Wien},
   pages = {463--487},
   type = {Artikel in Zeitschrift},
   month = {Februar},
   year = {2012},
   doi = {10.1007/s00607-012-0188-x},
   keywords = {Green Business Process Pattern, Cloud Pattern, Green IT, TOSCA, Adaptation of Applications, Ecological Sustainable Business Processes},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Business Processes are a key aspect of modern organization. In recent years, business process management and optimization has been applied to different cross-cutting concerns such as security, compliance, or Green IT, for example. Based on the ecological characteristics of a business process, proper environmentally sustainable adaptation strategies can be chosen to improve the total environmental impact of the business process. We use ecological sustainable adaptation strategies that are described as Green Business Process Patterns. The application of such a Green Business Process Pattern, however, affects the business process layer, the application component and the infrastructure layer. This implies that changes in the application infrastructure also need to be considered. Hence, we use best practices of cloud application architectures which are described as Cloud Patterns. To guide developers through the adaptation process we propose a pattern-based approach in this work. We correlate Cloud Patterns relevant for sustainable business processes to Green Business Process Patterns and organize them within a classification. To provide concrete implementation support we further annotate these Cloud Patterns to application component models that are described with the Topology and Orchestration Specification for Cloud Applications (TOSCA). Using these annotations, we describe a method that provides the means to optimize business processes based on Green Business Process Patterns through adapting the implementation of application components with concrete TOSCA implementation models.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2012-03&engl=0}
}
@article {ART-2011-18,
   author = {Oliver Kopp and Katharina G{\"o}rlach and Dimka Karastoyanova and Frank Leymann and Michael Reiter and David Schumm and Mirko Sonntag and Steve Strauch and Tobias Unger and Matthias Wieland and Rania Khalaf},
   title = {{A Classification of BPEL Extensions}},
   journal = {Journal of Systems Integration},
   publisher = {Online},
   volume = {2},
   number = {4},
   pages = {2--28},
   type = {Artikel in Zeitschrift},
   month = {November},
   year = {2011},
   issn = {1804-2724},
   keywords = {BPEL Extension; Classification of Extensions; Extension Guidelines},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/ART-2011-18/ART-2011-18.pdf,     http://www.si-journal.org/index.php/JSI/article/view/103},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The Business Process Execution Language (BPEL) has emerged as de-facto standard for business processes implementation. This language is designed to be extensible for including additional valuable features in a standardized manner. There are a number of BPEL extensions available. They are, however, neither classified nor evaluated with respect to their compliance to the BPEL standard. This article fills this gap by providing a framework for classifying BPEL extensions, a classification of existing extensions, and a guideline for designing BPEL extensions.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2011-18&engl=0}
}
@article {ART-2011-02,
   author = {David Schumm and Dimka Karastoyanova and Oliver Kopp and Frank Leymann and Mirko Sonntag and Steve Strauch},
   title = {{Process Fragment Libraries for Easier and Faster Development of Process-based Applications}},
   journal = {Journal of Systems Integration},
   publisher = {Online},
   volume = {2},
   number = {1},
   pages = {39--55},
   type = {Artikel in Zeitschrift},
   month = {Januar},
   year = {2011},
   issn = {1804-2724},
   keywords = {Process Fragment; Process Design; Reusability; Process Library.},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://www.si-journal.org/,     http://www.si-journal.org/index.php/JSI/article/view/83},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The term “process fragment” is recently gaining momentum in business process management research. We understand a process fragment as a connected and reusable process structure, which has relaxed completeness and consistency criteria compared to executable processes. We claim that process fragments allow for an easier and faster development of process-based applications. As evidence to this claim we present a process fragment concept and show a sample collection of concrete, real-world process fragments. We present advanced application scenarios for using such fragments in development of process-based applications. Process fragments are typically managed in a repository, forming a process fragment library. On top of a process fragment library from previous work, we discuss the potential impact of using process fragment libraries in cross-enterprise collaboration and application integration.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2011-02&engl=0}
}
@article {ART-2009-10,
   author = {Oliver Kopp and Daniel Martin and Daniel Wutke and Frank Leymann},
   title = {{The Difference Between Graph-Based and Block-Structured Business Process Modelling Languages}},
   journal = {Enterprise Modelling and Information Systems},
   editor = {Ulrich Frank},
   address = {Duisburg},
   publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)},
   volume = {4},
   number = {1},
   pages = {3--13},
   type = {Artikel in Zeitschrift},
   month = {Juni},
   year = {2009},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://www.wi-inf.uni-duisburg-essen.de/MobisPortal/,     http://www.wi-inf.uni-duisburg-essen.de/MobisPortal/index.php?lang=de&&groupId=1&&contentType=JournalMembers&issue=6&showAbstract=34},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The most prominent business process notations in use today are BPMN, EPC and BPEL. While all those languages show similarities on the conceptual level and share similar constructs, the semantics of these constructs and even the intended use of the language itself are often quite different. As a result, users are uncertain when to use which language or construct in a particular language, especially when they have used another business process notation before. In this paper, we discuss the core characteristics of graph-based and block-structured modelling languages and compare them with respect to their join and loop semantics.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2009-10&engl=0}
}
@article {ART-2009-07,
   author = {Gero Decker and Oliver Kopp and Frank Leymann and Mathias Weske},
   title = {{Interacting services: from specification to execution}},
   journal = {Data \& Knowledge Engineering},
   publisher = {Elsevier Science Publishers},
   volume = {68},
   number = {10},
   pages = {946--972},
   type = {Artikel in Zeitschrift},
   month = {April},
   year = {2009},
   issn = {0169-023X},
   doi = {10.1016/j.datak.2009.04.003},
   keywords = {Service interaction modeling},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation,     K.1 The Computer Industry},
   ee = {http://dx.doi.org/10.1016/j.datak.2009.04.003},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Interacting services play a key role to realize business process integration among different business partners by means of electronic message exchange. In order to provide seamless integration of these services, the messages exchanged as well as their dependencies must be well-defined. Service choreographies are a means to describe the allowed conversations. This article presents a requirements framework for service choreography languages, along which existing choreography languages are assessed. The requirements framework provides the basis for introducing the language BPEL4Chor, which extends the industry standard WS-BPEL with choreography-specific concepts. A validation is provided and integration with executable service orchestrations is discussed.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2009-07&engl=0}
}
@article {ART-2008-21,
   author = {Oliver Kopp and Frank Leymann},
   title = {{Choreography Design Using WS-BPEL}},
   journal = {Bulletin of the IEEE Computer Society Technical Committee on Data Engineering},
   editor = {David B. Lohmet},
   publisher = {IEEE Computer Society Press},
   volume = {31},
   number = {3},
   pages = {31--34},
   type = {Artikel in Zeitschrift},
   month = {September},
   year = {2008},
   keywords = {BPEL4Chor; Choreography},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation,     K.1 The Computer Industry},
   ee = {http://tab.computer.org/tcde/bull_about.html,     http://tab.computer.org/tcde/bull_issues.html},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Web Services are the state-of-the-art realization of a service-oriented architecture. While there is an agreed standard to describe the interface of services (WSDL) as well as an agreed standard to describe the behavior of a single process (WS-BPEL), there is no agreed standard to describe choreographies. In this paper, we give an overview about existing approaches to model choreographies and present one approach based on WS-BPEL in detail.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2008-21&engl=0}
}
@article {ART-2008-14,
   author = {Rania Khalaf and Oliver Kopp and Frank Leymann},
   title = {{Maintaining Data Dependencies Across BPEL Process Fragments}},
   journal = {International Journal of Cooperative Information Systems (IJCIS)},
   publisher = {World Scientific},
   volume = {17},
   number = {3},
   pages = {259--282},
   type = {Artikel in Zeitschrift},
   month = {September},
   year = {2008},
   doi = {10.1142/S0218843008001828},
   keywords = {fragments; business process; BPEL; data consistency},
   language = {Englisch},
   cr-category = {C.2.4 Distributed Systems,     H.3.5 Online Information Services,     H.4.1 Office Automation},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen, Architektur von Anwendungssystemen},
   abstract = {Continuous process improvement (CPI) may require a BPEL process to be split amongst different participants. In this paper, we enable splitting standard BPEL — without requiring any new middleware for the case of flat flows. The solution also supports splitting loops and scopes that have compensation and/or fault handlers. When splitting loops and scopes, we extend existing Web services standards and frameworks in a standard compliant manner in order to support the resulting split control (not data) between the fragments. Data dependencies, however, are handled directly using BPEL constructs placed in the fragments even for split loops and scopes. We present a solution that uses a BPEL process, partition information, and results of data-flow analysis to produce a BPEL process for each participant. The collective behavior of these participant processes recreates the control and data flow of the non-split process. Previous work presented process splitting using a variant of BPEL where data flow is modeled explicitly using ``data links''. We reuse the control flow aspect from that work as well as the control flow aspect from our work on splitting loops and scopes, focusing in this paper on maintaining the data dependencies in standard BPEL.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2008-14&engl=0}
}
@article {ART-2008-01,
   author = {Gero Decker and Oliver Kopp and Alistair Barros},
   title = {{An Introduction to Service Choreographies}},
   journal = {Information Technology},
   publisher = {Oldenbourg Verlag},
   volume = {50},
   number = {2},
   pages = {122--127},
   type = {Artikel in Zeitschrift},
   month = {Februar},
   year = {2008},
   issn = {1611-2776},
   doi = {10.1524/itit.2008.0473},
   keywords = {Choreography modeling; BPEL4Chor; WS-CDL; Let's Dance},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation,     K.1 The Computer Industry},
   ee = {http://www.it-information-technology.de/},
   contact = {oliver.kopp@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen, Architektur von Anwendungssystemen},
   abstract = {Service oriented architecture (SOA) is an architectural style for building software systems based on services. Especially in those scenarios where services implement business processes, complex conversations between the services occur. Service choreographies are a means to capture all interaction obligations and constraints from a global perspective. This article introduces choreographies as an important artifact for SOA, compares them to service orchestrations and surveys existing languages for modeling them.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2008-01&engl=0}
}
@inbook {INBOOK-2018-01,
   author = {Jasmin Guth and Uwe Breitenb{\"u}cher and Michael Falkenthal and Paul Fremantle and Oliver Kopp and Frank Leymann and Lukas Reinfurt},
   title = {{A Detailed Analysis of IoT Platform Architectures: Concepts, Similarities, and Differences}},
   series = {Internet of Everything: Algorithms, Methodologies, Technologies and Perspectives},
   publisher = {Springer},
   pages = {81--101},
   type = {Beitrag in Buch},
   month = {Januar},
   year = {2018},
   isbn = {10.1007/978-981-10-5861-5_4},
   keywords = {Internet of Things; IoT; Platform; Reference Architecture; FIWARE; OpenMTC; SiteWhere; Webinos; AWS IoT; IBM Watson IoT Platform; Microsoft Azure IoT Hub},
   language = {Englisch},
   cr-category = {D.2.11 Software Engineering Software Architectures,     D.4.7 Operating Systems Organization and Design,     H.3.4 Information Storage and Retrieval Systems and Software},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The IoT is gaining increasing attention. The overall aim is to interconnect the physical with the digital world. Therefore, the physical world is measured by sensors and translated into processible data, and data has to be translated into commands to be executed by actuators. Due to the growing interest in IoT, the number of platforms designed to support IoT has risen considerably. As a result of different approaches, standards, and use cases, there is a wide variety and heterogeneity of IoT platforms. This leads to difficulties in comprehending, selecting, and using appropriate platforms. In this work, we tackle these issues by conducting a detailed analysis of several state-of-the-art IoT platforms in order to foster the understanding of the (i) underlying concepts, (ii) similarities, and (iii) differences between them. We show that the various components of the different platforms can be mapped to an abstract reference architecture, and analyze the effectiveness of this mapping.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INBOOK-2018-01&engl=0}
}
@inbook {INBOOK-2016-04,
   author = {Uwe Breitenb{\"u}cher and Tobias Binz and Oliver Kopp and K{\'a}lm{\'a}n K{\'e}pes and Frank Leymann and Johannes Wettinger},
   title = {{Hybrid TOSCA Provisioning Plans: Integrating Declarative and Imperative Cloud Application Provisioning Technologies}},
   series = {Cloud Computing and Services Science},
   publisher = {Springer International Publishing},
   series = {Communications in Computer and Information Science},
   volume = {581},
   pages = {239--262},
   type = {Beitrag in Buch},
   month = {Februar},
   year = {2016},
   doi = {10.1007/978-3-319-29582-4_13},
   isbn = {978-3-319-29581-7},
   keywords = {Cloud application provisioning; TOSCA; Hybrid plans; Automation; Declarative modelling; Imperative modelling; Integration},
   language = {Englisch},
   cr-category = {K.6 Management of Computing and Information Systems},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The efficient provisioning of complex applications is one of the most challenging issues in Cloud Computing. Therefore, various provisioning and configuration management technologies have been developed that can be categorized as follows: imperative approaches enable a precise specification of the low-level tasks to be executed whereas declarative approaches focus on describing the desired goals and constraints. Since complex applications employ a plethora of heterogeneous components that must be wired and configured, typically multiple of these technologies have to be integrated to automate the entire provisioning process. In a former work, we presented a workflow modelling concept that enables the seamless integration of imperative and declarative technologies. This paper is an extension of that work to integrate the modelling concept with the Cloud standard TOSCA. In particular, we show how Hybrid Provisioning Plans can be created that retrieve all required information about the desired provisioning directly from the corresponding TOSCA model. We validate the practical feasibility of the concept by extending the OpenTOSCA runtime environment and the workflow language BPEL.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INBOOK-2016-04&engl=0}
}
@inbook {INBOOK-2015-06,
   author = {Uwe Breitenb{\"u}cher and Tobias Binz and Oliver Kopp and Frank Leymann and Matthias Wieland},
   title = {{Context-Aware Provisioning and Management of Cloud Applications}},
   series = {Cloud Computing and Services Sciences},
   publisher = {Springer International Publishing},
   pages = {151--168},
   type = {Beitrag in Buch},
   month = {Dezember},
   year = {2015},
   doi = {10.1007/978-3-319-25414-2_10},
   isbn = {978-3-319-25413-5},
   keywords = {Application Management; Provisioning; Context; Automation; Cloud Computing},
   language = {Englisch},
   cr-category = {K.6 Management of Computing and Information Systems},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The automation of application provisioning and management is one of the most important issues in Cloud Computing. However, the steadily increasing number of different services and software components employed in composite Cloud applications leads to a high risk of unintended side effects when different technologies work together that bring their own proprietary management APIs. Due to unknown dependencies and the increasing diversity and heterogeneity of employed technologies, even small management tasks on a single component may compromise the whole application functionality for reasons that are neither expected nor obvious to non-experts. In this paper, we tackle these issues by introducing a method that enables detecting and correcting unintended effects of provisioning and management tasks in advance by analyzing the context in which the tasks are executed. We validate the method practically and show how context-aware expert management knowledge can be applied fully automatically to provision and manage running Cloud applications.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INBOOK-2015-06&engl=0}
}
@inbook {INBOOK-2014-01,
   author = {Tobias Binz and Uwe Breitenb{\"u}cher and Oliver Kopp and Frank Leymann},
   title = {{TOSCA: Portable Automated Deployment and Management of Cloud Applications}},
   series = {Advanced Web Services},
   address = {New York},
   publisher = {Springer},
   pages = {527--549},
   type = {Beitrag in Buch},
   month = {Januar},
   year = {2014},
   doi = {10.1007/978-1-4614-7535-4_22},
   isbn = {978-1-4614-7534-7},
   language = {Englisch},
   cr-category = {K.6 Management of Computing and Information Systems,     D.2.12 Software Engineering Interoperability},
   contact = {a href=``http://www.iaas.uni-stuttgart.de/institut/mitarbeiter/binz''Tobias Binz/ a},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Portability and automated management of composite applications are major concerns of today{\^a}€™s enterprise IT. These applications typically consist of heterogeneous distributed components combined to provide the application{\^a}€™s functionality. This architectural style challenges the operation and management of the application as a whole and requires new concepts for deployment, configuration, operation, and termination. The upcoming OASIS Topology and Orchestration Specification for Cloud Applications (TOSCA) standard provides new ways to enable portable automated deployment and management of composite applications. TOSCA describes the structure of composite applications as topologies containing their components and their relationships. Plans capture management tasks by orchestrating management operations exposed by the components. This chapter provides an overview on the concepts and usage of TOSCA.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INBOOK-2014-01&engl=0}
}
@proceedings {PROC-2018-01,
   author = {Nico Herzberg},
   title = {{Proceedings of the 10th Central European Workshop on Services and their Composition (ZEUS 2018)}},
   editor = {Christoph Hochreiner and Oliver Kopp and J{\"o}rg Lenhard},
   publisher = {CEUR-WS.org},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {CEUR Workshop Proceedings},
   volume = {2072},
   pages = {76},
   type = {Tagungsband},
   month = {April},
   year = {2018},
   issn = {1613-0073},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/PROC-2018-01/PROC-2018-01.pdf,     http://ceur-ws.org/Vol-2072/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme},
   abstract = {In February 2018, we had the pleasure to organize the 10th edition of the ZEUS Workshop in Dresden, Germany. This workshop series offers young researchers an opportunity to present and discuss early ideas and work in progress as well as to establish contacts among young researchers. For this year{\^a}€™s edition, we selected eight regular submissions, two position papers, and one tool demonstration by researchers from Belgium, Egypt, Germany, Italy, and Switzerland for presentation at the workshop. Each submission went through a thorough peer-review process and was assessed by at least three members of the program committee with regard to its relevance and scientific quality. The accepted contributions cover the areas of Microservices, Business Process Management, and the Internet of Things. In addition, the workshop also hosted a tool session to introduce early stage researchers to tools that ease the literature research and the documentation of architectural decisions for software systems.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2018-01&engl=0}
}
@proceedings {PROC-2017-06,
   editor = {Oliver Kopp and J{\"o}rg Lenhard and Cesare Pautasso},
   title = {{Proceedings of the 9th Central European Workshop on Services and their Composition (ZEUS 2017)}},
   publisher = {CEUR-WS.org},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {CEUR Workshop Proceedings},
   volume = {1826},
   pages = {92},
   type = {Tagungsband},
   month = {Mai},
   year = {2017},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://dblp.org/db/conf/zeus/zeus2017.html},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme},
   abstract = {},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2017-06&engl=0}
}
@proceedings {PROC-2017-05,
   editor = {Bernhard Mitschang and Norbert Ritter and Holger Schwarz and Meike Klettke and Andreas Thor and Oliver Kopp and Matthias Wieland},
   title = {{Datenbanksysteme f{\"u}r Business, Technologie und Web (BTW 2017), 17. Fachtagung des GI-Fachbereichs ``Datenbanken und Informationssysteme'' (DBIS)}},
   publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {LNI},
   volume = {P266},
   pages = {410},
   type = {Tagungsband},
   month = {M{\"a}rz},
   year = {2017},
   isbn = {978-3-88579-660-2},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://dblp.org/db/conf/btw/btw2017w.html},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme},
   abstract = {Datenbanksysteme f{\"u}r Business, Technologie und Web (BTW 2017) -- Workshopband},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2017-05&engl=0}
}
@proceedings {PROC-2017-04,
   editor = {Bernhard Mitschang and Daniela Nicklas and Frank Leymann and Harald Sch{\"o}ning and Melanie Herschel and Jens Teubner and Theo H{\"a}rder and Oliver Kopp and Matthias Wieland},
   title = {{Datenbanksysteme f{\"u}r Business, Technologie und Web (BTW 2017), 17. Fachtagung des GI-Fachbereichs ``Datenbanken und Informationssysteme'' (DBIS)}},
   publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {LNI},
   volume = {P265},
   pages = {637},
   type = {Tagungsband},
   month = {M{\"a}rz},
   year = {2017},
   isbn = {978-3-88579-659-6},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://dblp.org/db/conf/btw/btw2017.html},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme, Anwendersoftware;     Universit{\"a}t Stuttgart, Institut f{\"u}r Parallele und Verteilte Systeme},
   abstract = {Datenbanksysteme f{\"u}r Business, Technologie und Web (BTW 2017)},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2017-04&engl=0}
}
@proceedings {PROC-2013-02,
   author = {Oliver Kopp and Niels Lohmann},
   title = {{Proceedings of the 5th Central-European Workshop on Services and their Composition}},
   publisher = {CEUR-WS.org},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {CEUR Workshop Proceedings},
   volume = {1029},
   pages = {57},
   type = {Tagungsband},
   month = {September},
   year = {2013},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://zeus-workshop.eu/2013/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Proceedings of the 5th Central-European Workshop on Services and their Composition (ZEUS 2013), Rostock, Germany, February 21-22, 2013},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2013-02&engl=0}
}
@proceedings {PROC-2012-01,
   author = {Andreas Sch{\"o}nberger and Oliver Kopp and Niels Lohmann},
   title = {{Proceedings of the 4th Central-European Workshop on Services and their Composition}},
   publisher = {CEUR-WS.org},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {CEUR Workshop Proceedings},
   volume = {847},
   pages = {143},
   type = {Tagungsband},
   month = {M{\"a}rz},
   year = {2012},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://www.zeus-workshop.eu/2012/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Proceedings of the 4th Central-European Workshop on Services and their Composition (ZEUS 2012), Bamberg, Germany, February 23-24, 2012.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2012-01&engl=0}
}
@proceedings {PROC-2009-01,
   editor = {Oliver Kopp and Niels Lohmann},
   title = {{Services und ihre Komposition - erster zentraleurop{\"a}ischer Workshop (ZEUS 2009)}},
   publisher = {CEUR-WS.org},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {CEUR Workshop Proceedings},
   volume = {438},
   pages = {100},
   type = {Tagungsband},
   month = {M{\"a}rz},
   year = {2009},
   issn = {1613-0073},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   ee = {http://ceur-ws.org/Vol-438/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Der Zentraleurop{\"a}ische Workshop {\"u}ber Services und ihre Komposition (ZEUS) ist kein klassischer Workshop, bei dem fertige Forschungsergebnisse ver{\"o}ffentlicht und pr{\"a}sentiert werden. Stattdessen steht die Diskussion von Ideen, die sich noch in einem f{\"u}hen Entwicklungsstadium befinden, im Vordergrund. So erhalten Teilnehmer bereits vor der Einreichung eines Konferenzpapieres erste R{\"u}ckmeldungen au{\ss}erhalb ihrer Gruppe. Dar{\"u}ber hinaus erlaubt der Workshop durch seine regionale Ausrichtung den Aufbau eines wissenschaftlichen Netzwerkes, das intensiv und zu geringen Kosten genutzt werden kann. Er richtet sich dabei insbesondere an junge deutschsprachige Forscher im Service-Bereich. Der erste ZEUS-Workshops findet am 2. und 3. M{\"a}rz 2009 in Stuttgart statt. Veranstalter ist das Institut f{\"u}r Architektur von Anwendungssystemen der Universit{\"a}t Stuttgart. Es gab 17 eingereichte Beitr{\"a}ge, die alle nach kurzer Begutachtung in das Programm aufgenommen wurden. Weiterhin wird es einen eingeladenen Vortrag von Prof. Karsten Wolf (Universit{\"a}t Rostock) geben. Wir hoffen, dass die Vortr{\"a}ge eine gelungene Grundlage f{\"u}r rege Diskussionen bieten.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2009-01&engl=0}
}