swMATH1022MaRDI QIDQ13766FDOQ13766
Author name not available (Why is that?)
Official website: http://www.cs.ucsb.edu/~su/WSAT/
Cited In (43)
- 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
- Complexity of synthesis of composite service with correctness guarantee
- Reliability-aware automatic composition approach for web services
- Approaching simple and powerful service-computing1
- 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
- SYNTHESIS
- Metagraphs
- Wendy
- AutoSyn
- YAWL
- BPEL2PN
- Woflan
- Minimum-cost delegation in service composition
- LTSA-WS
- JViews
- ITACA
- BESERIAL
- WebSphere
- DCMTB
- AO4BPEL
- Analyzing Chor specifications by translation into FSP
- Jiazzi
- 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
