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

Abstract

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 everything-as-a-service, 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 multiagent 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.

A Model for Verification and Validation of Law Compliance of Smart Contracts in IoT Environment

“…2 represents these steps in a diagram similarly to an UML Sequence with these properties: (1) Objects are related to agents; (2) the lifetime of an object is not considered; (3) messages take place asynchronously; (4) messages are sent by agents whereby messages names refer to methods of senders. See also [5] for details of messaging among agents in a MAS model. With regard to collected data, we require that it is stored in an high availability storage system in a data center and are digitally signed to guarantee non-repudiation.…”

Verification algebra for multi‐tenant applications in VaaS architecture

“…They model Hadoop's parallel architecture to validate start‐up ordering and address data locality, deadlock freeness and non‐termination. Moscato [32] proposed a methodology based on multi‐agent model that allows for description, composition and verification of cloud‐based services. The methodology uses a modelling profile to describe services as agents in a multi‐agent environment, and it is based on model‐driven engineering (MDE).…”

Enabling IoT Stream Management in Multi-cloud Environment by Orchestration

“…In brief, we use OWL-S with IOPE grounding in order to analyse interoperability among services, but composition is managed as a workflow process and formal operational semantics allow for analysis of composite processes. Similarly, the analysis of the Quality of Service of composite services is out of the scope of this work and it is introduced in [17].…”