Simulation-based matching of cloud applications

Abstract OASIS TOSCA aims at solving the problem of managing complex applications across heterogeneous clouds by providing a standard, vendor-agnostic language to describe them. TOSCA permits defining a cloud application as an orchestration of typed components, which can be instantiated by matching other TOSCA applications. In this paper we first present two types of behaviour-aware matching of applications (exact and plug-in) both based on a notion of simulation. We then extend the notion of plug-in matching by relaxing the notion of simulation to permit matching an operation with a sequence of operations. We also present a coinductive procedure to compute such relaxed simulation, and we formally prove the termination, soundness, and completeness of such procedure.

[1]  Edmund M. Clarke,et al.  Characterizing Finite Kripke Structures in Propositional Temporal Logic , 1988, Theor. Comput. Sci..

[2]  Antonio Brogi,et al.  ToscaMart: A method for adapting and reusing cloud applications , 2016, J. Syst. Softw..

[3]  Boualem Benatallah,et al.  Protocol-aware matching of web service interfaces for adapter development , 2010, WWW '10.

[4]  Valérie Issarny,et al.  Automated Synthesis of Mediators to Support Component Interoperability , 2015, IEEE Transactions on Software Engineering.

[5]  D. Sangiorgi.  Introduction to Bisimulation and Coinduction , 2011 .

[6]  Ursula Goltz,et al.  Refinement of actions and equivalence notions for concurrent systems , 2001, Acta Informatica.

[7]  Matthias Klusch,et al.  OWLS-MX: A hybrid Semantic Web service matchmaker for OWL-S services , 2009, J. Web Semant..

[8]  Antonio Brogi,et al.  Behaviour-Aware Matching of Cloud Applications , 2016, 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).

[9]  Randy H. Katz,et al.  A view of cloud computing , 2010, CACM.

[10]  Antonio Brogi,et al.  Validating TOSCA Application Topologies , 2017, MODELSWARD.

[11]  Steffen Becker,et al.  Component Composition with Parametric Contracts , 2004 .

[12]  Rob J. van Glabbeek,et al.  Branching time and abstraction in bisimulation semantics , 1996, JACM.

[13]  Antonio Brogi,et al.  Modelling and Analysing Cloud Application Management , 2015, ESOCC.

[14]  Antonio Brogi,et al.  Finding available services in TOSCA-compliant clouds , 2016, Sci. Comput. Program..

[15]  Antonio Brogi,et al.  TOSCA in a Nutshell: Promises and Perspectives , 2014, ESOCC.

[16]  Arend Rensink,et al.  Action Refinement , 1999, Handbook of Process Algebra.

[17]  Manuel A. Martins,et al.  Refinement via Interpretation , 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.

[18]  Antonio Brogi,et al.  A Petri Net-Based Approach to Model and Analyze the Management of Cloud Applications , 2016, Trans. Petri Nets Other Model. Concurr..

[19]  Matteo Pradella,et al.  An Automatic Approach to Enable Replacement of Conversational Services , 2009, ICSOC/ServiceWave.

[20]  Antonio Brogi,et al.  Fault-Aware Application Management Protocols , 2016, ESOCC.

[21]  Manuel A. Martins,et al.  The role of logical interpretations in program development , 2013, Log. Methods Comput. Sci..

[22]  Antonio Brogi,et al.  A Net-based Approach to Web Services Publication and Replaceability , 2009, Fundam. Informaticae.

[23]  Oliver Kopp,et al.  OpenTOSCA - A Runtime for TOSCA-Based Cloud Applications , 2013, ICSOC.

[24]  Rik Eshuis,et al.  Structural Matching of BPEL Processes , 2007, ECOWS 2007.

[25]  Paola Inverardi,et al.  Automatic synthesis of modular connectors via composition of protocol mediation patterns , 2013, 2013 35th International Conference on Software Engineering (ICSE).

[26]  Antonio Brogi,et al.  EU Project SeaClouds - Adaptive Management of Service-based Applications Across Multiple Clouds , 2014, CLOSER.