The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Specification and Checking of Dependency Relations between UML Models
|
|
Author(s): Claudia Pons (LIFIA, Universidad Nacional de La Plata, Argentina), Roxana Giandini (LIFIA, Universidad Nacional de La Plata, Argentina), Gabriel Baum (LIFIA, Universidad Nacional de La Plata, Argentina), Jose L. Garbi (LIFIA, Universidad Nacional de La Plata, Argentina)and Paula Mercado (LIFIA, Universidad Nacional de La Plata, Argentina)
Copyright: 2003
Pages: 17
Source title:
UML and the Unified Process
Source Author(s)/Editor(s): Liliana Favre (Universidad Nacional de Centro de la Proviencia de Buenos Aires, Argentina)
DOI: 10.4018/978-1-93177-744-5.ch011
Purchase
|
Abstract
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.
Related Content
|
Ruizhe Ma, Azim Ahmadzadeh, Soukaina Filali Boubrahimi, Rafal A Angryk.
© 2019.
19 pages.
|
|
Zhen Hua Liu.
© 2019.
25 pages.
|
|
Lubna Irshad, Zongmin Ma, Li Yan.
© 2019.
25 pages.
|
|
Hao Jiang, Ahmed Bouabdallah.
© 2019.
22 pages.
|
|
Gbéboumé Crédo Charles Adjallah-Kondo, Zongmin Ma.
© 2019.
22 pages.
|
|
Safa Brahmia, Zouhaier Brahmia, Fabio Grandi, Rafik Bouaziz.
© 2019.
20 pages.
|
|
Zhangbing Hu, Li Yan.
© 2019.
20 pages.
|
|
|