Matei Popovici, Cristian Giumale, Lorina Negreanu, Alexandru Agache, Mihnea Muraru, and Ciprian Dobre
Ontologies, declarative languages, services, SOA, smart homes, intelligent systems
Ontology formalisms such as OWL, as well as conventional languages designed for specifying Web-Service behavior and interactions such as WS-BPEL, are limited in their ability of defining complex time-dependent processes. As an alternative, declarative languages present several advantages: they are easier to use, since desired properties are specified explicitly, they are smaller in size, as they lack additional control-flow structures, specific for imperative languages. In addition, model checking techniques can be naturally applied. In this paper, we describe a modeling method and declarative language based on fluid qualities. Based on this language, we propose two mechanisms for integration in a Service Oriented environment. Using our framework, intelligent and time-dependent device behavior can be specified in an ubiquitous environment.
Important Links:
Go Back
