Model Driven Engineering and Verification of Composite Cloud Services in MetaMORP(h)OSY

Service Oriented Architectures and service-centric models arose in the last years as a standard de-facto in IT enterprises for offering practically any kind of services to users world-wide. In particular Cloud-based models provide means for realizing and distributing, including infrastructures, hardware and software platforms and services. Even if at the moment Service-centric models and technologies are mature in the IT scenario, composition, analysis and validation of Cloud services are open research challenges. In this work we describe a methodology based on Multi-Agent Models which allows for description, composition and verification of requirements of Cloud-based services. The methodology uses a modeling profile able to describe services as agents in a multi-agent environment and it is based on Model Driven Engineering (MDE) techniques. The proposed methodology includes a verification process for requirements that exploits formal methods during the whole life cycle of services.

[1]  Mario Macías,et al.  Client Classification Policies for SLA Enforcement in Shared Cloud Datacenters , 2012, 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012).

[2]  Tharam S. Dillon,et al.  Cloud Computing: Issues and Challenges , 2010, 2010 24th IEEE International Conference on Advanced Information Networking and Applications.

[3]  Rocco Aversa,et al.  Enabling Model Driven Engineering of Cloud Services by using mOSAIC Ontology , 2012, Scalable Comput. Pract. Exp..

[4]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[5]  Pierre Sens,et al.  Towards QoS-Oriented SLA Guarantees for Online Cloud Services , 2013, 2013 13th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing.

[6]  Jordi Cabot,et al.  Combining Model-Driven Engineering and Cloud Computing , 2010, ECMFA 2010.

[7]  Domenico Talia,et al.  Clouds Meet Agents: Toward Intelligent Cloud Services , 2012, IEEE Internet Computing.

[8]  Rocco Aversa,et al.  Describing Cloud Use Case in MetaMORP(h)OSY , 2012, 2012 Sixth International Conference on Complex, Intelligent, and Software Intensive Systems.

[9]  Sean Luke,et al.  MASON: A Multiagent Simulation Environment , 2005, Simul..

[10]  Valeria Vittorini,et al.  Automatic Analysis of Control Flow inWeb Services Composition Processes , 2007, 15th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing (PDP'07).

[11]  Stefano Marrone,et al.  Interfaces and binding in component based development of formal models , 2009, VALUETOOLS.

[12]  Rocco Aversa,et al.  Proceedings of the Federated Conference on Computer Science and Information Systems pp. 973–980 ISBN 978-83-60810-22-4 An Analysis of mOSAIC ontology for Cloud Resources annotation , 2022 .

[13]  Salvatore Venticinque,et al.  OVerFA: a collaborative framework for the semantic annotation of documents and websites , 2009, Int. J. Web Grid Serv..

[14]  Kwang Mong Sim,et al.  Self-Organizing Agents for Service Composition in Cloud Computing , 2010, 2010 IEEE Second International Conference on Cloud Computing Technology and Science.

[15]  Sean Luke,et al.  MASON : A Multi-Agent Simulation Environment , 2008 .

[16]  Salman Baset,et al.  Cloud SLAs: present and future , 2012, OPSR.

[17]  Monique Calisti,et al.  AML: Agent Modeling Language Toward Industry-Grade Agent-Based Modeling , 2004, AOSE.

[18]  Salvatore Venticinque,et al.  Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework , 2008, IDC.

[19]  Flora Amato,et al.  A semantic based methodology to classify and protect sensitive data in medical records , 2010, 2010 Sixth International Conference on Information Assurance and Security.

[20]  Kishor S. Trivedi,et al.  Reliability and Performability Modeling Using SHARPE 2000 , 2000, Computer Performance Evaluation / TOOLS.

[21]  Valeria Vittorini,et al.  Solution Workflows for Model-Based Analysis of Complex Systems , 2012, IEEE Transactions on Automation Science and Engineering.

[22]  Dimitris Plexousakis,et al.  Lifecycle management of service-based applications on multi-clouds: a research roadmap , 2013, MultiCloud '13.

[23]  Flora Amato,et al.  A system for semantic retrieval and long-term preservation of multimedia documents in the e-government domain , 2009, Int. J. Web Grid Serv..

[24]  Valeria Vittorini,et al.  Towards Semantics Driven Generation of Executable Web Services Compositions , 2007, J. Softw..

[25]  Marin Litoiu,et al.  Performance model driven QoS guarantees and optimization in clouds , 2009, 2009 ICSE Workshop on Software Engineering Challenges of Cloud Computing.

[26]  Michael Wooldridge,et al.  Agent-based software engineering , 1997, IEE Proc. Softw. Eng..