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

Object-Oriented White Papers

New Type Checking Rules for OCL Expressions

Overview The Object Constraint Language OCL is an integral part of UML, the Unified Modeling Language standard. It has been added to Rational's UML core as a logic-based sublanguage for the definition of integrity constraints (invariants) on class diagrams as well as for the definition of pre- and postconditions of operations. Despite of the fact that OCL is called a statically typed language its type checking rules are not precisely (enough) defined in the UML standard version 1.3. Furthermore, they have certain deficiencies concerning the treatment of collection manipulating operations. This paper sketches three different approaches for the definition of modified OCL type checking rules.

Further White Paper Details
Publisher	Universitat der Bundeswehr Munchen	File Format	PDF, requires Acrobat Rdr 5
Date Published	January 2001
Format	White Papers
Topics	Object-Oriented, UML, Software Engineering

Did you find this white paper useful?

Model Driven Development for Systems Webinar

Publisher:
I-Logix

Consistency Control for Synchronous and Asynchronous Collaboration Based on Shared Objects and Activities

Publisher:
IBM

Tags:
object-oriented

A Services-Oriented Approach to Business Rules Development

Publisher:
Oracle

Tags:
business management

Speeding Software Innovation through Mass Collaboration

Publisher:
CollabNet, Inc.

MSDN Webcast: Testing for Better Design (Level 200)

Publisher:
Microsoft

XML: The future of...everything?

For example, Microsoft's Channel Definition Format (CDF) - which describes the part of a Web site that can be downloaded to your hard disk and then updated periodically as information changes - incorporates XML.

Channel:
Comment & Analysis

Standards group tackles XML documents

On top of the proposed document formats, the OASIS UBL group has released diagrams based on the unified modeling language (UML), a standard for software development, that give software engineers tools to build applications using XML documents.

Criminal IT: Should you trust the internet?

Thompson's speech described the way in which it would have been possible for the creators of Unix - Thompson and Dennis Ritchie - to have modified the login program so as to allow them unconstrained access to every Unix machine - and incidentally...

What the business could learn from IT

Paired programming, which is a central feature of the Extreme Programming methodology, involves two programmers working on the same piece of code, one checking the other's work as they go. Forget the Unified Modelling Language (UML - a developer...

The Weekly Round-Up: 18.05.07

If your definition of 'normal working day' involves sitting next to a chubby colleague on a treadmill. I don't understand the language. It would of course be replaced by the unnerving sight of people on treadmills trying to type and sweat-soaked...

Channel:
Weekly Round-up

From CIO to consultant: Knowing when to say no

So my personal definition of a good project is one that will be successful and where you get to educate people along the way. Sales cycles are shorter because they speak your language, know all the angles and generally make it easy for you to fit...

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:

Object-Oriented White Papers

New Type Checking Rules for OCL Expressions

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