| 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?
22 out of 35 users found this white paper useful
Related white papers
Software Engineering Today - Best Practices & Patterns
This is the final webcast in the 15 part series ?Modern Software Development in .NET Using Visual Basic?. Developers shouldn?t miss this opportunity to examine the following topics with renowned...
Market-Leading Data-Modeling Tools: Research Report from the Burton Group
The Burton Group provides an in-depth research report on Market-Leading Data-Modeling Tools. According to their research, basic data modeling tools have become commoditized - basic features are yesterday's...
The Converging Paths of SQL Server and SharePoint - Don't Wait Until It's Too Late!
SharePoint and SQL server have much in common, and understanding their similarities will help you streamline your day-to-day tasks and help you work more efficiently. Do you know what those...
Supporting Employees Anytime, Anywhere
New business demands require a new approach to end-user support. This is leading organizations to a remote service delivery model that leverages the Web and Saas technology
The Pursuit of a Standardized Solution for Secure Enterprise RBAC
Each RBAC implementation varies in its capabilities and method of management. In a multi-platform environment, these differences introduce higher administration hours and costs because the various RBAC models are not...
Combining the Power of Rhapsody Model-Driven Development, UML and Hitex Tools to Streamline the Development of 8, 16, and 32 Bit Applications
Studies have shown that software is now the main bottleneck for most embedded systems projects. According to Embedded Market Forecasters, 56% of all embedded designs are behind schedule, and software...
Massive But Agile: Best Practices for Scaling the Next-Generation Enterprise Data Warehouse - Forrester Report
Information and knowledge management (I&KM) professionals continue to expand the scale, scope, and deployment roles for their enterprise data warehouse (EDW) investments. Information managers are adopting EDW best practices that...
