2007 · 18 citations · 20 references
BusinessComputer ScienceInformation SystemsBusiness Process ManagementFormal MethodsModel-based Systems EngineeringBusiness Process AnalysisBusiness Process AutomationBusiness Process ReengineeringProcess ModelingService DiscoveryService-oriented ArchitectureBehavioral CompatibilityBusiness Process OrchestrationComplexityConsistency CheckingLeanProcess VerificationState Space ExplosionWeb Service Architecture
The Business Process Execution Language (BPEL) has become the de-facto standard for the description of Web Service compositions. A variety of formal approaches to decide compatibility and consistency for BPEL processes has been presented. Nevertheless, these approaches suffer from high complexity and state explosion. Therefore we present a lean formalization of BPEL 2.0 based on the pi-calculus, that enables efficient reasoning. Due to our focus on behavioral compatibility and consistency checking (and not on comprehensive formalization), we are able to reduce effort needed for process verification. Besides the exemplary application of our approach, we also compare it to existing BPEL formalizations by means of complexity.
20
Quality driven web services composition
Liangzhao Zeng, Boualem Benatallah, Marlon Dumas et al. · 2003 · 1.1K citations · Full text
Business, Systems Engineering, Multi-criteria Decision Making +13
Daniel A. Menascé · IEEE Internet Computing · 2002 · 831 citations