The Z notation: a reference manual
The Z notation: a reference manual
Expressing code mobility in mobile UNITY
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Software agents
IEEE Transactions on Software Engineering
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
The Object-Z specification language
The Object-Z specification language
Proceedings of the First International Workshop on Mobile Agents
MA '97 Proceedings of the First International Workshop on Mobile Agents
An Overview of Mobile Object-Z
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Encoding Object-Z in Isabelle/HOL
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Exploiting Code Mobility in Decentralized and Flexible Network Management
MA '97 Proceedings of the First International Workshop on Mobile Agents
Mobile Code Paradigms and Technologies: A Case Study
MA '97 Proceedings of the First International Workshop on Mobile Agents
A Model for Mobile Code Using Interacting Automata
IEEE Transactions on Mobile Computing
Reasoning about Object-Z Specifications
APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
APSEC '97 Proceedings of the Fourth Asia-Pacific Software Engineering and International Computer Science Conference
Model Checking Object-Z Classes: Some Experiments with FDR
APSEC '01 Proceedings of the Eighth Asia-Pacific on Software Engineering Conference
Proving temporal properties of Z specifications using abstraction
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Compositional verification for object-Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Extending Formal Methods for Software-Intensive Systems
Software-Intensive Systems and New Computing Paradigms
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Hi-index | 0.00 |
This paper presents a formal framework for modelling and analysing mobile systems. The framework comprises a collection of models of the dominant design paradigms which are readily extended to incorporate details of particular technologies, i.e., programming languages and their run-time support, and applications. The modelling language is Object-Z, an extension of the well-known Z specification language with explicit support for object-oriented concepts. Its support for object orientation makes Object-Z particularly suited to our task. The system structuring techniques offered by object-orientation are well suited to modelling mobile systems. In addition, inheritance and polymorphism allow us to exploit commonalities in mobile systems by defining more complex models in terms of simpler ones.