REFERENCES
Barros, A., Dumas, M., and terHofstede, A. (2005). Service
Interaction Patterns. In BPM. Springer.
Binz, T., Breitenb¨ucher, U., Kopp, O., Leymann, F., and
Weiß, A. (2013a). Improve Resource-Sharing through
Functionality-Preserving Merge of Cloud Application
Topologies. In CLOSER. SciTePress.
Binz, T. et al. (2013b). OpenTOSCA – a runtime
for TOSCA-based cloud applications. In ICSOC.
Springer.
Breitenb¨ucher, U., Binz, T., Kopp, O., Leymann, F., and
Wettinger, J. (2013). Integrated cloud application pro-
visioning: Interconnecting service-centric and script-
centric management technologies. In CoopIS, pages
130–148. Springer.
Breitenb¨ucher, U. et al. (2012). Vino4TOSCA: A visual
notation for application topologies based on TOSCA.
In CoopIS, pages 416–424. Springer.
Breitenb¨ucher, U. et al. (2014). Combining Declarative and
Imperative Cloud Application Provisioning based on
TOSCA. In IC2E.
Breitenb¨ucher, U. et al. (2014). Vinothek – a self-service
portal for TOSCA. In ZEUS. CEUR.
Brown, A. B. and Patterson, D. A. (2001). To err is human.
In EASY, page 5.
Coutermarsh, M. (2014). Heroku Cookbook. Packt Publish-
ing Ltd.
Decker, G., Kopp, O., Leymann, F., and Weske, M. (2007).
BPEL4Chor: Extending BPEL for modeling chore-
ographies. In ICWS, pages 296–303. IEEE.
Herry, H., Anderson, P., and Rovatsos, M. (2013). Chore-
ographing configuration changes. In Proceedings of
the 9th International Conference on Network and Ser-
vice Management, CNSM 2013, Zurich, Switzerland,
October 14-18, 2013, pages 156–160.
Herry, H., Anderson, P., and Wickler, G. (2011). Automated
planning for configuration changes. In LISA.
Hofreiter, B. and Huemer, C. (2008). A model-driven top-
down approach to inter-organizational systems: From
global choreography models to executable BPEL. In
CEC.
Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., La-
fon, Y., and Barreto, C. (2005). Web Services Chore-
ography Description Language Version 1.0.
Keller, A. and Badonnel, R. (2004). Automating the pro-
visioning of application services with the BPEL4WS
workflow language. In DSOM.
Kopp, O., Binz, T., Breitenb¨ucher, U., and Leymann, F.
(2012). BPMN4TOSCA: A domain-specific language
to model management plans for composite applica-
tions. In BPMN.
Kopp, O. et al. (2013). Winery – modeling tool for TOSCA-
based cloud applications. In ICSOC. Springer.
Kopp, O., Leymann, F., and Wagner, S. (2011). Model-
ing choreogaphies: BPMN 2.0 versus BPEL-based
approaches. In Proceedings of the 4
th
International
Workshop on Enterprise Modelling and Information
Systems Architectures - EMISA 2011, Lecture Notes
in Informatics (LNI). Gesellschaft f¨ur Informatik e.V.
(GI).
K¨uster, J., Gerth, C., F¨orster, A., and Engels, G. (2008). A
tool for process merging in business-driven develop-
ment. In Proceedings of the Forum at the CAiSE.
Leymann, F. and Roller, D. (2000). Production workflow:
concepts and techniques. Prentice Hall PTR.
Mendling, J. and Hafner, M. (2008). From WS-CDL chore-
ography to BPEL process orchestration. J. Enterprise
Inf. Management, 21(5):525–542.
Mendling, J. and Simon, C. (2006). Business process design
by view integration. In BPM Workshops. Springer.
OASIS (2007). Web Services Business Process Execution
Language (WS-BPEL) Version 2.0. OASIS.
OASIS (2013a). TOSCA Primer v1.0. http://docs.oasis-
open.org/tosca/tosca-primer/v1.0/tosca-primer-
v1.0.html.
OASIS (2013b). TOSCA v1.0. http://docs.oasis-
open.org/tosca/TOSCA/v1.0/os/TOSCA-v1.0-
os.html.
OMG (2011). Business Process Model and Notation
(BPMN), Version 2.0.
Oppenheimer, D., Ganapathi, A., and Patterson, D. A.
(2003). Why do internet services fail, and what can
be done about it? In USITS.
Opscode, Inc. (2015). Chef official site:
http://www.opscode.com/chef.
Puppet Labs, Inc. (2015). Puppet official site:
http://puppetlabs.com/puppet/what-is-puppet.
Soldani, J., Binz, T., Breitenb¨ucher, U., Leymann, F., and
Brogi, A. (2015). Tosca-mart: A method for adapt-
ing and reusing cloud applications. Technical report,
University of Pisa.
Wagner, S., Kopp, O., and Leymann, F. (2012). Towards
Verification of Process Merge Patterns with Allen’s
Interval Algebra. In ZEUS. CEUR.
Wagner, S., Kopp, O., and Leymann, F. (2014).
Choreography-based Consolidation of Multi-Instance
BPEL Processes. In CLOSER. SciTePress.
Wagner, S., Roller, D., Kopp, O., Unger, T., and Leymann,
F. (2013). Performance optimizations for interacting
business processes. In IC2E. IEEE.
Weiß, A. and Karastoyanova, D. (2014). Enabling coupled
multi-scale, multi-field experiments through chore-
ographies of data-driven scientific simulations. Com-
puting, pages 1–29.