White Papers

Study on Conversion Mechanism From Software Architectural Description Language to UML

Overview Now the two main kinds of software architecture description are visual description and formal description. The visual description is intuitional and the formal one is rigorous. UML and ADL are their representatives. Their advantages in software description can be obtained simultaneously if they can be integrated. This paper analyses the analogies between elements of XYZ/ADL, an architectural description language based on linear temporal logic, and UML, does the conversion with extension mechanisms that UML offers and OCL (Object Constraint Language).

Download White Paper

By downloading you agree to our Terms and Conditions. These include information regarding use of your personal data.

Publisher
Chinese Academy of Sciences
File Format
PDF
Date Published
Nov 30, 2008
Format
White Papers
Topics
Programming Languages, UML, Software Engineering

Similiar White Papers

UML to CORBA Transformation in Rational Software Architect

UML to CORBA Transformation in Rational Software Architect

IBM Rational Software Architect (RSA) is a Unified Modeling Language (UML) 2.0-compliant modeling tool. This tool can be

Publisher: IBM  |  Tags: c++, java, mda, software, source code

Static vs. Dynamic Source Code Analysis: Finding the Right 'Bug Spray'

Static vs. Dynamic Source Code Analysis: Finding the Right 'Bug Spray'

In this on-demand Webcast, Coverity CTO Ben Chelf reviews the relative merits of static and dynamic source code analysis

Publisher: Coverity  |  Tags: cto, source code

Designing Interaction Spaces for Rich Internet Applications With UML

Designing Interaction Spaces for Rich Internet Applications With UML

This paper proposes a new method for designing rich internet applications. The design process uses results from an objec

Publisher: Aalborg University  |  Tags: applications, object-oriented, server

An Empirical Investigation in Quantifying Inconsistency and Incompleteness of UML Designs

An Empirical Investigation in Quantifying Inconsistency and Incompleteness of UML Designs

The UML is becoming the de-facto notation for software engineering projects. It is a common hypothesis that incompletene

Publisher: Technical University of Eindhoven  |  Tags: software, software development, software engineering

Representing Explicit Attributes in UML

Representing Explicit Attributes in UML

Java annotations and .NET attributes are a lightwheight language extension mechanism supported directly by the compiler

Publisher: Darmstadt University of Technology  |  Tags: java

Chinese Academy of Sciences White Papers

The Compression Algorithm for the Data Acquisition System in HT-7 Tokamak

The Compression Algorithm for the Data Acquisition System in HT-7 Tokamak

HT-7 superconducting tokamak in the Institute of Plasma Physics of the Chinese Academy of Sciences is an experimental de

Publisher: Chinese Academy of Sciences  |  Tags: data, data storage, software

Phoenix Cloud: Consolidating Heterogeneous Workloads of Large Organizations on Cloud Computing Platforms

Phoenix Cloud: Consolidating Heterogeneous Workloads of Large Organizations on Cloud Computing Platforms

For a large organization, different departments often maintain dedicated cluster systems for different workloads, for ex

Publisher: Chinese Academy of Sciences  |  Tags: cloud computing, computing, management, software

Distributed Utilization Control for Real-Time Clusters With Load Balancing

Distributed Utilization Control for Real-Time Clusters With Load Balancing

Recent years have seen rapid growth of online services that rely on large-scale server clusters to handle high volume of

Publisher: Chinese Academy of Sciences  |  Tags: applications, cpu, real-time, server