Specifying ubiquitous systems through the algebra of contextualized ontologies
Cafezeiro, Isabel; Viterbo, José; Rademaker, Alexandre; Haeusler, Edward Hermann; Endler, Markus
O documento é disponibilizado pela fonte de origem, que mantém a versão integral e as condições de uso.
Resumo
In this paper we present the algebra of contextualized ontologies and an approach to specify context-aware systems. The algebra is designed to support context moddeling and aims at the specification of modular and scalable description of arbitrarily complex systems. It takes contextualization as a basic notion and proposes a small set of simple and powerful operations to compose and decompose contextualized entities. The specification approach considers the gap between the formal specification and the real application and split the specification process in three levels variyng from the system design to the complete formalization using the algebra.
Ficha do documento
- Tipo
- Artigo científico
- Ano
- 2014
- Instituição
- Fundação Getulio Vargas
- Fonte
- Repositório da FGV
- Idioma
- Inglês
- Acesso
- Não informado
- Identificador
- oai:repositorio.fgv.br:10438/28305
- Palavras-chave
- ÁlgebraMatemáticaOntologias (Recuperação da informação)
Conteúdos relacionados
- TesePetro KGraphFundação Getulio Vargas · 2024
- OutroEstudo sobre ideais, Bases de Gröbner e suas aplicaçõesFundação Getulio Vargas · 2020
- Artigo científicoRepresentação de recursos multimídia na webFundação Getulio Vargas · 2020
- Artigo científicoIntuitionistic logic and legal ontologiesIos Press · 2010
