Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study.
Xavier HannotinPaolo MaggiRiccardo SistoPublished in: Mobile Agents (2001)
Keyphrases
- formal specification
- mobile agents
- data integrity
- client server
- model checking
- concurrent systems
- formal methods
- database design
- distributed databases
- mobile agent technology
- protocol specification
- mobile agent system
- distributed systems
- database systems
- data storage
- fault tolerance
- agent technology
- case study
- business rules
- mobile computing
- computing environments
- software components
- database
- mobile users
- asynchronous circuits
- reverse engineering
- distributed environment
- fine grained
- relational databases