A formal framework for modelling and analysing mobile systems

Smith, G. P. (2004). A formal framework for modelling and analysing mobile systems. In: V. Estivill-Castro, Proceedings of the Twenty-Seventh Australasian Computer Science Conference (ACSC'04). The Twenty-Seventh Australasian Computer Science Conference (ACSC'04), Dunedin, New Zealand, (193-202). 18-22 January, 2004.


Author Smith, G. P.
Title of paper A formal framework for modelling and analysing mobile systems
Conference Paper Type Fully Published Paper
Conference name The Twenty-Seventh Australasian Computer Science Conference (ACSC'04)    (ERA 2010 Rank B)
DOI 10.1145/980000/979946/p193-smith.pdf?key1=979946
Conference location Dunedin, New Zealand
Conference dates 18-22 January, 2004
Proceedings title Proceedings of the Twenty-Seventh Australasian Computer Science Conference (ACSC'04)
Editor V. Estivill-Castro
Place published Sydney
Publisher Australian Computer Society
Publication date 2004
Volume number 26
ISBN 1-920682-05-8
Start page 193
End page 202
Total pages 10
Collection year 2004
Abstract/Summary 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.
Subjects E1
280302 Software Engineering
700199 Computer software and services not elsewhere classified
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Access Statistics: 40 Abstract Views  -  Detailed Statistics
Created: Thu, 23 Aug 2007, 19:28:48 EST