Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel program design: a foundation
Parallel program design: a foundation
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
An old-fashioned recipe for real time
ACM Transactions on Programming Languages and Systems (TOPLAS)
Mobile UNITY: reasoning and specification in mobile computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling mobile IP in mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
Liberating Object-Oriented Modeling from Programming-Level Abstractions
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Hybrid Models with Fairness and Distributed Clocks
Hybrid Systems
Coordination Among Mobile Objects
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
| Hi-index | 0.00 |
Hybrid specifications, i.e. ones containing both discrete and continuous changes, are used mainly in modelling systems that control some physical phenomena. In this paper, we propose hybrid modelling of novel wireless mobile systems, which generally fall under the term mobile computing. The particular systems consist of agents capable of moving in a physical reality and communicating wirelessly when in each other's proximity. In this paper we concentrate on agents not capable of controlling their own movement, e.g. the ones designed to be carried around. Their environment comprises of a user and the physical reality whose nature is continuous rather than discrete. An approach to modelling of such systems is presented. The approach, which is based on the DisCo method, takes into account the continuous nature of the environment. Joint actions and closed system modelling are used to coordinate multi-agent interactions at a high level of abstraction. An example is presented where the approach is illustrated by a specification modelling file transfer operation between two agents.