The verification of the Cloud composite services' correctness is challenging. In fact, multiple
component services, derived from different Cloud providers with different service description …

When following the Component-based Architecture (CBA), Web Services (WSs), as
individual components, are composed to meet the functional and non-functional …

With the emergence of the Cloud computing paradigm, service composition has received
much interests as it satisfies complex user requirements. Service composition promote …

Recently, Graphical Security Models (GrSMs) became widely used for security analysis. The
basic formalism called Attack Tree (AT) has been augmented with new attributes covering …

Long periods of dry and cold weather conditions significantly increase fire risks for wooden
buildings. Recent advances in predictive fire risk models combined with publicly available …

Long periods of dry and cold weather conditions significantly increase fire risks for wooden
buildings. Recent advances in predictive fire risk models combined with publicly available …

This article describes an MDE approach for transformation from BPEL specifications to WF-
nets models for verifying behavioral properties on IOWF (Inter-Organizational Workflow) …

Nowadays, protecting the network is not the only security concern. Still, in cyber security,
websites and servers are becoming more popular as targets due to the ease with which they …

The article describes a method for developing and modelling composite web-services. Web-
service composition is used to derive new functionality from the interaction of existing web …

We present the Coloured Petri Nets (CPNs) modelling of the SmartOcean platform currently
under development and aimed at providing cloud-based services for data-driven software …