| Publisher | Australian Computer Society | ||
|---|---|---|---|
| Format | 145.0KB PDF | Date added | 08 Dec 2006 |
| Topics | Programming Languages, Mobile - Wireless Communications, Application Development | ||
| Downloads | 8 | ||
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 ex-tension 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 the task. The system structuring techniques offered by object orientation are well suited to modelling mobile systems. In addition, inheritance and polymorphism allow to exploit commonalities in mobile systems by defining more complex models in terms of simpler ones.
Did you find this white paper useful?
26 out of 45 users found this white paper useful
Related white papers
Enhancing Development and Performance with C# 2.0 Generics
Generics allow you to define data structures, without committing to actual data types. This results with significant performance boost, and higher quality code, because you get to reuse data processing...
Sentara Healthcare optimizes the health of critical technology
To effectively serve the 2 million residents that turn to them for healthcare services, Sentara Healthcare must coordinate operations across some 112 separate facilities in Virginia and North Carolina, including...
MSDN Webcast: Comparative Windows Code Protection Technologies, Strengths, and Weaknesses (Level 200)
As a developer, one not only have to consider writing great applications with broad appeal, but one also needs to consider how to protect applications so that they are not...
MSDN Webcast: Lighting Up the New Visual Studio 2010 Editor With Rich Extensions (Level 200)
While many of them may know that Microsoft Visual Studio 2010 comes with a new extensible editor based on Windows Presentation Foundation (WPF), does one know why one should care?...
MSDN Webcast: Got Memory Leaks? Find Errors Using Intel Parallel Studio (Level 300)
Discover how easy it is to detect challenging memory errors by taking advantage of the power of Microsoft Visual Studio 2010 and Intel Parallel Studio. Intel Parallel Studio is an...
Ajax: For Graphics-Intensive Web Applications
Ajax (which stands for asynchronous JavaScript and XHTML) is not a technology per se, but rather a design approach for Web applications. Ajax improves the user's Web application experience while...
Numerical Library Provider Realizes Major Performance Gains by Parallelizing Its Code
Visual Numerics needed a way to efficiently parallelize its C# numerical library software - and thus realized the performance gains made possible by today's multicore processors. The company continues to...
