Previous
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...
[January 1, 1970, 0:59]
Introduction To The Unified Modeling Language
White Papers The UML is the standard language for specifying, visualizing, constructing, and documenting all the artifacts of a software system. The components of UML are described and explained with different diagrams in this whit paper.
[January 1, 1970, 0:59]
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.
[January 1, 1970, 0:59]
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.
[January 1, 1970, 0:59]
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.
[January 1, 1970, 0:59]
Working XML: UML, XMI, And Code Generation, Part 2
White Papers The UML metamodel is a model that describes the UML language - specifically, it describes classes, attributes, associations, packages, collaborations, use cases, actors, messages, states, and all the other concepts in the UML language.
[January 1, 1970, 0:59]
User Interface Modelling With UML
White Papers The Unified Modeling Language (UML) is a natural candidate for user interface (UI) modelling since it is the standard notation for object oriented modelling of applications. This paper presents a user interface modelling case study using UML.
[January 1, 1970, 0:59]
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 In effect, this subset is a small kernel language, which is highly extensible, that forms the heart of a family of UML variants. This paper describes a study into the rearchitecting of the semantics of the UML.
[January 1, 1970, 0:59]
SysML And Systems Engineering Applied To UML-Based SoC Design
White Papers UML is gaining increased attention as a system design language. This paper summarizes the main features of SysML and analyzes the synergies between Systems Engineering and complex SoC design using UML.
[January 1, 1970, 0:59]
UML For The Semantic Web: Transformation-Based Approaches
White Papers The perspective role of UML as a conceptual modelling language for the semantic web has become an important research topic. This paper argues that UML could be a key technology for overcoming the ontology development bottleneck thanks to its wide...
[January 1, 1970, 0:59]
Improving Developer Productivity Through The Unified Modeling Language
White Papers The purpose of this whitepaper is to address the Unified Modeling Language (UML) and its benefits beyond the usual perception of it as an architectural notation for software analysis and design. This paper will address this broader use of the UML...
[January 1, 1970, 0:59]
Designing A More Agile UML 2.0
White Papers How can the UML 2.0 language designers add powerful new features without making the already overweight language obese? One of the harshest criticisms of UML 1.x is that it is too large and complex to implement and use.
[January 1, 1970, 0:59]
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...
[January 1, 1970, 0:59]
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...
[January 1, 1970, 0:59]
Speed Up MMI Development With UML, MSC And SDL
White Papers This paper introduces the MSC language, and shows how combining it with UML can help you validate your requirements analysis and speed up your development and provide the basis of subsequent system development.
[January 1, 1970, 0:59]
Customizing UML For The Development Of Distributed Reactive Systems And Code Generation To Ada 95
White Papers Distributed, reactive software systems, e.g.process control tools, can be modelled with the Unified Modelling Language (UML). In this paper a UML profile for the design and implementation of distributed, reactive systems and an associated mapping...
[January 1, 1970, 0:59]
The UML As A Formal Modeling Notation
White Papers The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. In this paper we motivate an approach to formalizing UML in which formal specification techniques are used to gain insight into the semantics...
[January 1, 1970, 0:59]
Reasoning With UML Class Diagrams
White Papers The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. This paper proposes a rigorous analysis technique for UML based on the use of diagrammatical transformations.
[January 1, 1970, 0:59]
Core Meta-Modelling Semantics Of UML: The PUML Approach
White Papers This paper describes work currently being undertaken by the precise UML group (pUML), an international group of researchers and practitioners, to address these problems. The current UML semantics documentation has made a significant step towards...
[January 1, 1970, 0:59]
Rigorous Development In UML
White Papers The Unified Modelling Language (UML) is becoming the de facto industry standard notation for object-oriented analysis and design. In this paper we propose a development process using UML and other notations which supports formal analysis and...
[January 1, 1970, 0:59]
