Previous
Ensuring UML Models Consistency Using The OCL Environment
White Papers Having a tool that checks the consistency of UML models is very useful. Using the XMI standard, the consistent models can be transferred from the checker tool to any other UML tool. By means of practical examples, this paper shows that using a...
[July 29, 2004, 0:00]
Validation Of UML Models Via A Mapping To Communicating Extended Timed Automata
White Papers This paper presents a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended timed automata - in the IF format - and the use of the existing model...
[February 10, 2005, 23:00]
How To Use IBM Rational Rose Model Importer: Part 1. How To Migrate UML Models To Rational Software Architect
White Papers Learn how to use the IBM Rational Rose Model Importer to migrate UML models from Rational Rose to IBM Rational Software Architect, IBM Rational Systems Developer, or IBM Rational Software Modeler. This paper guides the user through how to migrate...
[April 25, 2008, 0:00]
Synthesis Of Real-Time Implementation From UML-RT Models
White Papers This paper summarizes existing approaches for implementation synthesis of UML-RT models, and describes real-time schedulability analysis technique for the native implementation model of the RoseRT CASE tool.
[July 23, 2004, 0:00]
Transformation Of UML Models For Service-Oriented Software Architectures
White Papers The technique (called "4SRS") is essentially based on the mapping of UML use case diagrams into UML object diagrams. UML sequence, activity, and state diagrams and other artifacts can also be considered within the transformation decisions.
[March 20, 2007, 23:00]
A Precise Approach To Validating UML Models And OCL Constraints
White Papers An important part of UML is the Object Constraint Language (OCL) - a textual language that allows to specify additional constraints on models in a more precise and concise way than it is possible to do with diagrams only.
[February 21, 2005, 23:00]
A Traceability Approach For I* And UML Models
White Papers This paper proposes an approach that can be used to generate traceability relations between organisational models specified in i* and software systems models represented in UML (in particular use case and class diagrams).
[July 23, 2004, 0:00]
Schedulability Analysis For Rhapsody UML Models
White Papers This webinar explains the reasons for applying timing to real-time UML models. This webcast presents the integration of RapidRMA and Rhapsody to perform Schedulability Analysis for Real-Time architectures.
[February 11, 2005, 23:00]
Object-Oriented Reading Techniques For Inspection Of UML Models - An Industrial Experiment
White Papers Special Object Oriented Reading Techniques (OORTs) have been developed to help inspectors in the individual reading step of inspection of UML models. Object-oriented design and modeling with UML has become a central part of software development in...
[February 10, 2005, 23:00]
From A UML Platform Independent Component Model To Platform Specific Component Models
White Papers This paper proposes a set of UML extensions to describe a platform independent model for software components. It uses UML extensions to define software component concepts (components, ports and connectors).
[July 23, 2004, 0:00]
Mapping UML Models Incorporating OCL Constraints Into Object-Z
White Papers Focusing on object-oriented designs, this paper proposes a mapping for translating systems modelled in the Unified Modelling Language (UML) incorporating Object Constraint Language (OCL) constraints into formal software specifications in Object-Z.
[July 23, 2004, 0:00]
Transformation Of Dynamic Aspects Of UML Models Into LOTOS Behaviour Expressions
White Papers The aim of this paper is to give precise semantics of the UML statecharts. The UML statecharts possess many mechanisms, which are sometimes redundant. To do this, we decided to use LOTOS as an expressive formal description technique, which has...
[July 29, 2004, 0:00]
Architecture Component Development - Generating More Code From Your UML Models
White Papers The Unified Modeling Language (UML) provides a wide range of graphical notations and textual means to describe a software system in an abstract way. This white paper discusses the Architecture Component Development (ACD) technology, a proven and...
[February 3, 2004, 23:00]
Synthesizable SystemC Code From UML Models
White Papers This paper presents preliminary results concerning a translation that generates SystemC code from designs developed in UML using the Rational Rose RT tool. The construction of this translator is a part of our ongoing effort to understand design...
[July 4, 2007, 0:00]
Refactoring UML Models
White Papers This paper presents a set of refactorings and explains how they can be designed so as to preserve the behavior of a UML model. Designers are seldom able to evaluate the impact, on the whole model, of a single modification.
[July 23, 2004, 0:00]
Systems, Views And Models Of UML
White Papers This paper shows by using the example of UML, how a software engineering method can benefit from an integrative mathematical foundation. This model provides the basis both for integrating the various description techniques of UML and for...
[February 10, 2005, 23:00]
An Ontologically Well-Founded Profile For UML Conceptual Models
White Papers UML class diagrams can be used as a language for expressing a conceptual model of a domain. This paper focuses on the UML metaconcepts of classes and objects from an ontological point of view. The paper proposes a design pattern based on this...
[July 23, 2004, 0:00]
Deriving Web Services From UML Models, Part 3: Identifying Domain Packages
White Papers Before you identify potential Web services for your application, you must first identify cohesive packages of functionality that you wish to access via those services. This paper shows you how to organize your application to make it a better Web...
[February 10, 2005, 23:00]
Deriving Web Services From UML Models, Part 1: Establishing The Process
White Papers In order to derive a set of Web services from an object-oriented application, you need to identify domain packages - high-level clusters of business/domain classes - and the services that each package provides.
[February 10, 2005, 23:00]
Deriving Web Services From UML Models, Part 2
White Papers For the sake of identifying servers, inheritance and aggregation hierarchies can often be simplified. For inheritance hierarchies, a rule of thumb to follow is that if a subclass doesn't add a new contract, then it can effectively be ignored, and...
[February 10, 2005, 23:00]
