Modeling formalisms for dynamic structure systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
IEEE Transactions on Software Engineering
Theory of Modelling and Simulation
Theory of Modelling and Simulation
Programming and Deploying Java Mobile Agents Aglets
Programming and Deploying Java Mobile Agents Aglets
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Self: The Power of Simplicity
Representing dynamic pluggable software units
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
In this paper we provide a formal definition of the component concept using the Heterogeneous Flow Systems Specification formalism (HFFS) a general system theory approach to the representation of timed systems. The HFFS formalism permits the development of hierarchical and modular components whose structure evolves over time. HFSS mobile components, a particular form of structural evolution, can represent mobile entities that exist in many systems like, for example, mobile communication devices and mobile software agents. The formal description is used to model a simple control application, based on mobile software agents, where a mobile hybrid component acts as a digital controller, allowing the runtime update of the control system of a vehicle.