Object-oriented software engineering
Object-oriented software engineering
The unified software development process
The unified software development process
Behavioral Specifications of Businesses and Systems
Behavioral Specifications of Businesses and Systems
The UML as a Formal Modeling Notation
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
A Formal Approach to Use Cases and Their Relationships
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Dependency Relations between Models in the Unified Process
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Formalizing the UML class diagram using object-Z
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A formal approach to collaborations in the unified modeling language
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A formal semantics for UML interactions
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Analysing UML use cases as contracts
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Role of Model Transformation in Method Engineering
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Dependency Relations between Models in the Unified Process
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Automated Check of Architectural Models Consistency Using SPIN
Proceedings of the 16th IEEE international conference on Automated software engineering
Detecting implied scenarios analyzing non-local branching choices
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Hi-index | 0.00 |
The goal of the Unified Process is to guide developers in efficiently implementing and deploying systems that meet customer needs. During the Unified Process, a variety of models of the system is developed. Not all these models are independent, but they are related to each other. Elements in one model have trace dependencies to other models; they are semantically overlapping and together represent the system as a whole. It is necessary to have a precise definition of the syntax and semantics of the different models and their relationships, since the lack of accuracy in their definition can lead to wrong model interpretations and inconsistency between models. In this paper, we distinguish three different kinds of dependency relations between models and propose a formal description of them. The goal of the proposed formalization is to provide formal foundations for tools that perform intelligent analysis on models expressed in UML assisting software engineers through the development process.