Automatic Analysis of Control Flow in Web Services Composition Processes

Composition of web services is of great interest to support business-to-business collaboration and provide value added services with desired properties or capabilities. Nevertheless, the standard languages used to create business processes from composite web services lack of formal definition of their semantics and tools to support the analysis of a business process. In this paper we provide a practical approach to formal verification of BPEL4WS executable processes. A syntax-driven operational semantics for BPEL4WS is introduced and an automatic verifier is presented in order to perform a semantic analysis of the flow constructs used in the definition of BPEL4WS processes

Enabling IoT stream management in multi-cloud environment by orchestration

(c) 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works.Every-Day lives are becoming increasingly instrumented by electronic devices and any kind of computer-based (distributed) service. As a result, organizations need to analyse an enormous amounts of data in order to increase their incomings or to improve their services. Anyway, setting-up a private infrastructure to execute analytics over Big Data is still expensive. The exploitation of Cloud infrastructure in IoT Stream management is appealing because of costs reductions and potentiality of storage, network and computing resources. The Cloud can consistently reduce the cost of analysis of data from different sources, opening analytics to big storages in a multi-cloud environment. Anyway, creating and executing this kind of service is very complex since different resources have to be provisioned and coordinated depending on users' needs. Orchestration is a solution to this problem, but it requires proper languages and methodologies for automatic composition and execution. In this work we propose a methodology for composition of services used for analyses of different IoT Stream and, in general, Big Data sources: in particular an Orchestration language is reported able to describe composite services and resources in a multi-cloud environment.Peer ReviewedPostprint (author's final draft

Generation of game contents by social media analysis and MAS planning

In the age of pervasive computing and social networks, it has become commonplace to retrieve opinions about digital contents in games. In the case of multi-player, open world gaming, in fact even in “old-school” single players games, it is evident the need for adding new features in a game depending on users comments and needs. However this is a challenging task that usually requires considerable design and programming efforts, and more and more patches to games, with the inevitable consequence of loosing interest in the game by players over years. This is particularly a hard problem for all games that do not intend to be designed as interactive novels. Process Content Generation (PCG) of new contents could be a solution to this problem, but usually such techniques are used to design new maps or graphical contents. Here we propose a novel PCG technique able to introduce new contents in games by means of new story-lines and quests. We introduce new intelligent agents and events in the world: their attitudes and behaviors will promote new actions in the game, leading to the involvement of players in new gaming content. The whole methodology is driven by Social Media Analysis contents about the game, and by the use of formal planning techniques based on Multi-Agents modelsPeer ReviewedPostprint (author's final draft

A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation

AbstractSeveral frameworks have been proposed in literature in order to cope with critical infrastructure modelling issues, and almost all rely on simulation techniques. Anyway simulation is not enough for critical systems, where any problem may lead to consistent loss in money and even human lives. Formal methods are widely used in order to enact exhaustive analyses of these systems, but their complexity grows with system dimension and heterogeneity. In addition, experts in application domains could not be familiar with formal modelling techniques. A way to manage complexity of analysis is the use of Model Based Transformation techniques: analysts can express their models in the way they use to do and automatic algorithms translate original models into analysable ones, reducing analysis complexity in a completely transparent way.In this work we describe an automatic transformation algorithm generating hybrid automata for the analysis of a natural water supply system. We use real system located in the South of Italy as case study

An Efficient Decentralized Multidimensional Data Index: A Proposal

n/

Enhancing Random Forest Classification with NLP in DAMEH: A system for DAta Management in EHealth Domain

The use of pervasive IoT devices in Smart Cities, have increased the Volume of data produced in many and many field. Interesting and very useful applications grow up in number in E-health domain, where smart devices are used in order to manage huge amount of data, in highly distributed environments, in order to provide smart services able to collect data to fill medical records of patients. The problem here is to gather data, to produce records and to analyze medical records depending on their contents. Since data gathering involve very different devices (not only wearable medical sensors, but also environmental smart devices, like weather, pollution and other sensors) it is very difficult to classify data depending their contents, in order to enable better management of patients. Data from smart devices couple with medical records written in natural language: we describe here an architecture that is able to determine best features for classification, depending on existent medical records. The architecture is based on pre-filtering phase based on Natural Language Processing, that is able to enhance Machine learning classification based on Random Forests. We carried on experiments on about 5000 medical records from real (anonymized) case studies from various health-care organizations in Italy. We show accuracy of the presented approach in terms of Accuracy-Rejection curves

SemTree: An index for supporting semantic retrieval of documents

In this paper, we propose SemTree, a novel semantic index for supporting retrieval of information from huge amount of document collections, assuming that semantics of a document can be effectively expressed by a set of (subject, predicate, object) statements as in the RDF model. A distributed version of KD-Tree has been then adopted for providing a scalable solution to the document indexing, leveraging the mapping of triples in a vectorial space. We investigate the feasibility of our approach in a real case study, considering the problem of finding inconsistencies in documents related to software requirements and report some preliminary experimental results

Analysis of pronuclear zygote configurations in 459 clinical pregnancies obtained with assisted reproductive technique procedures

BACKGROUND: Embryos selection is crucial to maintain high performance in terms of pregnancy rate, reducing the risk of multiple pregnancy during IVF. Pronuclear and nucleolar characteristics have been proposed as an indicator of embryo development and chromosomal complement in humans, providing information about embryo viability. METHODS: To correlate the zygote-score with the maternal age and the outcome of pregnancy, we analyzed the pronuclear and nucleolar morphology, the polar body alignment and the zygote configuration in 459 clinical pregnancies obtained by IVF and ICSI in our public clinic in Reggio Emilia, Italy. We derived odds ratios (OR) and Corenfield's 95% confidence intervals (CI). Continuous variables were compared with Student's t-test; P lower than .05 was considered statistically significant. RESULTS: We observed a significant increase of "A" pronuclear morphology configuration in 38-41 years old patients in comparison to that lower than or equal to 32 years old and a significant decrease of "B" configuration in 38-41 years old patients in comparison to that lower than or equal to 32 and in comparison to that of 33-37 years old. Related to maternal age we found no significant differences in P1 and in P2 configuration. We found no correlation between zygote-score, embryo cleavage and embryo quality. CONCLUSIONS: Our results confirm the limited clinical significance of zygote-score suggesting that it can not be associated with maternal age, embryo cleavage and embryo quality. The evaluation of embryo quality based on morphological parameters is probably more predictive than zygote-score

Topical use of tranexamic acid in coronary artery bypass operations: A double-blind, prospective, randomized, placebo-controlled study

AbstractObjectives: We sought to investigate the effect of topical application of tranexamic acid into the pericardial cavity in reducing postoperative blood loss in coronary artery surgery. Methods: A prospective, randomized, double-blind investigation with parallel groups was performed. Forty consecutive patients undergoing primary coronary surgery were randomly assigned to group 1 (tranexamic acid group) or group 2 (placebo group). Tranexamic acid (1 g in 100 mL of saline solution) or placebo was poured into the pericardial cavity and over the mediastinal tissues before sternal closure. The drainage of mediastinal blood was measured hourly. Results: Chest tube drainage in the first 24 hours was 485 ± 166 mL in the tranexamic acid group and 641 ± 184 mL in the placebo group (P = .01). Total postoperative blood loss was 573 ± 164 mL and 739 ± 228 mL, respectively (P = .01). The use of banked donor blood products was not significantly different between the two groups. Tranexamic acid could not be detected in any of the blood samples blindly collected from 24 patients to verify whether any systemic absorption of the drug occurred. There were no deaths in either group. None of the patients required reoperation for bleeding. Conclusions: Topical application of tranexamic acid into the pericardial cavity after cardiopulmonary bypass in patients undergoing primary coronary bypass operations significantly reduces postoperative bleeding. Further studies must be carried out to clarify whether a more pronounced effect on both bleeding and blood products requirement might be seen in procedures with a higher risk of bleeding. (J Thorac Cardiovasc Surg 2000;119:575-80