Conversation protocols: a formalism for specification and verification of reactive electronic services
From MaRDI portal
Publication:703491
DOI10.1016/j.tcs.2004.07.004zbMath1071.68002OpenAlexW2144531585MaRDI QIDQ703491
Tevfik Bultan, Xiang Fu, Jianwen Su
Publication date: 11 January 2005
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://escholarship.org/uc/item/9z50j84w
VerificationAsynchronous communicationCommunicating finite state automataCompositionConversation protocolE-ServiceRealizability
Related Items
AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee, Automated verification of automata communicating via FIFO and bag buffers, A compositional framework to the specification of service protocols controllability and substitutability, Automatic analysis of complex interactions in microservice systems, On the aggregation problem for synthesized web services, An interface theory for service-oriented design, A Theory of Formal Choreographic Languages, Branching pomsets: design, expressiveness and applications to choreographies, A predicate transformer for choreographies. Computing preconditions in choreographic programming, Reliability-aware automatic composition approach for web services, Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM, Analysis of Realizability Conditions for Web Service Choreographies, Realizable temporal logics for web service choreography, Verifying Agents’ Conformance with Multiparty Protocols
Cites Work
- Verifying identical communicating processes is undecidable
- Model-checking of correctness conditions for concurrent objects
- Verifying programs with unreliable channels
- Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services
- On Communicating Finite-State Machines
- Communicating sequential processes
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item