Specifying ubiquitous systems through the algebra of contextualized ontologies

Abstract

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.