You are here: silicon.com > Resources > White Papers > Software and Web Development > Software Development Tools > UML

UML White Papers

An Object-Oriented Structuring for Z Based on Views

Overview Z is a simple language based on typed set theory and first order logic with a simple structuring mechanism, the schema. It has a mathematical, rather than computational, semantics. This makes it flexible and extensible, allowing structuring based on different computational models. This paper presents a new approach to structuring Z specifications in an OO style, without extending the Z language. The approach has emerged in the context of developing a semantic model to represent abstract UML models, and the example used to illustrate the approach in this paper is based on a simple UML class model.

Further White Paper Details
Publisher	University of York	File Format	PDF, requires Acrobat Rdr 5
Date Published	October 2004	Downloads	124
Format	White Papers
Topics	UML, Object-Oriented

Did you find this white paper useful? 2 out of 6 users found this white paper useful

Web services - the hype versus the reality

There I typed in a single password and the order was processed. There are lots of simple examples around of companies trying out XML - eXtensible Mark-up Language, at the heart of web services - to extend access to data.

Channel:
Comment & Analysis

Peter Cochrane's Uncommon Sense: Where am I coming from?

This column was typed on an Apple G4 Laptop and sent from a coffee shop on Oxford Street London on a beautiful summer day over a WiFi (IEEE 802.11) connection most people don't even realise exists. Rightly or wrongly we invented money as a token...

Channel:
Comment & Analysis

Brunel University's Business Class: Building a model information system

Computational independent, which is intended to show the business semantics, namely what it is the business does. The benefits of adopting this model driven approach are immediate: the early stage of development (the computational independent part...

Channel:
IT Pro

Brunel University’s Business Class: Understanding your business

The first part of model-driven architecture, which involves understanding what a business is and what it does (the computational independent viewpoint) is the part that involves the most work and in which the least research has been done.

Channel:
IT Director

Quocirca's Straight Talking: Is programming dead?

There are libraries - and there have been since the beginning - but these have rarely stretched all the way to the heart of the business logic. As it is defined, MDA enables such lower level programming to be automated by code generators, freeing...

Channel:
IT Pro
Tags:
mda,
quocirca

Peter Cochrane's Blog: RFID and flight security

Hopefully my converging timeline theory is wrong! I'm not sure what happened to the miscreant after we took off but when he was first apprehended I would have favoured a public stoning on the runway, biblical style!

Channel:
LANs
Tags:
rfid

Live Webcast: Telecoms 2.0 - Where is telecoms heading?

In this webcast, our panel of experts will review where we are with next generation telecoms in the UK, working through the concept of 'Telecoms 2.0': - Realising the potential of Next Generation Networks - why it isn't just about the technology? - What attributes should firms be looking for in their telco partner? - Is the relationship between telco provider and customer changing? - What things need to happen to make next generation services a reality? - You say you want the supplier to change. Do you want to change too? - What is Telecoms 2.0?

Publisher:
ZDNet UK

Telecom 2.0: Mind over matter

ntl:Telewest Business believes that the role of the telco is evolving. Gone are the days when it was enough to simply focus on circuits and minutes, customers now need a far higher degree of interaction and look for suppliers who will talk business solutions with them.

Publisher:
ntl:Telewest Business

IBM Information Server Change Data Capture

In today's fast-paced world, access to real-time data has never been more important. To be successful, organizations need to be able to report and analyze corporate data quickly and easily, regardless of what applications created the data, what platform they're running on, or what database they're stored in.

Publisher:
IBM

An examination of server consolidation: the trends that can drive efficiencies and help businesses gain a competitive edge

This white paper provides a starting point for organizations contemplating server consolidation. It includes an overview of server consolidation concepts and techniques and provides guidance on methodologies. It also looks at the potential cost savings associated with server consolidation and offers information on how organizations can sustain the advantage they have gained by consolidating their servers.

Publisher:
IBM

Also on silicon.com

Site Navigation:

UML White Papers

An Object-Oriented Structuring for Z Based on Views

Quick Sitemap Links:

About Us

Search

Blogs

Verticals

Advertising Features

CNET Networks in Europe

CNET Networks in the United States

CNET Networks in Asia Pacific