ML2: An Expressive Multi-Level Conceptual Modeling Language
Nome: CLAUDENIR MORAIS FONSECA
Tipo: Dissertação de mestrado acadêmico
Data de publicação: 19/09/2017
Orientador:
Nome |
Papel |
|---|---|
| JOÃO PAULO ANDRADE ALMEIDA | Orientador |
Banca:
| Nome |
Papel |
|---|---|
| JOÃO PAULO ANDRADE ALMEIDA | Orientador |
| RICARDO DE ALMEIDA FALBO | Examinador Interno |
Resumo: Domínios de interesse são muitas vezes conceituados com entidades estratificadas em uma estrutura rígida de dois níveis: um nível de classes e um nível de indivíduos que instanciam essas classes. A modelagem multi-nível estende o esquema convencional de classificação em dois níveis ao admitir classes que são também instâncias de outras classes, uma característica que pode ser empregada beneficamente em diversos domínios. Apesar dos avanços em modelagem multi-nível na última década, uma série de requisitos decorrentes da necessidade de representação de domínios de interesse com múltiplos níveis de classificação ainda não foram abordados pelas técnicas atuais. Neste trabalho, nós investigamos os requisitos para modelagem multi-nível e propomos um linguagem expressiva de modelagem conceitual multi-nível chamada ML2. Nós seguimos aqui uma abordagem sistemática baseada em uma separação estrita de interesses. Primeiramente, em uma teoria lógica denominada MLT*, capturamos e formalizamos a conceituação subjacente à modelagem de fenômenos que envolvam classificação em vários níveis. Esta teoria é uma extensão da teoria multi-nível chamada MLT. Em seguida, empregamos MLT* como alicerce na definição de ML2, uma linguagem textual de modelagem que atende aos requisitos elicitados para modelagem multi-nível. A linguagem proposta é apoiada por um workbench baseado em Eclipse que verifica a aderência de modelos ML2 às regras de MLT*. A efetividade de ML2 é demonstrada através de sua aplicação na realização de três tarefas distintas de modelagem: a modelagem de um desafio multi-nível proposto no contexto do workshop MULTI 2017; a modelagem dos conceitos da teoria subjacente à ML2, MLT*; e a modelagem da Unified Foundation Ontology (UFO).
