Results 41 to 50 of about 6,413 (258)
, 2016 <p>This tool translates BPEL into ISPL syntax to be verified using CTLC </p ...
Bataineh, Ahmed (5248207) +1 more
core +1 more source
International Journal of Distributed Sensor Networks, 2013 In recent years, some approaches have been presented for the seamless integration of WSNs with the existing, widely deployed SOA technologies such as XML, Web services, and the Business Process Execution Language (BPEL) to build a wireless sensor ...
Zhao Wu +6 more
doaj +1 more source
Electronic Proceedings in Theoretical Computer Science, 2012 By considering an essential subset of the BPEL orchestration language, we define SeB, a session based style of this subset. We discuss the formal semantics of SeB and we present its main properties.
Alessandro Fantechi +2 more
doaj +1 more source
Modeling BPEL Web Services for Diagnosis: Towards Self-healing Web Services
International Conference on Web Information Systems and Technologies, 2018 An approach generating automatically the data dependency diagrams of the orchestrated complex Web services is presented. The method is derived from the Model-Based Reasoning paradigm, whose origin comes from Artificial Intelligence applied to engineered ...
Yingmin Li, T. Melliti, P. Dague
semanticscholar +1 more source
Structural Matching of BPEL Processes [PDF]
Fifth European Conference on Web Services (ECOWS'07), 2007 BPEL has emerged as the industrial standard language for modelling behavioral aspects of web services. To support business partners in dynamically and flexibly binding their services together, different BPEL processes need to be efficiently matched. This paper identifies and defines various types of structural matching for BPEL processes.
Rik Eshuis, Paul W. P. J. Grefen
openaire +2 more sources
BPEL- into -ISPL Compiler [PDF]
, 2016 <p>The code translates BPEL xml file into ISPL code to be verified by CTLC</p ...
Bataineh, Ahmed (5248207) +1 more
core +1 more source
An Empirical Study on Mutation Testing of WS-BPEL Programs
Computer/law journal, 2017 Nowadays, applications are increasingly deployed as Web services in the globally distributed cloud computing environment. Multiple services are normally composed to fulfill complex functionalities. Business Process Execution Language for Web Services (WS-
Chang-ai Sun +4 more
semanticscholar +1 more source
Metrics for BPEL Process Reusability Analysis in a Workflow System [PDF]
, 2016 This paper proposes a quantitative metric to analyze potential reusability of a Business Process Execution Language (BPEL) process. The approach is based on the description and logic mismatch probability of a BPEL process that will be reused within ...
Foroushha, Ali +5 more
core +1 more source
Integración de procesos de negocio aplicando servicios web
Informes Científicos y Técnicos (Universidad Nacional de la Patagonia Austral), 2014 La Integración de Procesos de Negocio (Business Process Integration – BPI), utiliza una gran cantidad de servicios distribuidos, por lo que la comunicación entre estos servicios es clave para el buen funcionamiento del sistema.
Darío Picón +2 more
doaj +1 more source
Distributed aspect-oriented service composition for business compliance governance with public service processes [PDF]
, 2010 Service-Oriented Architecture (SOA) offers a technical foundation for Enterprise Application Integration and business collaboration through service-based business components.
Kosala Yapa Bandara +5 more
core +1 more source