Results 11 to 20 of about 464,671 (149)
A tool for rapid development of WS-BPEL applications [PDF]
Proceedings of the 2010 ACM Symposium on Applied Computing, 2010 We present BliteC, a software tool we have developed for supporting a rapid and easy development of WS-BPEL applications. BliteC translates service orchestrations written in Blite, a formal language inspired to but simpler than WS-BPEL, into executable WS-BPEL programs.
L. Cesari +3 more
openaire +7 more sources
Temporal Management of WS-BPEL Processes [PDF]
, 2012 WS-BPEL is de-facto industry standard for business processes. One of its major shortcomings is lack of temporal management capabilities. WS-BPEL offers no possibility for definition, calculation and monitoring of temporal values such as activity duration and deadlines as well as checking the temporal conformance of processes.
Amirreza Tahamtan +3 more
openaire +2 more sources
A WSDL-Based Type System for WS-BPEL [PDF]
, 2006 We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages for web services: WSDL and WS-BPEL. To this aim, first we select an expressive subset of WS-BPEL, with special concern for modeling the interactions among web service ...
A. LAPADULA +2 more
openaire +7 more sources
Using formal methods to develop WS-BPEL applications [PDF]
Science of Computer Programming, 2012 AbstractIn recent years, WS-BPEL has become a de facto standard language for the orchestration of Web services. However, there are still some well-known difficulties that make programming in WS-BPEL a tricky task. In this paper, we first point out major loose points of the WS-BPEL specification by means of many examples, some of which are also ...
A. Lapadula +2 more
openaire +3 more sources
Dynamic Collaboration Model of Production Network Based on Cloud Service Bus. [PDF]
Comput Intell Neurosci, 2022 The IT system of manufacturing enterprises usually has many problems, such as complex industrial software, different development languages, diverse communication protocols, and complex operation environment. Cloud service bus (CSB) technology based on service model encapsulates various applications existing in enterprises by means of the integration of
Zhao Y, Liu S.
europepmc +2 more sources
Abstract syntax of WS-BPEL 2.0 [PDF]
, 2008 WS-BPEL 2.0 is the current version of the "Business Process Execution Language for Web Services". Until now, no formal definition of its syntax exists. We present a complete syntax of WS-BPEL 2.0 of both abstract and executable processes.
Kopp, Oliver +2 more
openaire +4 more sources
Graph-Based Semantic Web Service Composition for Healthcare Data Integration. [PDF]
J Healthc Eng, 2017 Within the numerous and heterogeneous web services offered through different sources, automatic web services composition is the most convenient method for building complex business processes that permit invocation of multiple existing atomic services.
Arch-Int N +3 more
europepmc +2 more sources
Location‐aware scalable service composition
Software: Practice and Experience, Volume 53, Issue 12, Page 2408-2429, December 2023., 2023 Abstract The problem of service composition is the process of assigning resources to services from a pool of available ones in the shortest possible time so that the overall quality of service is maximized. This article provides solutions for the composition problem that takes into account its scalability, services' locations, and users' restrictions ...
Nicolás Pozas García +3 more
wiley +1 more source
A Multifunctional Acoustic Tweezer for Heterogenous Assembloids Patterning
Small Structures, Volume 4, Issue 5, May 2023., 2023 An ultrasonic phase array‐based online structural‐assembling platform that integrates precise selection, movement, rotation, and accurate assembly of organoids using multiplexing functional holographic acoustic fields noninvasively is investigated.
Zeping Gao +9 more
wiley +1 more source
IET Intelligent Transport Systems, Volume 16, Issue 8, Page 1042-1057, August 2022., 2022 Abstract Reliable decision‐making in a safety‐critical system depends on the consistency of the state of the system process. Based on the decision‐makeing properties of safety‐critical systems, the definition of the critical component, Boolean evolution system, and cognate variables are presented here.
Ke‐Ming Wang +4 more
wiley +1 more source