WSAT

swMATH1022MaRDI QIDQ13766FDOQ13766

Author name not available (Why is that?)

Described by source

• Computer Aided Verification

Cited In (28)

• Model-based dependable composition of self-adaptive systems
• Realizability and dynamic reconfiguration of chor specifications
• Formal methods to improve public administration business processes
• Synchronizability for Verification of Asynchronously Communicating Systems
• An interface theory for service-oriented design
• A formal model for service-oriented interactions
• Contracts for security adaptation
• Title not available (Why is that?)
• Complexity of synthesis of composite service with correctness guarantee
• Reliability-aware automatic composition approach for web services
• Approaching simple and powerful service-computing¹
• An analytical method for well-formed workflow/Petri net verification of classical soundness
• Automated Technology for Verification and Analysis
• Automated verification of automata communicating via FIFO and bag buffers
• A generic framework for \(n\)-protocol compatibility checking
• Soundness of workflow nets: classification, decidability, and analysis
• Minimum-cost delegation in service composition
• On deciding synchronizability for asynchronously communicating systems
• Monitoring and recovery for web service applications
• Analysis of Realizability Conditions for Web Service Choreographies
• A controller synthesis framework for automated service composition
• Conformance notions for the coordination of interaction components
• Deciding choreography realizability
• Model checking conditional CSL for continuous-time Markov chains
• On the computational complexity of behavioral description-based web service composition
• On the aggregation problem for synthesized web services
• A rigorous model of service component architecture
• Formal semantics and analysis of control flow in WS-BPEL

This page was built for software: WSAT