| Publisher | Regents of the University of Michigan | ||
|---|---|---|---|
| Format | 61.5KB PDF, requires Acrobat Rdr 5 | Date added | 15 Jan 2003 |
| Topics | XML, UML | ||
| Downloads | 76 | ||
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. These tools translate a UML model into a validation language such as PROMELA. However, they have some shortcomings: there is no proof of correctness (with respect to the UML semantics) for these tools; and there is no tool that supports validation for both the static and dynamic aspects of a UML model. In order to overcome these shortcomings, this paper presents a toolset, which is based on the semantic model using Abstract State Machines.
Did you find this white paper useful?
20 out of 50 users found this white paper useful
Related white papers
Think Globally, Act Locally: Targeting New Customers with Geolocation
When it comes to content, "one size fits all" used to be the norm and web traffic was measured in "hits". No longer. Companies that are leading the...
Introducing Xomega for XML Object Modeling and Code Generation
XML-based Model Driven Development can be a simple, but very powerful alternative to the UML-based MDA and can result in significantly increased productivity, clean and robust designs and improved system...
Oracle Primavera P6 EPPM Integrations With Web Services and Events
Primavera Web Services is an integration technology that extends P6 functionality and business objects. Based on open standards such as SOAP, XML and WSDL, Primavera Web Services enable developers to...
Radio-Research Firm Reduces Production Time and Costs With Presentation Solution
Research Director, Inc. (RDI), one of the largest radio-research consulting firms in the United States, produces large, complex presentations that provide radio-audience data for its customers once every quarter. Faced...
Testing SIP Call Flows Using XML Protocol Templates
A Session Initiation Protocol (SIP) Call Flow is a casual sequence of messages that is exchanged between interacting SIP entities. This paper presents a novel test system for SIP based...
Consortium Develops New Accessible Multimedia Tool for the Print Disabled
The DAISY Consortium develops and promotes DAISY (the Digital Accessible Information System), the world's most widely used assistive reading technology for the print disabled. The consortium wanted a solution that...
Web Server Improvements with Microsoft Server 2008
This is another in our series about Microsoft Longhorn, also known as Server 2008. In this series we break down the most important components of Longhorn and give listeners the...
