Learn More
Agents are becoming one of the most important topics in distributed and autonomous decentralized systems, and there are increasing attempts to use agent technologies to develop large-scale commercial and industrial software systems. The complexity of such systems suggests a pressing need for system modeling techniques to support reliable, maintainable and(More)
UML, being the industry standard as a common OO modeling language, needs a well-defined semantic base for its notation. Formalization of the graphical notation enables automated processing and analysis tasks. This paper describes a methodology for synthesis of a Petri net model from UML diagrams. The approach is based on deriving Object Net Models from UML(More)
—Node mobility is generally regarded as a hazard for geographic routing, causing a degradation of performance or even persistent routing failures. In this paper we pursue an opposite view where it is possible to take advantage of mobility to enhance greedy forwarding in geographic routing. A concept named motion potential, combining node mobility patterns(More)
SUMMARY Over the last two decades, considerable research has been done in Distributed Operating Systems, which can be attributed to faster processors and better communication technologies. A distributed operating system requires distributed algorithms to provide basic operating system functionality like mutual exclusion, deadlock detection, etc. A number of(More)
In this paper, we provide a formal definition of a framework of two layered nested predicate transition nets. We address the various technical issues in such a definition. We show the applicability of our approach in addressing different cooperation behaviors of mobile agents in modeling a two-tiered network consisting of a top-level mobile-device network(More)
An emerging challenge for software engineering is the development of the methods and tools to aid design and analysis of concurrent and distributed software. Over the past few years, a number of analysis methods that focus on Ada tasking have been developed. Many of these methods are based on some form of reachability analysis, which has the advantage of(More)