WSAT

swMATH1022MaRDI QIDQ13766

No author found.

Described by source

• Computer Aided Verification

Related Items (28)

Formal Methods to Improve Public Administration Business Processes ⋮ Synchronizability for Verification of Asynchronously Communicating Systems ⋮ Unnamed Item ⋮ Minimum-cost delegation in service composition ⋮ Automated verification of automata communicating via FIFO and bag buffers ⋮ On deciding synchronizability for asynchronously communicating systems ⋮ Automated Technology for Verification and Analysis ⋮ A controller synthesis framework for automated service composition ⋮ Deciding choreography realizability ⋮ On the aggregation problem for synthesized web services ⋮ Approaching simple and powerful service-computing¹ ⋮ An interface theory for service-oriented design ⋮ Model checking conditional CSL for continuous-time Markov chains ⋮ A generic framework for \(n\)-protocol compatibility checking ⋮ A formal model for service-oriented interactions ⋮ Complexity of synthesis of composite service with correctness guarantee ⋮ Reliability-aware automatic composition approach for web services ⋮ On the computational complexity of behavioral description-based web service composition ⋮ Monitoring and recovery for web service applications ⋮ Soundness of workflow nets: classification, decidability, and analysis ⋮ Conformance notions for the coordination of interaction components ⋮ Contracts for security adaptation ⋮ An analytical method for well-formed workflow/Petri net verification of classical soundness ⋮ Formal semantics and analysis of control flow in WS-BPEL ⋮ Analysis of Realizability Conditions for Web Service Choreographies ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Rigorous Model of Service Component Architecture

This page was built for software: WSAT