Specification and Verification of Communication Constraints for Interoperable Transactions.
Anne H. H. NguRobert MeersmanHans WeigandPublished in: CoopIS (1994)
Keyphrases
- formal verification
- asynchronous circuits
- database
- communication protocols
- specification language
- protocol specification
- formal methods
- constrained optimization
- business processes
- web services
- constraint programming
- distributed database systems
- information sharing
- formal specification
- communication technologies
- model checking
- linear constraints
- digital libraries
- metadata
- correctness criterion
- databases