The unified software development process
The unified software development process
A methodology for specifying and analyzing consistency of object-oriented behavioral models
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Writing Effective Use Cases
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
A Lightweight Approach to Consistency of Scenarios and Class Models
ICRE '00 Proceedings of the 4th International Conference on Requirements Engineering (ICRE'00)
Formal Foundations of Object-Oriented Modeling Notations
ICFEM '00 Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods
Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach
Proceedings of the 16th IEEE international conference on Automated software engineering
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
From use cases to system operation specifications
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Consistent behaviour representation in activity and sequence diagrams
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
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 semantics for UML interactions
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Hi-index | 0.00 |
During the object-oriented software development process, a variety of models of the system is built. All of these models are not independent; 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 definition can lead to wrong model interpretations and inconsistency between models. In this chapter, we classify relationships between models along three different dimensions 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 thereby assisting software engineers throughout the development process. In this direction, we discuss the construction of a tool based on the formalization and support the verification of traces between requirement and analysis models specified in the Unified Modeling Language.