Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

UML
2005
Springer

favoriteEmaildiscussreport

146views Natural Language Processing» more UML 2005»

Automated Analysis of Natural Language Properties for UML Models

13 years 9 months ago

Automated Analysis of Natural Language Properties for UML Models

Download www.irisa.fr

It is well known that errors introduced early in the development process are commonly the most expensive to correct. The increasingly popular model-driven architecture (MDA) exacerbates this problem by propagating these errors automatically to design and code. This paper describes a round trip engineering process that supports the speciﬁcation of a UML model using CASE tools, the analysis of speciﬁed natural language properties, and the subsequent model reﬁnement to eliminate errors uncovered during the analysis. This process has been implemented in SPIDER, a tool suite that enables developers to specify and analyze a UML model with respect to behavioral properties speciﬁed in terms of natural language.

Sascha Konrad, Betty H. C. Cheng

Real-time Traffic

Natural Language | Natural Language Processing | Popular Model-driven Architecture | UML 2005 | UML Model |

claim paper

Related Content

» A Model Driven Approach to the Analysis of Timeliness Properties

» ModelDriven Development for Nonfunctional Properties Refinement Through Model Transformati...

» Automated Verification of UMLsec Models for Security Requirements

» Automatically Discovering Properties That Specify the Latent Behavior of UML Models

» SoftContract ModelBased Design of ErrorChecking Code and Property Monitors

» A lightweight static approach to analyzing UML behavioral properties

» From UML to Alloy and Back Again

» A Formal Mapping between UML Static Models and Algebraic Specifications

» Extending Architectural Representation in UML with View Integration

Post Info
More Details (n/a)

Added	28 Jun 2010
Updated	28 Jun 2010
Type	Conference
Year	2005
Where	UML
Authors	Sascha Konrad, Betty H. C. Cheng

Comments (0)