Previous
Towards Formal Support For UML-Based Development Of Embedded Systems
White Papers This paper describes ongoing work on the definition of a UML-based development methodology for the software of embedded systems. As a starting point, the paper defines a formal semantics for a selected subset of UML.
[July 23, 2004, 0:00]
SecureUML: A UML-Based Modeling Language For Model-Driven Security
White Papers This paper presents a modeling language for the model-driven development of secure, distributed systems based on the Unified Modeling Language (UML). The paper shows how UML can be used to specify information related to access control in the...
[July 23, 2004, 0:00]
An Ontologically Well-Founded Profile For UML Conceptual Models
White Papers This paper focuses on the UML metaconcepts of classes and objects from an ontological point of view. UML class diagrams can be used as a language for expressing a conceptual model of a domain. The paper proposes a design pattern based on this...
[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. The paper defines an algorithm, which transforms any statechart into a LOTOS behaviour expression.
[July 29, 2004, 0:00]
Specifying Agent Interaction Protocols With Standard UML
White Papers This paper demonstrates how the Unified Modeling Language (UML) can be used to describe agent interaction protocols. The approach that is presented in this paper does not propose enhancements or completely new diagrams but instead relies on...
[July 29, 2004, 0:00]
A Use Case Driven Safety Critical Programme
White Papers This paper examines the use of the Unified Modelling Language (UML) in the development of a safety critical programme, in particular concentrating on the aspects of traceability and navigation through the UML models.
[February 9, 2005, 23: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]
Introduction To The Unified Modeling Language
White Papers The components of UML are described and explained with different diagrams in this whit paper. The UML is the standard language for specifying, visualizing, constructing, and documenting all the artifacts of a software system.
[December 14, 2003, 23:00]
Validating Timed UML Models By Simulation And Verification
White Papers This paper presents a technique and a tool for model-checking operational (design level) UML models based on a mapping to a model of communicating extended timed automata. The approach presented in this paper takes into consideration most of the...
[February 10, 2005, 23:00]
Extending UML For Agents
White Papers This paper addresses both of these requirements in this paper by describing some of the most common requirements for modeling agents and agent-based systems - using a set of UML idioms and extensions.
[July 22, 2004, 0:00]
An Object-Oriented Structuring For Z Based On Views
White Papers The approach has emerged in the context of developing a semantic model to represent abstract UML models, and the example used to illustrate the approach in this paper is based on a simple UML class model.
[February 21, 2005, 23:00]
SDL Combined With UML
White Papers This paper introduces a UML model of the most important concepts from the SDL subset. This UML model of SDL is intended for readers familiar with UML and plays the same role as the meta (UML) model that forms the basis for the definition of UML.
[February 21, 2005, 23:00]
Safety In The Loop: An Overview Of System Safety Issues Throughout The Product Development Lifecycle
White Papers This paper explores the inherent features within the Unified Modelling Language (UML) applicable to developing a Safety Case for a product under development. This paper also provides a way of interpreting UML artefacts from a Safety perspective.
[February 9, 2005, 23:00]
Unification Of Static And Dynamic Semantics Of UML: A Study In Redefining The Semantics Of The UML Using The PUML OO Meta Modelling Approach
White Papers This paper describes a study into the rearchitecting of the semantics of the UML. In this approach the UML is defined using a small subset of the UML itself. In effect, this subset is a small kernel language, which is highly extensible, that forms...
[February 21, 2005, 23:00]
UML For The Semantic Web: Transformation-Based Approaches
White Papers This paper argues that UML could be a key technology for overcoming the ontology development bottleneck thanks to its wide acceptance and sophisticated tool support. This paper compares some proposals for defining transformations between UML and...
[July 23, 2004, 0:00]
Exploring The Informal Translation Of OMT Object Models In B
White Papers Although OMT is now rarely used, much of the work is directly applicable to UML class models. This paper reports work carried out between 1997 and 2001. In this paper, a model was chosen from the OMT book and a B specification developed.
[February 21, 2005, 23:00]
Model Mapping In MDA
White Papers This application takes an UML model m, and translates it by an indirect mapping into a suitable formalism. This paper proposes a general model of Model Mapping, one of the key features in MDA. The fundamental relationships between system, model...
[February 21, 2005, 23:00]
User Interface Modelling With UML
White Papers This paper presents a user interface modelling case study using UML. This case study identifies some aspects of UIs that cannot be modelled using UML notation, and a set of UML constructors that may be used to model UIs.
[July 23, 2004, 0:00]
Business Modeling With UML: A Business Process Centred Architecture
White Papers The purpose of this paper is to define an UML-based, process centred Business Modeling Architecture (BMA) that allows the business analyst to model the business 'as usual' (i.e.its processes first) with applying comparatively simple set of UML...
[July 13, 2007, 0:00]
From Design To Test With UML: Applied To A Roaming Algorithm For Bluetooth Devices
White Papers This paper introduces a methodology of how to use the testing profile in order to modify and extend an existing UML design model for test issues. The usability of the UML Testing Profile will be explained by applying it to this model.
[May 24, 2006, 0:00]
