Capturing and Using the Operational Semantics of Large Distributed Systems: Sharing Common Application Requirements in Virtual Organisations.
Nickolas J. G. FalknerPaul D. CoddingtonAndrew L. WendelbornPublished in: DEXA Workshops (2006)
Keyphrases
- distributed systems
- operational semantics
- virtual organisations
- formal semantics
- distributed environment
- fault tolerant
- fault tolerance
- mobile agents
- load balancing
- mental states
- data model
- denotational semantics
- concurrent systems
- web services
- distributed computing
- data replication
- security policies
- geographically distributed
- distributed database systems
- software architecture
- loosely coupled
- activity diagrams
- agent technology
- modular robots
- replicated data
- deadlock detection