Sciweavers

57 search results - page 8 / 12
» Interactive Credential Negotiation for Stateful Business Pro...
Sort
View
ECOWS
2008
Springer
15 years 1 months ago
Beyond Soundness: On the Semantic Consistency of Executable Process Models
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
Ingo Weber, Jörg Hoffmann, Jan Mendling
HICSS
2002
IEEE
98views Biometrics» more  HICSS 2002»
15 years 4 months ago
International Electronic Government Approaches
The most apparent proof of changes in the public sector because of modern information and communication technologies are electronic services like general onlineinformation procure...
Birgit J. Oberer
GCC
2004
Springer
15 years 5 months ago
Engineering Process Coordination Based on a Service Event Notification Model
Abstract. Due to the complexity and uncertainties, the engineering process requires dynamic collaborations among the heterogeneous systems and human interactions. In this paper, we...
Jian Cao, Jie Wang, Shen-sheng Zhang, Minglu Li, K...
APCCM
2009
15 years 23 days ago
Synthesis of Orchestrators from Service Choreographies
Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-pee...
Stephen McIlvenna, Marlon Dumas, Moe Thandar Wynn
TSMC
2010
14 years 6 months ago
A Petri Net Approach to Analysis and Composition of Web Services
Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web ...
PengCheng Xiong, Yushun Fan, MengChu Zhou