Results 21 to 30 of about 3,933,674 (100)
A Calculus for Orchestration of Web Services [PDF]
, 2007 We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for orchestration of web services.
Tiezzi, F. +9 more
core +1 more source
COWS: A Timed Service-Oriented Calculus [PDF]
, 2007 COWS (Calculus for Orchestration of Web Services) is a foundational language for Service Oriented Computing that combines in an original way a number of ingredients borrowed from well-known process calculi, e.g.
R. Pugliese +8 more
core +1 more source
Abstract syntax of WS-BPEL 2.0 [PDF]
, 2013 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.
Leymann, Frank +2 more
core +1 more source
Scientific Programming, Volume 2019, Issue 1, 2019., 2019 Business process management (BPM) is a strategic advantage for all kinds of organizations, including information technology companies (ITCs), which cannot stay out of the BPM approach. ITCs manage business processes like projects to create and maintain software.
C. Arevalo +4 more
wiley +1 more source
BPEL4RBAC: an Authorisation Specification for WS-BPEL [PDF]
, 2008 Business process management is designed to make business\ud activities and trade easier and more cost effective. The increasing\ud business integration and legal requirements raise the need for secure business processes.
Yang, Jian +3 more
core +1 more source
Promoting Geospatial Service from Information to Knowledge with Spatiotemporal Semantics
Complexity, Volume 2019, Issue 1, 2019., 2019 With the development of geoscience, users are eager to obtain preferred service from geospatial information intelligently and automatically. However, the information grows rapidly while the service gets more complicated, which makes it difficult to find out the targeted information for an exact service in geospatial issues.
Jing Geng +7 more
wiley +1 more source
Fault analysis of service‐oriented systems: a systematic literature review
IET Software, Volume 12, Issue 6, Page 446-460, December 2018., 2018 Due to the increasing scale and complexity of service‐oriented systems (SOSs) understanding fault and its recovery mechanism is a tedious task so there is a strong demand for a summary of the SOSs fault analysis knowledge that can assist further developers and researchers to plan appropriate action and guidelines for SOSs development.
Guru Prasad Bhandari, Ratneshwer Gupta
wiley +1 more source
Systematic mapping study on MBT: tools and models
IET Software, Volume 11, Issue 4, Page 141-155, August 2017., 2017 Every year several contributions to the model‐based testing (MBT) field are published. Therefore, to follow the evolution and trends of several tools and models available is difficult. Moreover, since the variety of models and tools that became available in recent years, choosing an approach to support the MBT process is a challenging activity.
Maicon Bernardino +3 more
wiley +1 more source
Distributed Secure Service Composition with Declassification in Mobile Clouds
Mobile Information Systems, Volume 2017, Issue 1, 2017., 2017 The regional and dynamic characteristics of mobile clouds pose a great challenge on information flow security during service composition. Although secure verification approaches based on standard noninterference provide a solid assurance on information flow security of composite service, too strict constraints on service components may cause the ...
Ning Xi +5 more
wiley +1 more source
Verifying Service Choreography Model Based on Description Logic
Mathematical Problems in Engineering, Volume 2016, Issue 1, 2016., 2016 Web Services Choreography Description Language lacks a formal system to accurately express the semantics of service behaviors and verify the correctness of a service choreography model. The paper presents a new approach of choreography model verification based on Description Logic.
Minggang Yu +3 more
wiley +1 more source