1 research outputs found
Refinement and variability techniques in model transformation of software requirements
Tese de Doutoramento em Tecnologias e Sistemas de InformaĆ§Ć£oThis thesis begins with analyzing user functional requirements (as use cases) from the
perspective of detail. In that sense, it investigates the applicability of the UML (Unified
Modeling Language) Ā«includeĀ» relationship to the representation of use case refinement and
proposes another relationship for that purpose. It also clarifies the process of modeling use
cases with UML when refinement is involved and provides for some guidelines in order to
conduct that process. Afterwards, the work of this thesis on use case modeling is expanded to
the field of SPLs (Software Product Lines) by means of exploring the UML Ā«extendĀ»
relationship. It talks about alternative, specialization and option use cases as the
representation of the three variability types this thesis proposes to be translated into
stereotypes to mark use cases. Then, this thesis incorporates the refinement of logical
architectures with variability support from use cases also with variability support in the 4SRS
(Four Step Rule Set) transition method for model transformation of analysis artifacts (use
cases) into design artifacts (logical architectures represented as UML component diagrams).
The model transformation the 4SRS guides in a stepwise way, from use cases into
logical architectures, is based on a software development pattern that addresses architecture.
This thesis yields a multilevel and multistage pattern classification that grounds the use of
that pattern to generate system functional requirements (as logical architectures).
Lastly, the 4SRS transition method is modeled with the SPEM (Software & Systems
Process Engineering Metamodel) and formalized as a small software development process
dedicated at transitioning from the analysis to the design of software. After that, this thesis
presents a case study on the automation of the 4SRS and thoroughly elaborates on the
transformation rules that support the model transformations of the 4SRS.Esta tese comeƧa por analisar requisitos funcionais de utilizador (enquanto casos de
utilizaĆ§Ć£o) sob a perspectiva do detalhe. Nesse sentido, esta tese investiga a aplicabilidade da
relaĆ§Ć£o UML (Unified Modeling Language) Ā«includeĀ» para a representaĆ§Ć£o do refinamento
de casos de utilizaĆ§Ć£o e propƵe outra relaĆ§Ć£o para esse fim. Esta tese tambĆ©m clarifica o
processo de modelaĆ§Ć£o de casos de utilizaĆ§Ć£o com a UML quando esse processo envolve
refinamento e fornece algumas diretrizes para a conduĆ§Ć£o desse processo. De seguida, o
trabalho desta tese em modelaĆ§Ć£o de casos de utilizaĆ§Ć£o Ć© expandido para o campo das linhas
de produtos de software atravĆ©s da exploraĆ§Ć£o da relaĆ§Ć£o UML Ā«extendĀ». Esse trabalho fala
de casos de utilizaĆ§Ć£o alternativos, de especializaĆ§Ć£o e opcionais como a representaĆ§Ć£o dos
trĆŖs tipos de variabilidade que esta tese propƵe que sejam traduzidos em estereĆ³tipos para a
marcaĆ§Ć£o de casos de utilizaĆ§Ć£o. Depois, esta tese incorpora o refinamento de arquitecturas
lĆ³gicas com suporte Ć variabilidade a partir de casos de utilizaĆ§Ć£o tambĆ©m com suporte Ć
variabilidade no mĆ©todo de transiĆ§Ć£o 4SRS (Four Step Rule Set) para a tranformaĆ§Ć£o de
modelos de artefatos de anĆ”lise (casos de utilizaĆ§Ć£o) em modelos de artefatos de design
(arquitecturas lĆ³gicas representadas como diagramas de components UML).
A transformaĆ§Ć£o de modelos que o 4SRS guia por passos, de casos de utilizaĆ§Ć£o em
arquitecturas lĆ³gicas, baseia-se num padrĆ£o de desenvolvimento de software que visa
arquitetura. Esta tese produz uma classificaĆ§Ć£o multinĆvel e multietapa de padrƵes, que
sustenta a utilizaĆ§Ć£o desse padrĆ£o na geraĆ§Ć£o de requisitos funcionais de sistema (enquanto
arquitecturas lĆ³gicas).
Por fim, o mĆ©todo de transiĆ§Ć£o 4SRS Ć© modelado com o SPEM (Software & Systems
Process Engineering Metamodel) e formalizado como um pequeno processo de
desenvolvimento de software dedicado a transitar da anƔlise para o design the software.
Depois disso, esta tese apresenta um estudo de caso sobre a automatizaĆ§Ć£o do 4SRS e elabora
minuciosamente acerca das regras de transformaĆ§Ć£o que apoiam as transformaƧƵes de
modelos do 4SRS