Specifying ubiquitous systems through the Algebra of Contextualized Ontologies


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 represent the specification process in three kinds of diagrams variyng from the system design to the complete formalization using the algebra.



  author = {Cafezeiro, Isabel and Filho, Jos\'e Viterbo and Rademaker, Alexandre and Haeusler, Edward Hermann and Endler, Markus},
  title = {Specifying ubiquitous systems through the Algebra of Contextualized Ontologies},
  journal = {Knowledge Engineering Review},
  year = {2014},
  optkey = {},
  volume = {29},
  number = {2},
  pages = {171--185},
  month = mar,
  optnote = {},
  url = {http://dx.doi.org/10.1017/S0269888914000046},
  pdflink1 = {/files/KER-2009.pdf}