This work is part of the OMEGA IST project, whose aim is building a basis for a UML based development environment for real-time and embedded systems, including a set of notations for different aspects with common semantic foundations, tool supported verification methods for large systems, including real-time related aspects.

  Loại Tài liệu | Loại file: | Lượt xem: 0 | Download 0

Download

This paper describes our experience using UML, the Unified Modeling Language, to describe the software architecture of a system. We found that it works well for communicating the static structure of the architecture: the elements of the architecture, their relations, and the variability of a structure. These static properties are much more readily described with it than the dynamic properties. We could easily describe a particular sequence of activities, but not a general sequence. In...

  Loại Tài liệu | Loại file: | Lượt xem: 0 | Download 0

Download

This tutorial is the fifth and last in a series of practical tutorials to introduce you to using a specific CASE tool, MagicDraw Personal Edition (MD/PA). This tutorial assumes that you have worked through the first four tutorials so in several places it rather briefly describes what to do. By the end of this tutorial you will feel confident about using MD/PA to draw UML compliant State diagrams. You will notice that this is the third practical tutorial to teach you how to model behavioural...

  Loại Tài liệu | Loại file: | Lượt xem: 0 | Download 0

Download

This document is not normative, but provides a detailed view of the information model on which the normative SDMX specifications are based. Those new to the notation or to the concept of key families may wish to read the appendixes in this document as an introductory exercise.

  Loại Tài liệu | Loại file: | Lượt xem: 0 | Download 0

Download

The wish to enhance application of the model-based method motivated the creation of the UML-editor. In this sense the editor is unique, since it permits the modeling of UML/INTERLIS, i.e. the synthesis of two standards within the scope of data-modeling. INTERLIS is a specific form of UMLwhich permits the automatic derivation of different formats (amongst others the XML-Schema). This tool is an attempt to facilitate the application and thus the mastery of the very complex matter of UML and...

  Loại Tài liệu | Loại file: | Lượt xem: 0 | Download 0

Download

This paper addresses a challenge of tailoring UML, a widely used modelling language, for domain-specific modelling. We discuss a possible solution for achieving interoperability between UML and the domain-specific language SaveComp Component Model (SaveCCM) intended for real-time embedded systems, by means of implementing a transformation between UML and SaveCCM models.

  Loại Tài liệu | Loại file: | Lượt xem: 0 | Download 0

Download

Bosch LCD flat panel monitors are high-resolution color monitors ideal for use with analog video, digital video recorder (DVR), and PC applications. The monitors feature a color liquid crystal display (LCD) flat-screen panel and are available with 15-in., 17-in., and 19-in. viewable picture areas. Each monitor also features a wide range of horizontal and vertical viewing angles that provide comfortable, clear viewing – whether you place it on a desktop or mount it to a wall or in a rack.

  Loại Tài liệu | Loại file: | Lượt xem: 0 | Download 0

Download

Despite its widespread usage, the Unified Modeling Language (UML) specification still lacks formal, explicit, support for access control. This paper proposes an approach to model security as a separate concern by augmenting UML with separate and new diagrams for role-based, discretionary, and mandatory access controls; collectively, these diagrams provide visual access-control aspects.

  Loại Tài liệu | Loại file: | Lượt xem: 0 | Download 0

Download

This paper presents an experiment carried out as a pilot study to obtain a first insight into the influence of the quality of UML models on the maintenance of the corresponding source code. The quality of the UML models is assessed by studying the amount of information they contain as measured through a level of detail metric.

  Loại Tài liệu | Loại file: | Lượt xem: 0 | Download 0

Download

Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts to support the development environment throughout the full system lifecycle.

  Loại Tài liệu | Loại file: | Lượt xem: 0 | Download 0

Download

In this tutorial, we expect you have a little background. Perfect, you’ve seen the NIEM-UML high level introduction, and have a basic understanding of NIEM. In this tutorial, we’ll review the basic parts of the NIEM-UML specifications.

  Loại Tài liệu | Loại file: | Lượt xem: 0 | Download 0

Download

The OMG’s Model Driven Architecture (www.omg.org/mda) is an ambitious effort to build programs from models using model transformations. I believe that model-driven agile development is an effective software development practice, but I have concerns about the proposed MDA.

  Loại Tài liệu | Loại file: | Lượt xem: 0 | Download 0

Download