Towards reachability trees for high-level Petri nets
Advances in Petri Nets 1984
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Communications of the ACM
IEEE Transactions on Software Engineering - Special issue on software architecture
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Fast planning through planning graph analysis
Artificial Intelligence
Designing distributed applications with mobile code paradigms
ICSE '97 Proceedings of the 19th international conference on Software engineering
Mobile UNITY: reasoning and specification in mobile computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Connectors for Mobile Programs
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Behaviour specification of parallel active objects
Parallel Computing - Special issue on coordination languages for parallel programming
Proceedings of the 21st international conference on Software engineering
A fine-grained model for code mobility
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Modeling and verifying multi-agent behaviors using predicate/transition nets
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
A survey of theories for mobile agents
World Wide Web
Design Issues in Mobile-Agent Programming Systems
IEEE Concurrency
Compositional Programming Abstractions for Mobile Computing
IEEE Transactions on Software Engineering
Mobile Objects and Mobile Agents: The Future of Distributed Computing?
ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Self-Modifying Nets, a Natural Extension of Petri Nets
Proceedings of the Fifth Colloquium on Automata, Languages and Programming
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
A Reflective Component Model for Open Systems
ECOOP '98 Workshop ion on Object-Oriented Technology
Multi-Agent-Systems Based on Coloured Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
A General Systematic Approach to Arc Extensions for Coloured Petri Nets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Mobile Petri Nets
ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems
Automated Software Engineering
A Secure Mobile Agent System Model Based on Extended Elementary Object System
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
A threat-driven approach to modeling and verifying secure software
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Transaction-Oriented Engineering Design And Formal Specification: A Multi-Agent Approach
Journal of Integrated Design & Process Science - Computer Supported Cooperative Work In Design
Formal architectural models for agent-based service systems
International Journal of Computer Applications in Technology
Comparing architecture description languages for mobile software systems
Proceedings of the 1st international workshop on Software architectures and mobility
Development and specification of a reference model for agent-based systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Using event-driven lightweight DSC-based agents for MAS modelling
International Journal of Agent-Oriented Software Engineering
Ambient-PRISMA: Ambients in mobile aspect-oriented software architecture
Journal of Systems and Software
Design of a multi_agent system for worm spreading_reduction
Journal of Intelligent Information Systems
A tile logic-based semantics for mobile software architectures
International Journal of Critical Computer-Based Systems
A tile logic based semantics for mobile software architectures
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
Statistical behaviors of mobile agents in network routing
The Journal of Supercomputing
Agent-driven integration architecture for component-based software development
Transactions on Computational Collective Intelligence VIII
Debugging Mobile Agent Systems
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Hi-index | 0.00 |
The process of agent migration is the major difference between logical code mobility of software agents and physical mobility of mobile nodes in ad hoc networks. Without considering agent transfer, it would make little sense to mention the modeling of strong code mobility, which aims to make a migrated agent restarted exactly from the state when it was stopped before migration. From the perspective of system's architecture, this paper proposes a two-layer approach for the formal modeling of logical agent mobility (LAM) using predicate/transition (PrT) nets. We view a mobile agent system as a set of agent spaces and agents could migrate from one space to another. Each agent space is explicitly abstracted to be a component, consisting of an environmental part and an internal connector dynamically binding agents with their environment. We use a system net, agent nets, and a connector net to model the environment, agents, and the connector, respectively. In particular, agent nets are packed up as parts of tokens in system nets, so that agent transfer and location change are naturally captured by transition firing (token game) in Petri nets. Agent nets themselves are active only at specific places and disabled at all the other places in a system net. The semantics of such a two-layer LAM model is defined by transforming it into a PrT net. This facilitates the analysis of several properties about location, state, and connection. In addition, this paper also presents a case study of modeling and analyzing an information retrieval system with mobile agents.