Application of Data Resource Allocation in Economic Management Information System
With the development of the digital economy and the sharp increase in economic information, a large amount of data needs to be processed. Therefore, the demand for an economic management information system is also increasing, but how to realize the allocation of data resources in the system has become an urgent problem to be solved. This study conducts
Yi Guan, Qian Chen, Zhilin Li, Jun Ye
wiley +1 more source
Using formal methods to develop WS-BPEL applications [PDF]
In recent years, WS-BPEL has become a de facto standard language for orchestration of Web Services. However, there are still some well-known difficulties that make programming in WS-BPEL a tricky task.
R. Pugliese +7 more
core +1 more source
Design of Service Net based Correctness Verification Approach for Multimedia Conferencing Service Orchestration [PDF]
Multimedia conferencing is increasingly becoming a very important and popular application over Internet. Due to the complexity of asynchronous communications and handle large and dynamically concurrent processes for multimedia conferencing, which ...
Cheng Bo, Zhang Chengwen, Chen Junliang
doaj +1 more source
Automated Testing of WS-BPEL Service Compositions: A Scenario-Oriented Approach
Nowadays, service oriented architecture (SOA) has become one mainstream paradigm for developing distributed applications. As the basic unit in SOA, web services can be composed to construct complex applications.
Chang-ai Sun +4 more
semanticscholar +1 more source
Service‐Oriented Modeling for Blockchain‐Enabled Supply Chain Quality Information Systems
Quality management is one of the most critical issues in supply chain management. The rapid growth of information technologies, such as blockchain technology, has facilitated effective information systems development to support supply chain quality management.
Yani Shi +4 more
wiley +1 more source
Distributed and Resource-Aware Load Testing of WS-BPEL Compositions
One important type of testing Web services compositions is load testing, as such applications solicit concurrent access by multiple users simultaneously.
Afef Jmal Maâlej +3 more
semanticscholar +1 more source
Recovering Latent Data Flow from Business Process Model Automatically
Process‐driven applications evolve rapidly through the interaction between executable BPMN (Business Process Modeling and Notation) models, business tasks, and external services. Given these components operate on some shared process data, it is imperative to recover the latent data by visiting relation, which is known as data flow among these tasks ...
Sheng Ye +6 more
wiley +1 more source
A WSDL-Based Type System for WS-BPEL [PDF]
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.
R. Pugliese +7 more
core +1 more source
Fault localisation for WS-BPEL programs based on predicate switching and program slicing
Service-Oriented Architecture (SOA) enables the coordination of multiple loosely coupled services. This allows users to choose any service provided by the SOA without knowing implementation details, thus making coding easier and more flexible.
Chang-ai Sun +5 more
semanticscholar +1 more source
BPEL-Mora: Lightweight Embeddable Extensible BPEL Engine [PDF]
Web Services have become the de-facto standard for architecting and implementing business collaborations within and across organization boundaries. Web service composition refers to the creation of new (Web) services by combining the functionalities provided by existing ones.
Thilina Gunarathne +4 more
openaire +2 more sources

