Results 61 to 70 of about 6,413 (258)
Model Checking Techniques applied to the design of Web Services
CLEI Electronic Journal, 2007 In previous work we have presented the generation of WS-CDL and WS-BPEL documents. In this paper we show the unification of both generations. The aim is to generate correct WS-BPEL skeleton documents from WS-CDL documents by using the Timed Automata as ...
Gregorio Dıaz +4 more
doaj +1 more source
Splitting BPEL processes [PDF]
, 2012 Khalaf presents a concept to split BPEL processes. This thesis illustrates how to extend the work of Khalaf to go from a BPEL process to a BPEL4Chor choreography. First, the main BPEL process given is split into fragment BPEL processes, in a way that the
Cui, Daojun
core +1 more source
A Systematic Mapping Study of the Metrics, Uses and Subjects of Diversity‐Based Testing Techniques
Software Testing, Verification and Reliability, Volume 35, Issue 2, March 2025.This paper is a systematic mapping study of diversity‐based testing (DBT) techniques that summarizes the key aspects and trends of 167 papers. The study reports the use of 79 similarity metrics with 22 types of software artefacts, which researchers have used to tackle 11 types of software testing problems.
Islam T. Elgendy +2 more
wiley +1 more source
Blockchain‐Enhanced Distributed Cache Management for Top‐Level Domain Resolution Optimization
IET Blockchain, Volume 5, Issue 1, January/December 2025.A distributed domain master resolution architecture based on blockchain. ABSTRACT In the current Internet era, whether the domain name system (DNS) can achieve efficient resolution is of great significance for optimizing user experience and promoting global development.
Lianjie Song, Xueshan Lin
wiley +1 more source
Applied Food Biotechnology, 2019 Background and objective: Soybean is one of the most important grains with high proteins, good quality edible oils, appreciable amount of minerals and vitamins.
Sima Maleki Varnosfaderani +2 more
doaj +1 more source
Blind-date Conversation Joining [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 We focus on a form of joining conversations among multiple parties in service-oriented applications where a client may asynchronously join an existing conversation without need to know in advance any information about it.
Luca Cesari +2 more
doaj +1 more source
Advanced Healthcare Materials, Volume 13, Issue 18, July 17, 2024.Realistic in vitro cardiac models are needed to improve disease modeling, drug screening, and safety pharmacology. In this study, an innovative heart‐on‐chip platform featuring engineered heart tissues is developed. Endothelial cells and smooth muscle cells enhance cardiomyocyte functional performance, and, through a self‐organization process ...
Carla Cofiño‐Fabres +8 more
wiley +1 more source
Test Case Selection for All-Uses Criterion-Based Regression Testing of Composite Service
IEEE Access, 2019 Composite services evolve for various reasons. Test case selection in the regression testing is an effective technique to ensure the correctness of modified versions meanwhile to reduce the cost of testing.
Shunhui Ji, Bixin Li, Pengcheng Zhang
doaj +1 more source
Systems Engineering, Volume 27, Issue 3, Page 585-597, May 2024.Abstract To help operators perform their diagnosis tasks more efficiently, the authors put forward a novel methodology introducing a new type of model, dedicated to operations, co‐created in parallel with the design models, in the preliminary stages of system development, using the language semantics of behavior trees.
Nikolena Christofi +5 more
wiley +1 more source
Geospatially Constrained Workflow Modeling and Implementation
Information, 2016 With rapid development and application of mobile internet, geographic information in the field of business process is now more widely used. There are more and more researches in the field of the relationships between geographic information and workflow ...
Feng Zhang, Yuetong Xu
doaj +1 more source