Specification and Verification of Communication Constraints for Interoperable Transactions.
Anne H. H. NguRobert MeersmanHans WeigandPublished in: Int. J. Cooperative Inf. Syst. (1994)
Keyphrases
- formal verification
- database
- model checking
- constrained optimization
- databases
- constraint language
- resource constraints
- high level
- protocol specification
- information sharing
- metadata
- asynchronous circuits
- communication protocols
- web services
- specification language
- communication channels
- communication protocol
- formal methods
- face verification
- communication technologies
- co occurrence
- global constraints
- formal specification
- objective function
- communication systems
- communication networks
- temporal logic
- concurrency control
- integrity constraints
- data structure