From Formal Specification of Code Mobility to Design and Implementation: An UML-Based Mobile Agent Approach.
Amelia BadicaCostin BadicaPublished in: SYNASC (2008)
Keyphrases
- mobile agents
- formal specification
- object oriented design
- specification language
- formal methods
- code generation
- client server
- formal specification language
- specification languages
- distributed systems
- model checking
- distributed computing
- mobile agent technology
- mobile computing
- fault tolerance
- load balancing
- modeling language
- network management
- agent technology
- metamodel
- distributed databases
- mobile users
- mobile agent system
- intelligent agents
- building blocks