port prediction about non-functional properties such
as costs and performance before the actual application
provisioning is carried out seems highly desirable. We
plan to explore how fUML (OMG, 2013) can be em-
ployed to provide behavioral semantics for CAML in
a similar way as it can be used to define behavioral se-
mantics of MOF-based metamodels (Mayerhofer et al.,
2013).
ACKNOWLEDGEMENTS
This work is co-funded by the EC, grant no. 317859
(ARTIST project), and the German government, grant
no. 03ET4018B (NEMAR project).
REFERENCES
Ardagna, D., Nitto, E. D., Casale, G., Petcu, D., Mohagheghi,
P., Mosser, S., Matthews, P., Gericke, A., Ballagny, C.,
D’Andria, F., Nechifor, C., and Sheridan, C. (2012).
MODAClouds: A Model-Driven Approach for the De-
sign and Execution of Applications on Multiple Clouds.
In MISE@ICSE.
Armbrust, M., Fox, A., Griffith, R., Joseph, A. D., Katz,
R. H., Konwinski, A., Lee, G., Patterson, D. A., Rabkin,
A., Stoica, I., and Zaharia, M. (2010). A View of Cloud
Computing. Commun. ACM, 53(4).
Bergmayr, A. et al. (2014a). Cloud Modeling Languages by
Example. In SOCA.
Bergmayr, A. et al. (2014b). JUMP - From Java Annotations
to UML Profiles. In MODELS.
Bergmayr, A. et al. (2014c). UML-based Cloud Application
Modeling with Libraries, Profiles, and Templates. In
CloudMDE@MoDELS.
Binz, T. et al. (2013). OpenTOSCA – A Runtime for
TOSCA-based Cloud Applications. In ICSOC.
Binz, T. et al. (2014). TOSCA: Portable Automated De-
ployment and Management of Cloud Applications. In
Advanced Web Services. Springer.
Breitenb
¨
ucher, U. et al. (2014a). Combining Declarative and
Imperative Cloud Application Provisioning based on
TOSCA. In IC2E.
Breitenb
¨
ucher, U. et al. (2014b). Vinothek – A Self-Service
Portal for TOSCA. In ZEUS.
Chapman, C., Emmerich, W., M
´
arquez, F. G., Clayman, S.,
and Galis, A. (2012). Software Architecture Definition
for On-Demand Cloud Provisioning. Cluster Comput.,
15(2).
Cosmo, R. D., Lienhardt, M., Treinen, R., Zacchiroli, S.,
Zwolakowski, J., Eiche, A., and Agahi, A. (2014). Au-
tomated synthesis and deployment of cloud applica-
tions. In ASE.
DMTF (2013). DMTF, Open Virtualization Format (OVF).
Version 2.0.0.
Fehling, C. et al. (2014). Cloud Computing Patterns - Fun-
damentals to Design, Build, and Manage Cloud Appli-
cations. Springer.
Ferry, N., Rossini, A., Chauvel, F., Morin, B., and Solberg,
A. (2013). Towards Model-Driven Provisioning, De-
ployment, Monitoring, and Adaptation of Multi-cloud
Systems. In CLOUD.
Frey, S. and Hasselbring, W. (2011). The CloudMIG Ap-
proach: Model-Based Migration of Software Systems
to Cloud-Optimized Applications. Intl. J. Advances in
Software, 4(3&4).
Gon
c¸
alves, G. E., Endo, P. T., Santos, M. A., Sadok, D., Kel-
ner, J., Melander, B., and M
˚
angs, J. (2011). CloudML:
An Integrated Language for Resource, Service and Re-
quest Description for D-Clouds. In CloudCom.
Guill
´
en, J., Miranda, J., Murillo, J. M., and Canal, C. (2013).
A UML Profile for Modeling Multicloud Applications.
In ESOCC.
Hamdaqa, M. and Tahvildari, L. (2015). Stratus ML: A
Layered Cloud Modeling Framework. In IC2E.
Holmes, T. (2014). Automated Provisioning of Customized
Cloud Service Stacks using Domain-Specific Lan-
guages. In CloudMDE@MoDELS.
Jamshidi, P., Ahmad, A., and Pahl, C. (2013). Cloud Migra-
tion Research: A Systematic Review. IEEE T. Cloud
Computing, 1(2).
Jouault, F., Allilaire, F., B
´
ezivin, J., and Kurtev, I. (2008).
ATL: A model transformation tool. Sci. Comput. Pro-
gram., 72(1-2):31–39.
Kopp, O. et al. (2013). Winery – modeling tool for TOSCA-
based cloud applications. In ICSOC.
Kritikos, K., Domaschka, J., and Rossini, A. (2014). SRL: A
scalability rule language for multi-cloud environments.
In Proc. of Intl. Conf. on Cloud Computing Technology
and Science (CloudCom), pages 1–9.
K
¨
uhne, T. (2006). Matters of (meta-)modeling. Software
and System Modeling, 5(4).
Leymann, F. (2011). Cloud Computing. it - Information
Technology, 53(4).
Leymann, F. et al. (2011). Moving Applications to the Cloud:
An Approach Based on Application Model Enrichment.
Int. J. Cooperative Inf. Syst., 20(3).
Mayerhofer, T., Langer, P., Wimmer, M., and Kappel, G.
(2013). xMOF: Executable DSMLs based on fUML.
In SLE.
Neubauer, P. et al. (2015). XMLText: From XML Schema
to Xtext. In SLE.
Nguyen, D. K., Lelli, F., Taher, Y., Parkin, M., Papazoglou,
M. P., and van den Heuvel, W. (2011). Blueprint Tem-
plate Support for Engineering Cloud-Based Services.
In ServiceWave.
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 (2013). Semantics of a Foundational Subset
for Executable UML Models (fUML), Version 1.1.
http://www.omg.org/spec/FUML/1.1.
From Architecture Modeling to Application Provisioning for the Cloud by Combining UML and TOSCA
107