| Publisher | Dresden University of Technology | ||
|---|---|---|---|
| Format | 96.5KB PDF, requires Acrobat Rdr 5 | Date added | 12 Nov 2002 |
| Topics | UML | ||
| Downloads | 9 | ||
This paper studies the definition of formal semantics for a fragment of the Unified Modeling Language (UML) that covers some static and dynamic UML concepts. The idea of the considered methodological approach is based on the formalization of an information system in order to use this model as a semantic reference structure. Metamodels for abstract syntax and a set of constraints for static semantics of metaclasses are provided for this fragment.
Did you find this white paper useful?
21 out of 50 users found this white paper useful
Related white papers
CmUML - A UML Based Framework for Formal Specification of Concurrent, Reactive Systems
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specification method which combines axiomatic and operational approaches. On...
With IBM Rational Rose and IBM WebSphere Studio, Lockheed Martin Leverages Models Throughout Development
Through integration between IBM WebSphere Studio and IBM Rational Rose, Lockheed Martin is able to drive code development using visual models as a foundation. WebSphere Studio's integration with Rational Rose...
Data Cube Representation of Patient Registration System Through UML
In the present paper, a Unified Modeling Language (UML) model is proposed for the Patient Registration System (PRS). The three dimensional Data Cubes are also designed for faster searching &...
Specifying Security Aspects in UML Models
Expansion of computer systems and the increasing number of services provided by Internet has lead software engineers to worry about security issues of their software. The reason is the short...
UML/OCL Verification in Practice
In the MDD approaches, models become the primary artifact of the development process and the basis for code generation. Identifying defects early, at the model-level, can help to reduce development...
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,...
