The Unified Modeling Language has become the OMG standard in (object-oriented) software modeling. It promises an intuitive understandability by using diagram languages to represent structure and behavior of a software system. Nevertheless, it still lacks a precise and commonly agreed specification of its semantics. This hinders its use in practice since much time is wasted on clarifying a common understanding of the modeling artifacts. Thus, it is commonly agreed that a precise definition of UML's semantics is needed. Such a semantics specification must not only be formal, but also understandable by advanced modelers and tool developers. This paper will demonstrate its suitability to specify the semantics of language extensions.
Related white papers
ASP.NET Development using IBM Rational ClearCase
This white paper outlines the steps that a typical user might take to create and maintain web application in a Rational ClearCase Unified Change Management (UCM) environment. Web application development...
Component Based Development and Use: Managing the Component Life Cycle
This paper will discuss the challenges and issues related to component based development and reuse. It will describe the players involved in component production and consumption, and the various methodologies,...
UML Based Model-Driven Development for C
The Unified Modeling Language (UML) and Model-Driven Development (MDD) are rapidly becoming very hot topics and many companies are realizing the advantages made available by these technologies of better, standardized...
ECI Telecom Employs I-Logix' Rhapsody and UML Graphical Coding Techniques to Develop Embedded Digital Cross Connect Applications
ECI Telecom is Israel's largest telecommunications company with over 4000 employees. It is widely accepted in the telecommunications world that application software is the key to providing market differentiation: and...
Model Driven Development for Systems Webinar
Rhapsody is fast becoming the leading MDD environment within the Mil/Aero community, being a major player in programs such as the Joint Strike Fighter (JSF), Future Combat Systems (FCS) and...
Bridging the Gap Between Systems, Software, and Test
Building off its initial and very successful UML 2.0 based Model-Driven Development (MDD) solution, Rhapsody 5.0, I-Logix has created a new generation solution to allow Systems, Software, and Test engineers...
Ericsson Puts the UML Suite to the Test
In search of an appropriate tool to improve their software development, Ericsson Nikola Tesla (ETK) in Croatia decided to put the Telelogic Tau UML Suite to the test. Based on...


