Results 41 to 50 of about 3,352 (169)

WofBPEL: A tool for automated analysis of BPEL processes [PDF]

, 2005
more recently as WS-BPEL (or BPEL for short) [1], is a process definition language geared towards Service-Oriented Computing (SOC) and layered on top of the Web services technology stack.
Stephan Breutel, Casati, F., Verbeek, HMW Eric, ter Hofstede, Arthur H.M., Ouyang, Chun, Dumas, M., Benatallah, B., Dumas, Marlon, Ouyang, C., Wil M. P. van der Aalst, Hofstede, ter, A.H.M., Verbeek, H.M.W., Hofstede, AHM Arthur ter, Verbeek, Eric, Aalst, WMP Wil van der, Traverso, P., Eric Verbeek, Aalst, van der, W.M.P., Ouyang, C Chun, Breutel, S., Breutel, S, Verbeek, H.M.W.; id_orcid, Chun Ouyang, Marlon Dumas, Breutel, Stephan W., van der Aalst, Wil M.P., Arthur H. M. Ter Hofstede   +26 more
core   +1 more source

Modeling and Analysis of 3d Printing Ws-Bpel Business Processes Based on Servicenet

ITM Web of Conferences, 2017
To solve the problem that whether the described Web service by business process execution language were interactive compatible, a method of WS-BPEL(Web Services Business Process Execution Language) parsing and execution was proposed.
Zhang Cheng-Lei, Sheng Bu-Yun, Zhao Fei-Yu, Yin Xi-Yan, Cao Jing-Jing   +4 more
doaj   +1 more source

Service-oriented processes : an introduction to BPEL [PDF]

, 2007
The Business Process Execution Language for Web Services (BPEL) is an emerging standard for specifying a business process made of Web services. In this chapter, we review some limitations of BPEL and discuss solutions to address them.
Dumas, Marlon, La Rosa, Marcello, Ouyang, C., Aalst, van der, W.M.P., La Rosa, M., van der Aalst, Wil M. P., Hofstede, ter, A.H.M., ter Hofstede, Arthur H.M., Cardoso, J., Ouyang, Chun, Dumas, M.   +10 more
core   +1 more source

Approach for distributed BPEL engine placement using K-means

Tongxin xuebao, 2014
Aiming to solve the distributed BPEL engine placing problem in cloud, a K-means based distributed BPEL en-gine placing algorithm was proposed. The algorithm transforms the BPEL engine placing model into some optimization model in mathematics, and the ...
Rong-heng LIN, Bu-dan WU, Yao ZHAO, Fang-chun YANG   +3 more
doaj   +2 more sources

Isolation of lipase producing bacteria from olive extract to improve lipase production using a submerge fermentation technique [PDF]

Journal of Food and Bioprocess Engineering, 2018
The tremendous mounting interest in lipase production is pertinent to the biotechnological applications that these enzymes offer. Lipase, belonging to the hydrolyze enzymes, is involved in copious biological functions including: hydrolysis insoluble ...
Samira Moradi, Seyed Hadi Razavi, Seyed Mohammad Mousavi   +2 more
doaj  

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, Emilia M. Cambronero, Juan J. Pardo, Valentın Valero, Fernando Cuartero   +4 more
doaj   +1 more source

BPEL-To -ISPL Compiler

, 2016
<p>This tool translates BPEL into ISPL syntax to be verified using CTLC  </p ...
Bataineh, Ahmed (5248207), Bataineh, Ahmed   +1 more
core   +1 more source

Why Are Most Fish Populations Genetically Homogeneous Along the Southwestern Atlantic Coast? The Role of Life History Traits in Shaping Genetic Patterns

Journal of Biogeography, Volume 53, Issue 8, August 2026.
ABSTRACT Aim Investigate patterns of population genetic structure in Southwestern Atlantic marine fishes and evaluate how geographic range, habitat diversity, and evolutionary history shape population connectivity. Location Southwestern Atlantic, including the Caribbean, Brazilian coast, and Patagonian region, between 0°59′ N and 40°16′ S.
Glaciane Conceição Marques, Carlos Werner Hackradt, Juliana Beltramin De Biasi, Germano Henrique Costa Barrilli, Fabiana Cézar Félix‐Hackradt   +4 more
wiley   +1 more source

BPEL- into -ISPL Compiler

, 2016
<p>The code translates BPEL xml file into ISPL code to be verified by CTLC</p ...
Bataineh, Ahmed (5248207), Bataineh, Ahmed   +1 more
core   +1 more source

Tempus: An Evolutionary Mutation Testing System on Event‐Based Systems With Profile‐Based Individual Generation

Software Testing, Verification and Reliability, Volume 35, Issue 5, August 2025.
Tempus is a testing system that enhances Evolutionary Mutation Testing (EMT) by using ProfileBased individual generation (PBig). PBig generates new individuals based on previous knowledge from other programs about which operators are more likely to produce strong mutants.
Lorena Gutiérrez‐Madroñal, Antonio García‐Domínguez, Inmaculada Medina‐Bulo   +2 more
wiley   +1 more source