Article (Journal/Review)
Specifying ubiquitous systems through the algebra of contextualized ontologies
Fecha
2014Autor
Cafezeiro, Isabel
Viterbo, José
Rademaker, Alexandre
Haeusler, Edward Hermann
Endler, Markus
Institución
Resumen
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.