LTSA-WS
From MaRDI portal
Cited in
(28)- Web Cube
- A WSDL-based type system for asynchronous WS-BPEL processes
- Contracts for security adaptation
- MDD4SOA. Model-driven development for service-oriented architectures.
- Towards verification of computation orchestration
- A generic framework for n-protocol compatibility checking
- WSAT
- PiDuce
- AutoSyn
- LoLA
- BPEL2PN
- COWS
- Dist-Orc
- SWORD
- ITACA
- AIOCJ
- BESERIAL
- DCMTB
- SPY
- TyPiCal
- MTSA
- The evolution of Jolie. From orchestrations to adaptable choreographies
- AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee
- Transactional Reduction of Component Compositions
- Integrating topological proofs with model checking to instrument iterative design
- TOrPEDO
- FSP and FLTL framework for specification and verification of middle-agents
- TOrPEDO : witnessing model correctness with topological proofs
This page was built for software: LTSA-WS
