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

UML White Papers

A UML Class Diagram Analyzer

Overview Automatic analysis of UML models constrained by OCL invariants is still an open research topic. Especially for critical systems, such tool support is important for early identification of errors in modeling, before functional requirements are implemented. This paper presents ideas on an approach for automatic analysis of UML class diagrams, according to a precise semantics based on Alloy, a formal object-oriented modeling language.

Further White Paper Details
Publisher	Federal University of Pernambuco	File Format	PDF, requires Acrobat Rdr 5
Date Published	September 2004	Downloads	585
Format	White Papers
Topics	UML, Software Engineering, Object-Oriented

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

Modeling Demystified, Part 3: Extend UML for User Models - Associations, Relationships, and Stereotypes

Publisher:
IBM

Tags:
programming languages

Modeling Demystified, Part 2: Building a User Model - Identify Potential Gaps in Your Requirements

Publisher:
IBM

Tags:
programming languages

Modeling Demystified, Part 1: Creating a System Specification From the User's Point of View

Publisher:
IBM

Tags:
programming languages

How to Use IBM Rational Rose Model Importer: Part 1. How to Migrate UML Models to Rational Software Architect

Publisher:
IBM

Tags:
programming languages

Using Model-Driven Development (MDD) in a Mainframe Environment

Publisher:
IBM

Tags:
programming languages

The Director's Cut: A career in modeling?

It is called modeling. Modeling means seeking-out the very best, finding someone or an organisation that has achieved what you wish to achieve, and doing what they did. In IT terms we are talking about modeling excellence - seeking out those who...

Channel:
Comment & Analysis

The Bloor Perspective: Microsoft licensing off, nCipher - Broadcom deal on, and some technical consensus

The two parts were the UML Infrastructure and Object Constraint Language. Three of the new specifications were directed at modelling: one tailors UML to Enterprise Distributed Object Computing, one adds the ability to model real-time systems...

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.

Quocirca's Straight Talking: Is programming dead?

The whole world has settled on a single modelling language to describe the innards of applications, known as the Unified Modelling Language (UML). Later, software tools such as software through pictures started a fashion in using models to...

Channel:
IT Pro
Tags:
mda,
quocirca

Gates chats up CEOs

He demonstrated tools for building programs via diagrams and models, without complex coding, skirting the "structured-unstructured boundary" that limits software development today. Microsoft has said it plans to begin testing new modeling tools...

Channel:
IT Pro

Devil's Advocate: Theory into practice

While plenty of errors cropped up, many of them were easily corrected punctuation errors. Most of the logical errors proved easy to fix, with just a few times when interacting methods resulted in perplexity.

Virtualisation: Architectual Considerations and other Evaluation Criteria

In the past several years, server virtualisation technology has moved quickly and firmly into the IT mainstream. Of the many approaches to system virtualisation available in the market today, VMware's hypervisor architecture has gained the greatest market acceptance. This paper examines the architectural issues, solution support, and enterprise readiness required when deploying such a virtualisation solution.

Publisher:
EMC

Getting Started with Master Data Management

Master data management forms part of an overall enterprise governance program that aims to establish trusted data throughout the enterprise. This white paper from Mike Ferguson of Intelligent Business Strategies defines master data, examines why it is needed, and explores methodologies for implementing master data management.

Publisher:
DataFlux

Optimising Storage with Global File Virtualisation

This white paper will provide an overview on how Rainfinity Global File Virtualisation virtualises unstructured data environments and moves data -including active, open files-without disruption to users or applications. Rainfinity is the only enterprise-class file virtualisation solution, and delivers complete NAS optimisation across geterogeneous environments, such as NAS, CAS, and file servers.

Publisher:
EMC

Also on silicon.com

Site Navigation:

UML White Papers

A UML Class Diagram Analyzer

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