Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Z Eves). Showing records 1 – 2 of 2 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Universidade Federal do Maranhão

1. CARLOS CÉSAR GOMES MENDES. FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z.

Degree: 2011, Universidade Federal do Maranhão

In this thesis, an approach based on Set Theory and on the Z Formal Language Specification is presented to formalize the transformations between models in the context of Model Driven Engineering (MDE). The motivation for this research is justified due the ambiguities and inconsistencies present in the models of transformation used to abstract the model transformation process in the MDE context. The precision absence in these the models lead the user to misinterpret complex structures present in the mapping of the source model elements to the target model elements. In this context, we proposed to develop a formal methodology that eliminates the ambiguities and inconsistencies present in the informal representations of model transformation in MDE. To solve this problem, a Formal and Conceptual Framework is developed that groups the elements involved in the process of transformation, represented by mathematical artifacts from the Set Theory and specified on Z language. This Framework is validated through a case study that contains complex transformations, tested on the mathematical proof tool Z/EVES, which supports statements made in Z language.

Nesta dissertação, apresenta-se uma abordagem baseada na Teoria dos Conjuntos e na Linguagem de Especificação Formal Z para formalizar a Transformação entre Modelos dentro do contexto da Engenharia Dirigida a Modelos (MDE). A motivação desta pesquisa se deu devido a constatação de que a literatura sobre MDE tem apresentado ambiguidades e inconsistências nos modelos utilizados para abstrair o processo de transformação de modelos no contexto da MDE. Esta falta de precisão nestes tipos de modelos leva o usuário a interpretar de forma errada estruturas complexas presentes no mapeamento de elementos do modelo fonte para o modelo alvo. Sendo assim, propõe-se desenvolver uma metodologia formal que elimine as ambiguidades e inconsistências presentes nas representações informais da transformação de modelos da MDE. Para solucionar este problema, desenvolveu-se um Framework Conceitual Formal que agrupa os elementos envolvidos no processo de transformação, onde estes são representados através de artefatos matemáticos da Teoria dos Conjuntos e especificados em linguagem Z. Este Framework é validado através de um estudo de caso que contêm transformações, testadas na ferramenta de prova matemática Z/EVES, que suporta declarações feitas em linguagem Z.

Advisors/Committee Members: Denivaldo Cícero Pavão Lopes, Zair Abdelouahab.

Subjects/Keywords: Métodos Formais; Teoria dos Conjuntos; Z/EVES; ARQUITETURA DE SISTEMAS DE COMPUTACAO; Model Driven Engineering; Model Driven Architecture; Z Formal Language; Engenharia Dirigida a Modelos; Arquitetura Dirigida a Modelos; Linguagem Formal Z; Formal Methods; Set Theory; Z / EVES

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

MENDES, C. C. G. (2011). FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z. (Thesis). Universidade Federal do Maranhão. Retrieved from http://www.tedebc.ufma.br//tde_busca/arquivo.php?codArquivo=677

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

MENDES, CARLOS CÉSAR GOMES. “FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z.” 2011. Thesis, Universidade Federal do Maranhão. Accessed September 17, 2019. http://www.tedebc.ufma.br//tde_busca/arquivo.php?codArquivo=677.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

MENDES, CARLOS CÉSAR GOMES. “FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z.” 2011. Web. 17 Sep 2019.

Vancouver:

MENDES CCG. FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z. [Internet] [Thesis]. Universidade Federal do Maranhão; 2011. [cited 2019 Sep 17]. Available from: http://www.tedebc.ufma.br//tde_busca/arquivo.php?codArquivo=677.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

MENDES CCG. FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z. [Thesis]. Universidade Federal do Maranhão; 2011. Available from: http://www.tedebc.ufma.br//tde_busca/arquivo.php?codArquivo=677

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of South Africa

2. Dongmo, Cyrille. Formalising non-functional requirements embedded in user requirements notation (URN) models.

Degree: 2016, University of South Africa

The growing need for computer software in different sectors of activity, (health, agriculture, industries, education, aeronautic, science and telecommunication) together with the increasing reliance of the society as a whole on information technology, is placing a heavy and fast growing demand on complex and high quality software systems. In this regard, the anticipation has been on non-functional requirements (NFRs) engineering and formal methods. Despite their common objective, these techniques have in most cases evolved separately. NFRs engineering proceeds firstly, by deriving measures to evaluate the quality of the constructed software (product-oriented approach), and secondarily by improving the engineering process (process-oriented approach). With the ability to combine the analysis of both functional and non-functional requirements, Goal-Oriented Requirements Engineering (GORE) approaches have become de facto leading requirements engineering methods. They propose through refinement/operationalisation, means to satisfy NFRs encoded in softgoals at an early phase of software development. On the other side, formal methods have kept, so far, their promise to eliminate errors in software artefacts to produce high quality software products and are therefore particularly solicited for safety and mission critical systems for which a single error may cause great loss including human life. This thesis introduces the concept of Complementary Non-functional action (CNF-action) to extend the analysis and development of NFRs beyond the traditional goals/softgoals analysis, based on refinement/operationalisation, and to propagate the influence of NFRs to other software construction phases. Mechanisms are also developed to integrate the formal technique Z/Object-Z into the standardised User Requirements Notation (URN) to formalise GRL models describing functional and non-functional requirements, to propagate CNF-actions of the formalised NFRs to UCMs maps, to facilitate URN construction process and the quality of URN models. Advisors/Committee Members: Van der Poll, John Andrew (advisor).

Subjects/Keywords: Semi-formal specification techniques; URN; GRL; UCMs; Goal model; NFR; CNF-actions; Formal methods; Z; Object-Z; Specification validation; Enterprise organogram; Specification animation; Z/Eves; Four-way framework

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Dongmo, C. (2016). Formalising non-functional requirements embedded in user requirements notation (URN) models. (Doctoral Dissertation). University of South Africa. Retrieved from http://hdl.handle.net/10500/23395

Chicago Manual of Style (16th Edition):

Dongmo, Cyrille. “Formalising non-functional requirements embedded in user requirements notation (URN) models.” 2016. Doctoral Dissertation, University of South Africa. Accessed September 17, 2019. http://hdl.handle.net/10500/23395.

MLA Handbook (7th Edition):

Dongmo, Cyrille. “Formalising non-functional requirements embedded in user requirements notation (URN) models.” 2016. Web. 17 Sep 2019.

Vancouver:

Dongmo C. Formalising non-functional requirements embedded in user requirements notation (URN) models. [Internet] [Doctoral dissertation]. University of South Africa; 2016. [cited 2019 Sep 17]. Available from: http://hdl.handle.net/10500/23395.

Council of Science Editors:

Dongmo C. Formalising non-functional requirements embedded in user requirements notation (URN) models. [Doctoral Dissertation]. University of South Africa; 2016. Available from: http://hdl.handle.net/10500/23395

.