Representing generalization relationships in logic programming
Modeling is one of the most important activities throughout any software development life cycle. Within object-oriented modeling, class generalization is a powerful, yet simple concept for abstracting commonalities between classes. Although, as classes evolved in the model, their semantics may becom...
| Autor principal: | |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2002
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/23112 |
| Aporte de: |
| id |
I19-R120-10915-23112 |
|---|---|
| record_format |
dspace |
| institution |
Universidad Nacional de La Plata |
| institution_str |
I-19 |
| repository_str |
R-120 |
| collection |
SEDICI (UNLP) |
| language |
Inglés |
| topic |
Ciencias Informáticas knowledge representation object-oriented modeling logic programming applications Logic Programming ARTIFICIAL INTELLIGENCE |
| spellingShingle |
Ciencias Informáticas knowledge representation object-oriented modeling logic programming applications Logic Programming ARTIFICIAL INTELLIGENCE Fillottrani, Pablo Rubén Representing generalization relationships in logic programming |
| topic_facet |
Ciencias Informáticas knowledge representation object-oriented modeling logic programming applications Logic Programming ARTIFICIAL INTELLIGENCE |
| description |
Modeling is one of the most important activities throughout any software development life cycle. Within object-oriented modeling, class generalization is a powerful, yet simple concept for abstracting commonalities between classes. Although, as classes evolved in the model, their semantics may become inconsistent with previous generalization relationships. Automated tools are necessary in order to preserve model coherence. In this paper we present a logic programming translation of several kinds of class hierarchies, in order to be used in the process of automated model checking. This representation includes positive and negative information, and preserves individual class properties. Thus, the resulting program is not affected with changes in class semantics or in the hierarchies. |
| format |
Objeto de conferencia Objeto de conferencia |
| author |
Fillottrani, Pablo Rubén |
| author_facet |
Fillottrani, Pablo Rubén |
| author_sort |
Fillottrani, Pablo Rubén |
| title |
Representing generalization relationships in logic programming |
| title_short |
Representing generalization relationships in logic programming |
| title_full |
Representing generalization relationships in logic programming |
| title_fullStr |
Representing generalization relationships in logic programming |
| title_full_unstemmed |
Representing generalization relationships in logic programming |
| title_sort |
representing generalization relationships in logic programming |
| publishDate |
2002 |
| url |
http://sedici.unlp.edu.ar/handle/10915/23112 |
| work_keys_str_mv |
AT fillottranipabloruben representinggeneralizationrelationshipsinlogicprogramming |
| bdutipo_str |
Repositorios |
| _version_ |
1764820465669373952 |