WSAT
From MaRDI portal
Cited in
(43)- SYNTHESIS
- Wendy
- Metagraphs
- AutoSyn
- Automated verification of automata communicating via FIFO and bag buffers
- YAWL
- BPEL2PN
- Woflan
- Model checking conditional CSL for continuous-time Markov chains
- An analytical method for well-formed workflow/Petri net verification of classical soundness
- A controller synthesis framework for automated service composition
- LTSA-WS
- Minimum-cost delegation in service composition
- JViews
- ITACA
- WebSphere
- BESERIAL
- A rigorous model of service component architecture
- Realizability and dynamic reconfiguration of chor specifications
- Model-based dependable composition of self-adaptive systems
- Formal methods to improve public administration business processes
- Synchronizability for Verification of Asynchronously Communicating Systems
- Deciding choreography realizability
- Analyzing Chor specifications by translation into FSP
- DCMTB
- On deciding synchronizability for asynchronously communicating systems
- Approaching simple and powerful service-computing1
- Analysis of Realizability Conditions for Web Service Choreographies
- On the aggregation problem for synthesized web services
- An interface theory for service-oriented design
- 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
- AO4BPEL
- Monitoring and recovery for web service applications
- Jiazzi
- Automated Technology for Verification and Analysis
- Soundness of workflow nets: classification, decidability, and analysis
- Contracts for security adaptation
- On the computational complexity of behavioral description-based web service composition
- Conformance notions for the coordination of interaction components
- Formal semantics and analysis of control flow in WS-BPEL
This page was built for software: WSAT
